pith. sign in

arxiv: 2605.22424 · v1 · pith:7HSMKQOBnew · submitted 2026-05-21 · 🪐 quant-ph · cond-mat.stat-mech· math-ph· math.MP

Long-range nonstabilizerness of topologically encoded states from mutual information

Pith reviewed 2026-05-22 05:55 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mechmath-phmath.MP
keywords long-range nonstabilizernessmutual informationtopological ordertoric codemodular transformationsfault-tolerant gatesencoded quantum states
0
0 comments X

The pith

Mutual information between non-contractible loops diagnoses long-range nonstabilizerness in topologically encoded states on a torus.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows that mutual information between non-overlapping regions containing non-contractible loops, combined with how that information transforms under modular real-space cuts, can diagnose long-range nonstabilizerness in states encoded in two-dimensional topological systems. Long-range nonstabilizerness is the obstruction to turning a nonstabilizer state into a stabilizer state using only shallow-depth local circuits. In the toric code the method gives a complete classification that confirms the obstruction for every encoded non-stabilizer state. In the doubled-Fibonacci string-net model it identifies the obstruction for all states except a finite subset with special modular properties. The results limit which logical gates can be realized fault-tolerantly without deep circuits.

Core claim

In topologically ordered systems defined on a torus, the mutual information between regions that contain non-contractible loops together with its change under modular real-space transformations serves as a diagnostic for long-range nonstabilizerness. For the toric code this diagnostic fully classifies the property and certifies its presence in every encoded non-stabilizer state. For the non-abelian string-net model with doubled Fibonacci topological order the same quantities detect long-range nonstabilizerness in all states except a finite subset that transforms in a special way under the modular group. These findings directly constrain the set of logical gates that admit fault-tolerant, low

What carries the argument

Mutual information between non-overlapping regions containing non-contractible loops, and the change of this mutual information under modular real-space transformations, serving as a proxy for the obstruction to removing nonstabilizerness by shallow local circuits.

If this is right

  • Every encoded non-stabilizer state in the toric code possesses long-range nonstabilizerness.
  • The same mutual-information diagnostic applies to both abelian and non-abelian topological orders on the torus.
  • The presence of long-range nonstabilizerness restricts the logical gates that can be implemented fault-tolerantly without deep circuits.
  • States with special modular transformation properties may evade detection in certain non-abelian models.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same diagnostic quantities could be applied to other topological codes or lattice geometries to test for long-range nonstabilizerness.
  • The classification may help identify which magic states can be injected fault-tolerantly into topological codes.
  • Numerical checks of modular invariance on small tori could provide an independent test of the claimed classification.

Load-bearing premise

That the change in mutual information under modular real-space transformations is a faithful indicator of whether nonstabilizerness can be removed by any shallow-depth local circuit.

What would settle it

An encoded non-stabilizer state in the toric code for which the mutual information between regions containing non-contractible loops remains invariant under every modular transformation yet can still be converted to a stabilizer state by a shallow local circuit.

Figures

Figures reproduced from arXiv: 2605.22424 by David Aram Korbany, David T. Stephen, Lorenzo Piroli, Tyler D. Ellison.

