---
title: Absolutely Separable States
url: https://www.emergentmind.com/topics/absolutely-separable-states
type: topic
---

# Absolutely Separable States

An absolutely separable (AS) state is a bipartite density matrix that remains separable under every global unitary operation on the joint Hilbert space. Absolutely separable states are the most robustly unentanglable members of the separable set; there exists no Hamiltonian evolution or quantum circuit, no matter how complex, that can convert them into an entangled state. The AS set is convex, compact, and forms a minimal free set in resource-theoretic frameworks that allow arbitrary global unitaries as free operations. Their geometry, spectral characterizations, and operational consequences sharply delineate the landscape between classical and quantum correlations in quantum information theory.

## 1. Definition and Mathematical Structure

Given $\rho$ in $\mathbb{C}^m\otimes\mathbb{C}^n$, $\rho$ is absolutely separable if
$$
U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),
$$
where $\text{Sep}_{m,n}$ is the set of states expressible as convex combinations of product states. This requirement is strictly stronger than conventional separability: an AS state cannot be turned into an entangled state under any global operation. The AS set, denoted $\mathrm{AS}_{m,n}$, is convex and compact in any finite-dimensional bipartite Hilbert space [1401.5324, 2409.14347, 2212.11105, 1911.13145]. Convexity follows from the invariance of separability under unitaries and convex mixtures, while closedness derives from continuity arguments.

## 2. Spectral and Purity Characterizations

Absolute separability is entirely determined by the spectrum of the state (i.e., is a spectral property) [1703.00344, 2408.11684, 2409.14347]. In $2\otimes n$ systems (qubit–qudit), the necessary and sufficient criterion is
$$
\lambda_1 \leq \lambda_{2n-1} + 2\sqrt{\lambda_{2n-2}\,\lambda_{2n}},
$$
where the eigenvalues are ordered non-increasingly [2105.06394, 2510.19508, 2212.11105, 1911.13145]. For $3\otimes n$ systems, absolute separability is characterized via simultaneous positivity of two specific $3\times 3$ matrices constructed from the spectrum (see [2105.06394, 2510.19508]). For general $m\otimes n$, necessary and sufficient criteria require checking positivity of a finite ensemble of symmetric matrices formed from permutations of the eigenvalues [2408.11684]; in $4\otimes n$, for instance, twelve linear matrix inequalities cover all cases.

There are also simple sufficient conditions. For any $m\leq n$,
$$
\sum_{i=mn-m+1}^{mn}\lambda_i \geq \sum_{j=1}^{m-1}\lambda_j \implies \text{AS},
$$
with the even simpler
$$
\lambda_{mn} + \lambda_{mn-1} \geq \lambda_1,
$$
ensuring absolute separability [2408.11684].

Purity $\text{Tr}(\rho^2)$ provides a geometric picture: all AS states occupy the smallest Hilbert–Schmidt ball around the maximally mixed state. In $2\otimes 2$, the maximal AS purity is $3/8$ [2510.19508]. As dimension grows, this AS ball shrinks rapidly, e.g., for $d\otimes d$, $r_{\max} = O(1/d)$ [2510.19508, 2604.13169].

## 3. Convex Geometry: Extreme, Boundary, Interior Points

$\mathrm{AS}_{m,n}$ is a convex, compact set whose full structure is elucidated via its extreme and boundary points [2409.14347, 1911.13145]. For $2\otimes n$, extreme points are those lying on the spectral boundary (i.e., saturating the AS criterion) and with at most three distinct eigenvalues. Specifically, in $2\otimes 2$, a spectrum is extremal iff:
- $\lambda_1 = \lambda_3 + 2\sqrt{\lambda_2\lambda_4}$,
- at least two eigenvalues coincide.

