---
title: Long-Range Nonstabilizerness (LRN)
url: https://www.emergentmind.com/topics/long-range-nonstabilizerness-lrn
type: topic
---

# Long-Range Nonstabilizerness (LRN)

Long-range nonstabilizerness (LRN), also called long-range magic (LRM), denotes the component of nonstabilizerness that cannot be removed by shallow local quantum circuits. In the recent literature, this notion appears in several closely related operational forms: impossibility of mapping a family of states to stabilizer states by shallow local circuits, impossibility of preparing a state from product input by shallow circuits augmented with Clifford layers, and correlation-based constructions that isolate the nonstabilizer content stored in nonlocal degrees of freedom [2502.19504][2503.04566][2603.25023]. Across these formulations, the central issue is whether magic is merely local and circuit-removable, or instead encoded in global structure such as distant correlations, topological sectors, or large-scale information [2405.04448][2510.26696][2605.22424].

## 1. Definitions and conceptual variants

A widely used definition is asymptotic and circuit-theoretic. A family of states \(\{\ket{\psi_N}\}_{N\in\mathbb{N}}\) has short-range nonstabilizerness if for all \(\varepsilon_0>0\) and \(\alpha>0\) there exists a local quantum circuit \(Q_{D_N}\) of depth \(D_N = O(\mathrm{polylog}(N))\) and a stabilizer state \(\ket{S_N}\) such that, for all sufficiently large \(N\),
\[
\Delta\bigl(Q_{D_N}\ket{\psi_N},\,\ket{S_N}\bigr)\le \frac{\varepsilon_0}{N^\alpha} = \varepsilon_N.
\]
If no such shallow circuit exists, the family has long-range nonstabilizerness [2502.19504].

A related formulation, developed for families \(\{|\psi_n\rangle\}\) on bounded-degree lattices, says that the family has long-range magic if for any family of constant-depth local circuits \(\{U_n\}\), the states \(U_n|\psi_n\rangle\) remain nonstabilizer states for all sufficiently large \(n\). It has short-range magic if there exists a family of constant-depth local circuits \(\{U_n\}\) such that \(\{U_n|\psi_n\rangle\}\) are stabilizer states. A stronger notion, strong LRM, requires that for any constant-depth local circuits \(\{U_n\}\) and any stabilizer states \(\{|S_n\rangle\}\),
\[
\big\| U_n|\psi_n\rangle\langle\psi_n|U_n^\dagger - |S_n\rangle\langle S_n| \big\|_1 = \Omega(1/n).
\]
This framework also makes explicit that LRM implies long-range entanglement [2503.04566].

A stricter preparation-based notion is two-sided long-range magic. Here a state is said to have two-sided long-range magic if it cannot be prepared from a product state by either \(\mathsf{FDU}\circ\mathsf{Clifford}\) or \(\mathsf{Clifford}\circ\mathsf{FDU}\), even approximately. This places the state outside the first level of the magic hierarchy [2603.25023].

Alongside these circuit definitions, there are correlation-based formulations. For a bipartite mixed state \(\rho_{AB}\), the long-range stabilizer Rényi entropy is defined by
\[
L(\rho_{AB}) = \tilde{M}_2(\rho_{AB}) - \tilde{M}_2(\rho_A) - \tilde{M}_2(\rho_B),
\]
where \(\tilde M_2(\rho) = -\log\!\big(\zeta_2(\rho)/\zeta_1(\rho)\big)\). This quantity isolates the magic contained in correlations between \(A\) and \(B\); if \(\rho_{AB}=\rho_A\otimes\rho_B\), then \(L=0\) [2405.04448].

## 2. Diagnostics and quantitative witnesses

The long-range SRE construction gives a direct correlation measure of LRN. For pure states, the stabilizer Rényi entropy of order \(n\) is
\[
M_n(|\psi\rangle)=\frac{1}{1-n}\log\big(\zeta_n(|\psi\rangle)\big), \qquad
\zeta_n(|\psi\rangle) := \frac{1}{2^N}\sum_{P\in\mathcal{P}_N}\langle\psi|P|\psi\rangle^{2n}.
\]
For mixed states, the order-2 form
\[
\tilde{M}_2(\rho)=-\log\left(\frac{\zeta_2(\rho)}{\zeta_1(\rho)}\right), \qquad
\zeta_n(\rho):=\frac{1}{2^N}\sum_{P\in\mathcal{P}_N}\operatorname{tr}(P\rho)^{2n},
\]
removes contributions from ordinary mixedness. The derived quantity \(L(\rho_{AB})\) measures the part of magic that resides in correlations and, in the formulation used there, quantifies magic that cannot be removed by short-depth quantum circuits [2405.04448].

