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

# Absolutely Stabilizer States

Absolutely stabilizer states are density operators that remain convex mixtures of stabilizer states under conjugation by arbitrary global unitaries. In the formulation introduced in "Basis-independent stabilizerness and maximally noisy magic states" [2602.22336], an \(n\)-qudit state \(\rho\) is absolutely stabilizer precisely when no change of eigenbasis can convert it into magic; the property is therefore unitary invariant and depends only on the spectrum of \(\rho\). For multiple qudits of all prime dimensions, this unitary-invariant stabilizer region is characterized by a convex polytope of allowed spectra, called the **muggle polytope** [2602.22336].

## 1. Definition and unitary-invariant formulation

Let \(STAB\) denote the convex hull of pure stabilizer projectors. An \(n\)-qudit state \(\rho\) is **absolutely stabilizer** if
\[
U\rho U^\dagger \in STAB \qquad \forall\, U\in U(d^n).
\]
Equivalently,
\[
ASTAB := \bigcap_{U\in U(d^n)} U\,STAB\,U^\dagger.
\]
This definition makes absolute stabilizerness the unitary-invariant version of stabilizer mixtures: a state is in \(ASTAB\) exactly when it cannot be turned into magic by any global unitary [2602.22336].

Because the condition quantifies over all unitaries, eigenvectors become irrelevant. Only the ordered eigenvalue list matters. This shifts the problem from basis-dependent descriptions of stabilizer decompositions to a purely spectral question. In that sense, absolute stabilizerness is a basis-independent property of mixed-state spectra rather than a structural property of a particular stabilizer presentation [2602.22336].

A common misconception is to identify absolute stabilizerness with ordinary stabilizer membership. The two notions are different. Membership in \(STAB\) asks whether one given density operator is a convex stabilizer mixture in its present basis; membership in \(ASTAB\) asks whether every unitary conjugate of that state remains in \(STAB\). Absolute stabilizerness is therefore strictly stronger [2602.22336].

## 2. Spectral characterization and the muggle polytope

The central technical result is a complete spectral characterization for multiple qudits of all prime dimensions. The construction uses the polar dual \(\Lambda\) of the stabilizer polytope, defined by
\[
\Lambda=\{X\in Herm_1(\mathcal H)\mid \operatorname{Tr}(X\ketbra{\sigma}{\sigma})\ge 0\ \forall \ket{\sigma}\in \mathcal S\},
\]
with \(STAB_0\) and \(\Lambda_0\) polar duals up to a scale factor. Combining this duality with Ky Fan’s extremal trace theorem yields the criterion
\[
\sum_{k=1}^{d^n}\lambda_k^\uparrow(\rho)\,\lambda_k^\downarrow(A)\ge 0
\qquad
\forall A\in \mathrm{vert}(\Lambda),
\]
where \(\lambda^\uparrow\) and \(\lambda^\downarrow\) denote eigenvalues sorted increasingly and decreasingly, respectively [2602.22336].

This criterion implies that the spectra of absolutely stabilizer states form a convex polytope inside the simplex of all probability vectors of length \(d^n\). The paper calls this spectral region the **muggle polytope** [2602.22336]. The terminology emphasizes that absolute stabilizerness is not naturally described by a norm ball in general, but by a finite system of linear inequalities in the Weyl chamber.

A further refinement reduces the number of inequalities that need to be checked. If a subset of vertices of \(\Lambda\) is **spectrally generating**, meaning every vertex spectrum is majorized by a convex combination of the chosen ones, then it suffices to test only that subset. For qubits, the CNC vertices are proposed to have this property, and this is verified explicitly for one and two qubits [2602.22336]. This suggests that the absolute-stabilizer problem can often be compressed to a smaller family of extremal spectra without changing the answer.

## 3. Low-dimensional geometry

The geometry of \(ASTAB\) is especially explicit in three cases analyzed in detail: one qubit, two qubits, and one qutrit [2602.22336].

| System | Geometry of absolutely stabilizer spectra/states | Salient data |
|---|---|---|
| One qubit | Hilbert–Schmidt ball inscribed in the stabilizer octahedron | \(x^2+y^2+z^2\le 1/3\); \(\frac12-\frac{1}{2\sqrt3}\le \lambda \le \frac12\) |
| Two qubits | 3-dimensional spectrum polytope in the Weyl chamber | \(STAB\): 60 pure stabilizer vertices; \(\Lambda\): 22,320 vertices; full spectrum polytope: 40 vertices, 18 facets |
| One qutrit | 2D polygon in the qutrit Weyl chamber | \(STAB\): 12 vertices, 81 facets; \(\Lambda\): 81 vertices in two unitary orbits |

