Dimensions, lengths and separability in finite-dimensional quantum systems
arXiv:1206.3775 · doi:10.1063/1.4790405
Abstract
Many important sets of normalized states in a multipartite quantum system of finite dimension d, such as the set S of all separable states, are real semialgebraic sets. We compute dimensions of many such sets in several low-dimensional systems. By using dimension arguments, we show that there exist separable states which are not convex combinations of d or less pure product states. For instance, such states exist in bipartite M x N systems when (M-1)(N-1)>1. This solves an open problem proposed in [J. Mod. Opt. 47 (2000), 377-385]. We prove that there exist a separable state rho and a pure product state, whose mixture has smaller length than that of rho. We show that any real rho in S, which is invariant under all partial transpose operations, is a convex sum of real pure product states. In the case of the 2 x N system, the number r of product states can be taken to be r=rank(rho). We also show that the general multipartite separability problem can be reduced to the case of real states. Regarding the separability problem, we propose two conjectures describing S as a semialgebraic set, which may eventually lead to an analytic solution in some low-dimensional systems such as 2 x 4, 3 x 3 and 2 x 2 x 2.
Final version, 11 pages, 2 tables
References in corpus (3)
Cited by in corpus (15)
- Separable states with unique decompositions
- Verifying the quantumness of bipartite correlations
- Separability of Completely Symmetric States in Multipartite System
- Geometry for separable states and construction of entangled states with positive partial transposes
- Exposedness of Choi type entanglement witnesses and applications to lengths of separable states
- Entanglement Breaking Rank and the existence of SIC POVMs
- The role of phases in detecting three-qubit entanglement
- Boundary of the set of separable states
- Separability criterion for three-qubit states with a four dimensional norm
- -extreme points of entanglement breaking maps
- Length filtration of the separable states
- The detection power of real entanglement witnesses under local unitary equivalence
- The existence of distinguishable bases in three-dimensional subspaces of qutrit-qudit systems under one-way local operations and classical communication
- Degradable Strongly Entanglement Breaking Maps
- Global geometric difference between separable and Positive partial transpose states