arxiv:quant-ph/ v1 30 Nov 2006

Transcription

1 Full separablty crteron for trpartte quantum systems Chang-shu Yu and He-shan Song Department of Physcs, Dalan nversty of Technology, Dalan 604, Chna Dated: December 1, 006 arxv:quant-ph/069 v1 30 Nov 006 In ths paper, an ntutve approach s employed to generalze the full separablty crteron of trpartte quantum states of qubts to the hgher-dmensonal systems Phys Rev A 7, A dstnct characterstc of the present generalzaton s that less restrctve condtons are needed to characterze the propertes of full separablty Furthermore, the formulaton for pure states can be convenently extended to the case of mxed states by utlzng the kronecker product approxmate technque As applcatons, we gve the analytc approxmaton of the crteron for weakly mxed trpartte quantum states and nvestgate the full separablty of some weakly mxed states PACS numbers: 0367Mn, 0365d, 450Ct I INTRODCTION Entanglement, as an essental ngredent of quantum nformaton theory, has been an mportant physcal resource for a lot of quantum protocols, such as quantum computaton [1], quantum cryptography [], quantum teleportaton [3], quantum dense codng [4] and so on Recently, many efforts have been made to characterze the quantatvely propertes of entanglement [5-8], however, the good understandng s only restrcted to lowdmensonal systems The quantfcaton of entanglement for hgher dmensonal systems and multpartte quantum systems remans an open queston Snce Coffman et al [9] ntroduced the so called resdual entanglement on the bass of concurrence [5], the nvestgaton of multpartte entanglement has attracted much attenton For example, Dür et al have consdered the classfcaton of entanglement for trpartte systems of qubts [10]; Myake [] has gven the classfcaton for multpartte systems based on the hyperdetermnant On the bass of the dfferent classes of multpartte entanglement, the correspondng entanglement monotones can be gven [,1] Some quanttes have also presented to characterze the propertes of entanglement by collectng the contrbutons of the entanglements of dfferent classes [13,14] One can note that the quanttes ntroduced n Refs [13,14] can also characterze the full separablty of a pure multpartte state However t s easly found that constructon of these quanttes requres more restrctve condtons Even though some condtons may be repeated, t s usually not easy to exclude the repeated ones, especally for hgh-dmensonal systems Hence, t wll reduce the effcency of calculaton to some extent Consderng the full separablty crteron ntroduced n Ref [15], whch can effectvely reduce the restrctve condtons to some extent, n ths paper, we wll gen- eralze the crteron to hgh-dmensonal systems by an ntutve approach The generalzed full separablty crteron for pure states can be convenently extended to the case of mxed states by utlzng the kronecker product approxmate technque whch can usually further reduce restrctve condtons As applcatons, we gve the analytc approxmaton of the crteron for weakly mxed trpartte quantum states and study the full separablty of some weakly mxed states The paper s organzed as follows Frstly, we gve the ntutve generalzaton of the separablty crteron for pure states; secondly, we extend t to mxed states and dscuss the full separablty of some quas pure states; the conclusons are drawn n the end II FLL SEPARABILITY CRITERION FOR TRIPARTITE PRE STATES At frst, let us recall the full separablty crteron for trpartte pure states of qubts gven n Ref [15] A trpartte pure state ψ ABC denoted by a vector n dmensonal Hlbert space, ψ = a 000, a 001, a 010, a 0, a 100, a 101, a 0, a 1 T, wth the superscrpt T denotng transpose, s fully separable, f and only f C ψ = C ψ = C α = 0, 1 here the vector Cψ = 9 α=1 C α wth C α = ψ s α ψ, where the star denotes complex conjugaton, and s 1 = σ y σ y I 1, s = σ y σ y I, s 3 = σ y I 1 σ y, α Electronc address: hssong@dluteducn s 4 = σ y I σ y, s 5 = I 1 σ y σ y, s 6 = I σ y σ y, 3