A different diagnostic is provided by the information lattice. For a contiguous subsystem \(\mathcal{C}_n^\ell\), the total information is
\[
I(\rho_n^\ell) = (\ell+1) - S(\rho_n^\ell),
\]
and the local information is the discrete second derivative
\[
i_n^{\ell}
=
I(\rho_n^{\ell})-I(\rho_{n-1/2}^{\ell-1})-I(\rho_{n+1/2}^{\ell-1})+I(\rho_n^{\ell-2}).
\]
For stabilizer states, all local information values \(i_n^\ell\) are integers. Hence any noninteger \(i_n^\ell\) is a direct witness of nonstabilizerness. For localized states with an information gap, the large-scale information
\[
\Gamma = \sum_{\ell=\lfloor L/2 \rfloor}^{L-1} i_n^\ell
\]
is an \(\mathcal{O}(1)\) quantity, and noninteger \(\Gamma\) is a witness of long-range nonstabilizerness. The same framework introduces a folding procedure, with \(\Gamma_{\rm folded}\approx \gamma_{\rm global}\), to separate global from edge-to-edge large-scale contributions [2510.26696].

For topologically encoded states on a torus, mutual information between disconnected non-contractible regions provides another diagnostic. If \(|\psi\rangle = \sum_a \psi_a(\gamma)\,|a;\gamma\rangle\) is expanded in the basis of minimal-entropy states associated with a loop \(\gamma\), then
\[
I_{A_\gamma,B_\gamma}(|\psi\rangle) = H\big(\{|\psi_a(\gamma)|^2\}\big),
\]
where \(H\) is the Shannon entropy. Because stabilizer states have integer-valued entropies and mutual informations, a noninteger thermodynamic limit of this quantity is a sufficient condition for LRN. In the toric code this criterion becomes complete: all encoded non-stabilizer states have LRN. In the doubled Fibonacci model it detects LRN for all states except a finite subset with special modular-group transformation properties [2605.22424].

These diagnostics are not identical, but they are structurally aligned. Each isolates a component of magic that survives shallow local basis changes: correlation magic in \(L(\rho_{AB})\), large-scale noninteger information in \(\Gamma\), or noninteger mutual information tied to topological flux sectors.

## 3. One-dimensional gapped systems and phase structure

A general counting argument shows that long-range nonstabilizerness is generic in Hilbert space. The number of stabilizer states scales as \(n_S\sim 2^{N^2/2}\), while the number of states distinguishable at trace-distance scale \(\varepsilon_N\) grows as \(\exp\!\big[(1-\varepsilon_N^2)2^{N-1}\big]\). Even after including all shallow local circuits of depth \(D_N\sim \mathrm{polylog}(N)\), the fraction of states reachable from stabilizer states vanishes as \(N\to\infty\) [2502.19504].

The physically sharper analysis concerns one-dimensional gapped systems described by translation-invariant matrix product states. For a TI MPS, one can pass to a canonical renormalization-group fixed point
\[
\ket{\tilde{\phi}_N} = \sum_{j=1}^b \alpha_j^{(N)}\ket{\Omega_j},
\]
where the \(\ket{\Omega_j}\) are locally orthogonal fixed-point sectors determined by the local MPS tensors. Any TI MPS is related to its RG fixed point by a shallow local circuit, so LR or SR nonstabilizerness of the original state is equivalent to LR or SR nonstabilizerness of the fixed point [2502.19504].

The central sufficient condition in this setting is
\[
\lim_{N\to\infty} H\bigl(\{|\alpha_j^{(N)}|^2\}\bigr)\notin\mathbb{N}.
\]
The reason is that the mutual information between two distant regions in the fixed-point state is exactly the Shannon entropy of the sector weights, while stabilizer states have integer-quantized mutual information. Since shallow circuits do not change this quantity in the thermodynamic limit, a noninteger limit implies long-range nonstabilizerness [2502.19504].

