Misplaced Pages

Peres–Horodecki criterion

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Peres-Horodecki criterion) Criterion in quantum information theory

The Peres–Horodecki criterion is a necessary condition, for the joint density matrix ρ {\displaystyle \rho } of two quantum mechanical systems A {\displaystyle A} and B {\displaystyle B} , to be separable. It is also called the PPT criterion, for positive partial transpose. In the 2×2 and 2×3 dimensional cases the condition is also sufficient. It is used to decide the separability of mixed states, where the Schmidt decomposition does not apply. The theorem was discovered in 1996 by Asher Peres and the Horodecki family (Michał, Paweł, and Ryszard)

In higher dimensions, the test is inconclusive, and one should supplement it with more advanced tests, such as those based on entanglement witnesses.

Definition

If we have a general state ρ {\displaystyle \rho } which acts on Hilbert space of H A ⊗ H B {\displaystyle {\mathcal {H}}_{A}\otimes {\mathcal {H}}_{B}}

ρ = ∑ i j k l p k l i j | i ⟩ ⟨ j | ⊗ | k ⟩ ⟨ l | {\displaystyle \rho =\sum _{ijkl}p_{kl}^{ij}|i\rangle \langle j|\otimes |k\rangle \langle l|}

Its partial transpose (with respect to the B party) is defined as

ρ T B := ( I ⊗ T ) ( ρ ) = ∑ i j k l p k l i j | i ⟩ ⟨ j | ⊗ ( | k ⟩ ⟨ l | ) T = ∑ i j k l p k l i j | i ⟩ ⟨ j | ⊗ | l ⟩ ⟨ k | = ∑ i j k l p l k i j | i ⟩ ⟨ j | ⊗ | k ⟩ ⟨ l | {\displaystyle \rho ^{T_{B}}:=(I\otimes T)(\rho )=\sum _{ijkl}p_{kl}^{ij}|i\rangle \langle j|\otimes (|k\rangle \langle l|)^{T}=\sum _{ijkl}p_{kl}^{ij}|i\rangle \langle j|\otimes |l\rangle \langle k|=\sum _{ijkl}p_{lk}^{ij}|i\rangle \langle j|\otimes |k\rangle \langle l|}

Note that the partial in the name implies that only part of the state is transposed. More precisely, ( I ⊗ T ) ( ρ ) {\displaystyle (I\otimes T)(\rho )} is the identity 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:

ρ = ( A 11 A 12 … A 1 n A 21 A 22 ⋮ ⋱ A n 1 A n n ) {\displaystyle \rho ={\begin{pmatrix}A_{11}&A_{12}&\dots &A_{1n}\\A_{21}&A_{22}&&\\\vdots &&\ddots &\\A_{n1}&&&A_{nn}\end{pmatrix}}}

Where n = dim ⁡ H A {\displaystyle n=\dim {\mathcal {H}}_{A}} , and each block is a square matrix of dimension m = dim ⁡ H B {\displaystyle m=\dim {\mathcal {H}}_{B}} . Then the partial transpose is

ρ T B = ( A 11 T A 12 T … A 1 n T A 21 T A 22 T ⋮ ⋱ A n 1 T A n n T ) {\displaystyle \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}}}

The criterion states that if ρ {\displaystyle \rho \;\!} is separable then all the eigenvalues of ρ T B {\displaystyle \rho ^{T_{B}}} are non-negative. In other words, if ρ T B {\displaystyle \rho ^{T_{B}}} has a negative eigenvalue, ρ {\displaystyle \rho \;\!} is guaranteed to be entangled. The converse of these statements is true if and only if the dimension of the product space is 2 × 2 {\displaystyle 2\times 2} or 2 × 3 {\displaystyle 2\times 3} .

The result is independent of the party that was transposed, because ρ T A = ( ρ T B ) T {\displaystyle \rho ^{T_{A}}=(\rho ^{T_{B}})^{T}} .

Example

Consider this 2-qubit family of Werner states:

