Related papers: Boundary of the set of separable states

The normalized separable states of a finite-dimensional multipartite quantum system, represented by its Hilbert space ${\cal H}$, form a closed convex set ${\cal S}_1$. The set ${\cal S}_1$ has two kinds of faces, induced and non-induced.…

We construct faces of the convex set of all $2\otimes 4$ bipartite separable states, which are affinely isomorphic to the simplex $\Delta_{9}$ with ten extreme points. Every interior point of these faces is a separable state which has a…

We search for faces of the convex set consisting of all separable states, which are affinely isomorphic to simplices, to get separable states with unique decompositions. In the two-qutrit case, we found that six product vectors spanning a…

We analyze the facial structures of the convex set consisting of all two qubit separable states. One of faces is a four dimensional convex body generated by the trigonometric moment curve arising from polyhedral combinatorics. Another one…

Let S_k be the set of separable states on B(C^m \otimes C^n) admitting a representation as a convex combination of k pure product states, or fewer. If m>1, n> 1, and k \le max(m,n), we show that S_k admits a subset V_k such that V_k is…

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…

We analyze faces generated by points in an arbitrary convex set and their relative algebraic interiors, which are nonempty as we shall prove. We show that by intersecting a convex set with a sublevel or level set of a generalized affine…

Let $H^{[ N]}=H^{[ d_{1}]}\otimes ... \otimes H^{[ d_{n}]}$ be a tensor product of Hilbert spaces and let $\tau_{0}$ be the closest separable state in the Hilbert-Schmidt norm to an entangled state $\rho_{0}$. Let $\tilde{\tau}_{0}$ denote…

We characterize the boundary of the convex compact set of absolutely separable states, referred as {\bf AS}, that cannot be transformed to entangled states by global unitary operators, in $2\otimes d$ Hilbert space. However, we show that…

Let $\mathcal{H}_i$ be a finite dimensional complex Hilbert space of dimension $d_i$ associated with a finite level quantum system $A_i$ for $i = i, 1,2, ..., k$. A subspace $S \subset \mathcal{H} = \mathcal{H}_{A_{1} A_{2}... A_{k}} =…

We present a complete classification of the geometry of the mutually complementary sets of entangled and separable states in three-dimensional Hilbert subspaces of bipartite and multipartite quantum systems. Our analysis begins by finding…

We consider a quantum system with a finite number of distinguishable quantum states, which may be partitioned freely by a number of quantum particles, assumed to be maximally entangled. We show that if we partition the system into a number…

The set of all separable quantum states is compact and convex. We focus on the two-qubit quanum system and study the boundary of the set. Then we give the criterion to determine whether a separable state is on the boundary. Some…

Given any finite set of nonnegative integers, there exists a closed convex set whose facial dimension signature coincides with this set of integers, that is, the dimensions of its nonempty faces comprise exactly this set of integers. In…

A finite dimensional quantum mechanical system is modeled by a density rho, a trace one, positive semi-definite matrix on a suitable tensor product space H[N] . For the system to demonstrate experimentally certain non-classical behavior,…

We investigate conditions on a finite set of multi-partite product vectors for which separable states with corresponding product states have unique decomposition, and show that this is true in most cases if the number of product vectors is…

We give a general solution to the question 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…

A rational face cuboid is a cuboid that all of edges, two of three face diagonals and space diagonal have rational lengths. \[ E_{1,s}: y^2=x(x-(2s)^2)(x+(s^2-1)^2) \] for a rational number $s \neq 0, \pm 1$, and define $\tilde{A}$…

We study the combinatorial complexity of D-dimensional polyhedra defined as the intersection of n halfspaces, with the property that the highest dimension of any bounded face is much smaller than D. We show that, if d is the maximum…

The persistent separability of certain quantum states, known as symmetric absolutely separable (SAS), under symmetry-preserving global unitary transformations is of key significance in the context of quantum resources for bosonic systems.…