---
title: 'Clifford Non-Stabilizerness: Quantum Magic Resource'
url: https://www.emergentmind.com/topics/clifford-non-stabilizerness
type: topic
---

# Clifford Non-Stabilizerness: Quantum Magic Resource

Clifford non-stabilizerness, usually called **magic**, denotes the part of a quantum state or operation that lies outside the stabilizer/Clifford subtheory and therefore outside the regime efficiently simulable by Gottesman–Knill-type methods. In contemporary usage it is both a resource-theoretic notion and a many-body diagnostic: it quantifies departure from stabilizer structure, not merely departure from product structure or the presence of large entanglement, and it appears in studies of phases of matter, monitored and open dynamics, metrology, fault tolerance, and classical-simulation complexity [2304.01175] [2409.16895] [2502.19504].

## 1. Resource-theoretic meaning

In the stabilizer framework, **stabilizer states** are states generated from computational-basis product states by Clifford unitaries, and Clifford operations are the free operations because they preserve Pauli structure under conjugation. A pure state is therefore stabilizer if it lies in the Clifford orbit of a computational-basis product state, while a non-stabilizer state carries a beyond-Clifford resource. This is the sense in which magic measures “how far” a state is from stabilizer structure [2304.01175].

This distinction is not equivalent to either separability or entanglement. Product states such as \( |T\rangle^{\otimes N} \), with
\[
|T\rangle=\frac{|0\rangle+e^{i\pi/4}|1\rangle}{\sqrt{2}},
\]
have zero entanglement entropy but nonzero magic, while GHZ states can be highly entangled yet have zero non-stabilizerness in the stabilizer sense. Recent work on permutation-symmetric metrological states makes the same point from a different direction: GHZ states maximize certain Bell-correlation diagnostics while still having \(\mathcal M_q=0\) [2409.16895] [2510.01380].

The same resource-theoretic language extends naturally from states to logical operations. Gates such as \(T\), \(CS\), and \(\sqrt{T}\) are non-Clifford and hence non-stabilizer resources; in fault-tolerant settings they mark the transition from stabilizer computation to universal computation. Clifford-hierarchy stabilizer codes make this explicit by constructing topological codes with transversal logical \(T\), \(CS\), and \(\sqrt{T}\) gates, thereby embedding non-stabilizer functionality directly into code symmetries rather than treating it solely as an externally injected ancilla resource [2511.02900].

## 2. Quantifiers and structural diagnostics

The dominant quantitative language is based on **stabilizer Rényi entropies**. For a pure \(L\)-qubit state \(|\psi\rangle\),
\[
\mathcal M_\alpha(|\psi\rangle)=\frac{1}{1-\alpha}\log_2\!\left(\sum_{P\in\mathcal P_L}\frac{|\langle\psi|P|\psi\rangle|^{2\alpha}}{2^L}\right),
\]
where \(\mathcal P_L\) is the Pauli-string set. These quantities are faithful, Clifford invariant, and additive. For mixed states and open-system density matrices, a common choice is
\[
M_2=-\log_2 \frac{\sum_P |c_P|^4}{\sum_P |c_P|^2},\qquad c_P=\mathrm{Tr}(\rho P),
\]
which interprets magic as delocalization of the Pauli spectrum [2603.08841] [2504.11139].

Several related measures refine different aspects of Clifford non-stabilizerness. The **stabilizer linear entropy**
\[
M_{\rm lin}(|\psi\rangle)=1-d\|\Xi_\psi\|_2^2
\]
obeys
\[
M_2(|\psi\rangle)=-\log\!\left[1-M_{\rm lin}(|\psi\rangle)\right],
\]
making it a convenient proxy for second-order stabilizer entropy. **Stabilizer nullity**
\[
\nu(|\psi\rangle)=N-\log_2 |\mathcal G_S(|\psi\rangle)|
\]
counts the loss of exact Pauli stabilizers and functions as a coarse-grained magic monotone. **CSS entropies** generalize this perspective to qudits through defect-subspace projectors in the Clifford commutant; for qubits the first nontrivial CSS entropy reduces exactly to the second Rényi stabilizer entropy [2304.01175] [2507.11619] [2407.03929].

A persistent theme is that magic is not exhausted by any single diagnostic. One proposal aimed explicitly at classical simulation hardness is **Non-stabilizerness Entanglement Entropy (NsEE)**,
\[
\mathrm{NsEE}(|\psi\rangle)= \min_{\{\mathcal C\}}\sum_{\text{cuts}}\mathrm{EE}(\mathcal C|\psi\rangle),
\]
the minimum residual entanglement after optimization over Clifford circuits. This quantity was introduced because large entanglement can occur within the classically easy stabilizer sector, while nonzero stabilizer Rényi entropy can occur in states that remain easy to represent because they are unentangled product states. NsEE is therefore intended to quantify the interplay of entanglement and beyond-Clifford structure, rather than magic alone [2409.16895].