The same work gives a necessary condition for exact short-range nonstabilizerness of RG fixed points:
\[
\frac{|\alpha_i|^4}{|\alpha_j|^4}\in\mathbb{Q},\qquad \forall i\neq j.
\]
This is derived from constraints on the partial transpose spectrum of stabilizer states [2502.19504].

Within this MPS framework, LRN is explicitly stronger than long-range entanglement, and LRN cannot occur in short-range entangled MPS [2502.19504]. This places LRN naturally in the language of phase structure: it refines the usual distinction between short-range and long-range entanglement by asking whether the non-Clifford component of the state is itself shallow-circuit-trivial.

## 4. Topological codes, topological order, and fault tolerance

One route to LRN runs through fault-tolerant logical structure. For a \(D\)-dimensional topological stabilizer code family with \(k\) logical qubits, if a logical state \(|\phi\rangle\) satisfies
\[
|\phi\rangle \notin \left\{ V^\dagger|0^k\rangle \;\middle|\; V \in \mathcal{C}_k^{(D)} \right\},
\]
then the corresponding encoded physical state \(|\overline{\phi}\rangle\) has long-range magic. The proof uses a robust generalization of the Bravyi–König theorem: if a constant-depth local unitary maps one topological stabilizer code to another, the induced logical operator must lie in the \(D\)-th level of the Clifford hierarchy [2503.04566].

The toric-code logical \(T\)-state \(|\overline{T0}\rangle\) is the basic explicit example. Its stabilizer group contains the usual local toric-code stabilizers and a global non-Pauli stabilizer \(\tfrac{1}{\sqrt{2}}(\bar X_1+\bar Z_1)\), and this non-Pauli logical structure forces long-range magic [2503.04566].

The framework extends beyond stabilizer realizable phases. A topological order cannot be realized by any topological stabilizer code if and only if, for any local Hamiltonian realization of this topological order, all ground states exhibit LRM. Under additional assumptions—local terms with bounded norm, \(|I^{(n)}|=\Theta(n)\), a thermodynamic spectral gap, and ground-space dimension not a power of 2—every ground-state family exhibits strong LRM. Fibonacci topological order furnishes the canonical example: on suitable manifolds the ground-space dimension is \(3\), so all ground states have strong LRM [2503.04566].

For toric-code states on a torus, the mutual-information diagnostic has an immediate logical-gate consequence. Since all encoded non-stabilizer states have LRN, a shallow local logical gate cannot map a stabilizer encoded state to a non-stabilizer encoded state. In the toric code, locality-preserving logical gates therefore act at most as logical Clifford gates. In the doubled Fibonacci case, the corresponding protected-gate classification implies that there are essentially no nontrivial protected gates on the torus [2605.22424].

These results establish a tight connection between LRN and fault-tolerant non-Cliffordness. Long-range magic is not merely a property of wavefunctions; it constrains which logical states and logical gates can be realized by locality-preserving circuits.

## 5. Explicit states, correlations, and stronger obstructions

Several explicit state families exhibit LRN without requiring a full phase classification. One prominent example is the “magical cat” or ZX-cat state
\[
|\psi\rangle \propto |0^n\rangle + |+^n\rangle.
\]
This state cannot be prepared from a product state by either \(\mathsf{Clifford}\circ\mathsf{FDU}\) or \(\mathsf{FDU}\circ\mathsf{Clifford}\), even allowing constant approximation error, and therefore has two-sided long-range magic. The proofs combine stabilizer-superposition structure, mutual-information arguments, and approximate quantum error-correcting code techniques [2603.25023].

The same work proves two-sided long-range magic for ground states of certain nonabelian topological orders. For quantum double and string-net models on closed surfaces of genus \(g\ge1\) that admit no topologically transversal gate, no ground state can be prepared by \(\mathsf{Clifford}\circ\mathsf{FDU}\) within error \(n^{-\alpha}\) for fixed \(\alpha>\tfrac12\). Combined with earlier obstructions to \(\mathsf{FDU}\circ\mathsf{Clifford}\), this places those states outside the entire first level of the magic hierarchy [2603.25023].

