---
title: Stabilizer Extent in Quantum Computation
url: https://www.emergentmind.com/topics/stabilizer-extent
type: topic
---

# Stabilizer Extent in Quantum Computation

Stabilizer extent is a central quantitative measure of nonstabilizerness and magic for pure quantum states, particularly in the resource theory of magic for quantum computation. For an $n$-qubit pure state $\ket{\psi}$, the stabilizer extent $\xi(\ket{\psi})$ is the minimum squared $\ell_1$-norm achievable over all decompositions of $\ket{\psi}$ as a superposition of normalized stabilizer states. This monotone captures the complexity of expressing nonstabilizer states as linear combinations of stabilizer states, governs leading classical simulation costs for Clifford+$T$ circuits, and quantifies the nonstabilizerness resource available in a given state. Stabilizer extent also generalizes to arbitrary model classes and admits algorithmic, geometric, and operational interpretations.

## 1. Formal Definition and Mathematical Properties

For a pure $n$-qubit state $\ket{\psi}$, the stabilizer extent is defined as
\[
\xi(\ket{\psi}) = \min\left\{\left(\sum_{i} |c_i|\right)^2 : \ket{\psi} = \sum_{i} c_i \ket{\phi_i},\, \ket{\phi_i} \text{ stabilizer states}\right\}
\]
Alternatively, some recent works use the unsquared $\ell_1$-norm
\[
\xi(\ket{\psi}) = \min\left\{\sum_i |c_i| : \ket{\psi} = \sum_{i} c_i \ket{\phi_i},\, \ket{\phi_i} \text{ stabilizer}\right\}
\]
but this is a convention and the distinction does not affect qualitative results [2510.05890].

Stabilizer extent is always greater than or equal to the inverse of the stabilizer fidelity and is bounded above by the robustness of magic:
\[
R(\ket{\psi}) \geq \xi(\ket{\psi}) \geq F_{\rm STAB}(\ket{\psi})^{-1}
\]
where $F_{\rm STAB}$ is the maximal squared overlap with a stabilizer state [2305.19152].

For composite or product states, stabilizer extent is submultiplicative:
\[
\xi(\psi \otimes \phi) \leq \xi(\psi)\,\xi(\phi)
\]
but, crucially, not multiplicative in general [2007.04363]. For most states, $\xi(\psi \otimes \psi^*) < \xi(\psi)\,\xi(\psi^*)$, a fact that impacts simulation strategies for large quantum systems.

## 2. Geometric and Resource-Theoretic Interpretation

Stabilizer extent is a convex-geometric measure of how much a state deviates from the convex hull of stabilizer states (the so-called stabilizer polytope). In resource theory, it is a magic monotone: it is nonincreasing under stabilizer-preserving (Clifford) operations and measures the "amount of magic" available for quantum computational tasks.

It is distinct from stabilizer rank ($\chi$), the minimal number of stabilizer states required in a decomposition:
\[
\chi(\ket{\psi}) = \min\left\{k: \ket{\psi} = \sum_{i=1}^k c_i \ket{\phi_i}, \ket{\phi_i} \text{ stabilizer}\right\}
\]
Unlike rank, extent captures "spread" by summing the moduli of coefficients, not just counting terms, making it more sensitive to widely distributed decompositions.

Operationally, stabilizer extent quantifies the cost for classical simulation algorithms based on stabilizer decompositions: the runtime of leading simulators for Clifford+$T$ circuits scales with (typically polynomial in) the stabilizer extent of non-Clifford input states [2406.16673, 2007.04363].

## 3. Algorithms for Estimation and Exact Computation

Direct computation of stabilizer extent is intractable for large $n$ due to the $2^{\Theta(n^2)}$ number of stabilizer states. Several algorithms have been developed to circumvent this scaling:

- **Bounded estimation by stabilizer entropy measurements:** By measuring the $n$-th Pauli moments $A_n$ for integer $n>1$, one obtains efficiently accessible lower bounds: $\xi(\ket{\psi}) \geq A_n(\ket{\psi})^{-1/(2n)}$. This approach enables scalable experimental access and benchmarking on noisy quantum hardware [2305.19152].

- **Exact computation via convex optimization (SOCP) and column generation:** The stabilizer extent minimization can be formulated as a complex $\ell_1$-minimization subject to a linear representability constraint. Recent advances employ "stabilizer pruning" and column generation: only a small, adaptively selected subset of stabilizer states is retained at each iteration, guided by solving primal/dual SOCPs and efficiently computed stabilizer overlaps. This approach has enabled the exact computation of stabilizer extent for Haar random pure states up to $n=9$ qubits (general) and $n=10$ (real) on a classical computer, leveraging recursive enumeration and in-place memory optimization [2406.16673].

- **Learning-theoretic and tomography approaches:** The stabilizer extent controls the complexity of quantum state tomography and learning, with sample and time complexity scaling quasi-polynomially or polynomially in the extent (and $1/\varepsilon$) under certain algorithmic conjectures [2606.07425, 2510.05890]. Ridge regression and boosting of weak stabilizer agnostic learners are the central algorithmic tools.

