Recognition: no theorem link
Matrix Product States for Modulated Topological Phases: Crystalline Equivalence Principle and Lieb-Schultz-Mattis Constraints
Pith reviewed 2026-05-15 07:49 UTC · model grok-4.3
The pith
Modulated symmetry-protected topological phases in one dimension are classified by the second cohomology group H²(G, U(1)_s).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Modulated SPT phases protected by the semidirect product G = G_int ⋊ G_sp are classified by H²(G, U(1)_s), with matrix product states providing both the classification and an explicit derivation of the Lyndon-Hochschild-Serre spectral sequence that maps these phases onto internal SPT phases protected by G_int.
What carries the argument
Matrix product states that encode the ground-state wavefunctions and their projective representations under the total symmetry group G, allowing direct computation of the cohomology classification and the spectral sequence correspondence.
If this is right
- A Lieb-Schultz-Mattis theorem for modulated symmetries forbids the existence of any symmetric short-ranged entangled ground state under certain conditions.
- An SPT-LSM constraint requires that the ground state of a modulated SPT phase must carry nontrivial entanglement.
- LSM-type constraints extend to non-invertible Kramers-Wannier reflection symmetries.
- The spectral sequence supplies an explicit bijection between the modulated SPT classification and the internal SPT classification.
Where Pith is reading between the lines
- The MPS-based derivation suggests that tensor-network methods could classify modulated phases in two dimensions once appropriate representations are constructed.
- The constraints could be tested numerically or experimentally in spin chains or ultracold-atom systems with spatially varying couplings that realize specific modulated symmetries.
- The treatment of non-invertible symmetries indicates that the cohomology approach may generalize to phases protected by fusion-category symmetries beyond ordinary groups.
Load-bearing premise
Matrix product states capture all one-dimensional modulated SPT phases and that the semidirect product structure fully describes the combined symmetries.
What would settle it
A concrete one-dimensional lattice model with modulated symmetry whose symmetric ground state is short-range entangled yet exhibits entanglement or degeneracy patterns forbidden by the H²(G, U(1)_s) classification.
Figures
read the original abstract
Modulated symmetries are internal symmetries that act in a spatially non-uniform manner. Consequently, when a modulated symmetry $G_{\text{int}}$ is combined with a spatial symmetry $G_{\text{sp}}$, the total symmetry group takes the form of a semidirect product $G=G_{\text{int}}\rtimes G_{\text{sp}}$. Using matrix product states, we classify topological phases protected by modulated symmetries together with spatial symmetries in one spatial dimension. We show that these modulated symmetry-protected topological (SPT) phases are classified by $H^{2}(G,U(1)_s)$, in agreement with the crystalline equivalence principle, which states that SPT phases protected by symmetries involving spatial elements are in one-to-one correspondence with internal SPT phases protected by the same symmetries, viewed as acting internally. Furthermore, we provide a matrix product state derivation of the Lyndon-Hochschild-Serre spectral sequence for the corresponding internal SPT phases, which enables us to construct an explicit correspondence between modulated SPT phases and internal SPT phases. As applications of this classification, we prove a Lieb-Schultz-Mattis (LSM) theorem for modulated symmetries that forbids the existence of symmetric short-ranged entangled ground state, as well as an SPT-LSM constraint that enforces nontrivial entanglement in the SPT ground state. Finally, we use the classification to establish a similar LSM-type constraints for non-invertible Kramers-Wannier reflection symmetries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies one-dimensional modulated symmetry-protected topological (SPT) phases protected by a semidirect product G = G_int ⋊ G_sp of modulated internal symmetries and spatial symmetries. Using matrix product states (MPS), it claims these phases are classified by the second cohomology group H²(G, U(1)_s), in agreement with the crystalline equivalence principle. It further derives the Lyndon-Hochschild-Serre spectral sequence via MPS to construct an explicit correspondence between modulated and internal SPT phases, and applies the classification to prove Lieb-Schultz-Mattis (LSM) theorems forbidding symmetric short-range entangled states, SPT-LSM constraints on entanglement, and analogous constraints for non-invertible Kramers-Wannier reflection symmetries.
Significance. If the central classification and spectral-sequence derivation hold, the work supplies a concrete MPS-based route to modulated SPT phases in 1D, directly linking them to the crystalline equivalence principle and yielding new LSM-type constraints. The explicit MPS construction of the spectral sequence and the applications to non-invertible symmetries are notable strengths that would strengthen the manuscript's contribution to the classification of topological phases with position-dependent symmetries.
major comments (2)
- [§3 (Classification via MPS)] The central claim that every modulated SPT ground state is represented by an MPS whose tensors transform under the semidirect product via a projective representation with 2-cocycle in H²(G, U(1)_s) requires explicit verification that modulation-induced non-local consistency conditions (compatibility of modulation period with bond dimension and local basis) do not impose extra constraints beyond the standard cocycle condition. Without this, the map from MPS to cohomology classes may fail to be bijective.
- [§4 (Spectral sequence derivation)] The MPS derivation of the Lyndon-Hochschild-Serre spectral sequence (used to establish the correspondence with internal SPT phases) must be checked for completeness: the paper should show that the filtration and differentials are realized by the position-dependent action of G_sp on the MPS tensors without additional assumptions on the modulation.
minor comments (2)
- [§2] Notation for the twisted coefficients U(1)_s should be defined explicitly at first use, including how the spatial action twists the U(1) phase.
- [§5] The statement of the LSM theorem for modulated symmetries would benefit from a short table comparing the new constraint to the standard LSM theorem for uniform symmetries.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for highlighting both the strengths of the MPS approach and the points requiring clarification. We address each major comment below and will incorporate revisions to strengthen the presentation.
read point-by-point responses
-
Referee: [§3 (Classification via MPS)] The central claim that every modulated SPT ground state is represented by an MPS whose tensors transform under the semidirect product via a projective representation with 2-cocycle in H²(G, U(1)_s) requires explicit verification that modulation-induced non-local consistency conditions (compatibility of modulation period with bond dimension and local basis) do not impose extra constraints beyond the standard cocycle condition. Without this, the map from MPS to cohomology classes may fail to be bijective.
Authors: In Section 3 we construct the MPS tensors so that the full semidirect-product action of G = G_int ⋊ G_sp is realized by a projective representation whose 2-cocycle lies in H²(G, U(1)_s). The spatial dependence of the G_sp action is strictly periodic with the modulation period; this periodicity is built into the definition of the group elements and ensures that the local tensors close under the group law after one full period. Consequently, the only consistency condition that appears when the tensors are contracted around the chain is the standard 2-cocycle equation. No additional constraints arise from the modulation period because the bond dimension and local Hilbert-space basis are chosen to be invariant under translation by the period, making the representation well-defined on the infinite chain. To make this explicit we will add a short subsection (or appendix paragraph) that derives the non-local closure condition and shows that it reduces precisely to the cocycle condition already imposed. revision: yes
-
Referee: [§4 (Spectral sequence derivation)] The MPS derivation of the Lyndon-Hochschild-Serre spectral sequence (used to establish the correspondence with internal SPT phases) must be checked for completeness: the paper should show that the filtration and differentials are realized by the position-dependent action of G_sp on the MPS tensors without additional assumptions on the modulation.
Authors: Section 4 obtains the Lyndon-Hochschild-Serre spectral sequence by filtering the MPS tensors according to the natural action of the spatial subgroup G_sp. The position-dependent phases supplied by the semidirect-product structure define the filtration levels, while the differentials are generated by the coboundary operators that arise when the group action is applied to the tensors. This construction uses only the semidirect-product relations and the standard MPS representation theorem; no further assumptions on the modulation (beyond the periodicity already encoded in G) are required. To address the request for explicit verification we will expand the derivation with an additional paragraph that traces the filtration and first differential step by step, and we will include a low-dimensional illustrative example (e.g., G_sp = Z_2) that shows how the position-dependent phases produce the expected differentials. revision: yes
Circularity Check
No circularity: MPS classification and spectral sequence derivation are independent of target result
full rationale
The paper constructs the classification of modulated SPT phases directly from MPS tensors transforming under the semidirect product G = G_int ⋊ G_sp, yielding the standard result that phases are labeled by H²(G, U(1)_s). It then supplies an explicit MPS-based derivation of the Lyndon-Hochschild-Serre spectral sequence for the same group, which is used to map modulated phases onto internal ones. Neither step invokes fitted parameters, renames a known result, nor relies on a load-bearing self-citation whose content is presupposed. The crystalline equivalence principle appears only as a consistency check after the derivation, not as an input. Consequently the central claims remain self-contained against external group-cohomology benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The total symmetry group takes the form of a semidirect product G = G_int ⋊ G_sp for modulated internal symmetries combined with spatial symmetries.
- domain assumption Matrix product states provide a complete classification of one-dimensional gapped phases protected by these symmetries.
Forward citations
Cited by 3 Pith papers
-
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.
-
Projector, Neural, and Tensor-Network Representations of $\mathbb{Z}_N$ Cluster and Dipolar-cluster SPT States
Z_N cluster and dipolar-cluster SPT wavefunctions admit closed-form projector, neural, and tensor-product representations that generalize Z_2 constructions and yield a TPS benchmarked against MPS via DMRG.
-
Lieb-Schultz-Mattis Anomalies and Anomaly Matching
The review summarizes Lieb-Schultz-Mattis anomalies and anomaly matching, starting from spin chains and extending to higher dimensions, disordered systems, fermionic systems, and symmetry-protected topological phases.
Reference graph
Works this paper leans on
-
[1]
Without the loss of generality, we can choose the left eigenvector to be the identity matrix and the maximum modulus eigenvalue to be 1. Such MPS are called left- canonical. Injective MPS are particularly nice as they obey the fundamental theorem of MPS [47], which states that two (non-translation invariant) injective MPS of the 4 left canonical form defi...
-
[2]
Classification To evaluate the strong index of the SPT phases pro- tected by the exponential symmetry, consider the group cohomology of the internal symmetry,H 2(Gint, U(1)), which is generated by the 2-cocycle ω(g, h) = exp 2πi N kg1h2 .(91) Here,g= (g 1, g2) andh= (h 1, h2) are elements ofG int = ZN ×Z N, andk∈Z N. For the cocycle to define a valid modu...
-
[3]
Consider a 1+1D lattice with periodic boundary condition, where each site hosts twoZ N qu- dits
Lattice Models We now construct an explicit lattice realization of these SPT phases. Consider a 1+1D lattice with periodic boundary condition, where each site hosts twoZ N qu- dits. LetX n, Zn and ˜Xn, ˜Zn denote the generalized Pauli operators acting on the two qudits at siten, respectively. The exponential symmetry is realized as Ua = Y n X an n ,U b = ...
-
[4]
Classification The strong index of SPT phases protected by the dipole symmetry is given byH 2(Gint, U(1)), which hap- pens to be invariant under the translation action in Eq. (117). Hence, valid modulated SPT is described by ω(g, h) = exp 2πi N kg1h2 ,(118) whereg= (g 1, g2),h= (h 1, h2), andk∈Z N. Indeed, ω(g, h) given in Eq. (118) is invariant under the...
-
[5]
Such a model with a nontrivial strong index was already studied in previous works [33, 14 50]
Lattice Models We now present a lattice-model construction for the dipolar SPT phases. Such a model with a nontrivial strong index was already studied in previous works [33, 14 50]. Here, we present a more complete model that incor- porates both the strong and weak indices. We consider a spin chain where there is aZ N spin degrees of freedom on each site....
-
[6]
Field Theory Perspective We can formulate a continuum response theory for the dipolar SPT phases. This construction provides a com- plementary field theoretic perspective on the classifica- tion derived from the previous analysis. Previous works have described dipole symmetries using higher derivative tensor gauge theories. Instead, we adopt an alternativ...
work page 2024
-
[7]
A symmetry principle for Topological Quantum Order
Z. Nussinov and G. Ortiz, A symmetry principle for topo- logical quantum order, Annals Phys.324, 977 (2009), arXiv:cond-mat/0702377
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[8]
D. Gaiotto, A. Kapustin, N. Seiberg, and B. Wil- lett, Generalized Global Symmetries, JHEP02, 172, arXiv:1412.5148 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[9]
A. Paramekanti, L. Balents, and M. P. A. Fisher, Ring exchange, the exciton bose liquid, and bosonization in two dimensions, Phys. Rev. B66, 054526 (2002)
work page 2002
- [10]
- [11]
-
[12]
N. Seiberg and S.-H. Shao, Exotic Symmetries, Dual- ity, and Fractons in 2+1-Dimensional Quantum Field Theory, SciPost Phys.10, 027 (2021), arXiv:2003.10466 [cond-mat.str-el]
- [13]
-
[14]
Scalar Field Theories with Polynomial Shift Symmetries
T. Griffin, K. T. Grosvenor, P. Horava, and Z. Yan, Scalar Field Theories with Polynomial Shift Symmetries, Com- mun. Math. Phys.340, 985 (2015), arXiv:1412.1046 [hep- th]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[15]
M. Pretko, The Fracton Gauge Principle, Phys. Rev. B 98, 115134 (2018), arXiv:1807.11479 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[16]
Gromov, Towards classification of fracton phases: The multipole algebra, Phys
A. Gromov, Towards classification of fracton phases: The multipole algebra, Phys. Rev. X9, 031035 (2019)
work page 2019
-
[17]
P. Gorantla, H. T. Lam, N. Seiberg, and S.-H. Shao, Global dipole symmetry, compact lifshitz theory, tensor gauge theory, and fractons, Phys. Rev. B106, 045112 (2022)
work page 2022
- [18]
-
[19]
P. Sala, T. Rakovszky, R. Verresen, M. Knap, and F. Poll- mann, Ergodicity breaking arising from hilbert space fragmentation in dipole-conserving hamiltonians, Phys. Rev. X10, 011047 (2020)
work page 2020
-
[20]
S. Moudgalya, B. A. Bernevig, and N. Regnault, Quan- tum many-body scars and hilbert space fragmentation: a review of exact results, Reports on Progress in Physics 85, 086501 (2022)
work page 2022
- [21]
-
[22]
K. T. Grosvenor, C. Hoyos, F. Pe˜ na Benitez, and P. Sur´ owka, Hydrodynamics of ideal fracton fluids, Phys. Rev. Res.3, 043186 (2021)
work page 2021
-
[25]
Y.-T. Oh, J. Kim, E.-G. Moon, and J. H. Han, Rank-2 toric code in two dimensions, Physical Review B105, 10.1103/physrevb.105.045128 (2022)
-
[26]
S. D. Pace and X.-G. Wen, Position-dependent excita- tions and uv/ir mixing in theZ N rank-2 toric code and its low-energy effective field theory, Phys. Rev. B106, 045145 (2022)
work page 2022
-
[27]
G. Delfino, W. B. Fontana, P. R. S. Gomes, and C. Chamon, Effective fractonic behavior in a two- dimensional exactly solvable spin liquid, SciPost Physics 14, 10.21468/scipostphys.14.1.002 (2023)
- [28]
-
[29]
E. Lieb, T. Schultz, and D. Mattis, Two soluble models of an antiferromagnetic chain, Annals of Physics16, 407 (1961)
work page 1961
-
[30]
M. B. Hastings, Lieb-schultz-mattis in higher dimensions, Phys. Rev. B69, 104431 (2004)
work page 2004
-
[31]
M. Oshikawa, Commensurability, excitation gap, and topology in quantum many-particle systems on a peri- odic lattice, Phys. Rev. Lett.84, 1535 (2000)
work page 2000
-
[32]
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. X6, 041068 (2016), arXiv:1511.02263 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[33]
M. Cheng and N. Seiberg, Lieb-schultz-mattis, luttinger, 19 and’t hooft-anomaly matching in lattice systems, SciPost Physics15, 051 (2023)
work page 2023
- [34]
- [35]
-
[36]
Modulated symmetries from generalized Lieb-Schultz-Mattis anomalies
H. Ebisu, B. Han, and W. Cao, Modulated symmetries from generalized lieb-schultz-mattis anomalies, arXiv preprint arXiv:2510.18689 (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[37]
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. B87, 155114 (2013)
work page 2013
-
[38]
X. Chen, Y.-M. Lu, and A. Vishwanath, Symmetry- protected topological phases from decorated domain walls, Nature communications5, 3507 (2014)
work page 2014
-
[39]
H. T. Lam, Classification of dipolar symmetry-protected topological phases: Matrix product states, stabilizer hamiltonians, and finite tensor gauge theories, Physical Review B109, 115142 (2024)
work page 2024
-
[40]
J. H. Han, E. Lake, H. T. Lam, R. Verresen, and Y. You, Topological quantum chains protected by dipolar and other modulated symmetries, Phys. Rev. B109, 125121 (2024)
work page 2024
- [41]
-
[42]
H. T. Lam, J. H. Han, and Y. You, Topological dipole insulator, SciPost Physics17, 137 (2024)
work page 2024
-
[43]
Yao, Lattice translation modulated symmetries and tfts (2025), arXiv:2510.03889 [cond-mat.str-el]
C.-Y. Yao, Lattice translation modulated symmetries and tfts (2025), arXiv:2510.03889 [cond-mat.str-el]
-
[44]
D. Bulmash, Defect networks for topological phases protected by modulated symmetries, arXiv preprint arXiv:2508.06604 (2025)
-
[45]
R. Thorngren and D. V. Else, Gauging spatial sym- metries and the classification of topological crystalline phases, Phys. Rev. X8, 011040 (2018)
work page 2018
- [46]
-
[47]
D. Sauerwein, A. Molnar, J. I. Cirac, and B. Kraus, Matrix Product States: Entanglement, symmetries, and state transformations, Phys. Rev. Lett.123, 170504 (2019), arXiv:1901.07448 [quant-ph]
-
[48]
D. T. Stephen, H. P. Nautrup, J. Bermejo-Vega, J. Eisert, and R. Raussendorf, Subsystem symmetries, quantum cellular automata, and computational phases of quan- tum matter, Quantum3, 142 (2019), arXiv:1806.08780 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2019
- [49]
-
[50]
Classification of Gapped Symmetric Phases in 1D Spin Systems
X. Chen, Z.-C. Gu, and X.-G. Wen, Classification of gapped symmetric phases in one-dimensional spin sys- tems, Phys. Rev. B83, 035107 (2011), arXiv:1008.3745 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[51]
Pollock, César Rodríguez-Rosario, Thomas Frauenheim, Mauro Paternos- tro, and Kavan Modi
F. Pollmann, A. M. Turner, E. Berg, and M. Os- hikawa, Entanglement spectrum of a topological phase in one dimension, Physical Review B81, 10.1103/phys- revb.81.064439 (2010)
- [52]
-
[53]
String order and symmetries in quantum spin lattices
D. P´ erez-Garc´ ıa, M. M. Wolf, M. Sanz, F. Verstraete, and J. I. Cirac, String Order and Symmetries in Quan- tum Spin Lattices, Phys. Rev. Lett.100, 167202 (2008), arXiv:0802.0447 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[54]
F. Pollmann, E. Berg, A. M. Turner, and M. Os- hikawa, Symmetry protection of topological phases in one-dimensional quantum spin systems, Physical Review B85, 10.1103/physrevb.85.075125 (2012)
-
[55]
Q.-R. Wang, S.-Q. Ning, and M. Cheng, Do- main Wall Decorations, Anomalies and Spectral Se- quences in Bosonic Topological Phases, arXiv e-prints , arXiv:2104.13233 (2021), arXiv:2104.13233 [cond- mat.str-el]
- [56]
-
[57]
S. Seifnashri, Lieb-Schultz-Mattis anomalies as obstruc- tions to gauging (non-on-site) symmetries, SciPost Phys. 16, 098 (2024)
work page 2024
- [58]
-
[59]
Y.-M. Lu, Lieb-schultz-mattis theorems for symmetry- protected topological phases, Annals of Physics470, 169806 (2024)
work page 2024
-
[60]
S. Jiang, M. Cheng, Y. Qi, and Y.-M. Lu, Gener- alized lieb-schultz-mattis theorem on bosonic symme- try protected topological phases, SciPost Physics11, 10.21468/scipostphys.11.2.024 (2021)
-
[61]
S. D. Pace, H. T. Lam, and O. M. Aksoy, (spt-)lsm theo- rems from projective non-invertible symmetries, SciPost Physics18, 10.21468/scipostphys.18.1.028 (2025)
-
[62]
A. Anakru, S. Srinivasan, L. Li, and Z. Bi, Matrix prod- uct states for modulated symmetries: Spt, lsm, and be- yond, arXiv preprint arXiv:2603.19189 (2026). Appendix A: Lyndon–Hochschild–Serre Spectral Sequence In this appendix, we review the LHS spectral se- quence following Ref. [49], which relates the group cohomologyH p+q( ˜G, U(1) s) for ˜G=G int ⋊ ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.