pith. machine review for the scientific record. sign in

arxiv: 2604.27363 · v1 · submitted 2026-04-30 · ❄️ cond-mat.str-el · hep-th· quant-ph

Recognition: unknown

Constructing Bulk Topological Orders via Layered Gauging

Shang Liu
Authors on Pith no claims yet

Pith reviewed 2026-05-07 10:08 UTC · model grok-4.3

classification ❄️ cond-mat.str-el hep-thquant-ph
keywords layered gaugingtopological orderfractonsubsystem symmetryX-cube modelanomalous symmetrydouble semiongauging construction
0
0 comments X

The pith

Stacking layers of symmetric systems and gauging diagonal symmetries between neighbors produces higher-dimensional topological orders.

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

The paper proposes the layered gauging construction to generate (k+1)-dimensional topological orders, both liquid and fracton, from k-dimensional quantum systems carrying generalized symmetries. The procedure stacks many layers of the lower-dimensional model and then sequentially gauges a diagonal symmetry that acts jointly on each pair of adjacent layers. This supplies a concrete lattice recipe that avoids abstract mathematical machinery while applying to conventional, higher-form, subsystem, anomalous, nonabelian, and noninvertible symmetries. A reader cares because the method directly yields known models such as the X-cube fracton order from the two-dimensional plaquette Ising model and a new square-lattice realization of the double semion phase from an anomalous one-dimensional Z2 symmetry.

Core claim

By stacking k-dimensional systems with given symmetries into a (k+1)-dimensional pile and sequentially gauging the diagonal symmetry on each nearest-neighbor pair of layers, one obtains a (k+1)-dimensional topological order whose properties are fixed by the input symmetry. The construction is demonstrated explicitly for subsystem symmetries yielding the X-cube model and an anisotropic fracton order, and for an anomalous Z2 symmetry yielding a square-lattice double semion model, supporting the conjecture that the method is general across symmetry types.

What carries the argument

Layered gauging construction: the operation of stacking copies of a k-dimensional symmetric system and sequentially gauging the diagonal symmetry shared by each nearest-neighbor pair of layers to induce bulk topological order.

Load-bearing premise

That gauging the diagonal symmetry between stacked layers always produces a stable gapped topological phase whose anyons and degeneracy are completely fixed by the input symmetry and independent of lattice regularization details.

What would settle it

Apply the layered gauging procedure to the two-dimensional plaquette Ising model and check whether the resulting three-dimensional ground states on a torus exhibit the fourfold degeneracy together with fracton excitations characteristic of the X-cube model; any mismatch falsifies the claim.

Figures

Figures reproduced from arXiv: 2604.27363 by Shang Liu.

Figure 1
Figure 1. Figure 1: FIG. 1. The layered gauging procedure. (a) Sequentially view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Bulk topological order and boundary symmetry. (a) view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Lattice geometry evolution in the layered gauging construction of a 2 view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Triangular plaquettes for the purpose of layered gaug view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. 2 view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Schematic illustration of the semion line operators. view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. Layered gauging for the 1 view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Layered gauging for the 1 view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. Example of a lattice consisting of vertices (sites) and view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10. A view at source ↗
read the original abstract

Understanding quantum phases and phase transitions in the presence of symmetries is a central objective of quantum many-body physics. A powerful modern paradigm for investigating this problem is topological holography, which relates symmetries in $k$ dimensions to "bulk" topological orders in $(k+1)$ dimensions. While conceptually profound, most existing bulk construction methods rely on sophisticated mathematical formalisms and can be difficult to apply to certain symmetry types. In this work, we propose a physically intuitive and versatile method, termed the layered gauging construction, to systematically generate $(k+1)$-dimensional (liquid or fracton) topological orders from $k$-dimensional generalized symmetries. Roughly speaking, the prescription is to stack many layers of $k$-dimensional quantum systems with certain symmetries into a $(k+1)$-dimensional pile, and then sequentially gauge a diagonal symmetry acting on each nearest-neighbor pair of layers. The detailed procedure depends on the specific symmetry types. We have successfully implemented the method in a number of examples in different spatial dimensions, with symmetries that are conventional, higher-form, subsystem, anomalous, nonabelian, or noninvertible. We hence conjecture the method to be very general. For example, from the subsystem symmetry of the $2d$ plaquette Ising model, we derive the X-cube model and also an anisotropic fracton topological order. Additionally, starting from an anomalous $\mathbb Z_2$ symmetry in $1d$, we construct a new square lattice model realizing the double semion topological order.

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

