Nonlocal Magic Resource

• Nonlocal Magic Resource is defined as irreducible non-stabilizerness that cannot be removed by local basis changes and is crucial for universal quantum computation.
• It characterizes global quantum properties in many-body systems and underlies distinct resource theories such as stabilizer and LOSR operations.
• Quantification methods like stabilizer Rényi entropy and local unitary optimization provide practical tools for simulating, certifying, and harnessing this resource in experiments.

Searching arXiv for papers on nonlocal magic to ground the article in current literature. Nonlocal magic resource denotes a family of closely related notions for irreducible non-stabilizerness that cannot be removed by local basis changes, or that becomes a genuinely global property under local many-body dynamics, or that characterizes distributed nonsignaling devices beyond local operations and shared randomness. In all of these usages, the central claim is the same: entanglement alone does not capture the beyond-Clifford structure relevant to universal quantum computation, classical intractability, or distributed nonclassicality; the decisive resource is non-stabilizerness that is either locally irreducible, spatially delocalized, or operationally nonfree relative to an explicitly chosen resource theory (Qian et al., 10 Feb 2025, Turkeshi et al., 2024, Schmid et al., 2019).

1. Resource-theoretic meanings and terminological scope

Within the stabilizer–Clifford framework, magic is non-stabilizerness relative to the Clifford group. Stabilizer states are Clifford images of computational-basis product states, and Clifford circuits acting on stabilizer inputs remain efficiently classically simulable by the Gottesman–Knill theorem. This motivates magic as the resource measuring the non-Clifford, non-stabilizer structure needed for universal quantum computation and for the breakdown of stabilizer-based classical simulation (Turkeshi et al., 2024).

A first source of ambiguity is the choice of free operations. One line of work distinguishes operationally defined stabilizer operations, built from stabilizer state preparation, Clifford unitaries, Pauli measurements, discarding, and classical control, from axiomatically defined completely stabilizer-preserving channels. These coincide only for a single qudit and satisfy $\mathrm{SO}_n(d)\subsetneq \mathrm{CSP}_n(d)$ for $n\ge 2$, in direct analogy with the gap between LOCC and separable operations in entanglement theory (Heimendahl et al., 2020). This distinction matters because any “nonlocal” version of magic depends not only on the state class being studied but also on which operations are regarded as free.

A second source of ambiguity is that some literature uses “nonlocal magic resource” in a type-independent distributed-information sense. In that language, any nonsignaling resource not simulable by local operations and shared randomness is a nonlocal magic resource, independent of whether the resource is a state, a Bell box, a steering assemblage, a teleportage, or a general channel. The shared theme is again irreducible nonclassicality, but the free set is LOSR rather than stabilizer operations, and semiquantum channels become a universal encoding type for the full LOSR preorder (Schmid et al., 2019).

2. Bipartite nonlocal magic and its spectral structure

For bipartite states, the standard definition minimizes a magic monotone over local unitaries. For a bipartite pure or mixed state $\rho_{AB}$, one defines

$$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$

with $M$ typically chosen as the second stabilizer Rényi entropy. This removes all local-basis-dependent magic and retains only the residual non-stabilizerness that cannot be erased by local basis changes. For two-qubit pure states with Schmidt form $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$, the resulting nonlocal magic is

$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$

It vanishes for product states and Bell stabilizer states, while generic entangled non-stabilizer states have $\mathcal{M}>0$. The same framework extends to mixed states, and in that setting separable states can already have nonzero $\mathcal{M}_{AB}$ (Qian et al., 10 Feb 2025).

A stronger structural result is that pure-state bipartite nonlocal magic is an intrinsic function of the nonzero Schmidt spectrum. For a Schmidt rank-$r$ state, a local encoding compresses the state into a minimal $n\ge 2$0-qubit core on each side, with all remaining local degrees of freedom factored into stabilizer ancillas. This yields

$n\ge 2$1

so BNMR depends only on the ordered nonzero Schmidt coefficients, not on the ambient Hilbert-space dimension. The zero set is correspondingly spectral: BNMR vanishes exactly for flat Schmidt spectra of rank $n\ge 2$2, i.e. the spectra realized by bipartite stabilizer states. Around such flat, stabilizer-compatible points, the leading response is quadratic,

$n\ge 2$3

for $n\ge 2$4 with $n\ge 2$5. For Schmidt rank 2, BNMR has the closed form

$n\ge 2$6

and for generalized GHZ states one finds a hierarchy collapse

$n\ge 2$7

so bipartite, global, and total nonlocal magic coincide exactly (Huang et al., 23 Jun 2026).

A complementary spectral formulation rewrites Schmidt-gauged nonlocal magic in terms of Walsh–Hadamard autocorrelations of the entanglement spectrum. For a bipartition with Schmidt-gauged representative $n\ge 2$8, the paper defines

