Recognition: 2 theorem links
· Lean TheoremType-IV 't Hooft Anomalies on the Lattice: Emergent Higher-Categorical Symmetries and Applications to LSM Systems
Pith reviewed 2026-05-13 18:12 UTC · model grok-4.3
The pith
Gauging a lattice model realizing a mixed anomaly among four global symmetries produces emergent 2-group, non-invertible and higher fusion symmetries, while modulated symmetries in LSM systems become intrinsically dependent on defects.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By explicitly gauging a lattice model with four global symmetries realizing the mixed anomaly ~a1∧a2∧a3∧a4, higher symmetry structures emerge, including 2-group, non-invertible, and higher fusion categorical symmetries. When the framework is applied to LSM systems by promoting internal symmetries to translational symmetries, the resulting modulated symmetries appear as direct counterparts of those in purely internal type-IV anomalies, yet with the new property that their realization is intrinsically defect-dependent: the emergent symmetry structure changes depending on the presence of symmetry defects.
What carries the argument
Lattice gauging of the mixed anomaly ~a1∧a2∧a3∧a4 realized by four global symmetries, which directly generates the higher symmetry structures and the defect dependence of modulated symmetries.
If this is right
- The emergent higher symmetries impose additional constraints on gapped phases beyond ordinary group symmetries.
- Modulated symmetries in LSM systems can be tuned by the presence or absence of defects.
- The lattice construction supplies a concrete microscopic realization of mixed anomalies that can be studied numerically.
- Field theory and lattice results agree on the form of the emergent 2-group and non-invertible symmetries.
Where Pith is reading between the lines
- Defect engineering might be used to switch between different symmetry-protected phases in materials that realize similar anomalies.
- The observed defect dependence could appear in other anomaly types or in higher-dimensional lattice models with translational symmetries.
- Categorical symmetry classifications may need to incorporate defect data when translational symmetries are involved.
Load-bearing premise
The chosen lattice regularization preserves the continuum mixed anomaly without introducing extra artifacts that would change the emergent symmetry structure after gauging.
What would settle it
A different lattice discretization of the same four-symmetry mixed anomaly that produces emergent symmetries independent of defects, or that fails to generate the higher categorical structures, would falsify the central claim.
Figures
read the original abstract
't Hooft anomalies impose fundamental constraints on quantum matter and often lead to emergent symmetry structures upon gauging. We analyze a lattice model with four global symmetries realizing a mixed anomaly described by $\sim a_1\wedge a_2\wedge a_3\wedge a_4$, where the $a_i$ denote background gauge fields for the global symmetries. Through explicit lattice gauging, we demonstrate the emergence of higher symmetry structures, including 2-group, non-invertible, and higher fusion categorical symmetries. We also provide a field-theoretical understanding of these results. Applying this framework to systems with Lieb-Schultz-Mattis anomalies, obtained by promoting part of the internal symmetries to translational symmetries, we demonstrate that modulated (dipole) symmetries arise as direct counterparts of those in systems with purely internal typeIV anomalies. Importantly, we uncover a qualitatively new feature absent in previously studied modulated symmetries: their realization can become intrinsically defect-dependent. In particular, the emergent symmetry structure changes depending on whether symmetry defects are present. This work establishes a concrete lattice realization of mixed anomalies and reveals a rich structure of emergent symmetries, thereby clarifying their role in constraining quantum phases of matter.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript analyzes a lattice model with four global symmetries realizing a mixed 't Hooft anomaly ~a1 ∧ a2 ∧ a3 ∧ a4. Through explicit lattice gauging, it demonstrates the emergence of 2-group, non-invertible, and higher fusion categorical symmetries, supported by a field-theoretic analysis. The framework is applied to Lieb-Schultz-Mattis systems by promoting internal symmetries to translations, showing that modulated symmetries arise as counterparts to internal type-IV anomalies and exhibit a novel intrinsic defect dependence, where the emergent symmetry structure changes with the presence of symmetry defects.
Significance. If the lattice regularization preserves the continuum anomaly without artifacts, the work provides a concrete lattice realization of type-IV anomalies and links them to emergent higher-categorical symmetries, with the defect-dependent feature in LSM systems representing a qualitatively new observation that could refine classifications of constrained quantum phases. The explicit constructions and field-theory matching are strengths that ground the claims in verifiable lattice data.
major comments (2)
- [§3] §3 (Lattice Gauging): The explicit gauging construction for the four-symmetry model claims exact reproduction of the continuum mixed anomaly ~a1∧a2∧a3∧a4 without extra cocycle terms, but the verification is shown only for specific background configurations; no general computation of the lattice anomaly polynomial or check against alternative discretizations (e.g., different link variable choices) is provided, which is load-bearing for the claimed emergence of 2-group and non-invertible symmetries.
- [§5] §5 (LSM Application): The assertion that modulated symmetries are intrinsically defect-dependent rests on comparing symmetry structures with and without defects after promoting translations; however, the fusion rule derivation in the defect sector does not include an explicit check for lattice artifacts induced by the translational promotion, leaving open whether the dependence is truly intrinsic or regularization-dependent.
minor comments (3)
- The abstract uses 'typeIV' without hyphen; standardize to 'type-IV' to match the title and conventional notation.
- [§2] In §2, the normalization of the background fields a_i and the precise coefficient in the anomaly polynomial should be stated explicitly to facilitate reproduction of the lattice anomaly matching.
- [Figure 4] Figure 4 caption omits labels distinguishing defect-present versus defect-absent configurations, reducing clarity when following the modulated symmetry comparison.
Simulated Author's Rebuttal
We thank the referee for their thorough review and constructive feedback on our work. We address each major comment point by point below, indicating where revisions will be made to strengthen the manuscript.
read point-by-point responses
-
Referee: [§3] §3 (Lattice Gauging): The explicit gauging construction for the four-symmetry model claims exact reproduction of the continuum mixed anomaly ~a1∧a2∧a3∧a4 without extra cocycle terms, but the verification is shown only for specific background configurations; no general computation of the lattice anomaly polynomial or check against alternative discretizations (e.g., different link variable choices) is provided, which is load-bearing for the claimed emergence of 2-group and non-invertible symmetries.
Authors: We appreciate the referee's concern regarding the generality of our verification. The lattice model is constructed to faithfully reproduce the continuum anomaly through a discretization that avoids additional cocycle terms by design. Our explicit checks on specific background configurations are representative of the topological nature of the anomaly, supporting the emergence of the higher-categorical symmetries. However, to fully address this point, we will add a general computation of the lattice anomaly polynomial in the revised version and include a discussion of alternative link variable choices to demonstrate independence from the specific discretization. revision: partial
-
Referee: [§5] §5 (LSM Application): The assertion that modulated symmetries are intrinsically defect-dependent rests on comparing symmetry structures with and without defects after promoting translations; however, the fusion rule derivation in the defect sector does not include an explicit check for lattice artifacts induced by the translational promotion, leaving open whether the dependence is truly intrinsic or regularization-dependent.
Authors: We agree that an explicit check for potential lattice artifacts is important for establishing the intrinsic nature of the defect dependence. In our framework, the promotion of symmetries to translations is performed in a way that preserves the anomaly structure, leading to the modulated symmetries whose fusion rules change with defects. In the revised manuscript, we will provide an additional explicit check confirming that the fusion rules are robust against different regularizations of the translational promotion, thereby confirming the intrinsic character of this feature. revision: yes
Circularity Check
No significant circularity in explicit lattice gauging derivation
full rationale
The paper derives its results via explicit lattice Hamiltonian constructions, background field insertions, and gauging maps that realize the mixed anomaly polynomial ~a1∧a2∧a3∧a4, followed by direct computation of the post-gauging symmetry structure. These steps are independent of the target emergent symmetries and defect-dependent modulated symmetries; they are not obtained by fitting parameters to the output quantities or by renaming inputs. Citations to prior anomaly literature supply context for the continuum anomaly but are not invoked as uniqueness theorems or load-bearing justifications for the lattice-specific findings. The LSM application follows by promoting internal symmetries to translations within the same explicit framework, without reducing to self-definition or self-citation chains.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption A lattice regularization exists that preserves the mixed anomaly ~a1∧a2∧a3∧a4 without extra lattice artifacts.
- domain assumption Gauging the global symmetries on the lattice produces well-defined higher symmetry structures.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Through explicit lattice gauging of a model with four global symmetries realizing the mixed anomaly ~a1∧a2∧a3∧a4, we demonstrate the emergence of higher symmetry structures including 2-group, non-invertible, and higher fusion categorical symmetries
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
modulated (dipole) symmetries arise as direct counterparts... intrinsically defect-dependent
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.
Forward citations
Cited by 1 Pith paper
-
Lattice Gauging Interfaces and Noninvertible Defects in Higher Dimensions
Explicit lattice constructions of gauging interfaces and condensation defects are given for higher-dimensional systems with higher-form symmetries, using movement operators to manage constrained Hilbert spaces.
Reference graph
Works this paper leans on
-
[1]
X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, “Symmetry protected topological orders and the group cohomology of their symmetry group,”Phys. Rev. B87no. 15, (2013) 155114,arXiv:1106.4772 [cond-mat.str-el]
-
[2]
Anomalies of discrete symmetries in three dimensions and group cohomology
A. Kapustin and R. Thorngren, “Anomalies of discrete symmetries in three dimensions and group cohomology,”Phys. Rev. Lett.112no. 23, (2014) 231602,arXiv:1403.0617 [hep-th]
work page Pith review arXiv 2014
-
[3]
Topological phases of one-dimensional fermions: An entanglement point of view,
A. M. Turner, F. Pollmann, and E. Berg, “Topological phases of one-dimensional fermions: An entanglement point of view,”Phys. Rev. B83no. 7, (2011) 075102,arXiv:1008.4346 [cond-mat.str-el]
-
[4]
Symmetry-protected topological phases from decorated domain walls,
X. Chen, Y.-M. Lu, and A. Vishwanath, “Symmetry-protected topological phases from decorated domain walls,”Nature communications5no. 1, (2014) 3507
work page 2014
-
[5]
Topological interactions in broken gauge theories
M. d. W. Propitius, “Topological interactions in broken gauge theories,”arXiv preprint hep-th/9511195(1995)
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[6]
J. C. Wang, Z.-C. Gu, and X.-G. Wen, “Field-theory representation of gauge-gravity symmetry-protected topological invariants, group cohomology, and beyond,”Phys. Rev. Lett.114(Jan, 2015) 031601. https://link.aps.org/doi/10.1103/PhysRevLett.114.031601
-
[7]
Topological phases with generalized global symmetries
B. Yoshida, “Topological phases with generalized global symmetries,”Phys. Rev. B93 no. 15, (2016) 155131,arXiv:1508.03468 [cond-mat.str-el]
work page Pith review arXiv 2016
-
[8]
2025.arXiv e-prints:arXiv:2507.07430
K. Kawagoe and W. Shirley, “Anomaly diagnosis via symmetry restriction in two-dimensional lattice systems,”arXiv:2507.07430 [cond-mat.str-el]
-
[9]
Exploring 2-Group Global Symmetries
C. Córdova, T. T. Dumitrescu, and K. Intriligator, “Exploring 2-Group Global Symmetries,”JHEP02(2019) 184,arXiv:1802.04790 [hep-th]
work page Pith review arXiv 2019
-
[10]
On 2-Group Global Symmetries and Their Anomalies
F. Benini, C. Córdova, and P.-S. Hsin, “On 2-Group Global Symmetries and their Anomalies,”JHEP03(2019) 118,arXiv:1803.09336 [hep-th]
work page Pith review arXiv 2019
-
[11]
Higher symmetry and gapped phases of gauge theories,
A. Kapustin and R. Thorngren, “Higher symmetry and gapped phases of gauge theories,” Algebra, Geometry, and Physics in the 21st Century: Kontsevich Festschrift(2017) 177–202
work page 2017
-
[12]
Fusion 2-categories and a state-sum invariant for 4-manifolds,
C. L. Douglas and D. J. Reutter, “Fusion 2-categories and a state-sum invariant for 4-manifolds,”arXiv preprint arXiv:1812.11933(2018)
-
[13]
Non-invertible symmetries and higher representation theory I,
T. Bartsch, M. Bullimore, A. E. V. Ferrari, and J. Pearson, “Non-invertible symmetries and higher representation theory I,”SciPost Phys.17no. 1, (2024) 015, arXiv:2208.05993 [hep-th]. 30
-
[14]
Non-invertible symmetries and higher representation theory II,
T. Bartsch, M. Bullimore, A. E. V. Ferrari, and J. Pearson, “Non-invertible symmetries and higher representation theory II,”SciPost Phys.17no. 2, (2024) 067, arXiv:2212.07393 [hep-th]
-
[15]
The Classification of Fusion 2-Categories,
T. D. Décoppet, P. Huston, T. Johnson-Freyd, D. Nikshych, D. Penneys, J. Plavnik, D. Reutter, and M. Yu, “The Classification of Fusion 2-Categories,”arXiv:2411.05907 [math.CT]
-
[16]
Non-invertible higher-categorical symmetries,
L. Bhardwaj, L. E. Bottini, S. Schafer-Nameki, and A. Tiwari, “Non-invertible higher-categorical symmetries,”SciPost Phys.14no. 1, (2023) 007,arXiv:2204.06564 [hep-th]
-
[17]
Universal Non-Invertible Symmetries,
L. Bhardwaj, S. Schafer-Nameki, and J. Wu, “Universal Non-Invertible Symmetries,” Fortsch. Phys.70no. 11, (2022) 2200143,arXiv:2208.05973 [hep-th]
-
[18]
Two soluble models of an antiferromagnetic chain,
E. Lieb, T. Schultz, and D. Mattis, “Two soluble models of an antiferromagnetic chain,” Annals of Physics16no. 3, (Dec, 1961) 407–466.https: //www.sciencedirect.com/science/article/pii/0003491661901154?via{%}3Dihub
-
[19]
M. Oshikawa, “Commensurability, excitation gap, and topology in quantum many-particle systems on a periodic lattice,”Phys. Rev. Lett.84(Feb, 2000) 1535–1538. https://link.aps.org/doi/10.1103/PhysRevLett.84.1535
-
[20]
Lieb-schultz-mattis in higher dimensions,
M. B. Hastings, “Lieb-schultz-mattis in higher dimensions,”Phys. Rev. B69(Mar, 2004) 104431.https://link.aps.org/doi/10.1103/PhysRevB.69.104431
-
[21]
M. Cheng, M. Zaletel, M. Barkeshli, A. Vishwanath, and P. Bonderson, “Translational Symmetry and Microscopic Constraints on Symmetry-Enriched Topological Phases: A View from the Surface,”Phys. Rev. X6no. 4, (2016) 041068,arXiv:1511.02263 [cond-mat.str-el]
work page Pith review arXiv 2016
-
[22]
Intrinsic and emergent anomalies at deconfined critical points,
M. A. Metlitski and R. Thorngren, “Intrinsic and emergent anomalies at deconfined critical points,”Physical Review B98no. 8, (2018) 085140
work page 2018
-
[23]
Lieb-Schultz-Mattis anomalies and web of dualities induced by gauging in quantum spin chains,
Ö. M. Aksoy, C. Mudry, A. Furusaki, and A. Tiwari, “Lieb-Schultz-Mattis anomalies and web of dualities induced by gauging in quantum spin chains,”SciPost Phys.16no. 1, (2024) 022,arXiv:2308.00743 [cond-mat.str-el]
-
[24]
Lieb-Schultz-Mattis anomalies as obstructions to gauging (non-on-site) symmetries,
S. Seifnashri, “Lieb-Schultz-Mattis anomalies as obstructions to gauging (non-on-site) symmetries,”SciPost Phys.16no. 4, (2024) 098,arXiv:2308.05151 [cond-mat.str-el]
-
[25]
(SPT-)LSM theorems from projective non-invertible symmetries,
S. D. Pace, H. T. Lam, and O. M. Aksoy, “(SPT-)LSM theorems from projective non-invertible symmetries,”arXiv:2409.18113 [cond-mat.str-el]
-
[26]
Spacetime symmetry-enriched SymTFT: From LSM anomalies to modulated symmetries and beyond,
S. D. Pace, Ö. M. Aksoy, and H. T. Lam, “Spacetime symmetry-enriched SymTFT: from LSM anomalies to modulated symmetries and beyond,”SciPost Phys.20(2026) 007, arXiv:2507.02036 [cond-mat.str-el]
-
[27]
Modulated symmetries from generalized Lieb-Schultz-Mattis anomalies
H. Ebisu, B. Han, and W. Cao, “Modulated symmetries from generalized Lieb-Schultz-Mattis anomalies,”arXiv:2510.18689 [cond-mat.str-el]. 31
work page internal anchor Pith review Pith/arXiv arXiv
-
[28]
2025.arXiv e-prints:arXiv:2505.04719
A. Kapustin and S. Xu, “Higher symmetries and anomalies in quantum lattice systems,” arXiv:2505.04719 [math-ph]
-
[29]
K. Roumpedakis, S. Seifnashri, and S.-H. Shao, “Higher Gauging and Non-invertible Condensation Defects,”Commun. Math. Phys.401no. 3, (2023) 3043–3107, arXiv:2204.02407 [hep-th]
-
[31]
Hidden Z2×Z2 symmetry breaking in Haldane-gap antiferromagnets,
T. Kennedy and H. Tasaki, “Hidden Z2×Z2 symmetry breaking in Haldane-gap antiferromagnets,”Phys. Rev. B45no. 1, (1992) 304
work page 1992
-
[32]
Hidden symmetry breaking and the Haldane phase inS=1 quantum spin chains,
T. Kennedy and H. Tasaki, “Hidden symmetry breaking and the Haldane phase inS=1 quantum spin chains,”Commun. Math. Phys.147no. 3, (1992) 431–484
work page 1992
-
[33]
L. Li, M. Oshikawa, and Y. Zheng, “Noninvertible duality transformation between symmetry-protected topological and spontaneous symmetry breaking phases,”Phys. Rev. B108no. 21, (2023) 214429,arXiv:2301.07899 [cond-mat.str-el]
-
[34]
Hidden Z2*Z2 symmetry in quantum spin chains with arbitrary integer spin,
M. Oshikawa, “Hidden Z2*Z2 symmetry in quantum spin chains with arbitrary integer spin,”J. Phys. Condens. Matter4no. 36, (1992) 7469
work page 1992
- [35]
-
[36]
Non-invertible and higher-form symmetries in 2+1d lattice gauge theories,
Y. Choi, Y. Sanghavi, S.-H. Shao, and Y. Zheng, “Non-invertible and higher-form symmetries in 2+1d lattice gauge theories,”arXiv:2405.13105 [cond-mat.str-el]
-
[37]
(2+1)d lattice models and tensor networks for gapped phases with categorical symmetry,
K. Inamura, S.-J. Huang, A. Tiwari, and S. Schafer-Nameki, “(2+1)d lattice models and tensor networks for gapped phases with categorical symmetry,”SciPost Phys.20no. 2, (2026) 043,arXiv:2506.09177 [cond-mat.str-el]
-
[38]
Y. Tachikawa, “On gauging finite subgroups,”SciPost Phys.8no. 1, (2020) 015, arXiv:1712.09542 [hep-th]
- [39]
-
[40]
Noninvertible Global Symmetries in the Standard Model,
Y. Choi, H. T. Lam, and S.-H. Shao, “Noninvertible Global Symmetries in the Standard Model,”Phys. Rev. Lett.129no. 16, (2022) 161601,arXiv:2205.05086 [hep-th]
-
[41]
Noninvertible Chiral Symmetry and Exponential Hierarchies,
C. Cordova and K. Ohmori, “Noninvertible Chiral Symmetry and Exponential Hierarchies,”Phys. Rev. X13no. 1, (2023) 011034,arXiv:2205.06243 [hep-th]
-
[42]
Symmetry TFTs and Anomalies of Non-Invertible Symmetries,
J. Kaidi, E. Nardoni, G. Zafrir, and Y. Zheng, “Symmetry TFTs and anomalies of non-invertible symmetries,”JHEP10(2023) 053,arXiv:2301.07112 [hep-th]
-
[43]
N-ality symmetry and SPT phases in (1+1)d,
J. Maeda and T. Oishi, “N-ality symmetry and SPT phases in (1+1)d,”JHEP12(2025) 063,arXiv:2504.20151 [hep-th]. 32
- [44]
-
[45]
Multipole and fracton topological order via gauging foliated symmetry protected topological phases,
H. Ebisu, M. Honda, and T. Nakanishi, “Multipole and fracton topological order via gauging foliated symmetry protected topological phases,”Phys. Rev. Res.6(May, 2024) 023166.https://link.aps.org/doi/10.1103/PhysRevResearch.6.023166
-
[46]
Crystalline topological phases as defect networks,
D. V. Else and R. Thorngren, “Crystalline topological phases as defect networks,”Phys. Rev. B99(Mar, 2019) 115116. https://link.aps.org/doi/10.1103/PhysRevB.99.115116
-
[47]
Braiding statistics approach to symmetry-protected topological phases,
M. Levin and Z.-C. Gu, “Braiding statistics approach to symmetry-protected topological phases,”Phys. Rev. B86(Sep, 2012) 115109. https://link.aps.org/doi/10.1103/PhysRevB.86.115109
-
[48]
Cluster State as a Noninvertible Symmetry-Protected Topological Phase,
S. Seifnashri and S.-H. Shao, “Cluster State as a Noninvertible Symmetry-Protected Topological Phase,”Phys. Rev. Lett.133no. 11, (2024) 116601,arXiv:2404.01369 [cond-mat.str-el]. 33
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.