A complementary route to LRN uses distant two-point correlations. For short-range magic states \(|\psi_n\rangle = U_n|S_n\rangle\), where \(U_n\) is constant-depth local and \(|S_n\rangle\) is stabilizer, the reduced state on distant regions can be generated from \(O(1)\) EPR pairs by local CPTP maps. This restricts the feasible two-point correlator region. Using this, the hypergraph-state family
\[
|\mathrm{C}^{n-1}Z\rangle := \mathrm{C}^{n-1}Z\,|+^{\otimes n}\rangle
\]
is shown to have LRM, because for any distinct qubits \(k,l\),
\[
\langle X_k X_l \rangle = 1 - 2^{2-n},\qquad
\langle X_k \rangle = 1 - 2^{2-n},
\]
which eventually lies outside the finite-EPR feasible region [2503.04566].

The same correlation criterion applies to GHZ-type nonstabilizer states
\[
|\psi_n(\alpha,\theta)\rangle
=
\sqrt{1-\alpha}\,|0^n\rangle + \sqrt{\alpha}e^{i\theta}\,|1^n\rangle.
\]
For these,
\[
\langle Z_k Z_l \rangle = 1,\qquad
\langle Z_k \rangle = 1 - 2\alpha,
\]
and if \(1-2\alpha\) is not a finite-length binary fraction, the family has LRM [2503.04566].

These constructions show that LRN can arise from at least three distinct mechanisms: encoded logical non-Cliffordness, intrinsic non-stabilizer topological order, and nonlocal correlation patterns that cannot be generated from bounded entanglement plus shallow local processing.

## 6. Dynamical generation and related spreading phenomena

Long-range SRE provides an exactly solvable dynamical proxy for LRN in a dual-unitary XXZ circuit. If two regions \(A\) and \(B\) are separated by distance \(d\), then the long-range SRE vanishes whenever their backward light cones do not intersect, \(d\ge 2T\), and becomes nonzero once \(d<2T\). For the special bipartition
\[
B_0:\quad N_A=N_B=2T,\quad d=2(T-1),\quad N=8T-4,
\]
the reduced states \(\rho_A\) and \(\rho_B\) are maximally mixed and the long-range SRE reduces to \(\tilde M_2(\rho_{AB})\). In the symmetric case \(J_o=J_e=J\), \(L_{B_0}\) saturates to \(2\log 2\) for any non-Clifford \(J\neq 0,\pi/4\), while \(L_{B_0}=0\) for the Clifford points \(J=0\) and \(J=\pi/4\) [2405.04448]. This is an explicit light-cone-based creation and saturation of long-range nonstabilizerness.

Related work on nonstabilizerness dynamics, though not always phrased directly as LRN, gives a hydrodynamic backdrop. In the XXZ chain initialized in a domain-wall state, participation entropy and stabilizer Rényi entropy grow as
\[
\mathcal{M}_k(t),\;\mathcal{S}_k(t)\sim t^{1/z},
\]
with \(z=1\) in the ballistic regime, \(z=3/2\) in the KPZ-type superdiffusive regime, and \(z=2\) in the diffusive regime [2506.12133]. This suggests that the spatial support of nonstabilizerness is transported by the same hydrodynamic modes that govern conserved charges.

A second hydrodynamic result concerns late-time relaxation in symmetry-constrained random dynamics. In \(\mathrm{U}(1)\)-symmetric one-dimensional random circuits, the stabilizer Rényi entropy approaches its random-state value with a gap closing as \(1/t\), and the same scaling is verified in an energy-conserving nonintegrable Ising chain [2606.13606]. A plausible implication is that the build-up of long-scale nonstabilizer structure can inherit diffusive bottlenecks even when entanglement growth itself is not the limiting factor.

Taken together, these dynamical studies indicate that LRN is not only a static obstruction class. It can be generated, transported, and saturated under local dynamics, with onset set by causal overlap and long-time behavior shaped by hydrodynamics, conservation laws, and circuit architecture.

Source: https://www.emergentmind.com/topics/long-range-nonstabilizerness-lrn