|
|
| Line 1: |
Line 1: |
| The '''Peres–Horodecki criterion''' is a necessary condition, for the joint [[density matrix]] <math>\rho</math> of two quantum mechanical systems <math>A</math> and <math>B</math>, to be [[separable states|separable]]. It is also called the '''PPT''' criterion, for ''positive partial transpose''. In the 2x2 and 2x3 dimensional cases the condition is also sufficient. It is used to decide the separability of [[Mixed state (physics)|mixed state]]s, where the [[Schmidt_decomposition#Schmidt_rank_and_entanglement|Schmidt decomposition]] does not apply. | | The author's title is Christy. Some time in the past he chose to reside in North Carolina and he doesn't strategy on changing it. Office supervising is what she does for a residing. The preferred pastime for him and his psychic love readings ([http://www.familysurvivalgroup.com/easy-methods-planting-looking-backyard/ www.familysurvivalgroup.com]) children is style and he'll be [http://www.chk.woobi.co.kr/xe/?document_srl=346069 online psychic reading] beginning something else along with it.<br><br>Feel free to visit my web-site free online tarot card readings - [http://www.edmposts.com/build-a-beautiful-organic-garden-using-these-ideas/ www.edmposts.com], |
| | |
| In higher dimensions, the test is inconclusive, and one should supplement it with more advanced tests, such as those based on [[entanglement witness]]es.
| |
| | |
| ==Definition==
| |
| | |
| If we have a general state <math>\rho</math> which acts on <math>\mathcal{H}_A \otimes \mathcal{H}_B</math>
| |
| | |
| :<math>\rho = \sum_{ijkl} p^{ij}_{kl} |i\rangle \langle j | \otimes |k\rangle \langle l| </math>
| |
| | |
| Its partial [[transpose]] (with respect to the B party) is defined as
| |
| | |
| :<math>\rho^{T_B} := I \otimes T (\rho) = \sum_{ijkl} p^{ij} _{kl} |i\rangle \langle j | \otimes (|k\rangle \langle l|)^T = \sum_{ijkl} p^{ij} _{kl} |i\rangle \langle j | \otimes |l\rangle \langle k| </math>
| |
| | |
| Note that the ''partial'' in the name implies that only part of the state is transposed. More precisely, <math> I \otimes T (\rho) </math> is the identity [[linear map|map]] applied to the A party and the transposition map applied to the B party.
| |
| | |
| This definition can be seen more clearly if we write the state as a block matrix:
| |
| | |
| :<math>\rho = \begin{pmatrix} A_{11} & A_{12} & \dots & A_{1n} \\ A_{21} & A_{22} & & \\ \vdots & & \ddots & \\ A_{n1} & & & A_{nn} \end{pmatrix}</math>
| |
| | |
| Where <math>n = \dim \mathcal{H}_A</math>, and each block is a square matrix of dimension <math>m = \dim \mathcal{H}_B</math>. Then the partial transpose is
| |
| | |
| :<math>\rho^{T_B} = \begin{pmatrix} A_{11}^T & A_{12}^T & \dots & A_{1n}^T \\ A_{21}^T & A_{22}^T & & \\ \vdots & & \ddots & \\ A_{n1}^T & & & A_{nn}^T \end{pmatrix}</math>
| |
| | |
| The criterion states that if <math>\rho\;\!</math> is separable, <math>\rho^{T_B}</math> has non-negative [[eigenvalues]]. In other words, if <math>\rho^{T_B}</math> has a negative eigenvalue, <math>\rho\;\!</math> is guaranteed to be [[Quantum entanglement|entangled]]. If the eigenvalues are non-negative, and the dimension is larger than 6, the test is inconclusive. | |
| | |
| The result is independent of the party that was transposed, because <math>\rho^{T_A} = (\rho^{T_B})^T</math>.
| |
| | |
| ==Example==
| |
| | |
| Consider this 2-qubit family of [[Werner state]]s:
| |
| | |
| :<math>\rho = p |\Psi^-\rangle \langle \Psi^-| + (1-p) \frac{I}{4} </math> | |
| | |
| It can be regarded as the [[convex combination]] of <math>|\Psi^-\rangle</math>, a [[maximally entangled state]], and identity, the [[maximally mixed state]].
| |
| | |
| Its density matrix is
| |
| | |
| :<math>\rho = \frac{1}{4}\begin{pmatrix}
| |
| 1-p & 0 & 0 & 0\\
| |
| 0 & p+1 & -2p & 0\\
| |
| 0 & -2p & p+1 & 0 \\
| |
| 0 & 0 & 0 & 1-p\end{pmatrix}</math>
| |
| | |
| and the partial transpose
| |
| | |
| :<math>\rho^{T_B} = \frac{1}{4}\begin{pmatrix}
| |
| 1-p & 0 & 0 & -2p\\
| |
| 0 & p+1 & 0 & 0\\
| |
| 0 & 0 & p+1 & 0 \\
| |
| -2p & 0 & 0 & 1-p\end{pmatrix}</math> | |
| | |
| Its least eigenvalue is <math>(1-3p)/4</math>. Therefore, the state is entangled for <math> p > 1/3 </math>.
| |
| | |
| ==Demonstration==
| |
| | |
| If ρ is separable, it can be written as
| |
| | |
| :<math> \rho = \sum p_i \rho^A_i \otimes \rho^B_i </math> | |
| | |
| In this case, the effect of the partial transposition is trivial:
| |
| | |
| :<math>\rho^{T_B} = I \otimes T (\rho) = \sum p_i \rho^A_i \otimes (\rho^B_i)^T </math>
| |
| | |
| As the transposition map preserves eigenvalues, the spectrum of <math>\rho^{T_B}</math> is the same as the spectrum of <math>\rho\;\!</math>, and in particular <math>\rho^{T_B}</math> must still be positive semidefinite. This proves the necessity of the PPT criterion.
| |
| | |
| Showing that being PPT is also sufficient for the 2 X 2 and 3 X 2 (equivalently 2 X 3) cases is more involved. It was shown by the Horodeckis that for every entangled state there exists an [[entanglement witness]]. This is a result of geometric nature and invokes the [[Hahn–Banach theorem]] (see reference below).
| |
| | |
| From the existence of entanglement witnesses, one can show that <math>I \otimes \Lambda (\rho) </math> being positive for all [[Choi's theorem on completely positive maps|positive maps]] Λ is a necessary and sufficient condition for the separability of ρ, where Λ maps <math> B(\mathcal{H}_B) </math> to <math>B(\mathcal{H}_A)</math>
| |
| | |
| Furthermore, every positive map from <math> B(\mathcal{H}_B) </math> to <math>B(\mathcal{H}_A)</math> can be decomposed into a sum of completely positive and completely copositive maps, when <math>\textrm{dim}(\mathcal{H}_B) = 2</math> and <math>\textrm{dim}(\mathcal{H}_A) = 2\;\textrm{or}\;3</math>. In other words, every such map Λ can be written as
| |
| | |
| :<math>\Lambda = \Lambda _1 + \Lambda _2 \circ T, </math>
| |
| | |
| where <math>\Lambda_1</math> and <math>\Lambda_2</math> are completely positive and ''T'' is the transposition map. This follows from the Størmer-Woronowicz theorem.
| |
| | |
| Loosely speaking, the transposition map is therefore the only one that can generate negative eigenvalues in these dimensions. So if <math>\rho^{T_B}</math> is positive, <math>I \otimes \Lambda (\rho) </math> is positive for any Λ. Thus we conclude that the Peres–Horodecki criterion is also sufficient for separability when <math>\textrm{dim}(\mathcal{H}_A \otimes \mathcal{H}_B) \le 6 </math>.
| |
| | |
| In higher dimensions, however, there exists maps that can't be decomposed in this fashion, and the criterion is no longer sufficient. Consequently, there are entangled states which have a positive partial transpose. Such states have the interesting property that they are [[Bound entanglement|bound entangled]], i.e. they can not be [[entanglement distillation|distilled]] for [[quantum communication]] purposes.
| |
| | |
| ==References==
| |
| *[[Asher Peres]], [http://prola.aps.org/abstract/PRL/v77/i8/p1413_1 ''Separability Criterion for Density Matrices''], Phys. Rev. Lett. '''77''', 1413–1415 (1996)
| |
| *Michał Horodecki, Paweł Horodecki, Ryszard Horodecki, [http://dx.doi.org/10.1016/S0375-9601(96)00706-2 ''Separability of Mixed States: Necessary and Sufficient Conditions''], Physics Letters A '''223''', 1-8 (1996)
| |
| * Karol Życzkowski and Ingemar Bengtsson, [http://chaos.if.uj.edu.pl/~karol/geometry.htm ''Geometry of Quantum States''], Cambridge University Press, 2006
| |
| * S. L. Woronowicz, Positive maps of low dimensional matrix algebras, ''Rep. Math. Phys.'' '''10''' (1976), 165–183.
| |
| | |
| {{DEFAULTSORT:Peres-Horodecki Criterion}}
| |
| [[Category:Quantum information theory]]
| |
The author's title is Christy. Some time in the past he chose to reside in North Carolina and he doesn't strategy on changing it. Office supervising is what she does for a residing. The preferred pastime for him and his psychic love readings (www.familysurvivalgroup.com) children is style and he'll be online psychic reading beginning something else along with it.
Feel free to visit my web-site free online tarot card readings - www.edmposts.com,