$n\ge 2$9

with $\rho_{AB}$0 built from autocorrelations $\rho_{AB}$1. This makes explicit that nonlocal magic is governed not only by entropy but by the harmonic organization of the entanglement spectrum. The universal bound

$\rho_{AB}$2

shows that entanglement constrains but does not determine nonlocal magic. Flat spectra give $\rho_{AB}$3, Haar-random states have $\rho_{AB}$4, product entanglement spectra can yield extensive $\rho_{AB}$5, and one-dimensional critical free-fermion ground states produce logarithmic growth $\rho_{AB}$6 (Torre et al., 8 Jul 2026).

3. Delocalized many-body magic in local random dynamics

A distinct usage of “nonlocal magic” emphasizes not a bipartite LU optimization, but the fact that magic generated by strictly local gates rapidly becomes a global many-body property. In brick-wall Haar-random circuits on $\rho_{AB}$7 qudits, this is quantified by the Calderbank–Shor–Steane entropy

$\rho_{AB}$8

with $\rho_{AB}$9 for even $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$0 and $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$1 for odd $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$2. $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$3 is a faithful, Clifford-invariant, additive magic monotone, and its MPO structure permits simulations up to $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$4 qudits. In one-dimensional Haar-random circuits starting from $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$5, the deficit from Haar saturation obeys

$$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$6

with $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$7 for qubits and $$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$8 for qutrits, yielding a saturation depth

$$\mathcal{M}_{AB}(\rho_{AB})=\min_{U_A\otimes U_B} M\!\left((U_A\otimes U_B)\rho_{AB}(U_A^\dagger\otimes U_B^\dagger)\right),$$9

This logarithmic equilibration is qualitatively different from bipartite entanglement entropy, which saturates on times $M$0 (Turkeshi et al., 2024).

The same separation appears in tensor-network simulations. For Haar-random qubit circuits, the deviation of the stabilizer Rényi entropy at finite MPS bond dimension obeys

$M$1

so the bond dimension needed to converge $M$2 scales only as

$M$3

By contrast, the entanglement of Haar-random states requires $M$4. The time-dependent approach to the SRE saturation value likewise follows

$M$5

This establishes an information separation: nonlocal magic, as diagnosed by global stabilizer Rényi entropies, is captured at logarithmic bond dimension even when the entanglement structure remains exponentially hard for MPS methods (Huang et al., 30 Sep 2025).

These results make precise a common misconception. Nonlocal magic in many-body dynamics is not simply “large entanglement by another name.” The papers instead show that states can become Haar-typical relative to Clifford structure long before long-range entanglement saturates, and that magic growth can remain accurately trackable even when most entanglement has been truncated away (Turkeshi et al., 2024, Huang et al., 30 Sep 2025).

4. Generation, extraction, and computational architectures

At the unitary level, nonlocal magic generation admits an exact operator-space characterization. A unitary map generates nonlocal magic if and only if it generates operator entanglement on Pauli strings. Guided by this equivalence, one can define an average Pauli-entangling power as a proxy for nonlocal magic generation and derive analytical formulas, typical values, and upper bounds in terms of the nonstabilizerness properties of the evolution (Andreadakis et al., 12 Apr 2025).

In measurement-based quantum computation, the same resource appears as a graph-wide capacity. The relevant magic monotone is again stabilizer Rényi entropy, but the paper distinguishes three quantities: invested magic $M$6, reserved magic $M$7, and potential magic $M$8. Non-Pauli measurements are the only source of magic, yet graph entanglement makes the effect nonlocal. The linear chain and GHZ graph states have

$M$9

whereas for $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$0-dimensional graph families the lower bound scales as

$$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$1

For the $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$2-qubit QFT the invested magic obeys

$$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$3

In this formulation, nonlocal magic is not the initial graph state itself, which is stabilizer, but the graph’s capacity to convert local non-Pauli measurement angles into globally distributed non-stabilizerness (Li et al., 2024).

Measurements can also reorganize nonlocal magic dynamically. For two-site reduced states in critical many-body systems, the bipartite nonlocal-magic measure $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$4 can decay algebraically, and the measurement-induced quantity

$$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$5

can decay more slowly than pre-measurement correlations. In monitored Haar-random circuits, this behavior is described as “nonstabilizerness swapping,” directly analogous to entanglement swapping but for non-stabilizer correlations (Qian et al., 10 Feb 2025).

Open-system dynamics provides an even stronger example. Under local amplitude damping, the $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$6-qubit GHZ family $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$7 loses magic at $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$8, regains it at $$|\psi(\theta)\rangle=\cos\theta\,|00\rangle+\sin\theta\,|11\rangle$$9, and loses entanglement at $$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$0, with

$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$1

