Unextendible product bases and the construction of inseparable states (Q1864975)

Let \(H^{(N)}\) denote the tensor product of \(n\)-dimensional Hilbert spaces \(H^{(r)}\). A state \(|\varphi\rangle\) of \(H^{(N)}\) is separable if \(|\varphi \rangle= |\alpha_1\rangle \otimes\cdots \otimes |\alpha_n \rangle\) where the states \(|\alpha_r\rangle\) are in \(H^{(r)} \). An orthogonal unextendible product basis (UPB) is a finite set \(B\) of separable orthonormal states \(\{|\varphi_k \rangle\), \(1\leq k\leq m\}\) such that the non-empty space \(B^\perp\), the set of vectors orthogonal to \(B\), contains no separable state. If \(F=F(B)\) denotes the set of convex combinations of \(\{|\varphi_k \rangle\langle \varphi_k|\), \(1\leq k\leq m\}\), then \(F\) is a face in the set \(S\) of separable densities. In this note the author shows how to use \(F\) to construct families of positive partial transform states (PPT) which are not separable. He also shows how to make an analogous construction when the condition of orthogonality is dropped. In Section 1 (Background) the author mentions that the paper concentrates exclusively on aspects of the separability problem. In Section 2 (Context) the author shows how to construct a collection of inseparable PPT densities near \(\rho_0\), and gives a sufficient condition for the separating hyperplane defined by \(\rho_0\) to also separate these other PPT densities. Section 3 is the orthogonal UPB case and Section 4 is the non-orthogonal case.