Two structural characterizations tie magic to notions of flatness. In one direction, **multifractal flatness**
\[
\mathcal F(|\Psi\rangle)= I_3(|\Psi\rangle)-I_2^2(|\Psi\rangle)
\]
is nonnegative, vanishes iff the computational-basis participation distribution is flat, and its Clifford-orbit average satisfies
\[
\overline{\mathcal F(|\Psi\rangle)}=\frac{2(1-2^{-M_2(|\Psi\rangle)})}{(d+1)(d+2)}.
\]
In another direction, the **anti-flatness** of the entanglement spectrum,
\[
\mathcal F_A(\psi)=\operatorname{Tr}(\psi_A^3)-[\operatorname{Tr}(\psi_A^2)]^2,
\]
has a Clifford-orbit average proportional to \(M_{\rm lin}\). Both results recast non-stabilizerness as a flatness problem—either of basis probabilities across a Clifford orbit or of reduced-state spectra under Clifford scrambling [2305.11797] [2304.01175].

The literature also stresses that magic can be **basis dependent**. In non-Hermitian systems, for example, the quantity actually analyzed is the right-right stabilizer Rényi entropy
\[
M_2^{RR}(A)=-\log_2\left(\sum_{P\in\mathcal P_\ell}|c_P|^4\right),
\]
computed from a reduced density matrix built only from the right eigenvector. In that setting real-space and momentum-space magic can display opposite extrema at the same exceptional line, reflecting basis dependence without destroying diagnostic usefulness [2510.17248].

## 3. Many-body structure, phases, and long-range organization

In many-body systems, Clifford non-stabilizerness is often split into local and nonlocal components. A canonical example is the \(W\)-state, whose order-2 stabilizer Rényi entropy is
\[
\mathcal M_2(|W\rangle)=3\log_2(L)-\log_2(7L-6),
\]
so that \(\mathcal M_2(|W\rangle)\sim 2\log_2 L-\log_2 7\) at large \(L\). This logarithmic scaling was identified as a form of **non-local non-stabilizerness**: each component of the superposition is stabilizer-like, while the magic originates from the delocalized coherent superposition itself. In topologically frustrated spin chains, the relevant kink superposition is Clifford-equivalent to a \(W\)-state, yielding a decomposition into an extensive local contribution plus the subdominant logarithmic \(W\)-contribution [2209.10541].

This idea was sharpened into the notion of **long-range nonstabilizerness**, defined as the component of magic that cannot be removed by shallow local quantum circuits. For one-dimensional translation-invariant MPS ground states, a sufficient criterion is obtained from the renormalization-group fixed point: if the asymptotic Shannon entropy of the sector weights, equivalently the distant-region mutual information of the fixed-point decomposition, approaches a non-integer value, then no polylog-depth circuit can map the state close to a stabilizer state. Stabilizer fixed points force this mutual information to be quantized, so non-integer limits obstruct shallow-circuit trivialization [2502.19504].

Global symmetries impose another layer of structure. For \(U(1)\)-constrained Haar-random states, the average stabilizer entropy is suppressed relative to the unconstrained benchmark. Unconstrained Haar-random states satisfy \(M_2\sim L-2\), whereas at zero magnetization in the standard \(U(1)\) sector the constrained benchmark becomes \(M_2\approx L-3\). Exact results furthermore show strong agreement with midspectrum eigenstates of the nonlocal complex-fermion SYK model and systematic \(O(1)\) deficits in local XXZ chains, highlighting the role of locality in preventing full randomization within the symmetry sector [2603.28870].

Non-Hermitian many-body systems exhibit a further reorganization of magic around criticality and exceptional points. In the \(\mathcal{PT}\)-symmetric non-Hermitian transverse-field Ising chain, \(M_2^{RR}\) peaks along the Hermitian-like Ising transition line
\[
\gamma_{c1}=\sqrt{1-(J/h)^2}
\]
but vanishes at the exceptional line \(\gamma_{c2}=1\), where a similarity-transform argument maps the problem to a stabilizer-like ferromagnetic ground state. In the non-Hermitian XX chain the pattern reverses in real space: \(M_2^{RR}\) is maximized at the exceptional line \(g=\delta\), while the momentum-space magic density has a local minimum there and even vanishes at the exact exceptional momentum \(k=\pi/2\). The shared message is that exceptional physics is marked by extremal, but basis-dependent, non-stabilizerness [2510.17248].