For small $$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$2, the reborn magic resides in a fully separable state whose proper marginals are all stabilizer. Yet parity-syndrome extraction followed by Clifford decoding concentrates this global magic onto a single qubit, with a lossless-in-expectation robustness relation

$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$3

This demonstrates that globally distributed nonlocal magic can be operationally harvested and converted into single-qubit distillable magic (Cao, 21 May 2026).

5. Holography, scattering theory, and experiment

In holographic gauge theory, nonlocal magic has been linked to antiflatness of the entanglement spectrum. For Schwinger pair creation in a strongly coupled large-$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$4 theory, the relevant diagnostic is the refined Rényi entropy $$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$5 and its derivative,

$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$6

where $$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$7 is the capacity of entanglement. Using Lemma 1 of Cao et al. as quoted in that work,

$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$8

For the probe-string contribution in the holographic dual, the capacity is

$$\mathcal{M}(|\psi(\theta)\rangle)=\log\!\left(\frac{8}{7+\cos(8\theta)}\right).$$9

so $\mathcal{M}>0$0 for all boundary dimensions $\mathcal{M}>0$1. The same quantity is also the heat capacity extracted from the probe free energy. In this setting, nonlocal magic is encoded in the nonflat entanglement spectrum across a spherical bipartition and in the $\mathcal{M}>0$2-dependence of the topological black-hole horizon (Grieninger, 5 May 2026).

A different high-energy realization appears in gluon and graviton scattering. There the outgoing two-particle helicity state defines a two-qubit pure state, and nonlocal magic is the minimal second stabilizer Rényi entropy over local unitary basis changes. For many initial states, including states produced with polarised beams, the physically natural helicity basis already coincides with a basis in which nonlocal magic is manifest. This provides an information-theoretic justification for the helicity basis in scattering-based magic analyses. The property is not universal, however: adding an $\mathcal{M}>0$3 operator to the Yang–Mills Lagrangian breaks the coincidence between helicity-basis magic and basis-independent nonlocal magic (Gargalionis et al., 4 Mar 2026).

The first direct experimental demonstration of non-local magic was performed on a superconducting quantum processing unit. The experiment used the bipartite definition

$\mathcal{M}>0$4

and, for pure two-qubit states, the reduced-purity formula

$\mathcal{M}>0$5

This enabled a direct separation between local and non-local magic, together with a noise model based only on independently characterized readout noise and a depolarizing CZ channel, with no free fitting parameter (Ahmad et al., 19 Nov 2025).

6. Distributed nonclassicality, certification, and conceptual boundaries

In the LOSR resource theory, a nonlocal magic resource is any nonsignaling channel that is not simulable by local operations and shared randomness. The framework is type-independent: states, boxes, assemblages, teleportages, semiquantum channels, and general bipartite channels are all treated as resources of different types. A key structural result is that semiquantum channels are universal for this preorder: every nonsignaling resource can be losslessly encoded into semiquantum type, and the family of all semiquantum games completely characterizes the LOSR nonclassicality of every resource in a measurement-device-independent manner (Schmid et al., 2019).

This distributed perspective connects directly to computational separations. In shallow-circuit complexity, magic is necessary for particular pseudo-telepathic correlations arising from a linear binary constraint system. The paper proves that for suitable instances there exist perfect quantum strategies requiring non-Clifford gates, while every Clifford strategy is bounded away from unit success. This yields an unconditional separation

$\mathcal{M}>0$6

so “magic” becomes a nonlocal computational resource in the precise sense that perfect nonlocal-game correlations cannot be generated by magic-free shallow circuits (Zhang et al., 2024).

The same theme appears in Bell certification from tomography. Using only Pauli-basis measurements already present in standard state tomography, one can construct tailored Bell inequalities and evaluate them directly from the correlation tensor. For some of these inequalities, the stabilizer maximum lies below the quantum value attained by the target state, so a violation of the stabilizer bound witnesses magic with no additional experimental cost. This establishes a three-layer interpretation of the same dataset: state characterization, Bell-nonlocality certification, and magic witnessing (Cieslinski et al., 31 Dec 2025).

Across these literatures, three misconceptions are repeatedly corrected. First, nonlocal magic is not synonymous with entanglement: Bell pairs and flat entanglement spectra can have zero nonlocal magic. Second, it is not reducible to local non-stabilizerness: LU optimization, Schmidt-gauge constructions, and experimental local-erasure protocols all isolate a residual component that survives local basis changes. Third, it is not a single universally fixed quantity: the phrase can denote LU-irreducible bipartite non-stabilizerness, globally delocalized many-body magic, or LOSR-nonfree distributed resources, depending on the underlying resource theory and operational question. The common invariant across these meanings is irreducible beyond-stabilizer structure that cannot be captured by entanglement or Bell nonlocality alone (Qian et al., 10 Feb 2025, Huang et al., 23 Jun 2026, Turkeshi et al., 2024).