### Table: Stabilizer Extent—Algorithmic and Operational Aspects

| Approach                    | Scaling                          | Comments                                    |
|-----------------------------|----------------------------------|---------------------------------------------|
| Bell-measurement bounds     | $O(n)$ copies, $O(nN)$ classical | Lower bounds via $A_n$ [2305.19152]         |
| Column-generation SOCP      | Superexp. in $n$ naive; $9-10$ qubits feasible | Adaptive subset, exact computation [2406.16673] |
| Tomography (learning)       | $\widetilde{O}(n,(\xi/\varepsilon)^{\log(\xi/\varepsilon)})$ | Quasi-poly or poly in $\xi$ (with conjectures) [2606.07425, 2510.05890] |

## 4. Behavior under Quantum Operations and Amortization

Stabilizer extent can be extended to measure the nonstabilizerness generation capability of unitary channels using an amortized framework. For a unitary $U$,
\[
\xi_{\log}^{\mathcal A}(U) = \sup_{m\in\mathbb N^+}\max_{\ket{\phi}\in\mathcal H_{n+m}} \Big[\log_2 \xi((U\otimes I_{2^m})\ket{\phi}) - \log_2 \xi(\ket{\phi})\Big]
\]
A strict version further restricts to stabilizer inputs. Critically, for stabilizer extent the amortized and strict-amortized versions coincide:
\[
\xi_{\log}^{\mathcal A}(U) = \widetilde{\xi}_{\log}^{\mathcal A}(U)
\]
for any unitary $U$ [2409.06659]. Amortization (i.e., allowing arbitrary magic input states) cannot enhance the magic-generating capacity measured by stabilizer extent. This sharply contrasts with the amortized $\alpha$-stabilizer Rényi entropy, for which magic generation can be enhanced by input nonstabilizerness.

For Clifford+$T$ circuits, worst-case upper bounds on stabilizer extent scale as $\xi(\ket{\psi}) \le (1+1/\sqrt{2})^t$ for $t$ $T$ gates [2510.05890].

## 5. Connections to Magic Monotones and Simulation

Stabilizer extent sits in a hierarchy with other monotones:
\[
R(\ket{\psi}) \geq \xi(\ket{\psi}) \geq F_{\rm STAB}(\ket{\psi})^{-1} \geq A_n(\ket{\psi})^{-1/(2n)}
\]
where $R$ is robustness of magic, $F_{\rm STAB}$ is stabilizer fidelity, and $A_n$ are Pauli moment invariants [2305.19152]. The extent, while operationally similar to robustness for pure states, is strictly weaker in its convexity and sensitivity to decomposition structure, and does not share multiplicativity properties.

For classical simulation of Clifford+$T$ circuits, the leading Monte-Carlo–based simulator costs scale with the stabilizer extent of input magic states, making it a key complexity determinant [2007.04363, 2406.16673].

## 6. Non-multiplicativity and Limitations

Stabilizer extent is not multiplicative under tensor products:
\[
\xi(\psi \otimes \phi) < \xi(\psi)\,\xi(\phi)
\]
for generic states, as proved in [2007.04363]. This is established via duality geometry and the effect of the maximally entangled state in the stabilizer dictionary, which breaks the extremality of product dual witnesses. Non-multiplicativity translates directly to several related monotones, including mixed-state extent and generalized robustness. For simulation, this means that naïvely multiplying the extents of subsystems may overestimate the true simulation complexity.

## 7. Applications and Theoretical Implications

**Algorithmic learning and tomography:** Stabilizer extent controls the efficiency with which a quantum state can be learned or tomographically reconstructed from data. States with bounded extent $\xi$ admit learning and tomography algorithms with sample complexity $\widetilde{O}(\xi/\varepsilon)$ under certain conjectures, and via ridge-regression boosting of weak agnostic learners [2606.07425, 2510.05890].

**Resource-theoretic significance:** As a magic monotone, stabilizer extent underpins the quantitative structure of the magic-state resource theory and provides strict guarantees about the feasibility of classical simulation, the formation of magic states, and the transfer properties of magic through quantum channels [2406.16673, 2409.06659].

**Relationship to geometric and combinatorial structures:** The structure and behavior of stabilizer extent is intimately connected with the geometry of the stabilizer polytope, the enumeration and overlap properties of stabilizer states [1711.07848], and the extremal positioning of so-called "maximally magical" states—such as Alltop vectors and MUB-balanced states in prime dimensions—relative to stabilizer bases [1412.8181].

A plausible implication is that for quantum error correction, compilation, and benchmarking tasks that depend on the nonstabilizerness of resource states, stabilizer extent provides a nuanced and computationally relevant measure that improves upon crude counts of non-Clifford operations and subsumes both geometric and operational aspects. Theoretical advances in computation and learning of stabilizer extent [2406.16673, 2606.07425] are likely to drive new protocols for efficient certification, benchmarking, or simulation in fault-tolerant quantum computation.

Source: https://www.emergentmind.com/topics/stabilizer-extent