ρ = p | Ψ − ⟩ ⟨ Ψ − | + ( 1 − p ) I 4 {\displaystyle \rho =p|\Psi ^{-}\rangle \langle \Psi ^{-}|+(1-p){\frac {I}{4}}}

It can be regarded as the convex combination of | Ψ − ⟩ {\displaystyle |\Psi ^{-}\rangle } , a maximally entangled state, and the identity element, a maximally mixed state.

Its density matrix is

ρ = 1 4 ( 1 − p 0 0 0 0 p + 1 − 2 p 0 0 − 2 p p + 1 0 0 0 0 1 − p ) {\displaystyle \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}}}

and the partial transpose

ρ T B = 1 4 ( 1 − p 0 0 − 2 p 0 p + 1 0 0 0 0 p + 1 0 − 2 p 0 0 1 − p ) {\displaystyle \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}}}

Its least eigenvalue is ( 1 − 3 p ) / 4 {\displaystyle (1-3p)/4} . Therefore, the state is entangled for 1 ≥ p > 1 / 3 {\displaystyle 1\geq p>1/3} .

Demonstration

If ρ is separable, it can be written as

ρ = ∑ p i ρ i A ⊗ ρ i B {\displaystyle \rho =\sum p_{i}\rho _{i}^{A}\otimes \rho _{i}^{B}}

In this case, the effect of the partial transposition is trivial:

ρ T B = ( I ⊗ T ) ( ρ ) = ∑ p i ρ i A ⊗ ( ρ i B ) T {\displaystyle \rho ^{T_{B}}=(I\otimes T)(\rho )=\sum p_{i}\rho _{i}^{A}\otimes (\rho _{i}^{B})^{T}}

As the transposition map preserves eigenvalues, the spectrum of ( ρ i B ) T {\displaystyle (\rho _{i}^{B})^{T}} is the same as the spectrum of ρ i B {\displaystyle \rho _{i}^{B}\;\!} , and in particular ( ρ i B ) T {\displaystyle (\rho _{i}^{B})^{T}} must still be positive semidefinite. Thus ρ T B {\displaystyle \rho ^{T_{B}}} must also 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 I ⊗ Λ ( ρ ) {\displaystyle I\otimes \Lambda (\rho )} being positive for all positive maps Λ is a necessary and sufficient condition for the separability of ρ, where Λ maps B ( H B ) {\displaystyle B({\mathcal {H}}_{B})} to B ( H A ) {\displaystyle B({\mathcal {H}}_{A})}

Furthermore, every positive map from B ( H B ) {\displaystyle B({\mathcal {H}}_{B})} to B ( H A ) {\displaystyle B({\mathcal {H}}_{A})} can be decomposed into a sum of completely positive and completely copositive maps, when dim ( H B ) = 2 {\displaystyle {\textrm {dim}}({\mathcal {H}}_{B})=2} and dim ( H A ) = 2 or 3 {\displaystyle {\textrm {dim}}({\mathcal {H}}_{A})=2\;{\textrm {or}}\;3} . In other words, every such map Λ can be written as

Λ = Λ 1 + Λ 2 ∘ T , {\displaystyle \Lambda =\Lambda _{1}+\Lambda _{2}\circ T,}

where Λ 1 {\displaystyle \Lambda _{1}} and Λ 2 {\displaystyle \Lambda _{2}} 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 ρ T B {\displaystyle \rho ^{T_{B}}} is positive, I ⊗ Λ ( ρ ) {\displaystyle I\otimes \Lambda (\rho )} is positive for any Λ. Thus we conclude that the Peres–Horodecki criterion is also sufficient for separability when dim ( H A ⊗ H B ) ≤ 6 {\displaystyle {\textrm {dim}}({\mathcal {H}}_{A}\otimes {\mathcal {H}}_{B})\leq 6} .

In higher dimensions, however, there exist 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 entangled, i.e. they can not be distilled for quantum communication purposes.

Continuous variable systems

