Properties and Construction of Extreme Bipartite States Having Positive Partial Transpose

Lin Chen,Dragomir Ž. Đoković

DOI: https://doi.org/10.1007/s00220-013-1770-6

2013-01-01

Abstract:We consider a bipartite quantum system \({\mathcal{H}_A \otimes \mathcal{H}_B}\) with \({M={\rm Dim} \mathcal{H}_A}\) and \({N={\rm Dim} \mathcal{H}_B}\). We study the set \({\mathcal{E}}\) of extreme points of the compact convex set of all states having positive partial transpose (PPT) and its subsets \({\mathcal{E}_r = \{\rho\in \mathcal{E}:{\rm rank} \rho = r\}}\). Our main results pertain to the subsets \({\mathcal{E}_r^{M,N}}\) of \({\mathcal{E}_r}\) consisting of states whose reduced density operators have ranks M and N, respectively. The set \({\mathcal{E}_1}\) is just the set of pure product states. It is known that \({\mathcal{E}^{M, N}_r = \emptyset}\) for \({1 < r \leq {\rm min}(M, N)}\) and for r = MN. We prove that also \({\mathcal{E}_{MN-1}^{M,N}=\emptyset}\). Leinaas, Myrheim and Sollid have conjectured that \({\mathcal{E}_{M+N-2}^{M,N} \neq \emptyset}\) for all M, N > 2 and that \({\mathcal{E}_r^{M, N} = \emptyset}\) for 1 < r < M + N − 2. We prove the first part of their conjecture. The second part is known to hold when min(M, N) = 3 and we prove that it holds also when min(M, N) = 4. This is a consequence of our result that \({\mathcal{E}_{N+1}^{M,N}=\emptyset}\) if M, N > 3. We introduce the notion of “good” states, show that all pure states are good and give a simple description of the good separable states. For a good state \({\rho \in \mathcal{E}_{M+N-2}^{M,N}}\), we prove that the range of \({\rho}\) contains no product vectors and that the partial transpose of \({\rho}\) has rank M + N−2 as well. In the special case M = 3, we construct good \({3 \times N}\) extreme states of rank N + 1 for all \({N \geq 4}\).