3 major / 2 minor

Summary. The paper proposes a layered gauging construction to systematically generate (k+1)-dimensional liquid or fracton topological orders from k-dimensional generalized symmetries. The method stacks multiple layers of kD quantum systems and sequentially gauges a diagonal symmetry acting on each nearest-neighbor pair of layers, with the detailed procedure depending on the symmetry type. The authors report successful implementations for conventional, higher-form, subsystem, anomalous, nonabelian, and noninvertible symmetries, including explicit derivations of the X-cube model (and an anisotropic fracton order) from the subsystem symmetry of the 2D plaquette Ising model, as well as a new square-lattice model realizing the double semion topological order from an anomalous 1D Z2 symmetry. They conjecture the method to be very general.

Significance. If the construction proves robust and independent of procedural details, it supplies a physically intuitive alternative to existing mathematical formalisms in topological holography, enabling systematic generation of bulk topological orders from a broad range of symmetries including fractonic and noninvertible cases. The explicit models for the X-cube and double semion phases constitute concrete strengths, as they provide falsifiable lattice realizations that could facilitate studies of phase transitions and new topological phases. The approach's procedural character is a potential advantage for applications, though its generality remains conjectural.

major comments (3)
  1. [§2] §2 (construction procedure): The central claim that sequentially gauging diagonal symmetries on stacked layers produces a stable (k+1)D topological order whose anyon content, degeneracy, and stability are fixed by the input symmetry alone is load-bearing for the conjecture of generality, yet no invariance argument or explicit check is supplied showing that the final phase is independent of the order in which nearest-neighbor pairs are gauged or of lattice regularization details. Different gauging sequences could in principle yield inequivalent Hamiltonians or leave gapless modes requiring additional tuning.
  2. [§3] §3 (subsystem symmetry example): The derivation of the X-cube model from the 2D plaquette Ising subsystem symmetry is presented as a successful implementation, but the manuscript supplies no error analysis, explicit Hamiltonian verification, or confirmation that the resulting 3D phase is gapped and realizes the expected fracton content without hidden fine-tuning assumptions on the regularization.
  3. [§4] §4 (anomalous symmetry example): The construction of a new square-lattice model for the double semion topological order from an anomalous 1D Z2 symmetry is claimed to be successful, yet no detailed derivation steps, stability analysis, or check against the skeptic's concern on sequential dependence are provided, weakening the assertion of successful implementation for anomalous symmetries.
minor comments (2)
  1. The abstract states that the method has been implemented 'in a number of examples' but does not enumerate them or indicate the spatial dimensions covered, which would improve clarity for readers.
  2. [§2] Notation for the 'diagonal symmetry' acting on layer pairs could be made more precise by introducing an explicit equation or operator definition early in the construction section.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below with clarifications and indicate the revisions we will make to strengthen the presentation.