The Peres–Horodecki criterion has been extended to continuous variable systems. Rajiah Simon formulated a particular version of the PPT criterion in terms of the second-order moments of canonical operators and showed that it is necessary and sufficient for 1 ⊕ 1 {\displaystyle 1\oplus 1} -mode Gaussian states (see Ref. for a seemingly different but essentially equivalent approach). It was later found that Simon's condition is also necessary and sufficient for 1 ⊕ n {\displaystyle 1\oplus n} -mode Gaussian states, but no longer sufficient for 2 ⊕ 2 {\displaystyle 2\oplus 2} -mode Gaussian states. Simon's condition can be generalized by taking into account the higher order moments of canonical operators or by using entropic measures.

Symmetric systems

For symmetric states of bipartite systems, the positivity of the partial transpose of the density matrix is related to the sign of certain two-body correlations. Here, symmetry means that

ρ F A B = F A B ρ = ρ , {\displaystyle \rho F_{AB}=F_{AB}\rho =\rho ,}

holds, where F A B {\displaystyle F_{AB}} is the flip or swap operator exchanging the two parties A {\displaystyle A} and B {\displaystyle B} . A full basis of the symmetric subspace is of the form ( | n ⟩ A | m ⟩ B + | m ⟩ A | n ⟩ B ) / 2 {\displaystyle (\vert n\rangle _{A}\vert m\rangle _{B}+\vert m\rangle _{A}\vert n\rangle _{B})/{\sqrt {2}}} with m ≠ n {\displaystyle m\neq n} and | n ⟩ A | n ⟩ B . {\displaystyle \vert n\rangle _{A}\vert n\rangle _{B}.} Here for n {\displaystyle n} and m , {\displaystyle m,} 0 ≤ n , m ≤ d − 1 {\displaystyle 0\leq n,m\leq d-1} must hold, where d {\displaystyle d} is the dimension of the two parties.

It can be shown that for such states, ρ {\displaystyle \rho } has a positive partial transpose if and only if

⟨ M ⊗ M ⟩ ρ ≥ 0 {\displaystyle \langle M\otimes M\rangle _{\rho }\geq 0}

holds for all operators M . {\displaystyle M.} Hence, if ⟨ M ⊗ M ⟩ ρ < 0 {\displaystyle \langle M\otimes M\rangle _{\rho }<0} holds for some M {\displaystyle M} then the state possesses non-PPT entanglement.

Moreover, a bipartite symmetric PPT state can be written as

ϱ = ∑ k p k M k ⊗ M k , {\displaystyle \varrho =\sum _{k}p_{k}M_{k}\otimes M_{k},}

where p k {\displaystyle p_{k}} are probabilities and M k {\displaystyle M_{k}} fulfill T r ( M k ) = 1 {\displaystyle {\rm {Tr}}(M_{k})=1} and T r ( M k 2 ) = 1. {\displaystyle {\rm {Tr}}(M_{k}^{2})=1.} However, for a subsystem larger than a qubit, M k {\displaystyle M_{k}} are not necessarily physical pure density matrices since they can have negative eigenvalues. In this case, even entangled states can be written as a mixture of tensor products of single-party aphysical states, very similar to the form of separable states. In the qubit case, M k {\displaystyle M_{k}} are physical density matrices, which is consistent with the fact that for two qubits all PPT states are separable.

The concept of such pseudomixtures has been extended to non-symmetric states and to the multipartite case, by the definition of pseudoseparable states

ϱ = ∑ k p k M k ( 1 ) ⊗ M k ( 2 ) ⊗ . . . ⊗ M k ( N ) , {\displaystyle \varrho =\sum _{k}p_{k}M_{k}^{(1)}\otimes M_{k}^{(2)}\otimes ...\otimes M_{k}^{(N)},}

