arxiv:quant-ph/ v2 3 Apr 2006

Transcription

1 New class of states with positive partial transposition Dariusz Chruściński an Anrzej Kossakowski Institute of Physics Nicolaus Copernicus University Gruzi azka 5/ Toruń Polan We construct a new class quantum states bipartite states which are positive uner partial transposition (PPT states. This class is invariant uner the maximal commutative subgroup of U( an contains as special cases many well known examples of PPT states. States from our class provie new criteria for testing inecomposability of positive maps. Such maps are crucial in constructing entanglement witnesses. PACS numbers: 0.65.U a arxiv:quant-ph/060076v Apr 006 The interest on quantum entanglement has ramatically increase uring the last two ecaes ue to the emerging fiel of quantum information theory [1]. It turns out that quantum entangle states may be use as basic resources in quantum information processing an communication such as quantum cryptography quantum teleportation ense coing error correction an quantum computation. A funamental problem in quantum information theory is to test whether a given state of a composite quantum system is entangle or separable. Several operational criteria have been propose to ientify entangle states []. The most famous Peres-Horoecki criterion [ 4] is base on the partial transposition: if a state ρ is separable then its partial transposition (1l τρ is positive. States which are positive uner partial transposition are calle PPT states. Clearly each separable state is necessarily PPT but the converse is not true. It was shown by Horoecki et al. [5] that PPT conition is both necessary an sufficient for separability for an systems. Now since all separable states belong to a set of PPT states the structure of this set is of primary importance in quantum information theory. Unfortunately this structure is still unknown that is one may check whether a given state is PPT but we o not know how to construct a general quantum state with PPT property. There are several well known examples of PPT states. One class contains PPT states which are separable e.g. Werner [6] an isotropic states [7]. Other examples presents PPT states that are entangle. Actually there is a systematic metho of construction of PPT entangle states which is base on a concept of unextenible prouct bases [8] (see also [9]. Other examples of PPT entangle states were constructe in [ ]. PPT states play also a crucial role in mathematical theory of positive maps an as is well know these maps are very important in the stuy of quantum entanglement. Recently the mathematical structure of quantum states with positive partial transposition were stuie in [16 17]. In the present Letter we propose a new class of bipartite PPT states. Why this class is important: (i it contains many above mentione examples of PPT states. (ii We claim that this is the most general class of PPT states available at the moment. Moreover unlike other examples it fully uses complex parametrization of ensity operators. (iii Finally it may be use to stuy important properties of positive maps e.g. to test whether a given positive map is inecomposable an atomic. As is well know inecomposable positive maps are crucial in constructing entanglement witnesses. The efining property of this class is very simple: it contains bipartite states invariant uner the maximal commutative subgroup of U( i.e. -imensional torus T = U(1... U(1. This commutative subgroup is generate by mutually commuting operators ˆt k = k k k = 1... (1 where k enotes an orthonormal base in C. Now any vector x R gives rise to the following element from T : U x = e ix t ( where t = (ˆt 1... ˆt. Eviently U x U y = U x+y. There are two classes of bipartite states invariant uner U x : 1. Werner-like state or U x U x invariant states U x U x ρ = ρ U x U x (. isotropic-like state or U x Ux invariant states U x U x ρ = ρ U x U x (4 for all x R. Ux enotes complex conjugation of U x in a fixe basis.

2 Clearly these two classes are relate by a partial transposition i.e. a bipartite operator Ô is U x U x invariant iff (1l τô is U x U x invariant. The most general state which is U x U x invariant has the following form: ρ = a ij ii jj + c ij ij ij. (5 Now since ρ = ρ the matrix â = a ij has to be hermitian an coefficients c ij have to be real. Moreover ρ is positive iff â = a ij 0 an c ij 0. (6 Finally normalization Trρ = 1 leas to Tr â + i j c ij = 1. (7 Consier now the partial transposition of ρ: (1l τρ = a ij ij ji + c ij ij ij. (8 Note that the above formula may be rewritten as follows (1l τρ = a ii ii ii + i<j where the operator X ij is given by X ij (9 X ij = a ij ij ji +a ij ji ij +c ij ij ij +c ji ji ji. Since two operators i a ii ii ii an i<j X ij live in a mutually orthogonal subspaces of C C the positivity of (1l τρ implies separately i a ii ii ii 0 which is equivalent to a ii 0 an i<j X ij 0. Now for any pair i < j an operator X ij acts on a - imensional subspace of C C spanne by ij an ji : X ij ij = c ij ij + a ij ji X ij ji = a ij ij + c ji ji (10 an hence X ij ij 0 iff [ ] cij a ij a 0 (11 ij c ij which is equivalent to the following conition c ij c ji a ij 0. (1 There is an evient example of isotropic-like PPT states. Let λ = (λ 1... λ be a normalize complex vector. Consier a state from a class (5 with a ij = λ i λ j an c ij = λ i λ j. Eviently â 0 c ij 0 an c ij c ji a ij = 0. Hence each complex vector λ gives rise to a PPT state. Similarly one may analyze a general Werner-like U x Ux invariant state: ρ = b ij ij ji + c ij ij ij. (1 Now positivity of ρ is equivalent to c ij 0 an c ij c ji b ij = 0. (14 On the other han partial transposition (1l τ ρ = b ij ii jj + c ij ij ij (15 is U x U x invariant an therefore ρ is PPT iff b = bij 0 an c ij 0. (16 Examples Now we show that many well known examples of PPT states belong to our class. 1. Werner state [6]: where Q ± = W p = (1 pq + + pq (17 1 ( I I ± ( ± 1 Clearly W p belongs to a class (1 with an c ij = x + where x i j b ij = x + x + i = j x ± = 1 p + ± p. ij ji. Conition (14 implies p [0 1]. To check conition (16 for PPT let us observe that the spectrum of b consists of only two points: λ 1 = x + with muliplicity 1 an λ = x + x +. Therefore b is positive iff λ 0 which is equivalent to p 1/ an hence it reprouces well known result for PPT property of Werner states [6].

3 . Isotropic state [7]: I = 1 λ I I + λ ii jj. (18 belongs to a class (5 with c ij = (1 λ/ an λ/ i j a ij = λ/ + (1 λ/. i = j Positivity of â together with c ij 0 imply 1/( 1 λ 1. PPT conition (1 leas to λ 1/ + 1 which reprouces well known result for PPT property of isotropic states [7].. Authors of [11] consiere the following twoparameter family ρ bc = a + c ii ii + b i<j=1 i<j=1 ψ ij ψ ij ψ + ij ψ+ ij (19 where ψ ij ± = ( ij ± ji /. Note that the unit trace conition (7 enables one to compute a in terms of b an c: a = 1/ (b + c/(. Clearly ρ bc belongs to a Werner class (1 with (c b/ i j b ij = a i = j an c ij = (c + b/. Now c ij 0 implies c + b 0 whereas b 0 gives: 1 ( 1b 0 ( b c 0 which reprouce results of [11]. 4. Horoecki et al. [1] consiere the following state σ α = 7 P + + α 7 σ α 7 σ α 5 (0 where P + enotes a projector onto the canonical maximally entangle state an σ + = 1 ( σ = 1 ( Clearly (0 belongs to isotropic-like class (5 with a ij = /1 c 01 = c 1 = c 0 = α/1 an c 10 = c 1 = c 0 = (5 α/1. One easily fins that PPT conition (1 reprouces well known fact that (0 is PPT for α 4. Recently a one-parameter family (0 was generalize for systems as follows [15]: ρ = a 1 P + + j= a j i i+j 1 i i+j 1 (1 where the positive numbers a i satisfy i a i = 1. Clearly it belongs to an isotropic-like family (5. If a i+1 a i+1 a 1 then the state is PPT. 5. Boun entangle states consiere in [1] belong to our class (5 with a ij = Størmer state. Størmer [18] analyze an unnormalize positive PPT matrix with a ij = 1 an c ij = µ i < j ; c ij = 1/µ i > j. This example may be immeiately generalize for case as follows: a ij = α an c ij > 0 i < j ; c ij = α c 1 ji i > j where α > 0 is a normalization constant. One has c ij c ji = a ij an (1 implies that the corresponing state is PPT. 7. Ha [16] performe very sophisticate construction of a one-parameter family of (unnormalize positive matrices an showe that this family remains positive after performing partial transposition. It turns that Ha s family is a special example of an isotropic-like class (5 with a ij = 1 an c i 1i = λ c ii 1 = λ an the remaining c ij = 1. In the above formula enotes aition moulo an λ = γ + 1 λ = γ + 1 with γ > 0. Now conitions for positivity (6 are trivially satisfie. Moreover ue to λλ 1 the PPT conition (1 is also satisfie which shows that Ha s family is PPT. Another example constructe in [16] is a family of (un-normalize positive PPT matrices but the construction may be generalize to an arbitrary as follows: let u i = ii z i = 1 i + 1 i + s i i + 1 s with s > 0 an i = Define the following family of positive matrices: B s = ( u i u i + z i z i. (

4 Observe that ( belongs to a Werner-like class (1 with b ii = b ii 1 = b i 1i = 1 c ii 1 = s c i 1i = s an the remaining b ij an c ij vanish. Note that PPT conition (16 is trivially satisfie. 8. PPT states which o not belong to our class. It turns out that apart from boun entangle states constructe via unextenible prouct bases [8] almost all other examples of PPT states o belong to our class. We are aware of only few exceptions: one is the family of O O invariant states [19 0] an the secon one is the celebrate family of states which are nonseparable but PPT constructe by Horoecki [4]. Note that the -imensional torus U(1... U(1 oes not allow for an orthogonal subgroup an hence states with orthogonal symmetry has to be consiere separately. Now the Horoecki state ρ a may be rewritten as ρ a = ρ a + ρ a where an ( ρ a = αa ii jj + ij ij ρ a = α 1 a ( with α = 1/(8a + 1 being a normalization constant. Note that ρ a is an isotropic-like matrix an oes belong to (5. However ρ a is not invariant uner the maximal commutative subgroup of U(. Note that ρ a is invariant only uner 1-parameter subgroup generate by ˆt =. It shows that Horoecki state ρ a is also symmetric but with respect to smaller symmetry group. Separability. A state from a class (5 is separable iff there exists a separable state σ such that ρ = Pσ where P enotes a projector operator projecting an arbitrary state onto the class (5 i.e. Pσ belongs to (5 with pseuo-fielities a ij = Tr(σ ii jj an c ij = Tr(σ ij ij. Taking σ = α β α β one fins the following sufficient conition for separability: a ij = α i α j β i β j c ij = α i β j ( where α i = i α an β i = i β. Positive maps. PPT states are also important in the stuy of positive maps [ ] (see also [1] for a useful review. It has been shown [5] that there exists a strong connection between the classification of the entanglement of quantum states an the structure of positive linear maps. Let M enote a set of complex matrices an V k be a cone of positive matrices A (M M + such that Schmit number SN(A k []. Now one says that A belongs to a cone V l iff A is PPT an SN[(1l τa] l. It is clear that V 1 = V 1 efines a cone of separable elements. Recall that a positive map Φ : M M is k- positive iff (1l Φ is positive when restricte to V k. Similarly Φ is k-copositive iff (1l Φ τ is positive on V k. The most basic class of positive maps consists of so calle atomic ones [] Φ is atomic iff it cannot be ecompose into the sum of -positive an -copositive maps. Atomic maps posses the weakest positivity property an hence may be use to etect the bipartite states with the weakest entanglement i.e. states from V V. Conversely PPT states may be use to check the atomic property of positive maps. Suppose that we are given an inecomposable positive map Φ. If for some A V V one fins that (1l ΦA is not positive then Φ is necessarily atomic. Now it woul be interesting to know when PPT states from our class belong to V V. Consier e.g. a state ρ from an isotropic-like class (5. Note that if ρ is PPT then ue to (10 ρ necessarily belongs to V. Hence it is enough to check when ρ V. It is clear that ρ V iff there is σ V such that ρ = Pσ. Taking σ = 1 α β+ψ φ α β+ψ φ one fins the following sufficient conition for ρ to be an element form a cone V : a ij = 1 ( α i βi [α j β j + ψ j φ j ] + ψi φ i [α j β j + ψ j φ j ] c ij = 1 ( α i β j [α i βj + ψi φ j] + ψ i φ j [α i βj + ψi φ j] where α i = i α an similarly for β i ψ i an φ i. Interestingly any Werner-like state from (1 belongs to V. Hence it suffices to check wether it belongs to V. One may easily erive sufficient conitions for b ij an c ij in analogy to the above conitions for a ij an c ij. Acknowlegments This work was partially supporte by the Polish State Committee for Scientific Research Grant Informatyka i inżynieria kwantowa No PBZ-Min-008/P0/0. [1] M. A. Nielsen an I. L. Chuang Quantum Computation an Quantum Information (Cambrige University Press Cambrige Englan

5 [] A.C. Doherty P. A. Parrilo an F.M. Spealieri Phys. Rev. Lett (00; O. Ruolph Phys. Rev. A (00; K. Chen an L. Wu Quant. Inf. Comp. 19 (00; M. Horoecki P. Horoecki an R. Horoecki quant-ph/006008; D. Bruss et al. J. Mo. Opt (00. [] A. Peres Phys. Rev. Lett (1996. [4] P. Horoecki Phys. Lett. A (1997. [5] M. Horoecki P. Horoecki an R. Horoecki Phys. Lett. A 1 (1996. [6] R.F. Werner Phys. Rev. A (1989. [7] M. Horoecki an P. Horoecki Phys. Rev. A (1999. [8] C.H. Bennett et al. Phys. Rev. Lett (1999 [9] D.P. DiVincenco et al. Comm. Math. Phys (00; A.O. Pittenger Lin. Alg. Appl (00 [10] C.H. Bennett D.P. DiVincenzo J.A. Smolin an W.K. Wootters Phys. Rev. A (1996; M. Horoecki P. Horoecki an R. Horoecki Phys. Rev. Lett (000. [11] D.P. DiVincenzo et al. Phys. Rev. A (000. [1] M. Horoecki P. Horoecki an R. Horoecki Mixestate entanglement an quantum communication in Quantum Information: An Introuction to Basic Theoretical Concepts an Experiments Springer Tracts in Moern Physics pp [1] P. Horoecki an M. Lewenstein Phys. Rev. Lett (000. [14] D. Bruss an A. Peres Phys. Rev. A (R (000. [15] S. Yu an N. Liu Phys. Rev. Lett (005. [16] K.-C. Ha Publ. RIMS Kyoto Univ (1998 [17] K.-C. Ha an S.-H. Kye J. Phys. A: Math. Gen (005; Phys. Lett. A 5 15 (004. [18] E. Størmer Proc. Am. Math. Soc (198 [19] K.G.H. Vollbrecht an R.F. Werner Phys. Rev. A (001. [0] D. Chruściński an A. Kossakowski On multipartite invariant states II. Orthogonal symmetry e-print quant-ph/ [1] M.D. Choi Lin. Alg. Appl (1975; H. Osaka Lin. Alg. Appl (199; B. Terhal Lin. Alg. Appl. 61 (001; A. Kossakowski Open. Sys. Inf. Dyn (00; K.-C. Ha an S.-H. Kye Phys. Lett. A 5 15 (004 [] B. Terhal an P. Horoecki Phys. Rev. A (000; A. Sanpera D. Bruss an M. Lewenstein Phys. Rev. A (R (001 [] K. Tanahashi an J. Tomiyama Cana. Math. Bull (