More generally, in $m\otimes n$, every rank-$(mn-1)$ AS state (i.e., one zero eigenvalue) is extremal. Full-rank AS states may be interior (if the criterion is strict) or live on the boundary (if it's saturated), and not all boundary points are extremal [1911.13145]. In $3\otimes n$, every extremal point has at most seven distinct eigenvalues [2409.14347].

## 4. Witness Construction and Detection

Because the AS set is convex and closed, every separable state outside it can be detected by a Hermitian "absolute separability witness" $T$, satisfying
$$
\mathrm{Tr}[T\tau] \geq 0\quad\forall\tau\in\mathrm{AS},\qquad \mathrm{Tr}[T\sigma]<0,
$$
for some $\sigma\notin\mathrm{AS}$ [1401.5324]. These are constructed operationally by applying a suitable unitary to $\sigma$ that renders it entangled, then invoking a standard entanglement witness and conjugating back.

Linear witnesses are complete but potentially insensitive—each only detects a sliver of the non-AS region. Nonlinear witnesses, of the form $F^{(i)}(\rho) = \mathrm{Tr}[W\rho] - \sum_j |\mathrm{Tr}[X_j\rho]|^2$ with suitable operator choices, strictly expand the detectable set and lower the detector-efficiency threshold in experimental scenarios [2105.06394]. Randomized moment-based frameworks further offer scalable, tomography-free detection of non-absolutely separable states via inequalities involving moments of suitable positive but not completely positive maps (e.g., partial transpose): $s_2^2\leq s_3$, or, more generally, positivity of all Hankel determinants constructed from such moments [2508.15700].

## 5. Resource-Theoretic and Operational Implications

The resource theory of non-absolutely separable (NAS) states recognizes AS as the "free" states, with mixtures of global unitaries as free operations. Two monotones are established: (i) distance-based, $N^\chi(\rho) = \min_{\sigma\in \mathrm{AS}} D^\chi(\rho\|\sigma)$ with contractive, convex distances (e.g., trace-norm, Hilbert–Schmidt, Bures, relative entropy); and (ii) optimal witness violation, $N^W(\rho)=\max[0, -\min_{W,U} \mathrm{Tr}[U^\dagger W U\rho]]$ [2212.11105]. For pure states in fixed dimension, all NAS measures attain their maximum, matching the fact that any pure state can always be turned into a maximally entangled state by a global unitary. For mixed states, witness-based and distance-based measures coincide on the AS boundary.

Robustness of nonabsolute separability, $R_\mathrm{NAS}(\rho)$, quantifies the minimal mixing with arbitrary noise required to render a state absolutely separable. $R_\mathrm{NAS}$ is positive only for non-AS states, invariant under global unitaries, convex, and monotonic under random-unitary maps. Explicit expressions are available for pure states and certain low-rank cases [2409.14347].

Operationally, non-AS states are precisely those that can be converted into entanglement by at least one global unitary—rendering them useful for entanglement-based tasks and providing measurable advantages, for example in channel discrimination protocols, that cannot be attained with AS states [2508.15700].

## 6. Absolutely Separating Quantum Maps and Channels

A quantum channel (CPTP map) is absolutely separating if it maps all input states to AS output [1703.00344]. Absolutely separating maps need not be entanglement breaking, and only the tracing map remains absolutely separating under arbitrary tensor powers; no nontrivial local or global noisy quantum process is tensor-stable in this sense. Families of absolutely separating channels include certain Pauli channels, mixtures of identity and transposition, and generalized depolarizing maps, all characterized by explicit inequalities on the channel parameters associated with the maximal attainable output purity [1703.00344].

Absolutely separating channels define a border between reversible ("resource-activating") and irreversible ("resource-sterilizing") dynamics with respect to the activation of entanglement via global unitary evolution.

## 7. Extensions, Limitations, and Open Problems

While in $2\otimes n$ dimensions, absolute separability coincides with absolute positivity of partial transpose (APPT), this equivalence is known to break in multipartite symmetric sectors for $N\geq 5$ qubits—there exist symmetric states that remain PPT under all symmetry-preserving unitaries but are not absolutely separable [2411.16461]. In higher dimensions, necessary and sufficient spectral conditions for absolute separability are unavailable beyond $3\otimes n$; only increasingly complex linear matrix inequalities or semidefinite-programming relaxations provide tractable criteria [2408.11684, 2604.13169]. Numerical upper bounds on the maximal purity of AS states have recently been sharpened using SDP techniques, offering precise constraints in the study of entanglement-sharing in quantum networks [2604.13169].

The measure of the AS region in state space diminishes rapidly with dimension, indicating that almost all separable states are "activatable"—they can be rendered entangled by a Hamiltonian quench, circuit, or channel, except for those in a vanishingly small set near the maximally mixed state [2510.19508].

---

**References**:  
[1401.5324], [1703.00344], [1911.13145], [2105.06394], [2212.11105], [2408.11684], [2409.14347], [2411.16461], [2508.15700], [2510.19508], [2604.13169]

Source: https://www.emergentmind.com/topics/absolutely-separable-states