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}}}
… excerpt ends here. Continue reading the full article.