Figure 1
Figure 1. Figure 1: Left: vertex, plaquette, and string operators in [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Three inequivalent curves γα on the torus related by modular transformations. For each curve γα, we consider disjoint regions A and B containing curves that are topologi￾cally equivalent to it. So far, we have discussed the properties of MES for the vertical loop γy (γ ′ y ). However, the same properties hold for more general non-contractible loops. In the following, we will consider three types of inequiv… view at source ↗
Figure 3
Figure 3. Figure 3: Left: support of the WLO Z(γxy) on the dual lat￾tice, corresponding to the loop γxy in [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Pictorial representation of the string-net lattice. [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Dehn twist on the torus implemented by a shear [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Pictorial derivation of Eq. (56). We only show the “ket” layer. The horizontal double lines (colored) indicate a trace over C˜ on the left, and over C in the middle pannel. automorphism of the lattice. This is for example the case for a 2π/3 rotation on the honeycomb lattice. Let γ˜ be any non-contractible loop that is topologically in￾equivalent to γy, and let ζ be a modular transformation mapping ˜γ to γ… view at source ↗
read the original abstract

We study long-range nonstabilizerness (LRN), namely the obstruction to remove nonstabilizerness with shallow-depth local quantum circuits. In one-dimensional settings, the mutual information between disconnected spatial regions has proven to be a powerful tool to diagnose LRN. In this work, we focus on encoded states of two-dimensional topologically-ordered systems, and explore the ability of the mutual information to serve as a diagnostic of LRN. Focusing on the concrete setting of lattice models defined on a torus, we show that information about LRN can be gained from the analysis of the mutual information between non-overlapping regions containing non-contractible loops, and of the change of such mutual information under modular real-space transformations. We exemplify this idea in the toric code and the non-abelian string-net model with doubled Fibonacci topological order. In the former case, we show that the mutual information provides a full classification, certifying LRN for all encoded non-stabilizer states. In the latter case, instead, our approach does not lead to a full classification, as it detects LRN for all states except from a finite subset with special transformation properties under the modular group. Finally, we discuss how our results on LRN constrain the logical gates that can be implemented fault-tolerantly on the torus.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that mutual information between non-overlapping regions containing non-contractible loops, together with its transformation under modular real-space cuts, diagnoses long-range nonstabilizerness (LRN) in encoded states of 2D topological models on a torus. In the toric code this yields a complete classification that certifies LRN for every encoded non-stabilizer state; in the doubled Fibonacci string-net model the same diagnostic detects LRN for all states except a finite subset possessing special modular transformation properties. The results are further used to constrain the set of logical gates that can be realized fault-tolerantly.

Significance. If the central mapping holds, the work supplies a concrete, topologically motivated diagnostic for LRN that extends earlier one-dimensional mutual-information techniques to two-dimensional codes. The toric-code classification is a strong, falsifiable outcome, and the explicit link to restrictions on fault-tolerant logical gates is directly relevant to quantum error correction. The modular-group analysis adds a distinctive topological ingredient that is not present in prior LRN studies.

major comments (2)
  1. [Abstract and toric-code section] Abstract and toric-code analysis: the claim that mutual information together with its modular transformations certifies LRN for every encoded non-stabilizer state rests on the unproven assertion that no constant-depth local circuit applied to a stabilizer state can reproduce the observed MI values (or their modular changes) while leaving logical nonstabilizerness intact. An explicit bound or counter-example argument showing that shallow circuits cannot adjust the MI signature without eliminating the logical nonstabilizerness is required to support the 'full classification' statement.
  2. [Fibonacci-model analysis] Fibonacci-model section: the identification of a finite subset of states that evade detection is presented as a limitation of the diagnostic rather than a statement about the absence of LRN in those states. Clarification is needed on whether these states truly lack LRN or whether the modular-MI probe is simply incomplete for them.
minor comments (2)
  1. Notation for the modular real-space cuts and the precise definition of the regions containing non-contractible loops should be made uniform across figures and text to improve readability.
  2. A short comparison table contrasting the toric-code and Fibonacci outcomes would help readers quickly grasp the difference in classification power.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their careful reading and constructive comments on our manuscript. We address each of the major comments in detail below, indicating where revisions have been made to strengthen the presentation and rigor of our results.

read point-by-point responses
  1. Referee: [Abstract and toric-code section] Abstract and toric-code analysis: the claim that mutual information together with its modular transformations certifies LRN for every encoded non-stabilizer state rests on the unproven assertion that no constant-depth local circuit applied to a stabilizer state can reproduce the observed MI values (or their modular changes) while leaving logical nonstabilizerness intact. An explicit bound or counter-example argument showing that shallow circuits cannot adjust the MI signature without eliminating the logical nonstabilizerness is required to support the 'full classification' statement.

    Authors: We agree that an explicit argument is required to rigorously justify why the observed MI values (and their modular transformations) cannot be reproduced by a constant-depth local circuit applied to a stabilizer state while preserving logical nonstabilizerness. In the revised manuscript we add a new paragraph in the toric-code section that supplies this justification. We argue that any constant-depth circuit has a finite light-cone; consequently, when the non-contractible regions are taken sufficiently large compared with the circuit depth, the mutual information between them is invariant under the circuit action. Stabilizer states on the toric code yield a strictly smaller MI value than the non-stabilizer encoded states we consider. Therefore, no such shallow circuit can match the MI signature without either changing the topological sector or introducing nonstabilizerness that would itself constitute LRN. We also note that the modular transformations further constrain the possible circuit actions because they mix the non-contractible cycles. This addition directly supports the full-classification claim. revision: yes

  2. Referee: [Fibonacci-model analysis] Fibonacci-model section: the identification of a finite subset of states that evade detection is presented as a limitation of the diagnostic rather than a statement about the absence of LRN in those states. Clarification is needed on whether these states truly lack LRN or whether the modular-MI probe is simply incomplete for them.

    Authors: We thank the referee for highlighting the need for explicit clarification on this point. In the original text we already frame the finite subset as states that evade detection by the modular-MI diagnostic, without asserting that they lack LRN. To make this unambiguous we have revised the Fibonacci-model section to state explicitly that the probe is incomplete for these states: their special transformation properties under the modular group render the MI between non-contractible regions indistinguishable from that of stabilizer states, yet this does not preclude the presence of LRN that would be visible under other diagnostics. We emphasize that determining whether these states actually possess LRN lies beyond the scope of the mutual-information approach developed here and remains an open question. revision: yes

Circularity Check

0 steps flagged

No circularity: MI diagnostic derived from explicit model calculations

full rationale

The paper defines LRN independently as the obstruction to removing nonstabilizerness via shallow-depth local circuits. It then computes mutual information between regions containing non-contractible loops on the torus and tracks its change under modular real-space transformations. These quantities are evaluated directly on the toric-code and doubled-Fibonacci string-net ground states and their logical encodings using the standard definition of von Neumann mutual information. The classification statements follow from comparing the resulting MI values (and their modular orbits) between stabilizer and non-stabilizer logical states; no equation equates the MI diagnostic to the circuit-depth obstruction by construction, no parameter is fitted and then relabeled as a prediction, and no load-bearing step rests on a self-citation whose content is itself unverified. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard properties of quantum mutual information and the definition of long-range nonstabilizerness as an obstruction to shallow local circuits; no free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (2)
  • domain assumption Mutual information between disconnected regions diagnoses long-range nonstabilizerness in one-dimensional systems
    Invoked as the starting point for extending the diagnostic to two dimensions (abstract opening sentence).
  • domain assumption Topological order on the torus is captured by states defined on non-contractible loops
    Used to select the spatial regions whose mutual information is analyzed.

pith-pipeline@v0.9.0 · 5781 in / 1577 out tokens · 31874 ms · 2026-05-22T05:55:26.824602+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

107 extracted references · 107 canonical work pages · 10 internal anchors

  1. [1]

    For stabilizer states, the mutual information is an integer, i.e.,I A,B ∈N

  2. [2]

    super-selection sectors

    For ground states, the mutual information is in- variant under shallow quantum circuits. This fact is proven in Sec. III D. Therefore, any non-integer value ofI A,B(|ψ⟩), for suit- ably chosen regions, immediately implies the LRN of the ground state|ψ⟩. We note that the idea of using devia- tions of the mutual information from an integer value to detect L...

  3. [3]

    string types

    which gives us a non-trivial lower bound on the sum IAγ ,Bγ(|ψ⟩) +I Aγ′ ,Bγ′ (|ψ⟩) (46) for two distinctγ, γ ′. We note that in Ref. [76], this inequality was dubbed the topological uncertainty prin- ciple. Furthermore, we also show that the sum X γ∈{γx,γy,γxy} IAγ ,Bγ(|ψ⟩) (47) Figure 3. Left: support of the WLO Z(γ xy) on the dual lat- tice, correspondi...

  4. [4]

    Proof of Theorem 2.If|ψ⟩is a stabilizer state, then for allγthe mutual information Iγ :=I Aγ ,Bγ[|ψ⟩] (B8) takes integer values

    Finally, it is known that only flat distributions can saturate the bound [105]. Proof of Theorem 2.If|ψ⟩is a stabilizer state, then for allγthe mutual information Iγ :=I Aγ ,Bγ[|ψ⟩] (B8) takes integer values. Thus, we only need to prove the converse statement. To this end, we will construct all solutions ofI γ ∈Nfor allγ∈ {γ x, γy, γxy}and show that all s...

  5. [5]

    A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys.303, 2 (2003)

  6. [6]

    Dennis, A

    E. Dennis, A. Kitaev, A. Landahl, and J. Preskill, Topo- 18 logical quantum memory, J. Math. Phys.43, 4452–4505 (2002)

  7. [7]

    Topological quantum distillation,

    H. Bombin and M. A. Martin-Delgado, Topologi- cal quantum distillation, Physical Review Letters97, 10.1103/physrevlett.97.180501 (2006)

  8. [8]

    Haah, Classification of translation invariant topolog- ical pauli stabilizer codes for prime dimensional qu- dits on two-dimensional lattices, J

    J. Haah, Classification of translation invariant topolog- ical pauli stabilizer codes for prime dimensional qu- dits on two-dimensional lattices, J. Math. Phys.62, 10.1063/5.0021068 (2021)

  9. [9]

    T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tan- tivasadakarn, and D. J. Williamson, Pauli stabilizer models of twisted quantum doubles, PRX Quantum3, 010353 (2022)

  10. [10]

    Raussendorf, J

    R. Raussendorf, J. Harrington, and K. Goyal, A fault- tolerant one-way quantum computer, Annals of Physics 321, 2242–2270 (2006)

  11. [12]

    Devakul, Classifying local fractal subsystem symmetry-protected topological phases, Physical Re- view B99, 10.1103/physrevb.99.235131 (2019)

    T. Devakul, Classifying local fractal subsystem symmetry-protected topological phases, Physical Re- view B99, 10.1103/physrevb.99.235131 (2019)

  12. [13]

    D. T. Stephen, J. Garre-Rubio, A. Dua, and D. J. Williamson, Subsystem symmetry enriched topological order in three dimensions, Phys. Rev. Res.2, 033331 (2020)

  13. [14]

    Chamon, Quantum glassiness in strongly correlated clean systems: An example of topological overprotec- tion, Phys

    C. Chamon, Quantum glassiness in strongly correlated clean systems: An example of topological overprotec- tion, Phys. Rev. Lett.94, 040402 (2005)

  14. [15]

    Haah, Local stabilizer codes in three dimensions with- out string logical operators, Physical Review A83, 10.1103/physreva.83.042330 (2011)

    J. Haah, Local stabilizer codes in three dimensions with- out string logical operators, Physical Review A83, 10.1103/physreva.83.042330 (2011)

  15. [16]

    Vijay, J

    S. Vijay, J. Haah, and L. Fu, Fracton topological order, generalized lattice gauge theory, and duality, Physical Review B94, 10.1103/physrevb.94.235157 (2016)

  16. [17]

    e. a. Google AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature614, 676–681 (2023)

  17. [18]

    Iqbal, N

    M. Iqbal, N. Tantivasadakarn, T. M. Gatterman, J. A. Gerber, K. Gilmore, D. Gresh, A. Hankin, N. He- witt, C. V. Horst, M. Matheny, T. Mengle, B. Neyen- huis, A. Vishwanath, M. Foss-Feig, R. Verresen, and H. Dreyer, Topological order from measurements and feed-forward on a trapped ion quantum computer, Communications Physics7, 10.1038/s42005-024-01698- 3 (2024)

  18. [19]

    Iqbal, A

    M. Iqbal, A. Lyons, C. F. B. Lo, N. Tantivasadakarn, J. Dreiling, C. Foltz, T. M. Gatterman, D. Gresh, N. Hewitt, C. A. Holliman, J. Johansen, B. Neyen- huis, Y. Matsuoka, M. Mills, S. A. Moses, P. Siegfried, A. Vishwanath, R. Verresen, and H. Dreyer, Qutrit toric code and parafermions in trapped ions, Nature Commu- nications16, 10.1038/s41467-025-61391-z (2025)

  19. [20]

    G.-Y. Zhu, N. Tantivasadakarn, A. Vishwanath, S. Trebst, and R. Verresen, Nishimori’s cat: Sta- ble long-range entanglement from finite-depth unitaries and weak measurements, Physical Review Letters131, 10.1103/physrevlett.131.200201 (2023)

  20. [21]

    T. e. a. Jiang, One- and two-dimensional cluster states for topological phase simulation and measurement- based quantum computation, Nature Physics22, 430 (2026)

  21. [22]

    C. D. White, C. Cao, and B. Swingle, Conformal field theories are magical, Phys. Rev. B103, 075145 (2021)

  22. [23]

    T. D. Ellison, K. Kato, Z.-W. Liu, and T. H. Hsieh, Symmetry-protected sign problem and magic in quan- tum phases of matter, Quantum5, 612 (2021)

  23. [24]

    Sarkar, C

    S. Sarkar, C. Mukhopadhyay, and A. Bayat, Character- ization of an operational quantum resource in a critical many-body system, New J. Phys.22, 083077 (2020)

  24. [25]

    T. J. Sewell and C. D. White, Mana and thermalization: Probing the feasibility of near-clifford hamiltonian sim- ulation, Phys. Rev. B106, 125130 (2022)

  25. [26]

    S. F. E. Oliviero, L. Leone, and A. Hamma, Magic-state resource theory for the ground state of the transverse- field ising model, Phys. Rev. A106, 042426 (2022)

  26. [27]

    Liu and A

    Z.-W. Liu and A. Winter, Many-body quantum magic, PRX Quantum3, 020333 (2022)

  27. [28]

    Haug and L

    T. Haug and L. Piroli, Quantifying nonstabilizerness of matrix product states, Phys. Rev. B107, 035148 (2023)

  28. [29]

    P. S. Tarabunga, E. Tirrito, T. Chanda, and M. Dal- monte, Many-body magic via pauli-markov chains— from criticality to gauge theories, PRX Quantum4, 040317 (2023)

  29. [30]

    P. S. Tarabunga, Critical behaviors of non-stabilizerness in quantum spin chains, Quantum8, 1413 (2024)

  30. [31]

    P. R. N. Falc˜ ao, P. S. Tarabunga, M. Frau, E. Tirrito, J. Zakrzewski, and M. Dalmonte, Non-stabilizerness in u(1) lattice gauge theory, arXiv:2409.01789 (2024)

  31. [32]

    P. S. Tarabunga, M. Frau, T. Haug, E. Tirrito, and L. Piroli, A nonstabilizerness monotone from stabilizer- ness asymmetry, arXiv:2411.05766 (2024)

  32. [33]

    Leone, S

    L. Leone, S. F. E. Oliviero, and A. Hamma, Stabilizer r´ enyi entropy, Phys. Rev. Lett.128, 050402 (2022)

  33. [34]

    Leone, S

    L. Leone, S. F. Oliviero, Y. Zhou, and A. Hamma, Quantum chaos is quantum, Quantum5, 453 (2021)

  34. [35]

    Haferkamp, Random quantum circuits are ap- proximate unitaryt-designs in deptho(nt 5+o(1)), arXiv:2203.16571 (2022)

    J. Haferkamp, Random quantum circuits are ap- proximate unitaryt-designs in deptho(nt 5+o(1)), arXiv:2203.16571 (2022)

  35. [36]

    T. Haug, L. Aolita, and M. Kim, Probing quantum com- plexity via universal saturation of stabilizer entropies, arXiv:2406.04190 (2024)

  36. [37]

    J. A. M. L´ opez and P. Kos, Exact solution of long-range stabilizer r\’enyi entropy in the dual-unitary xxz model, arXiv:2405.04448 (2024)

  37. [38]

    Turkeshi, E

    X. Turkeshi, E. Tirrito, and P. Sierant, Magic spreading in random quantum circuits, arXiv:2407.03929 (2024)

  38. [39]

    Magic of the heisenberg picture.arXiv preprint arXiv:2408.16047, 2024

    N. Dowling, P. Kos, and X. Turkeshi, Magic of the heisenberg picture, arXiv:2408.16047 (2024)

  39. [40]

    Tirrito, P

    E. Tirrito, P. S. Tarabunga, G. Lami, T. Chanda, L. Leone, S. F. Oliviero, M. Dalmonte, M. Collura, and A. Hamma, Quantifying nonstabilizerness through entanglement spectrum flatness, Phys. Rev. A109, L040401 (2024)

  40. [41]

    A. Gu, S. F. Oliviero, and L. Leone, Magic-induced computational separation in entanglement theory, arXiv:2403.19610 (2024)

  41. [42]

    G. E. Fux, E. Tirrito, M. Dalmonte, and R. Fazio, Entanglement-magic separation in hybrid quantum cir- cuits, arXiv:2312.02039 (2023)

  42. [43]

    M. Frau, P. S. Tarabunga, M. Collura, M. Dalmonte, and E. Tirrito, Nonstabilizerness versus entanglement in matrix product states, Phys. Rev. B110, 045101 (2024)

  43. [44]

    Bejan, C

    M. Bejan, C. McLauchlan, and B. B´ eri, Dynamical magic transitions in monitored clifford+ t circuits, PRX Quantum5, 030332 (2024)

  44. [46]

    Iannotti, G

    D. Iannotti, G. Esposito, L. C. Venuti, and A. Hamma, Entanglement and stabilizer entropies of random bipartite pure quantum states, arXiv preprint arXiv:2501.19261 (2025)

  45. [47]

    Hallam, R

    A. Hallam, R. Smith, and Z. Papi´ c, Spectral signa- tures of nonstabilizerness and criticality in infinite ma- trix product states, arXiv:2602.15116 (2026)

  46. [48]

    G. Lami, T. Haug, and J. De Nardis, Quantum state designs with clifford enhanced matrix product states, arXiv:2404.18751 (2024)

  47. [49]

    Turkeshi, M

    X. Turkeshi, M. Schir` o, and P. Sierant, Measuring non- stabilizerness via multifractal flatness, Physical Review A108, 042408 (2023)

  48. [50]

    Leone, S

    L. Leone, S. F. E. Oliviero, and A. Hamma, Nonsta- bilizerness determining the hardness of direct fidelity estimation, Phys. Rev. A107, 022429 (2023)

  49. [51]

    Leone, S

    L. Leone, S. F. Oliviero, G. Esposito, and A. Hamma, Phase transition in stabilizer entropy and efficient purity estimation, arXiv:2302.07895 (2023)

  50. [52]

    R. J. Garcia, K. Bu, and A. Jaffe, Resource theory of quantum scrambling, Proceedings of the National Academy of Sciences120, e2217031120 (2023)

  51. [53]

    Turkeshi, A

    X. Turkeshi, A. Dymarsky, and P. Sierant, Pauli spec- trum and nonstabilizerness of typical quantum many- body states, Phys. Rev. B111, 054301 (2025)

  52. [54]

    Bera and M

    S. Bera and M. Schir` o, Non-stabilizerness of sachdev- ye-kitaev model, arXiv:2502.01582 (2025)

  53. [55]

    D. A. Korbany, M. J. Gullans, and L. Piroli, Long-range nonstabilizerness and phases of matter, Phys. Rev. Lett. 135, 160404 (2025)

  54. [56]

    Wei and Z.-W

    F. Wei and Z.-W. Liu, Long-range nonstabilizer- ness from topology and correlation, arXiv preprint arXiv:2503.04566 (2025)

  55. [57]

    Parham, Quantum circuit lower bounds in the magic hierarchy, arXiv preprint arXiv:2504.19966 (2025)

    N. Parham, Quantum circuit lower bounds in the magic hierarchy, arXiv preprint arXiv:2504.19966 (2025)

  56. [58]

    Chen, Z.-C

    X. Chen, Z.-C. Gu, and X.-G. Wen, Local unitary trans- formation, long-range quantum entanglement, wave function renormalization, and topological order, Phys. Rev. B82, 155138 (2010)

  57. [59]

    M. Frau, P. S. Tarabunga, M. Collura, E. Tirrito, and M. Dalmonte, Stabilizer disentangling of conformal field theories, arXiv:2411.11720 (2024)

  58. [60]

    P. S. Tarabunga and E. Tirrito, Magic transition in measurement-only circuits, arXiv:2407.15939 (2024)

  59. [61]

    Nehra, P

    R. Nehra, P. S. Tarabunga, M. Frau, M. Collura, E. Tir- rito, and M. Dalmonte, Topological magic response in quantum spin chains, arXiv:2512.16673 (2025)

  60. [62]

    A. G. Catalano, S. B. Koˇ zi´ c, G. Torre, C. Ciaramel- letti, S. Paganelli, F. Franchini, and S. M. Giampaolo, Resource complexity of symmetry protected topological phases, arXiv:2509.08053 (2025)

  61. [63]

    Nonlocal nonstabilizerness in free fermion models

    M. Collura, B. B´ eri, and E. Tirrito, Nonlocal non- stabilizerness in free fermion models, arXiv:2604.27055 (2026) (2026)

  62. [64]

    Non-Local Magic Resources for Fermionic Gaussian States

    D. Iannotti, B. Magni, R. Cioli, A. Hamma, and X. Turkeshi, Non-local magic resources for fermionic gaussian states, arXiv:2604.27049 (2026) (2026)

  63. [65]

    Preskill, Quantum computing in the nisq era and be- yond, Quantum2, 79 (2018)

    J. Preskill, Quantum computing in the nisq era and be- yond, Quantum2, 79 (2018)

  64. [66]

    Smith, O

    A. Smith, O. Golan, and Z. Ringel, Intrinsic sign prob- lems in topological quantum field theories, Phys. Rev. Res.2, 033515 (2020)

  65. [67]

    Mansuroglu, F

    O. Golan, A. Smith, and Z. Ringel, Intrinsic sign prob- lem in fermionic and bosonic chiral topological mat- ter, Physical Review Research2, 10.1103/physrevre- search.2.043032 (2020)

  66. [68]

    Twisted quantum doubles are sign problem-free

    L. Shackleton, Twisted quantum doubles are sign problem-free (2026), arXiv:2509.03708 [cond-mat.str- el]

  67. [69]

    B. Zeng, X. Chen, D.-L. Zhou, and X.-G. Wen, Quan- tum information meets quantum matter–from quantum entanglement to topological phase in many-body sys- tems, arXiv preprint arXiv:1508.02595 (2015)

  68. [70]

    I. H. Kim and D. Ranard, Classifying 2d topological phases: mapping ground states to string-nets, arXiv preprint arXiv:2405.17379 (2024)

  69. [71]

    A. C. Potter and R. Vasseur, Symmetry constraints on many-body localization, Phys. Rev. B94, 224206 (2016)

  70. [72]

    Hamma, R

    A. Hamma, R. Ionicioiu, and P. Zanardi, Bipartite en- tanglement and entropic boundary law in lattice spin systems, Phys. Rev. A71, 022315 (2005)

  71. [73]

    Hamma, R

    A. Hamma, R. Ionicioiu, and P. Zanardi, Ground state entanglement and geometric entropy in the kitaev model, Phys. Lett. A337, 22 (2005)

  72. [74]

    M. A. Levin and X.-G. Wen, String-net condensation: A physical mechanism for topological phases, Phys. Rev. B71, 045110 (2005)

  73. [75]

    C.-H. Lin, M. Levin, and F. J. Burnell, Generalized string-net models: A thorough exposition, Physical Re- view B103(2021)

  74. [76]

    Bravyi, M

    S. Bravyi, M. B. Hastings, and F. Verstraete, Lieb- robinson bounds and the generation of correlations and topological quantum order, Phys. Rev. Lett.97, 050401 (2006)

  75. [77]

    Bravyi and R

    S. Bravyi and R. K¨ onig, Classification of topologically protected gates for local stabilizer codes, Phys. Rev. Lett.110, 170503 (2013)

  76. [78]

    Klappenecker and M

    A. Klappenecker and M. Rotteler, Beyond stabilizer codes ii: Clifford codes, IEEE Trans. Inf. Theory48, 2396 (2002)

  77. [79]

    Zhang, T

    Y. Zhang, T. Grover, A. Turner, M. Oshikawa, and A. Vishwanath, Quasiparticle statistics and braiding from ground-state entanglement, Phys. Rev. B85, 235151 (2012)

  78. [80]

    C.-M. Jian, I. H. Kim, and X.-L. Qi, Long-range mu- tual information and topological uncertainty principle (2015), arXiv:1508.07006 [cond-mat.str-el]

  79. [81]

    Y. A. Lee and G. Vidal, Entanglement negativity and topological order, Phys. Rev. A88, 042318 (2013)

  80. [82]

    B. Shi, K. Kato, and I. H. Kim, Fusion rules from en- tanglement, Annals of Physics418, 168164 (2020)

Showing first 80 references.