• 検索結果がありません。

Spectral Decomposition of Quantum Fourier Transform

N/A
N/A
Protected

Academic year: 2021

シェア "Spectral Decomposition of Quantum Fourier Transform"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

理 工 学 部 研 究 報 告 第42号9 42 (2006) 9-12

ci. Eng. Kinki Univ.

J. School S

量 子 フー リエ 変換 の ス ペ ク トル分 解

青 木 貴 史*,前 阪 裕 介**,中 原 幹 夫*

Spectral Decomposition of Quantum Fourier Transform

Takashi AOKI*, Yusuke MAESAKA** and Mikio NAKAHARA*

is derived exactly. It is then in a single step is suggested.

The spectral decomposition of an n-qubit quantum Fourier transform (QFTn) applied to find the logarithm of a QFTT gate. Hamiltonian which generates QFTn

Key words: Quantum Fourier transform, Spectral decomposition

1. Introduction

3. Spectral decomposition of QFT Our main result is

Theorem 1. The matrix Fn has four eigenvalues A1 = 1, A2 = -1, A3 = i and A4 = —i, with the multiplicity gl = 2n-2 + 1, 92 = 2n-27 93 = 2n-2 and g4 = 2n-2-1, respectively. Therefore the spectral decomposition of F is given by

Fn = P1 - P2 + iP3 - iP4i (4) where Pi is the projection operator to the eigenspace corresponding to an eigenvalue A3;

P~_~(F

11(A4

—AkI

Ak)

),(1< j < 4). (5)

Their explicit forms are In this article we present a concrete form of the

spectral decomposition of the quantum Fourier trans- form (QFT). QFT is one of the most useful mathe- matical tools in applied mathematics and mathemat- ical sciences such as signal processing and quantum computing') . For example, in the famous quantum algorithm of factorization of a large integer due to Shor2}, QFT plays an essential role. Thus studying QFT is an important subject in various fields of ap- plied mathematics. Spectral decomposition of QFT provides us with a very convenient way of theoretical treatment of QFT. As an application, we compute the logarithm of QFT.

2. Quantum Fourier Transform (QFT)

Then the defined as Let n > 3 be an integer and N = 2'.

n-qubit quantum Fourier transform Fn is follows.

The phase (-01/N has been introduced to make Fn unimodular; = 1. Therefore Fn is an element of SU(N). We may equally work with the gate without the phase since the overall phase has no physical ef- fects. It will turn out to be convenient to introduce an auxiliary matrix F defined as

*al 86)=124Ex

* g?-f-11-

**~; azF~r~

(2)

量 子 フ ー リ エ 変 換 の ス ペ ク トル 分 解

(16) (13) and (15) that

, c+d=2n-1-1.

It follows from Eqs.

a+b=2n-1+1

This result is readily translated into that for Fn as

Fn = E(P1 - P2 + iP3 — iP4), (10)