## 4. Dynamics, criticality, and chaos

Generic dynamics can generate non-stabilizerness much faster than they generate entanglement. In one-dimensional brick-wall random unitary circuits, CSS entropies equilibrate with
\[
t_{\mathrm{sat}}^{(Y)}\sim \frac{\log N}{\alpha_d}+O(1),
\]
whereas entanglement entropy saturates only on \(t_{\mathrm{sat}}^{(\mathrm{ENT})}\sim N\) timescales. The deviation from Haar-typical magic relaxes as
\[
\Delta Y_d(t)=a_d\,N\,e^{-\alpha_d t},
\]
placing magic spreading in the same fast class as anti-concentration and Hilbert-space delocalization rather than ballistic entanglement growth [2407.03929].

Interspersed random Clifford layers profoundly reshape this dynamics without creating magic on their own. For the linear stabilizer-entropy-based non-stabilizing power \(m_p(U)\), averaging over an intervening random Clifford \(C\) yields
\[
\langle m_p(VCU)\rangle_C
=
m_p(U)+m_p(V)-\frac{m_p(U)m_p(V)}{\overline{m_p}},
\]
which leads to exponential thermalization toward the Haar-averaged value in long Clifford-interlaced circuits. The same framework extends to an operator-space non-stabilizing power and shows that chaos in brick-wall circuits depends jointly on non-stabilizing power, entangling power, and gate typicality rather than on any single resource [2505.14793].

Measurement can either suppress or sustain magic. In monitored circuits built from random Clifford unitaries and local projective measurements, computational-basis measurements cannot create magic and reduce stabilizer nullity only in quantized unit steps, with transition probability
\[
\Pr_{\rm z}(\nu\to \nu-1)\approx 2^{\nu-N}
\]
at large \(\nu\). Full removal of magic then requires exponentially many measurements, \(t\sim 2^N\), reflecting protection by Clifford scrambling. By contrast, measurements in rotated non-Clifford bases both create and destroy non-stabilizerness, driving the system to a universal extensive-nullity steady state; the stabilizer Rényi entropies then reveal angle dependence and a nonzero steady-state magic density even when nullity appears almost angle insensitive [2507.11619].

Open-system and driven many-body settings display additional universal behavior. In boundary-driven open XXZ chains,
\[
M_2(L,t)\sim L\,f(t/L^z),\qquad M_2(t)\sim t^{1/z},
\]
with ballistic \((z=1)\), KPZ \((z=3/2)\), and diffusive \((z=2)\) regimes. Under bulk dephasing, dissipation can transiently enhance magic before suppressing it, and in magnetization-conserving sectors the nonequilibrium steady state can retain nonzero magic density. In slow sweeps across quantum critical points, both \(\Delta\mathcal M_\alpha\) and the cumulants of the logarithmic Pauli spectrum satisfy Kibble–Zurek-type power laws
\[
\Delta \mathcal M_\alpha \propto \tau_Q^{-\delta},\qquad
\kappa_q^{(\log)}\propto \tau_Q^{-\delta},
\]
while the logarithmic Pauli spectrum becomes asymptotically Gaussian, so the Pauli spectrum itself is lognormal [2504.11139] [2603.08841].

The relation to chaos diagnostics depends on the probe. In isospectral-twirled ensembles interpolating between Clifford eigenbases and Haar-random eigenbases through \(T\)-doped circuits, Loschmidt echoes and OTOCs clearly distinguish stabilizer from Haar behavior, while tripartite information, entanglement-entropy bounds, coherence, and WYD skew information show only finite-size or transient differences. This sharpens the distinction between probes sensitive to magic in the eigenbasis and probes largely insensitive to it [2603.29695].

## 5. Numerical methods and experimental access

Much of the recent development has been driven by scalable numerical methods. In non-Hermitian spin chains, ground states were obtained by non-Hermitian DMRG/MPS with open boundary conditions, right eigenstates as MPS, and the ground state defined by the smallest real part of the energy; \(M_2^{RR}\) was then estimated by Metropolis–Hastings sampling over Pauli strings weighted by \(|c_P|^2\). For open XXZ chains, an MPO/MPS algorithm computes \(M_2\) from vectorized density matrices while keeping the bond dimension constant, avoiding the bond-dimension proliferation usually associated with mixed-state tensor-network calculations [2510.17248] [2504.11139].