For a single qubit, the situation is exceptional. Writing
\[
\rho(x,y,z)=\frac12(\mathbb I+xX+yY+zZ),
\]
the absolutely stabilizer region is exactly the ball
\[
x^2+y^2+z^2\le \frac13.
\]
Equivalently, if the spectrum is \((1-\lambda,\lambda)\) with \(1-\lambda\ge\lambda\), then absolute stabilizerness is exactly
\[
\frac12-\frac{1}{2\sqrt3}\le \lambda \le \frac12.
\]
This spherical form arises because in dimension \(2\), unitary conjugation acts as all rotations of the Bloch sphere, so the intersection of all rotated copies of the stabilizer octahedron is its insphere [2602.22336].

For two qubits, that picture fails. The absolutely stabilizer set is **not** a Hilbert–Schmidt ball. The paper attributes this to the fact that in dimensions larger than \(2\), unitary conjugation preserves the full spectrum rather than only a Bloch norm, and spectra of fixed purity are not unique. The unitary group therefore does not act transitively on Hilbert–Schmidt spheres, so a unitary-invariant set need not be spherical [2602.22336].

The two-qubit spectrum polytope is generated by two relevant CNC spectral types,
\[
m=1:\ \left(\frac{1+\sqrt3}{2},0,0,\frac{1-\sqrt3}{2}\right),
\qquad
m=2:\ \left(\frac{1+\sqrt5}{4},\frac{1+\sqrt5}{4},\frac{1-\sqrt5}{4},\frac{1-\sqrt5}{4}\right),
\]
up to normalization conventions and ordering. These produce the defining inequalities for the allowed spectra [2602.22336].

For a single qutrit, the absolutely stabilizer spectra form a polygon rather than a disk. In the ordered chamber \(\lambda_1\ge\lambda_2\ge\lambda_3\ge 0\) with \(\lambda_1+\lambda_2+\lambda_3=1\), the defining inequalities are
\[
-\lambda_1+\lambda_2+\lambda_3\ge 0,
\qquad
\frac{1-\sqrt5}{2}\lambda_1+\frac{1+\sqrt5}{2}\lambda_3\ge 0.
\]
The dual polytope \(\Lambda\) has 81 vertices, split into 9 phase-space-point operators and 72 additional CNC vertices with nonlinear value assignments [2602.22336].

## 4. Absolutely Wigner-positive states and unitarily invariant bound magic

The same framework introduces **absolutely Wigner-positive** states in odd-prime dimensions. These are states \(\rho\) such that
\[
U\rho U^\dagger \in WP \qquad \forall U,
\]
or equivalently
\[
AWP = \bigcap_{U\in U(d^n)} U\,WP\,U^\dagger,
\]
where \(WP\) is the Wigner polytope [2602.22336]. This is the Wigner-function analogue of absolute stabilizerness.

For odd-prime \(d\), the paper gives a complete spectral characterization:
\[
\sum_{k=1}^{(d^n-1)/2}\lambda_k^\downarrow(\rho)\le \frac12.
\]
Equivalently, the spectrum lies in the convex hull of two families of vertices:
\[
\left(\frac{1}{d^n-1},\dots,\frac{1}{d^n-1},0\right),
\qquad
\left(\frac{2}{d^n+1},\frac{1}{d^n+1},\dots,\frac{1}{d^n+1}\right),
\]
together with all coordinate permutations [2602.22336].

The relation between the two absolute notions is strict. The muggle polytope is a strict subset of the \(AWP\) polytope already for a single qutrit. Consequently, there exist states that are not stabilizer mixtures, but still remain Wigner-positive under every unitary. The paper describes this as a **unitarily-invariant version of bound magic** [2602.22336].

This distinction rules out another common conflation. Absolute Wigner-positivity and absolute stabilizerness coincide neither by definition nor in low-dimensional examples. The gap between them shows that basis-independent nonclassicality depends on which classicality structure is adopted: convex stabilizer decomposability or discrete Wigner nonnegativity [2602.22336].

## 5. Radii, purity, and quantitative thresholds

The paper also studies the radii of the largest Hilbert–Schmidt balls contained in the relevant sets. These radii quantify how mixed a state must be before it is guaranteed to be classical in the corresponding unitary-invariant sense [2602.22336].