2 s 7 = σ x σ y σ y, s 8 = σ y σ x σ y, s 9 = σ y σ y σ x, wth σ x =, σ 1 0 y =, I 0 1 = and I = 0 1 As mentoned n Ref [15], a trpartte pure state of qubts can be consdered as a tensor cubes Drectly, a trpartte hgher-dmensonal pure state can naturally consdered as a tensor grd whch ncludes tensor cubes Eg let φ ABC = 1,j=0 k=0 a jk jk ABC, the tensor grd of φ ABC can be pctured as two adjonng cubes, whch ncludes three tensor cubes In ths sense, one can draw a concluson that tensor cube can be regarded as the unt of tensor grd Snce every tensor cube n a tensor grd can be consdered as an non-normalzed trpartte pure state of qubts, one can get that every unt corresponds to a C defned n eq 1 Therefore, the tensor cube can also be consdered as a unt whch descrbes the full separablty of a trpartte hgher-dmensonal pure state In other words, the full separablty of the gven trpartte hgher-dmensonal pure state can be descrbed by the full separablty of the non-normalzed trpartte pure state of qubts Theorem 1:-For any a trpartte pure state χ whch ncludes M non-normalzed trpartte pure states of qubts tensor cubes mentoned above, let the nonnormalzed pure state of qubts correspondng to the th cube be denoted by ϕ, one can obtan the correspondng C ϕ Defne C χ = M C ϕ, 5 =1 for the state χ, then χ s fully separable, f and only f F χ = 0 Proof It s obvous that C χ = 0 means that C ϕ = 0 holds for all ϕ, vce versa Snce the tensor cube corresponds to the unt of descrbng full separablty, C χ = 0 shows that there does not exst any entanglement n χ That s to say, the trpartte quantum state χ s fully separable In other words, snce every non-normalzed ϕ s fully separable, one can obtan that every group of parallel lnes of the tensor grd s lnear dependent Ie the state that the grd denotes s fully separable [15] On the contrary, f χ s fully separable, C ϕ = 0, e C χ = 0 Consderng the matrx notaton of χ = n 1 1 =0 n 1 j=0 n 3 1 k=0 a jk jk, C χ can be expressed as the functon of χ, e C χ = N1 N N 3 C s α s β s γ χ, 6 α=1 β=1 γ=1 where N p = npnp 1 wth p = 1,, 3; s q, q = α, β, γ, denotes n p matrx wth p correspondng to q If the generator of the group SOn p s denoted by S p, s q can be derved from S p by deletng the row where all the elements are zero, where denotes the absolute value of the matrx elements Accordng to eq 1, eq 6 can be expanded by C χ = = N N 3 N1 N 1 N N 3 9 C δ s α s β s γ χ 9 χ Sαβγs T δ S αβγ χ χ S T αβγ sδ S αβγ χ ] 1/, 7 where S αβγ = s α s β s γ, s δ are defned by eqs -4, and the superscrpt T denotes transposton operaton III FLL SEPARABILITY CRITERION FOR MIXED STATES On the bass of C χ for pure states, the correspondng quantty Cρ for mxed states ρ defned n C d d d = n 1 n n 3 s then gven as the convex of Cρ = nf p C Ψ 8 of all possble decompostons nto pure states Ψ wth ρ = p Ψ Ψ, p 0 9 Cρ vanshes f and only f ρ s fully separable Substtute eq 7 nto eq 8, one can get Cρ = nf p N 1 N N 3 9 C δ S αβγ Ψ 10 It s obvous that f the nfmum of eq 10 can be provded, one can obtan a suffcent and necessary condton of separablty for mxed states However, t seems to be mpossble for hgher-dmensonal systems One can only gve a lower bound as a necessary condton Therefore, a lower bound wth strong suffcency or convenent for calculatons s expected Accordng to the matrx notaton [7] of equaton 9, one can obtan ρ = ΨWΨ, where W s a dagonal matrx wth W = p, the columns of the matrx Ψ correspond to the vectors Ψ Due to the egenvalue decomposton: ρ = ΦMΦ, where M s a dagonal matrx whose dagonal elements are the egenvalues of ρ, and Φ s a untary matrx whose columns are the egenvectors of ρ, one can 1/

