Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1404.0738 · Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences

Boundary of the set of separable states

Lin Chen, Dragomir Ž. Djoković

Published Sep 1, 2015• 11 citations
arXivHTMLPDF

Abstract

Motivated by the separability problem in quantum systems 2⊗4, 3⊗3 and 2⊗2⊗2, 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 ⊗ H 2 ⊗ ⋯ ⊗ H n . To any subspace V ⊆ H , we associate a face F V of S 1 consisting of all states ρ ∈ 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 =| ψ 〉 ⊥ , where | ψ 〉 is a product vector, we prove that Dim F V = d 2 − 1 − ∏ ( 2 d i − 1 ) , where d i = Dim H i and d = ∏ d i . We classify the maximal faces of S 1 in the cases 2⊗2 and 2⊗3. In particular, we show that the minimum and the maximum dimension of maximal faces is 6 and 8 for 2⊗2, and 20 and 24 for 2⊗3. The boundary, ∂ S 1 , of S 1 is the union of all maximal faces. When d >6, it is easy to show that there exist full states on ∂ S 1

DOI
10.1098/rspa.2015.0102

Related papers

The geometry of absolute separability and other convex matrix properties from spectrum

Jennifer Ahiable, Naga Bhavya Teja Kothakonda, Andreas Winter

We investigate the geometric structure of the set of spectra of bipartite absolute separable states ($\mathrm{ASEP}_{m,n}$) and absolute positive partial transpose states ($\mathrm{APPT}_{m,n}$), \emph{i.e.}, bipartite quantum states that remain separable or PPT, respectively, under all global unitary transformations. First, we establish general geometric properties of absolute convex sets of matrices, their spectra and extreme points. Regarding absolute separability, we present a permutation-symmetric reformulation of the absolute PPT criterion and use it to demonstrate that $\mathrm{APPT}_{m,n}$ is a spectrahedron for all $m\leq n$: in particular, all its faces are exposed. While $\mathrm{ASEP}_{2,n}$ is a spectrahedron, too, for $\mathrm{ASEP}_{m,n}$ we can in general only show that it is a semialgebraic set for all $m,n\geq 3$. Furthermore, we provide a complete characterization of the faces and extreme points of $\mathrm{APPT}_{m,n}$ and demonstrate that the dimension of a face is determined by the rank of a certain matrix, with maximal proper faces having dimension $mn-m-1$. In the quantitative setting, we provide a rigorous lower bound on the maximal attainable purity of $\mathrm{APPT}_{m,n}$ via an inscribed polytope $\mathcal{P}_{m,n}$ and conjecture that the maximal purity of $\mathrm{APPT}_{m,n}$ (along with its spectra) coincides with the polytope for arbitrary dimensions except when $m=n=2$. Additionally, we also provide a rigorous upper bound on the minimal von Neumann entropy of $\mathrm{APPT}_{m,n}$ and demonstrate numerically that the minimum entropy eventually coincides with the polytope $\mathcal{P}_{m,n}$ as the local system dimension $n$ increases. Finally, we show that the relative spectral volume of $\mathrm{APPT}_{m,n}$ decays exponentially in $n$ by a constant multiplicative factor of the relative volume of the inscribed polytope $\mathcal{P}_{m,n}$.

quant-pharXiv:2608.03390•Aug 5, 2026•0 citations

Unique decompositions, faces, and automorphisms of separable states

Erik Alfsen, Fred Shultz

Let Sk be the set of separable states on B(Cm⊗Cn) 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 Vk such that Vk is dense and open in Sk, and such that each state in Vk 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 Vk. 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(Cm⊗Cn) that preserve entanglement and separability.

arXiv:0906.1761•Journal of Mathematical Physics•May 1, 2010•45 citations

The cross states of a composite quantum system: separability and entanglement in any Hilbert space dimension

Paolo Aniello

We introduce a class of states of a composite quantum system, the so-called cross states, that turn out to play a major role in the theory of entanglement for a genuinely infinite-dimensional bipartite system. In the case where at least one of the Hilbert spaces of the bipartition is finite-dimensional, all states are cross states, whereas, in the genuinely infinite-dimensional setting where the dimension of both Hilbert spaces is not finite, the cross states form a trace-norm dense, convex, proper subset of the set of all states. In the latter case, the cross states can be regarded as those physical states that possess a finite amount of entanglement; accordingly, all separable states are of this kind. We prove that, for any Hilbert space dimension, the separable states can be characterized as those cross states that minimize a suitable norm, i.e., the projective norm associated with the projective tensor product of two trace classes; all other cross states are density operators belonging to the projective tensor product space. This is a generalization of the classical cross norm criterion of separability. Finally, we define an extended real-valued entanglement function and study its main properties. Coherently with the interpretation of cross states as finitely entangled states, this function is finite, and coincides with the projective norm, precisely on the cross states of the system.

