= Positive-map separability criterion
A finite-dimensional bipartite <density operator> $\rho_{AB}$ is a <separable quantum state> exactly when $(\operatorname{id}_A\otimes\Phi)(\rho_{AB})\geq0$ for every <positive linear map> from operators on $B$ to operators on $A$. In combination with the <Størmer-Woronowicz decomposability theorem>, it makes the <positive partial transpose criterion> sufficient for qubit-qutrit states. The criterion is established in https://arxiv.org/abs/quant-ph/9605038[the Horodeckis' separability paper].
Back to article page