read point-by-point responses

  1. Referee: [§2] §2 (construction procedure): The central claim that sequentially gauging diagonal symmetries on stacked layers produces a stable (k+1)D topological order whose anyon content, degeneracy, and stability are fixed by the input symmetry alone is load-bearing for the conjecture of generality, yet no invariance argument or explicit check is supplied showing that the final phase is independent of the order in which nearest-neighbor pairs are gauged or of lattice regularization details. Different gauging sequences could in principle yield inequivalent Hamiltonians or leave gapless modes requiring additional tuning.

    Authors: We agree that a general invariance argument under reordering of gauging steps would strengthen the conjecture. The manuscript defines the procedure with a canonical sequential order dictated by the stacking direction, which is physically natural. While we do not supply a full mathematical proof of order-independence (consistent with the conjectural nature of the generality claim), explicit checks in the worked examples confirm that the resulting topological order is robust to the specific sequence and regularization details chosen. We will add a short discussion subsection in §2 outlining this rationale and providing a concrete verification for the conventional symmetry case, showing that alternative orders produce equivalent Hamiltonians up to local unitaries. revision: partial

  2. Referee: [§3] §3 (subsystem symmetry example): The derivation of the X-cube model from the 2D plaquette Ising subsystem symmetry is presented as a successful implementation, but the manuscript supplies no error analysis, explicit Hamiltonian verification, or confirmation that the resulting 3D phase is gapped and realizes the expected fracton content without hidden fine-tuning assumptions on the regularization.

    Authors: We acknowledge that the current presentation of the X-cube derivation is schematic. We will revise §3 to include the explicit gauged Hamiltonian, a direct mapping to the known X-cube spectrum demonstrating the gapped fracton content, and a brief discussion of regularization choices confirming the absence of fine-tuning or hidden assumptions. This will make the verification fully explicit. revision: yes

  3. Referee: [§4] §4 (anomalous symmetry example): The construction of a new square-lattice model for the double semion topological order from an anomalous 1D Z2 symmetry is claimed to be successful, yet no detailed derivation steps, stability analysis, or check against the skeptic's concern on sequential dependence are provided, weakening the assertion of successful implementation for anomalous symmetries.

    Authors: We agree that more detail is needed for the anomalous symmetry construction. We will expand §4 with step-by-step derivation of the effective Hamiltonian, a stability analysis under local perturbations, and an explicit check that alternative gauging sequences yield the same double semion phase (up to equivalence). This addresses the sequential dependence concern directly. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is a direct procedural definition from input symmetries

full rationale

The paper presents the layered gauging construction as an explicit procedure: stack k-dimensional symmetric layers and sequentially gauge diagonal symmetries on nearest-neighbor pairs, with details varying by symmetry type. This is applied to concrete examples (e.g., deriving the X-cube model from 2d plaquette Ising subsystem symmetry, or double semion order from anomalous 1d Z2 symmetry) without any equations or claims that reduce the output topological order's anyon content, degeneracy, or stability to a fitted parameter, self-citation chain, or input by definition. The generality conjecture follows from these implementations rather than tautological reduction. No self-definitional steps, fitted predictions, or load-bearing self-citations appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on standard properties of gauging and topological order in lattice models; no free parameters are introduced, no new entities are postulated, and the axioms invoked are domain-standard assumptions about symmetry gauging.

axioms (1)
  • domain assumption Gauging a diagonal symmetry on stacked layers yields a topological order whose ground-state degeneracy and excitations are determined by the input symmetry.
    Invoked throughout the description of the layered gauging procedure.

pith-pipeline@v0.9.0 · 5566 in / 1376 out tokens · 65868 ms · 2026-05-07T10:08:25.200411+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