arXiv:2602.18125•Feb 20, 2026•0 citations

Purifications for Convex Cones

Felix Campidell, Tim Netzer

Motivated by the importance of the purification principle in quantum theory and generalized probabilistic theories, we study purifications using only the geometry of a finite-dimensional proper convex cone. We prove an existence theorem for indecomposable cones and intermediate tensor cones containing the maximally entangled state; in particular, every interior point of an indecomposable homogeneous cone admits a purification. This applies to Lorentz cones, for example. We also give a criterion for uniqueness up to local automorphisms. On the boundary, we show that if every proper face of $C$ is simplicial, then only pure points can admit purifications, and we demonstrate that this conclusion fails in the presence of non-simplicial faces. Examples involving positive semidefinite cones, Lorentz cones, $k$-positive maps, PPT tensors, and polyhedral cones illustrate both existence and non-uniqueness phenomena.

quant-pharXiv:2607.28202•Jul 31, 2026•0 citations

Tensor products of convex sets and the volume of separable states on N qudits

Guillaume Aubrun, Stanisław J. Szarek

This paper deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is superexponentially small in the dimension of the set. We also show that the partial transpose criterion becomes imprecise when the dimension increases, and that the lower bound ${6}^{\ensuremath{-}N∕2}$ on the (Hilbert-Schmidt) inradius of the set of separable states on $N$ qubits obtained recently by Gurvits and Barnum is essentially optimal. We employ standard tools of classical convexity, high-dimensional probability, and geometry of Banach spaces. One relatively nonstandard point is a formal introduction of the concept of projective tensor products of convex bodies, and an initial study of this concept.

arXiv:quant-ph/0503221•Physical Review A•Feb 14, 2006•74 citations

Convex bodies of states and maps

Janusz Grabowski, Alberto Ibort, Marek Kuś +1 more

We give a general solution to the question of when the convex hulls of orbits of quantum states on a finite-dimensional Hilbert space under unitary actions of a compact group have a non-empty interior in the surrounding space of all density operators. The same approach can be applied to study convex combinations of quantum channels. The importance of both problems stems from the fact that, usually, only sets with non-vanishing volumes in the embedding spaces of all states or channels are of practical importance. For the group of local transformations on a bipartite system we characterize maximally entangled states by the properties of a convex hull of orbits through them. We also compare two partial characteristics of convex bodies in terms of the largest balls and maximum volume ellipsoids contained in them and show that, in general, they do not coincide. Separable states, mixed-unitary channels and k -entangled states are also considered as examples of our techniques.