For odd-prime dimensions, the inradius is exact:
\[
r(STAB_0)=r(ASTAB_0)=\frac{1}{\sqrt{d^n(d^{2n}-1)}}.
\]
For qubits, the same formula is obtained conditionally on a conjecture about the outer radius of \(\Lambda\):
\[
r(ASTAB_0)=r(STAB_0)=\frac{1}{\sqrt{2^n(2^{n+1}-1)}}.
\]
These values give sufficient purity conditions for stabilizer membership and identify the lowest possible purity of nonstabilizer states [2602.22336].

For odd-prime dimensions, the absolutely Wigner-positive inradius matches the stabilizer inradius:
\[
r(AWP_0)=r(WP_0)=\frac{1}{\sqrt{d^n(d^{2n}-1)}}.
\]
In addition, the circumradius is
\[
R(AWP_0)=\frac{1}{\sqrt{d^n(d^n-1)}}.
\]
The paper interprets the inradius as a sufficient purity threshold for automatic inclusion in the set, and the circumradius of \(AWP_0\) as a tight purity-based necessary condition [2602.22336].

The overall relation is summarized as
\[
r(ASTAB_0)=r(STAB_0)=r(AWP_0)=r(WP_0) < r_{GB}< r_{PSD}=R(AWP_0),
\]
for odd-prime dimensions [2602.22336]. A central implication is that absolute stabilizerness is not generically a simple ball around the maximally mixed state. The one-qubit insphere picture is exceptional rather than representative.

## 6. Related stabilizer notions and terminological distinctions

Absolute stabilizerness sits within a broader stabilizer-theoretic landscape, but it should not be conflated with other uses of “stabilizer” or “absolute.” In particular, "Extremality of stabilizer states" [2403.13632] studies a different mixed-state notion: a mixed state is called a stabilizer state there if it is associated with a commuting Pauli subgroup and a joint eigenspace projector, and the paper explicitly notes that this is **not** the broader convex hull of pure stabilizer states because those states “generally lose the stabilizer formalism.” That work proves uncertainty principles and extremality theorems for the mean state \(\mathcal M(\rho)\), whereas absolute stabilizerness in [2602.22336] is formulated directly in terms of the convex stabilizer polytope and its unitary conjugates.

Another frequent source of confusion is the phrase **AME stabilizer states**. In "Majority-Agreed Key Distribution using Absolutely Maximally Entangled Stabilizer States" [2411.15545], the qualifier “absolutely” refers to **absolutely maximally entangled** pure multipartite states, not to unitary-invariant stabilizer mixtures. AME stabilizer states are defined by maximal entanglement across every bipartition up to half the parties, and the paper uses that structure for majority-agreed key distribution. The concept is therefore orthogonal to absolute stabilizerness: the former is a pure-state multipartite entanglement notion, the latter a mixed-state spectral notion.

The distinction is sharpened by recent no-go results. "On Non-Existence of Stabilizer Absolutely Maximally Entangled States in Even Local Dimensions" [2603.18193] proves that there are no \(N\)-partite AME graph states of local dimension \(d\) for \(N=4k\), \(k\in\mathbb N_+\), and even \(d\). In the qubit case, because every stabilizer state is locally unitary equivalent to a graph state, this excludes qubit stabilizer AME states for \(N=4k\). Those results concern the limits of graph-state constructions for highly entangled pure states, not the spectral polytope \(ASTAB\) [2603.18193].

Other stabilizer papers address still different questions. "Determination of stabilizer states" [1503.05421] proves that all \(n\)-qubit stabilizer states are uniquely determined among arbitrary states by reduced density matrices on the supports of \(n\) independent stabilizer generators. "Optimal verification of stabilizer states" [2007.09713] studies sample-optimal certification of entangled stabilizer states via local Pauli measurements and derives universal spectral-gap limits for separable-measurement protocols. These problems concern reconstruction and verification of stabilizer states, whereas absolute stabilizerness concerns unitary-invariant membership in the convex stabilizer hull [1503.05421], [2007.09713].

Taken together, the literature suggests a clear taxonomy. Absolute stabilizerness is a convex-geometric and spectral property; stabilizer extremality is an information-theoretic property tied to a mean-state map; AME stabilizer states are a multipartite-entanglement resource class; and verification or determination results address operational identification. The conceptual overlap is substantial, but the formal objects and conclusions are distinct.

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