3 3 obtan ΨW 1/ = ΦM 1/, where C r N s a Rghtuntary matrx, wth N and r beng the column number of Ψ and the rank of ρ Therefore, based on the matrx notaton, eq 10 can be rewrtten as Cρ nf T M 1/ Φ T Sαβγ T sδ S αβγ ΦM 1/ = nf { m [ T M 1/ Φ T Sαβγ T sδ S αβγ ΦM 1/ M 1/ Φ Sαβγ T sδ S αβγ Φ M 1/ ] } 1/, where the Mnkowsk nequalty p m x mn p m x mn n n m s used Accordng to Ref [7], one can drectly obtan a lower bound of Cρ as max λ 1 z z λ >1 z, where λ j z are the sngular values of I j=1 z jm 1/ Φ T Sαβγ T sδ S αβγ ΦM 1/ n decreasng order wth z = [z 1, z,, z I ] a group of optmal complex parameters It can be easly found that the number of optmal parameters I = 9N 1 N N 3 s too large to be convenently used to calculatons for hgher-dmensonal systems yet However, t wll be found that by kronecker product approxmaton technque, not only mght the number of optmal parameters be further reduced, but also one can calculate the lower bound n dfferent approxmaton degrees In partcular, we can provde an analytc approxmaton for weakly mxed states In fact, f replacng of eq by, eq can be rewrtten as Cρ nf { [ T M 1/ Φ T Sαβγ T sδ S αβγ ΦM 1/ M 1/ Φ Sαβγs T δ S αβγ Φ M 1/ ] } 1/ where = nf {[ T A ] }1/, 1 A = α,β,γ 9 δ=1 ρ 1/ T S T αβγ Σ δ S αβγ ρ 1/, 13 defned n C d d C d d, and ρ 1/ = ΦM 1/ ΦM 1/, Σ δ = s δ s δ, S αβγ = S αβγ S αβγ The other ndces n above equaton are all defned the same as prevous sectons Even though the value of eq s not changed, the mpled meanng s qute dfferent, whch means that we have coped the gven quantum state n a conjugate Hlbert space and we consder the separablty of the state n a doubled Hlbert space The dstnct advantage s that eq 1 allows us to employ the kronecker product approxmaton technque [16,17] Next we wll employ the kronecker product approxmaton technque on A to derve a lower bound of eq 1 Based on the technque, A should be converted [19] nto à by à = V 1 AV 1 T, where the superscrpt T denotes partal transposton on the second subspace [18], V 1 s swap operator [19] defned as V 1 = kj k δ jk δ j k j j k k, j, k = 1,, d, j, k = 1,, d à has the sngular value decomposton: à = ΣV = r σ u v, 14 =1 where u, v are the th columns of the untary matrces and V, respectvely; Σ s a dagonal matrx wth elements σ decreasng for = 1,, r; r s the rank of à Thus, based on Ref [16,17] A can always be wrtten by A = r A B = r σ A B, where V eca = σ u and V ecb = σ v For any a p q matrx M = [m j ] wth entres m j [0], V ecm s defned by V ecm = [m,, m p1, m 1,, m p,, m 1q,, m pq ] T 15 One can fnd from eq 13 that f the two subspace that A s defned n s exchanged, A wll converted nto A, hence one has B = A, e A = r A A = r σ A A 16 Substtute eq 16 nto eq 1, eq 1 can be gven by Cρ nf N r T A j 17 j=1 The nfmum can be employed to test the full separablty of ρ In terms of the Cauchy-Schwarz nequalty x y 1/ 1/ x y and x x, Cρ gven by eq 16 can arrve at N r Cρ nf z j A j, 18 T j=1

