Absolutely Separable States

• Absolutely separable states are bipartite density matrices that remain separable under every global unitary operation, making them immune to entanglement activation.
• They are characterized by specific spectral and purity conditions, such as eigenvalue inequalities in 2⊗n and 3⊗n systems, which rigorously define their structure.
• Their convex geometry enables the construction of absolute separability witnesses and resource measures, delineating reversible and irreversible entanglement dynamics in quantum information theory.

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 (Ganguly et al., 2014, Song et al., 2024, Patra et al., 2022, Halder et al., 2019). 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) (Filippov et al., 2017, Xiong et al., 2024, Song et al., 2024). 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 (Patra et al., 2021, Dung et al., 22 Oct 2025, Patra et al., 2022, Halder et al., 2019). For $3\otimes n$ systems, absolute separability is characterized via simultaneous positivity of two specific $3\times 3$ matrices constructed from the spectrum (see (Patra et al., 2021, Dung et al., 22 Oct 2025)). For general $\mathbb{C}^m\otimes\mathbb{C}^n$0, necessary and sufficient criteria require checking positivity of a finite ensemble of symmetric matrices formed from permutations of the eigenvalues (Xiong et al., 2024); in $\mathbb{C}^m\otimes\mathbb{C}^n$1, for instance, twelve linear matrix inequalities cover all cases.

There are also simple sufficient conditions. For any $\mathbb{C}^m\otimes\mathbb{C}^n$2,

$\mathbb{C}^m\otimes\mathbb{C}^n$3

with the even simpler

$\mathbb{C}^m\otimes\mathbb{C}^n$4

ensuring absolute separability (Xiong et al., 2024).

Purity $\mathbb{C}^m\otimes\mathbb{C}^n$5 provides a geometric picture: all AS states occupy the smallest Hilbert–Schmidt ball around the maximally mixed state. In $\mathbb{C}^m\otimes\mathbb{C}^n$6, the maximal AS purity is $\mathbb{C}^m\otimes\mathbb{C}^n$7 (Dung et al., 22 Oct 2025). As dimension grows, this AS ball shrinks rapidly, e.g., for $\mathbb{C}^m\otimes\mathbb{C}^n$8, $\mathbb{C}^m\otimes\mathbb{C}^n$9 (Dung et al., 22 Oct 2025, Rico et al., 14 Apr 2026).

3. Convex Geometry: Extreme, Boundary, Interior Points

$\rho$0 is a convex, compact set whose full structure is elucidated via its extreme and boundary points (Song et al., 2024, Halder et al., 2019). For $\rho$1, extreme points are those lying on the spectral boundary (i.e., saturating the AS criterion) and with at most three distinct eigenvalues. Specifically, in $\rho$2, a spectrum is extremal iff:

• $\rho$3,
• at least two eigenvalues coincide.

More generally, in $\rho$4, every rank-$\rho$5 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 (Halder et al., 2019). In $\rho$6, every extremal point has at most seven distinct eigenvalues (Song et al., 2024).

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" $\rho$7, satisfying

$\rho$8

for some $\rho$9 (Ganguly et al., 2014). These are constructed operationally by applying a suitable unitary to $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$0 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 $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$1 with suitable operator choices, strictly expand the detectable set and lower the detector-efficiency threshold in experimental scenarios (Patra et al., 2021). 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): $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$2, or, more generally, positivity of all Hankel determinants constructed from such moments (Mallick et al., 21 Aug 2025).

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, $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$3 with contractive, convex distances (e.g., trace-norm, Hilbert–Schmidt, Bures, relative entropy); and (ii) optimal witness violation, $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$4 (Patra et al., 2022). 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, $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$5, quantifies the minimal mixing with arbitrary noise required to render a state absolutely separable. $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$6 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 (Song et al., 2024).

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 (Mallick et al., 21 Aug 2025).

6. Absolutely Separating Quantum Maps and Channels

A quantum channel (CPTP map) is absolutely separating if it maps all input states to AS output (Filippov et al., 2017). 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 (Filippov et al., 2017).

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 $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$7 dimensions, absolute separability coincides with absolute positivity of partial transpose (APPT), this equivalence is known to break in multipartite symmetric sectors for $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$8 qubits—there exist symmetric states that remain PPT under all symmetry-preserving unitaries but are not absolutely separable (Louvet et al., 2024). In higher dimensions, necessary and sufficient spectral conditions for absolute separability are unavailable beyond $$U\,\rho\,U^\dagger\in\text{Sep}_{m,n}\quad\forall U\in \text{U}(mn),$$9; only increasingly complex linear matrix inequalities or semidefinite-programming relaxations provide tractable criteria (Xiong et al., 2024, Rico et al., 14 Apr 2026). 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 (Rico et al., 14 Apr 2026).

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 (Dung et al., 22 Oct 2025).

---

References:

(Ganguly et al., 2014, Filippov et al., 2017, Halder et al., 2019, Patra et al., 2021, Patra et al., 2022, Xiong et al., 2024, Song et al., 2024, Louvet et al., 2024, Mallick et al., 21 Aug 2025, Dung et al., 22 Oct 2025, Rico et al., 14 Apr 2026)