Boundary of the set of separable states

DOI10.1098/RSPA.2015.0102zbMATH Open1371.81035arXiv1404.0738OpenAlexW3102677588MaRDI QIDQ5362489FDOQ5362489

Authors: Lin Chen, Dragomir Ž. Đoković 

Publication date: 29 September 2017

Published in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Abstract: Motivated by the separability problem in quantum systems $2otimes4$, $3otimes3$ and $2otimes2otimes2$, we study the maximal (proper) faces of the convex body, $S_1$, of normalized separable states in an arbitrary quantum system with finite-dimensional Hilbert space $H=H_{1}otimes{H}_{2}otimescdotsotimes{H}_n$. To any subspace $V$ of $H$ we associate a face $F_V$ of $S_1$ consisting of all states $hoin{S}_1$ whose range is contained in $V$. We prove that $F_V$ is a maximal face if and only if $V$ is a hyperplane. If $V$ is the hyperplane orthogonal to a product vector, we prove that $dim{F}_V=d^2-1-prod(2d_i-1)$, where $d_i$ is the dimension of $H_i$ and $d=prod{d}_i$. We classify the maximal faces of $S_1$ in the cases $2otimes2$ and $2otimes3$. In particular we show that the minimum and the maximum dimension of maximal faces is 6 and 8 for $2otimes2$, and 20 and 24 for $2otimes3$. The boundary of $S_1$ is the union of all maximal faces. When $d>6$ we prove that there exist full states $ho$ on the boundary, i.e., such that all partial transposes of $ho$ (including $ho$ itself) have rank $d$. K.-C. Ha and S.-K. Kye have recently constructed explicit such states in $2imes4$ and $3otimes3$. In the latter case, they have also constructed a remarkable family of faces, depending on a real parameter $b>0$, $be1$. Each face in the family is a 9-dimensional simplex and any interior point of the face is a full state. We construct suitable optimal entanglement witnesses (OEW) for these faces and analyze the three limiting cases $b=0,1,infty$.

Full work available at URL: https://arxiv.org/abs/1404.0738

Mathematics Subject Classification ID

Quantum state spaces, operational and probabilistic concepts (81P16)

Cited In (7)

• Separable ball around any full-rank multipartite product state
• Construction of exposed indecomposable positive linear maps between matrix algebras
• Eventually entanglement breaking Markovian dynamics: structure and characteristic times
• The role of phases in detecting three-qubit entanglement
• Separability of multi-qubit states in terms of diagonal and anti-diagonal entries
• Three-qubit separable states of length ten with unique decompositions
• Dimension formula for induced maximal faces of separable states and genuine entanglement

This page was built for publication: Boundary of the set of separable states

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5362489)