4 4 where z j = x j expφ j, wth x j 0, j x j = 1Therefore the nfmum of eq 18 can be gven by max λ 1 z z >1 λ z, where λ j z are the sngular values of r j=1 z ja j n decreasng order [7], wth z = [z 1, z,, z r ] Note that r d s usually much smaller than d n practcal calculatons In partcular, one can consder dfferent numbers of σ j n decreasng order and correspondngly ntroduce optmal parameters, whch wll mght provde approxmate lower bounds n dfferent degrees In ths sense, the number of optmal parameters can be dramatcally reduced In fact, t s very possble that A j correspondng to the maxmal σ j can gve the man contrbuton [8] to the nfmum of eq 18 That s to say the lower bound of Cρ can be gven by λ 1 >1 λ wth λ j the sngular values of A j, whch s an analytc approxmaton For weakly mxed states e quas pure states, an analytc approxmaton of Cρ can also be ntroduced [1] Accordng to eq 13 and kronecker approxmaton technque, A can also be gven n the followng way l m = α,β,γ 9 ul u l u m u m δ=1 Ψ l S T αβγs δ S αβγ Ψ l Ψ m S T αβγs δ S αβγ Ψ m, 19 where Ψ α and u α denote the αth egenvector and egenvalue, and all the other quanttes are defned smlar to those n eq 7 Accordng to the symmetry of A gven by eq 16 and the kronecker product approxmaton technque n above secton, A can be formally wrtten as Consder two 3 dmensonal quas pure states constructed respectvely by and where and ρ 1 x = x GHZ GHZ + 1 x1 1 ρ x = x W W + 1 x1 1, GHZ = , W = Note that GHZ and W gven n Ref [] correspond to GHZ class and W class wth hgh local rank, respectvely The two states can be consdered as quas pure states for x 03 By the calculaton, one can fnd that C a ρ 1 and C a ρ are both nonzero What s more, for the quas pure states generated by the mxture of maxmally mxed state dentty matrx and trpartte GHZ state n dmenson, the correspondng C a ρs can all be shown to be nonzero for x 03 We also study some 3 dmensonal quas pure states ρ by the mxture of maxmally mxed state and random semseparable pure states generated by Matlab, numercal results show that C a ρ are nonzero f ρ are strct quas pure states All above show the suffcency of our crteron for testng the entanglement of hgh-dmensonal mxed systems l m = α T α lm T α l m IV CONCLSION AND DISCSSION The densty matrx of quas pure states has one sngle egenvalue µ 1 that s much larger than all the others, whch nduces a natural order n terms of the small egenvalues µ, > 1 Due to the same reasons to those n Ref [1], here we consder the second order elements of type Therefore, one can have the approxmaton l m τ lmτ l m wth τ lm = Alm A In ths sense, eq 18 can be smplfed sgnfcantly: Cρ C a ρ = nf C a ρ can be gven by T τ C a ρ = max{λ 1 >1 λ, 0}, where λ s the sngular value of τ n decreasng order In summary, we have utlzed an ntutve approach to generalze the crteron to hgh-dmensonal trpartte systems The generalzed crteron for pure states can be convenently extended to the case of mxed states by utlzng the kronecker product approxmate technque The lower bound for mxed states can provde necessary condtons to test the full separablty Compared wth the prevous crtera, the crteron ntroduced here can effectvely reduce the restrctve condtons However, the crteron s not an entanglement monotone Numercal results show that our crteron for hgh-dmensonal systems s even suffcent condton of full separablty for strct quas pure states V ACKNOWLEDGEMENT Ths work was supported by the Natonal Natural Scence Foundaton of Chna, under Grant Nos and

5 5 [1] M A Nelsen and I L Chuang, Quantum Computaton and Quantum Informaton Cambrdge nversty Press, Cambrdge, 000 [] M Zukowsk, A Zelnger, M A Horne, and A K Ekert, Phys Rev Lett 71, [3] C H Bennett, et al, Phys Rev Lett70, [4] C H Bennett and S Wesner, Phys Rev Lett 69, [5] W K Wootters, Phys Rev Lett 80, [6] Ahlmann, Phys Rev A 6, [7] K Audenaert, FVerstraete and De Moor, Phys Rev A 64, [8] Floran Mntert, Marek Kuś, and Andreas Buchletner, Phys Rev Lett 9, [9] Valere Coffman, Joydp Kundu, and Wllam K Wootters, Phys Rev A 61, [10] W Dür, G Vdal, and J I Crac, Phys Rev A 6, [] A Myake, Phys Rev A 67, [1] Andreas Osterloh, Jens Sewert, Phys Rev A 7, [13] Chang-shu Yu, He-shan Song, Phys Rev A 73, [14] A R R Carvalho, F Mntert, A Buchletner, Phys Rev Lett 93, ; [15] Chang-shu Yu, He-shan Song, Phys Rev A 7, [16] C F Van Loan and N P Ptsans, n Lnear Algebra for Large Scale and Real Tme Applcatons, edted by M S Moonen and G H Golub Kluwer, Dordrecht, 1993, pp [17] N P Ptsans, PhD thess, Cornell nversty, New York, 1997 [18] A Peres, Phys Rev Lett 76, [19] Heng Fan, e-prnt quant-ph/ [0] R A Horn and C R Johnson, Matrx Analyss Cambrdge nversty Press, New York, 1985 [1] Floran Mntert, André R R Carvalho, Marek Kuś, and Andreas Buchletner, Physcs Report 415,