Unextendible product bases and the construction of inseparable states

Let H(N) denote the tensor product of n finite dimensional Hilbert spaces H(r). A state of H(N) is separable if where the states are in . An orthogonal unextendible product basis is a finite set B of separable orthonormal states such that the non-empty space B , the set of vectors orthogonal to B, contains no separable state. Examples of orthogonal UPB sets were first constructed by Bennett et al. [1] and other examples and references appear, for example, in [3]. If denotes the set of convex combinations of , then F is a face in the set S of separable densities. In this note we show how to use F to construct families of positive partial transform states (PPT) which are not separable. We also show how to make an analogous construction when the condition of orthogonality is dropped. The analysis is motivated by the geometry of the faces of the separable states and leads to a natural construction of entanglement witnesses separating the inseparable PPT states from S.