arXiv:1306.3187•Journal of Physics A Mathematical and Theoretical•Oct 7, 2013•3 citations
Motivated by the separability problem in quantum systems 2⊗4, 3⊗3 and 2⊗2⊗2, 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 ⊗ H 2 ⊗ ⋯ ⊗ H n . To any subspace V ⊆ H , we associate a face F V of S 1 consisting of all states ρ ∈ 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 =| ψ 〉 ⊥ , where | ψ 〉 is a product vector, we prove that Dim F V = d 2 − 1 − ∏ ( 2 d i − 1 ) , where d i = Dim H i and d = ∏ d i . We classify the maximal faces of S 1 in the cases 2⊗2 and 2⊗3. In particular, we show that the minimum and the maximum dimension of maximal faces is 6 and 8 for 2⊗2, and 20 and 24 for 2⊗3. The boundary, ∂ S 1 , of S 1 is the union of all maximal faces. When d >6, it is easy to show that there exist full states on ∂ S 1
We investigate the geometric structure of the set of spectra of bipartite absolute separable states (ASEPm,n\mathrm{ASEP}_{m,n}ASEPm,n​) and absolute positive partial transpose states (APPTm,n\mathrm{APPT}_{m,n}APPTm,n​), \emph{i.e.}, bipartite quantum states that remain separable or PPT, respectively, under all global unitary transformations. First, we establish general geometric properties of absolute convex sets of matrices, their spectra and extreme points. Regarding absolute separability, we present a permutation-symmetric reformulation of the absolute PPT criterion and use it to demonstrate that APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ is a spectrahedron for all m≤nm\leq nm≤n: in particular, all its faces are exposed. While ASEP2,n\mathrm{ASEP}_{2,n}ASEP2,n​ is a spectrahedron, too, for ASEPm,n\mathrm{ASEP}_{m,n}ASEPm,n​ we can in general only show that it is a semialgebraic set for all m,n≥3m,n\geq 3m,n≥3. Furthermore, we provide a complete characterization of the faces and extreme points of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ and demonstrate that the dimension of a face is determined by the rank of a certain matrix, with maximal proper faces having dimension mn−m−1mn-m-1mn−m−1. In the quantitative setting, we provide a rigorous lower bound on the maximal attainable purity of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ via an inscribed polytope Pm,n\mathcal{P}_{m,n}Pm,n​ and conjecture that the maximal purity of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ (along with its spectra) coincides with the polytope for arbitrary dimensions except when m=n=2m=n=2m=n=2. Additionally, we also provide a rigorous upper bound on the minimal von Neumann entropy of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ and demonstrate numerically that the minimum entropy eventually coincides with the polytope Pm,n\mathcal{P}_{m,n}Pm,n​ as the local system dimension nnn increases. Finally, we show that the relative spectral volume of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ decays exponentially in nnn by a constant multiplicative factor of the relative volume of the inscribed polytope Pm,n\mathcal{P}_{m,n}Pm,n​.
Let Sk be the set of separable states on B(Cm⊗Cn) 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 Vk such that Vk is dense and open in Sk, and such that each state in Vk 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 Vk. 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(Cm⊗Cn) that preserve entanglement and separability.
We introduce a class of states of a composite quantum system, the so-called cross states, that turn out to play a major role in the theory of entanglement for a genuinely infinite-dimensional bipartite system. In the case where at least one of the Hilbert spaces of the bipartition is finite-dimensional, all states are cross states, whereas, in the genuinely infinite-dimensional setting where the dimension of both Hilbert spaces is not finite, the cross states form a trace-norm dense, convex, proper subset of the set of all states. In the latter case, the cross states can be regarded as those physical states that possess a finite amount of entanglement; accordingly, all separable states are of this kind. We prove that, for any Hilbert space dimension, the separable states can be characterized as those cross states that minimize a suitable norm, i.e., the projective norm associated with the projective tensor product of two trace classes; all other cross states are density operators belonging to the projective tensor product space. This is a generalization of the classical cross norm criterion of separability. Finally, we define an extended real-valued entanglement function and study its main properties. Coherently with the interpretation of cross states as finitely entangled states, this function is finite, and coincides with the projective norm, precisely on the cross states of the system.
Motivated by the importance of the purification principle in quantum theory and generalized probabilistic theories, we study purifications using only the geometry of a finite-dimensional proper convex cone. We prove an existence theorem for indecomposable cones and intermediate tensor cones containing the maximally entangled state; in particular, every interior point of an indecomposable homogeneous cone admits a purification. This applies to Lorentz cones, for example. We also give a criterion for uniqueness up to local automorphisms. On the boundary, we show that if every proper face of CCC is simplicial, then only pure points can admit purifications, and we demonstrate that this conclusion fails in the presence of non-simplicial faces. Examples involving positive semidefinite cones, Lorentz cones, kkk-positive maps, PPT tensors, and polyhedral cones illustrate both existence and non-uniqueness phenomena.
This paper deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is superexponentially small in the dimension of the set. We also show that the partial transpose criterion becomes imprecise when the dimension increases, and that the lower bound ${6}^{\ensuremath{-}N∕2}$ on the (Hilbert-Schmidt) inradius of the set of separable states on NNN qubits obtained recently by Gurvits and Barnum is essentially optimal. We employ standard tools of classical convexity, high-dimensional probability, and geometry of Banach spaces. One relatively nonstandard point is a formal introduction of the concept of projective tensor products of convex bodies, and an initial study of this concept.
We give a general solution to the question of when the convex hulls of orbits of quantum states on a finite-dimensional Hilbert space under unitary actions of a compact group have a non-empty interior in the surrounding space of all density operators. The same approach can be applied to study convex combinations of quantum channels. The importance of both problems stems from the fact that, usually, only sets with non-vanishing volumes in the embedding spaces of all states or channels are of practical importance. For the group of local transformations on a bipartite system we characterize maximally entangled states by the properties of a convex hull of orbits through them. We also compare two partial characteristics of convex bodies in terms of the largest balls and maximum volume ellipsoids contained in them and show that, in general, they do not coincide. Separable states, mixed-unitary channels and k -entangled states are also considered as examples of our techniques.