Unique decompositions, faces, and automorphisms of separable states

Let S-k be the set of separable states on B(C-m circle times C-n) admitting a representation as a convex combination of k pure product states, or fewer. If m > 1, n > 1, and k <= max (m, n), we show that Sk admits a subset V-k such that V-k is dense and open in S-k, and such that each state in V-k has a unique decomposition as a convex combination of pure product states, and we describe all possible convex decompositions for a set of separable states that properly contains V-k. In both cases we describe the associated faces of the space of separable states, which in the first case are simplexes, and in the second case are direct convex sums of faces that are isomorphic to state spaces of full matrix algebras. As an application of these results, we characterize all affine automorphisms of the convex set of separable states and all automorphisms of the state space of B(C-m circle times C-n) that preserve entanglement and separability. (C) 2010 American Institute of Physics. [doi: 10.1063/1.3399808]