62 extracted references · 38 canonical work pages · 1 internal anchor

  1. [1]

    Apply a gauging map to each local operatorOso that the result- ing operatorO ′ commutes with all gauge symmetry generatorsS v(g)

    Decompose the HamiltonianHinto a sum of sym- metric local operators (We assume there is a notion of locality and thatHis local). Apply a gauging map to each local operatorOso that the result- ing operatorO ′ commutes with all gauge symmetry generatorsS v(g)

  2. [2]

    These new terms commute with all existing terms and with the gauge trans- formationsS v(g)

    Optionally add flux terms into the gauged Hamilto- nian obtained from the previous step if the lattice Λ contains small loops. These new terms commute with all existing terms and with the gauge trans- formationsS v(g)

  3. [3]

    In what follows, we will explicitly define the gauging map and the flux terms mentioned in the first and second steps, respectively

    Restrict the full Hilbert spaceL matter ⊗ Lgauge to the gauge invariant subspace satisfying the Gauss’s law constraintsS v(g) = 1 for allv∈Λ andg∈G. In what follows, we will explicitly define the gauging map and the flux terms mentioned in the first and second steps, respectively. We will start by defining the flux terms. Letfbe an oriented loop along the...

  4. [4]

    We have Bf({1})O′ =O ′Bf({1}) =O ′.(A9) Hence,O ′ contains projections onto trivial flux sec- tors for all loops in Γ

    Letf⊂Γ be a loop contained in Γ. We have Bf({1})O′ =O ′Bf({1}) =O ′.(A9) Hence,O ′ contains projections onto trivial flux sec- tors for all loops in Γ. This explains why we should not choose Γ to be the whole lattice Λ: In that way, O′ will generically be nonlocal. It also follows that O′ does depend on the choice of the sublattice Γ

  5. [5]

    One can check that GΓ[O1]GΓ[O2] =G Γ[O1O2].(A10)

    LetO 1 andO 2 be two symmetric operators both acting within Γ. One can check that GΓ[O1]GΓ[O2] =G Γ[O1O2].(A10)

  6. [6]

    If Γ is a tree-like sublattice, i.e. one that does not contain any loop, then GΓ[1] = 1.(A11) This and the previous property imply that if a set of operators{O k}forms a representation of a groupK and if Γ is tree-like, then the set of gauged operators {O′ k}also forms a representation ofK. 22

  7. [7]

    When the whole lattice Λ is a 1dchain, the gauging map on local operators is unique and particularly nice

    If Γ 1 and Γ2 are two tree-like sublattices such that Γ1 ⊂Γ 2, then GΓ1[O] =G Γ2[O] (A12) for any symmetric operatorOacting within Γ 1. When the whole lattice Λ is a 1dchain, the gauging map on local operators is unique and particularly nice. These are summarized as the following proposition and have been used in the main text. Proposition.(Gauging on a 1...

  8. [8]

    Chen, Essay: Generalized Landau Paradigm for Quan- tum Phases and Phase Transitions, Phys

    X. Chen, Essay: Generalized Landau Paradigm for Quan- tum Phases and Phase Transitions, Phys. Rev. Lett.135, 250001 (2025), arXiv:2511.19793 [hep-th]

    work page arXiv 2025

  9. [9]

    Moore and N

    G. Moore and N. Seiberg, Classical and quantum con- formal field theory, Communications in Mathematical Physics123, 177 (1989)

    1989

  10. [10]

    Witten, Quantum field theory and the jones polyno- mial, Communications in Mathematical Physics121, 351 (1989)

    E. Witten, Quantum field theory and the jones polyno- mial, Communications in Mathematical Physics121, 351 (1989)

    1989

  11. [11]

    Kong, X.-G

    L. Kong, X.-G. Wen, and H. Zheng, Boundary-bulk relation for topological orders as the functor map- ping higher categories to their centers, arXiv e-prints , arXiv:1502.01690 (2015), arXiv:1502.01690 [cond- mat.str-el]

    work page arXiv 2015

  12. [12]

    Kong and H

    L. Kong and H. Zheng, Gapless edges of 2d topological orders and enriched monoidal categories, Nuclear Physics B927, 140 (2018), arXiv:1705.01087 [cond-mat.str-el]

    work page arXiv 2018

  13. [13]

    Kong and H

    L. Kong and H. Zheng, A mathematical theory of gapless edges of 2d topological orders. Part I, Journal of High En- ergy Physics2020, 150 (2020), arXiv:1905.04924 [cond- mat.str-el]

    work page arXiv 2020

  14. [14]

    A non-abelian duality for (higher) gauge theories

    J. Pulmann, P. ˇSevera, and F. Valach, A nonabelian duality for (higher) gauge theories, Advances in The- oretical and Mathematical Physics25, 241 (2021), arXiv:1909.06151 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  15. [15]

    Ji and X.-G

    W. Ji and X.-G. Wen, Categorical symmetry and nonin- vertible anomaly in symmetry-breaking and topological phase transitions, Phys. Rev. Res.2, 033417 (2020)

    2020

  16. [16]

    Kong and H

    L. Kong and H. Zheng, A mathematical theory of gapless edges of 2d topological orders. part ii, Nuclear Physics B 966, 115384 (2021)

    2021

  17. [17]

    Lichtman, R

    T. Lichtman, R. Thorngren, N. H. Lindner, A. Stern, and E. Berg, Bulk anyons as edge symmetries: Bound- ary phase diagrams of topologically ordered states, Phys. Rev. B104, 075141 (2021), arXiv:2003.04328 [cond- mat.str-el]

    work page arXiv 2021

  18. [18]

    L. Kong, T. Lan, X.-G. Wen, Z.-H. Zhang, and H. Zheng, Classification of topological phases with finite internal symmetries in all dimensions, Journal of High Energy Physics2020, 93 (2020), arXiv:2003.08898 [math-ph]

    work page arXiv 2020

  19. [19]

    L. Kong, T. Lan, X.-G. Wen, Z.-H. Zhang, and H. Zheng, Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry, Physi- cal Review Research2, 043086 (2020), arXiv:2005.14178 [cond-mat.str-el]

    work page arXiv 2020

  20. [20]

    Orbifold groupoids,

    D. Gaiotto and J. Kulp, Orbifold groupoids, Journal of High Energy Physics2021, 132 (2021), arXiv:2008.05960 [hep-th]

    work page arXiv 2021

  21. [21]

    Bhardwaj, Y

    L. Bhardwaj, Y. Lee, and Y. Tachikawa, SL(2,Z) action on QFTs withZ 2 symmetry and the Brown-Kervaire invariants, Journal of High Energy Physics2020, 141 (2020), arXiv:2009.10099 [hep-th]

    work page arXiv 2020

  22. [22]

    Gapped phases with non-invertible symmetries:(1+1)d,

    L. Bhardwaj, L. E. Bottini, D. Pajer, and S. Sch¨ afer- Nameki, Gapped phases with non-invertible sym- metries: (1+1)d, SciPost Physics18, 032 (2025), arXiv:2310.03784 [hep-th]

    work page arXiv 2025

  23. [23]

    Cheng and D

    M. Cheng and D. J. Williamson, Relative anomaly in (1 +1 )d rational conformal field theory, Physical Re- view Research2, 043044 (2020), arXiv:2002.02984 [cond- mat.str-el]

    work page arXiv 2020

  24. [24]

    V. G. Turaev and O. Y. Viro, State sum invariants of 3-manifolds and quantum 6j-symbols, Topology31, 865 (1992)

    1992

  25. [25]

    Barrett and B

    J. Barrett and B. Westbury, Invariants of piecewise-linear 3-manifolds, Transactions of the American Mathematical Society348, 3997 (1996)

    1996

  26. [26]

    M. A. Levin and X.-G. Wen, String-net condensation: A physical mechanism for topological phases, Phys. Rev. B71, 045110 (2005), arXiv:cond-mat/0404617 [cond- mat.str-el]. 23 FIG. 10. AER-loop operator from the product ofS ER stabilizers in a rectangular region. The overall coefficient, which is not important for our purpose, depends on the rectangular siz...

    work page arXiv 2005

  27. [27]

    Dijkgraaf and E

    R. Dijkgraaf and E. Witten, Topological gauge theories and group cohomology, Communications in Mathemati- cal Physics129, 393 (1990)

    1990

  28. [28]

    A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics303, 2 (2003), arXiv:quant- ph/9707021 [quant-ph]

    work page arXiv 2003

  29. [29]

    Y. Hu, Y. Wan, and Y.-S. Wu, Twisted quantum dou- ble model of topological phases in two dimensions, Phys. Rev. B87, 125114 (2013), arXiv:1211.3695 [cond- mat.str-el]

    work page arXiv 2013

  30. [30]

    Liu and W

    S. Liu and W. Ji, Towards non-invertible anomalies from generalized Ising models, SciPost Physics15, 150 (2023), arXiv:2208.09101 [cond-mat.str-el]

    work page arXiv 2023

  31. [31]

    Garre-Rubio, Emergent (2+1)D topological orders from iterative (1+1)D gauging, Nature Communications 15, 7986 (2024), arXiv:2403.07575 [quant-ph]

    J. Garre-Rubio, Emergent (2+1)D topological orders from iterative (1+1)D gauging, Nature Communications 15, 7986 (2024), arXiv:2403.07575 [quant-ph]

    work page arXiv 2024

  32. [32]

    Blanik and J

    D. Blanik and J. Garre-Rubio, Non-abelian quantum double models from iterated gauging, arXiv e-prints , arXiv:2512.08749 (2025), arXiv:2512.08749 [quant-ph]

    work page arXiv 2025

  33. [33]

    Barkeshli, Y .-A

    M. Barkeshli, Y.-A. Chen, S.-J. Huang, R. Kobayashi, N. Tantivasadakarn, and G. Zhu, Codimension-2 defects and higher symmetries in (3+1)D topological phases, SciPost Physics14, 065 (2023), arXiv:2208.07367 [cond- mat.str-el]

    work page arXiv 2023

  34. [34]

    However, this property can not be directly generalized to the case of a nonabelian symmetry

  35. [35]

    Ji and X.-G

    W. Ji and X.-G. Wen, Noninvertible anomalies and mapping-class-group transformation of anomalous par- tition functions, Physical Review Research1, 033054 (2019), arXiv:1905.13279 [cond-mat.str-el]

    work page arXiv 2019

  36. [36]

    As a result, the Gauss’s law becomesX v = 1 for every sitev

    An explicit way of achieving this is to apply CNOT gates to every pair (v, e), wherevis a site,eis a link adjacent tov, and the site qubit is the controlling qubit. As a result, the Gauss’s law becomesX v = 1 for every sitev. Therefore, site qubits are all frozen and can be effectively removed

  37. [37]

    This will be more evident if we first apply CNOT gates to every site-link pair (v, e)

  38. [38]

    Rakovszky and V

    T. Rakovszky and V. Khemani, The Physics of (good) LDPC Codes I. Gauging and dualities, arXiv e-prints , arXiv:2310.16032 (2023), arXiv:2310.16032 [quant-ph]

    work page arXiv 2023

  39. [39]

    Schuster, N

    T. Schuster, N. Tantivasadakarn, A. Vishwanath, and N. Y. Yao, A holographic view of topological stabi- lizer codes, arXiv e-prints , arXiv:2312.04617 (2023), arXiv:2312.04617 [cond-mat.str-el]

    work page arXiv 2023

  40. [40]

    Vijay, J

    S. Vijay, J. Haah, and L. Fu, Fracton topological order, generalized lattice gauge theory, and duality, Phys. Rev. B94, 235157 (2016), arXiv:1603.04442 [cond-mat.str-el]

    work page arXiv 2016

  41. [41]

    Shirley, K

    W. Shirley, K. Slagle, and X. Chen, Foliated fracton order from gauging subsystem symmetries, SciPost Physics6, 041 (2019), arXiv:1806.08679 [cond-mat.str-el]

    work page arXiv 2019

  42. [42]

    Fuji, Anisotropic layer construction of anisotropic fracton models, Phys

    Y. Fuji, Anisotropic layer construction of anisotropic fracton models, Phys. Rev. B100, 235115 (2019), arXiv:1908.02257 [cond-mat.str-el]

    work page arXiv 2019

  43. [43]

    Wu, M.-Y

    Y. Wu, M.-Y. Li, C. Li, and H. Zhai, General Con- struction of Quantum Error-Correcting Codes from Mul- tiple Classical Codes, arXiv e-prints , arXiv:2512.22116 (2025), arXiv:2512.22116 [quant-ph]

    work page arXiv 2025

  44. [44]

    Indeed, in the case of an abelian invertible symmetry, under group redefinitions (automorphisms) on half of the layers, we may also state our construction as gauging the bilayer symmetries generated byU n,αUn+1,α

  45. [45]

    Levin and Z.-C

    M. Levin and Z.-C. Gu, Braiding statistics approach to symmetry-protected topological phases, Phys. Rev. B86, 115109 (2012), arXiv:1202.3120 [cond-mat.str-el]. 24

    work page arXiv 2012

  46. [46]

    D. V. Else and C. Nayak, Classifying symmetry-protected topological phases through the anomalous action of the symmetry on the edge, Phys. Rev. B90, 235137 (2014), arXiv:1409.5436 [cond-mat.str-el]

    work page arXiv 2014

  47. [47]

    We do not have such problem here

    It was realized very recently that there exist lattice sym- metries which are free of field-theoretic ’t Hooft anomaly but are still not onsiteable [53–55]. We do not have such problem here

  48. [48]

    See the proposition at the end of Appendix A

    This is actually a consequence of our gauging procedure. See the proposition at the end of Appendix A

  49. [49]

    See the proposition at the end of Appendix A

  50. [50]

    Bravyi, M

    S. Bravyi, M. B. Hastings, and S. Michalakis, Topologi- cal quantum order: Stability under local perturbations, Journal of Mathematical Physics51, 093512 (2010), arXiv:1001.0344 [quant-ph]

    work page arXiv 2010

  51. [51]

    T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tanti- vasadakarn, and D. J. Williamson, Pauli Stabilizer Mod- els of Twisted Quantum Doubles, PRX Quantum3, 010353 (2022), arXiv:2112.11394 [quant-ph]

    work page arXiv 2022

  52. [52]

    Chen and S

    Y.-A. Chen and S. Tata, Higher cup products on hyper- cubic lattices: Application to lattice models of topologi- cal phases, Journal of Mathematical Physics64, 091902 (2023), arXiv:2106.05274 [cond-mat.str-el]

    work page arXiv 2023

  53. [53]

    vacuum states

    We use the term “vacuum states” for ground states sat- isfying the cluster decomposition property, i.e. “non-cat” states

  54. [54]

    One can verify the cluster decomposition property of these states using a matrix product state representation and the orthogonality relation (80)

  55. [55]

    Long-Range Entanglement from Measuring Symmetry-Protected Topological Phases,

    N. Tantivasadakarn, R. Thorngren, A. Vishwanath, and R. Verresen, Long-range entanglement from mea- suring symmetry-protected topological phases, arXiv e-prints , arXiv:2112.01519 (2021), arXiv:2112.01519 [cond-mat.str-el]

    work page arXiv 2021

  56. [56]

    Ashkenazi and E

    S. Ashkenazi and E. Zohar, Duality as a feasible phys- ical transformation for quantum simulation, Phys. Rev. A105, 022431 (2022)

    2022

  57. [57]

    Bravyi, I

    S. Bravyi, I. Kim, A. Kliesch, and R. Koenig, Adap- tive constant-depth circuits for manipulating non- abelian anyons, arXiv e-prints , arXiv:2205.01933 (2022), arXiv:2205.01933 [quant-ph]

    work page arXiv 2022

  58. [58]

    Tillich and G

    J.-P. Tillich and G. Zemor, Quantum LDPC codes with positive rate and minimum distance proportional to n ˆ{1/2}, arXiv e-prints , arXiv:0903.0566 (2009), arXiv:0903.0566 [cs.IT]

    work page arXiv 2009

  59. [59]

    Haegeman, K

    J. Haegeman, K. Van Acoleyen, N. Schuch, J. I. Cirac, and F. Verstraete, Gauging Quantum States: From Global to Local Symmetries in Many-Body Systems, Physical Review X5, 011024 (2015), arXiv:1407.1025 [quant-ph]

    work page arXiv 2015

  60. [60]

    2025.arXiv e-prints:arXiv:2507.21267

    W. Shirley, C. Zhang, W. Ji, and M. Levin, Anomaly- free symmetries with obstructions to gauging and on- siteability, arXiv e-prints , arXiv:2507.21267 (2025), arXiv:2507.21267 [cond-mat.str-el]

    work page arXiv 2025

  61. [61]

    Y.-T. Tu, D. M. Long, and D. V. Else, Anomalies of global symmetries on the lattice, arXiv e-prints , arXiv:2507.21209 (2025), arXiv:2507.21209 [cond- mat.str-el]

    work page arXiv 2025

  62. [62]

    A. M. Czajka, R. Geiko, and R. Thorngren, Anoma- lies on the Lattice, Homotopy of Quantum Cellular Automata, and a Spectrum of Invertible States, arXiv e-prints , arXiv:2512.02105 (2025), arXiv:2512.02105 [cond-mat.str-el]

    work page arXiv 2025