where s = (-01/N

The proof of the theorem is divided into several steps. Let char(A) be the characteristic polynomial ofF:

char(.\) = 1A/ - Pl. (11)

Obviously F4 = I holds and hence it should have the form:

char(A) = (A - 1)a(A + 1)b

x(A - + i)d, (12)

where a =gi,b=g2, c= g3 and d=g4 are the mul- tiplicities of the eigenvalues. It follows from Eq. (12) that

char(A) • char(-A)

= (A - 1)a+b(A + 1r+6

X (A - i)c+d(A + i)c+d. (13)

Now let us consider the square of F

and We to find a, b, c

trace of F.

Two more equations necessary d are obtained by evaluating the obtain

by using the following identities3)

we

we have char(A) • char(-A)

= 1A21 - F21, from which Since N = 2' is even,

1Al-PI - A/ - FI obtain

char(A) • char(-A)

which are applicable when M - 0 (mod 4). Trace of Fn is also evaluated by noting that trPi = gi and found to be

a - b+ci - di. (19)

trFn =

(17), we find two equations

Comparing this with Eq.

c-d=1. (20)

a-b=1,

(3)

理 工 学 部 研 究 報 告 第42号

matrix has vanishing trace. In other words, {n3} are chosen in such a way that log Fn be an element of the Lie algebra zu(N).

It follows from Eq. (21) that

trFn = 27ri(n1 + n2 + n3 + n4 +22n-2

+27ri (ni - n4) = 0.(26)

An example of nj which satisfies the above constraint is

nl = _2m-2, n2 = 2n-2,(27) n3 = -2n-3 n4 = 2n-3

Now we have proved the following Corollary.

Corollary 1. Let Hn be a matrix defined by Tin =

2+1[(3-4n)P1+(3+4n+2n+1)P2 +(3_ 22n-1 + 2n)P3

+(3 + 22n-1 + 3 2n)P4]. (28) Then k[ E 5u(2n) and Fn = exp II .

In fact, there are infinitely different ways to make log Fn E .5u(N). For instance Eq. (26) is satisfied if we take

a+,(3+-y+8 = 0, CE — S + 3 2n-3 = 0,

which are solved to yield two parameter family of solutions

n1=n4-3.2n-3,

(29) n2=3•2n-3—n3-2f.

For each choice of the set Ink} there corresponds

a Hamiltonian of different matrix elements. Which choice is best fitted depends on actual physical real- ization of the algorithm.

5. Summary and Discussion

We have obtained in this paper the explicit form

of the spectral decomposition of the qauntum Fourier transform for an arbitaray n-qubit system with n >

3. We used this decomposition to find a Hamiltonian which implements the quantum Fourier transform in a single step. A Hamiltonian, looked upon as an el- ement of the Lie algebra su(2n), has only a limited

number of generators and further ingenuity must be

required in actual implementation.

After completing this work, we were informed of the previous works4' 5), where spectral decomposi- tion of QFT were carried out. In both works, eigen- vectors were explicitly obtained to evaulate the pro- jection operators. We believe our work is superior

to the previous works in that projection operators were evaluaed directly without employing the eigen-

vectors. This makes our analysis considerablly sim-

pler. We would like to thank Yumi Nakajima for drawing our attention to references 4) and 5).

Finally Eqs. (16) and (20) are solved to yield a = 2n-2+1, b = 2n-2, c = 2n-2, d = 2n-2_1 (21) and Theorem 1 has been proved.

These results are also summarized in the form of the characteristic polynomial of Fn as

char(A) = (A - 1)2'i-2+1(A + 1)2-2

x (A - i)2n 2 (A + i)2n2-1. (22) We note en passant that the minimal polynomial of Fn is

min(A) = A4 - 1.(23)

Next we evaluate the projection operators. We first note that Fn = Fn = Fn ,* being the complex con- jugation, and

()jk = 6j+k,O + Sj+k,N.

Then

(P1)jk =4[(Fn + 'On —iI)(Fn+ in]

=4(Fn+ Fn{Fn + I)jk

1

=4[Sj-k ,0+•Sj+k,O+Sj+k,N

+.cosNjk] .(24)

Other projction operators are obtained similarly.

4. Logarithm of Fn

Now that we have obtained the spectral . decom- position of Fn, it is easy to construct its logarithm.

Note that the logarithm of a unitary gate corresponds to the Hamiltonian (times time, to be precise) which implements the unitary gate, assuming all the gener- ators of the Lie algebra are available.

The spectral decomposition (10) gives log Fn = {log(6)} Pl + {log(-e)} P2

+ {log(iE)} P3 + {log(-ie)} P4

(4ri+2irmii)Pi

_

3 + 2n+17ri + 7ri + 27n2i P2

+23'7ri-I-~i + 27rn3iP3

+ 3 37ri 2n+17ri +2+ 27n4iP4,

(25) where nj is an integer specifying the branch of log(Aj ) function. We will fix {n3 } such that the resulting

(4)

量 子 フ ー リ エ 変 換 の ス ペ ク トル 分 解

References

1) M. A. Nielsen and I. L. Chuang, Quantum Com- putation and Quantum Information, Cambridge

University Press (2000).

2) P. W. Shor, in: Proceeding of 35th IEEE FOCS, Santa Fe, NM, (1994) 124.

3) P. G. L. Dirichlet and J. W. R. Dedekind, §111- 112 in Vorlesungen iiber Zahlentheorie, Friedrich

Vieweg und Sohn, (1894).

4) J. H. Maclellan and T. W. Parks, IEEE Trans- action on Audio and Electroacoustics, AU-20

(1972) 66.

5) M. L. Mehta, J. Math. Phys. 28 (1987) 781.

参照

関連したドキュメント

Thus JC/a v is a defining system of invariant eigendistributions and the Fourier transform of Jr These systems wilt be known to be regular holo- nomic.. Here

[56] , Block generalized locally Toeplitz sequences: topological construction, spectral distribution results, and star-algebra structure, in Structured Matrices in Numerical

We analyze a class of large time-stepping Fourier spectral methods for the semiclassical limit of the defocusing Nonlinear Schr ¨odinger equation and provide highly stable methods

The full use of the Fourier transform has permitted the construction of fundamental solutions of homo- geneous higher order hyperbolic partial differential operators with

By using the Fourier transform, Green’s function and the weighted energy method, the authors in [24, 25] showed the global stability of critical traveling waves, which depends on

Theorem 1.6 For every f in the group M 1 of 1. 14 ) converts the convolution of multiplicative functions on non-crossing partitions into the multiplication of formal power

Applications of msets in Logic Programming languages is found to over- come “computational inefficiency” inherent in otherwise situation, especially in solving a sweep of

Shi, “The essential norm of a composition operator on the Bloch space in polydiscs,” Chinese Journal of Contemporary Mathematics, vol. Chen, “Weighted composition operators from Fp,