For conventional MPS studies, perfect Pauli sampling, Pauli-Markov chains, and replica Pauli-MPS methods have made full-state magic and mutual magic accessible at system sizes far beyond direct enumeration. In spin-1 XXZ chains, the full-state SRE density was observed to converge with
\[
m_n(\chi)=m_0+c/\chi^2
\]
at critical points and to saturate extremely rapidly in gapped phases, often more easily than entanglement entropy itself. Pauli-Markov chains were also shown to provide especially efficient estimators for mutual information and mutual magic of disconnected subsystems [2404.18768].

A distinct strategy is to avoid simulating non-Clifford dynamics directly. **Iterative Clifford Circuit Renormalization (ICCR)** rewrites a circuit with measurements or \(T\)-gates into a Clifford-only circuit acting on a renormalized initial state, pushing non-stabilizing effects backward and compressing the effective state by MPS methods. This gave access to systems up to \(N=1000\) qubits and revealed a measurement-induced magic-purification transition near \(p_c\approx 0.16\) in a monitored random Clifford circuit [2405.06054].

Several proposals translate magic quantification into experimentally tractable observables. The multifractal-flatness approach samples random Clifford circuits, measures computational-basis probabilities, and infers \(M_2\) from an orbit-averaged flatness witness, providing a practical certification protocol even though the cost grows exponentially for precise estimation. The entanglement-spectrum-flatness approach measures
\[
\mathcal F_A(\psi)=\operatorname{Tr}(\psi_A^3)-[\operatorname{Tr}(\psi_A^2)]^2
\]
after Clifford scrambling and uses it as a local witness of non-stabilizerness, with explicit discussion of coherent gate noise and applications to cold-atom and solid-state platforms. For permutation-symmetric states, the SRE itself simplifies drastically: in the large-\(N\) limit it depends only on six overlaps with the coherent stabilizer states \(\ket{\pm X},\ket{\pm Y},\ket{\pm Z}\), which can be accessed by interaction-based readout or twist-echo methods [2305.11797] [2304.01175] [2510.01380].

## 6. Operational roles: simulation hardness, metrology, estimation, and control

A central operational question is what non-stabilizerness actually measures. Ordinary entanglement entropy is insufficient because stabilizer states can have large entanglement while remaining classically easy, and magic alone is insufficient because product states such as \( |T\rangle^{\otimes N} \) have nonzero SRE but zero entanglement and are still easy to represent classically. NsEE was introduced precisely to isolate the part of entanglement that survives optimal Clifford simplification, and numerical studies with Clifford-circuits-augmented MPS showed that it tracks easy-to-hard transitions in random Clifford+\(T\) circuits more faithfully than either entanglement entropy or SRE alone [2409.16895].

In quantum metrology, non-stabilizerness differentiates distinct forms of useful many-body structure. Under one-axis twisting,
\[
\hat U(t)=\exp\{-i\chi t \hat Z^2/4\},
\]
optimal squeezing occurs at \(\chi t_{\rm best}\sim N^{-2/3}\) with \(\xi_{\rm best}^2\sim N^{-2/3}\), and the corresponding SRE grows logarithmically with system size. At later times, the dynamics produces kitten states—superpositions of rotated GHZ states—with \(N\)-independent SRE that decreases as Bell-correlation strength increases. In the limiting GHZ case, Bell correlations are maximal while magic vanishes, establishing that Bell nonlocality and Clifford non-stabilizerness are distinct resources [2510.01380].

In quantum state estimation, magic becomes a metrological resource in a direct algebraic sense. For single-setting protocols consisting of ancillas, a circuit, and a fixed projective readout, stabilizer-only resources are always informationally equivalent to projective measurement in a stabilizer basis and hence never informationally complete, regardless of the number of ancillas. Introducing \(T\)-gates enlarges the accessible operator span: at least
\[
\frac{2n}{\log_2 3}
\]
\(T\)-gates are necessary for informational completeness, while \(2n\) suffice, leading to the conjecture that \(2n\) are both necessary and sufficient [2510.00157].

Fault-tolerant computation and state control provide two further operational incarnations. Clifford-hierarchy stabilizer codes realize logical \(T\), \(CS\), and \(\sqrt{T}\) gates transversally and support fault-tolerant preparation of logical \(T\) magic states via code switching and just-in-time decoding, showing that non-stabilizer resources can be generated from topological automorphism symmetries rather than only consumed as external ancillas [2511.02900]. Conversely, recent work introduced the **dismagicker**, a non-Clifford unitary variationally optimized to reduce \(M_2\). Interleaving such gates with Clifford disentanglers in MPS sweeps was found to suppress both non-stabilizerness and entanglement more effectively than either strategy alone, improving fixed-bond-dimension simulation accuracy and rotating target states toward more classically tractable representations [2604.04046].

Source: https://www.emergentmind.com/topics/clifford-non-stabilizerness