where N {\displaystyle N} is the number of subsystems and M k ( n ) {\displaystyle M_{k}^{(n)}} fulfill T r ( M k ( n ) ) = 1 {\displaystyle {\rm {Tr}}(M_{k}^{(n)})=1} and T r [ ( M k ( n ) ) 2 ] = 1. {\displaystyle {\rm {Tr}}=1.} The single subsystem aphysical states M k ( n ) {\displaystyle M_{k}^{(n)}} are just states that live on the higher dimensional equivalent of the Bloch sphere even for systems that are larger than a qubit. Separable states are the subset of the set of speudoseparable states, while for qubits the two sets coincide with each other. For systems larger than qubits, such quantum states can be entangled, and in this case they can have PPT or non-PPT bipartitions.

References

  1. Peres, Asher (August 19, 1996). "Separability Criterion for Density Matrices". Physical Review Letters. 77 (8): 1413–1415. arXiv:quant-ph/9604005. doi:10.1103/PhysRevLett.77.1413. PMID 10063072. S2CID 5246518.
  2. Horodecki, Michał; Horodecki, Paweł; Horodecki, Ryszard (1996). "Separability of mixed states: necessary and sufficient conditions". Physics Letters A. 223 (1–2): 1–8. arXiv:quant-ph/9605038. doi:10.1016/S0375-9601(96)00706-2. S2CID 10580997.
  3. Simon, R. (2000). "Peres-Horodecki Separability Criterion for Continuous Variable Systems". Physical Review Letters. 84 (12): 2726–2729. arXiv:quant-ph/9909044. Bibcode:2000PhRvL..84.2726S. doi:10.1103/PhysRevLett.84.2726. PMID 11017310. S2CID 11664720.
  4. Duan, Lu-Ming; Giedke, G.; Cirac, J. I.; Zoller, P. (2000). "Inseparability Criterion for Continuous Variable Systems". Physical Review Letters. 84 (12): 2722–2725. arXiv:quant-ph/9908056. Bibcode:2000PhRvL..84.2722D. doi:10.1103/PhysRevLett.84.2722. PMID 11017309. S2CID 9948874.
  5. Werner, R. F.; Wolf, M. M. (2001). "Bound Entangled Gaussian States". Physical Review Letters. 86 (16): 3658–3661. arXiv:quant-ph/0009118. Bibcode:2001PhRvL..86.3658W. doi:10.1103/PhysRevLett.86.3658. PMID 11328047. S2CID 20897950.
  6. Shchukin, E.; Vogel, W. (2005). "Inseparability Criteria for Continuous Bipartite Quantum States". Physical Review Letters. 95 (23): 230502. arXiv:quant-ph/0508132. Bibcode:2005PhRvL..95w0502S. doi:10.1103/PhysRevLett.95.230502. PMID 16384285. S2CID 28595936.
  7. Hillery, Mark; Zubairy, M. Suhail (2006). "Entanglement Conditions for Two-Mode States". Physical Review Letters. 96 (5): 050503. arXiv:quant-ph/0507168. Bibcode:2006PhRvL..96e0503H. doi:10.1103/PhysRevLett.96.050503. PMID 16486912. S2CID 43756465.
  8. Walborn, S.; Taketani, B.; Salles, A.; Toscano, F.; de Matos Filho, R. (2009). "Entropic Entanglement Criteria for Continuous Variables". Physical Review Letters. 103 (16): 160505. arXiv:0909.0147. Bibcode:2009PhRvL.103p0505W. doi:10.1103/PhysRevLett.103.160505. PMID 19905682. S2CID 10523704.
  9. Yichen Huang (October 2013). "Entanglement Detection: Complexity and Shannon Entropic Criteria". IEEE Transactions on Information Theory. 59 (10): 6774–6778. doi:10.1109/TIT.2013.2257936. S2CID 7149863.
  10. Tóth, Géza; Gühne, Otfried (May 1, 2009). "Entanglement and Permutational Symmetry". Physical Review Letters. 102 (17): 170503. arXiv:0812.4453. doi:10.1103/PhysRevLett.102.170503. PMID 19518768. S2CID 43527866.
  11. Vitagliano, Giuseppe; Gühne, Otfried; Tóth, Géza (2024). "su(d)-squeezing and many-body entanglement geometry in finite-dimensional systems". arXiv:2406.13338 .
Category: