论文：Entanglement Witness

Yu, S., & Liu, N. Le. (2005). Entanglement detection by local orthogonal observables. Physical Review Letters, 95(15), 1–4. https://doi.org/10.1103/PhysRevLett.95.150504

Horodecki, R., Horodecki, P., Horodecki, M., & Horodecki, K. (2009). Quantum entanglement. Reviews of Modern Physics, 81(2), 865–942. https://doi.org/10.1103/RevModPhys.81.865

Necessary condition for separability

LOO: Local orthogonal observables.
PPT: Positive partial transposition

PPT criterion: a necessary condition for separability.
For $\rho{AB}\rho^{T_B}{AB}\rho_{AB}$ is separable.

（非常有意思的一点是，因为是只对做转置，所以取了转置符号的一半，来表示这样的操作，即将$\rho^{TB}{AB}\rho^\Gamma _{AB}$.）

PPT condition is equivalent to demanding the positivity of $(IA\otimes T_B)\rho{AB}T_BT_B$ is a positive (P) map, but not a completely positive (CP) map.

The map is completely positive if and only if is positive for identity map on any finite-dimensional system.

Any P but not CP map can form a nontrivial necessary condition for separation:

$$(I_{A} \otimes \Lambda_{B}) \rho_{A B} \geq 0\tag{1}$$

Then we can provide a necessary and sufficient condition: $\rho{AB}(1)\Lambda{B}$ is very hard for systems with dimension bigger than 6.

Entanglement witness

An entanglement witness is an oberservable that has:

• (i) non-negative expectation values in all separable states.
• (ii) at least one negative eigenvalue.
  

Optimizing Witness