{"id":"ccba9822-0c69-42ac-a844-47fdfa53a571","arxiv_id":"2603.19189","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A generalized MPS push-through condition for modulated symmetries classifies 1D SPTs and yields LSM constraints via site-dependent virtual cocycles.","lead":"The paper derives a generalized symmetry push-through rule for matrix product states of one-dimensional systems with spatially modulated symmetries. This single algebraic condition classifies SPT phases and produces LSM-type no-go theorems for arbitrary discrete modulations.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the thermodynamic-limit consistency condition as the weakest technical assumption, yet that condition is both necessary for a well-defined thermodynamic limit of an L-cycle symmetry and sufficient for the lemmas in Appendix B to produce unitary virtual operators. Once those operators exist, the remainder of the argument (cocycle invariance under T, SPT classification by the fixed subspace of H^{2}(G,U(1)), and the LSM matching condition (5)) is purely algebraic and matches independent group-cohomology/SymTFT results. Explicit MPS tensors and parent Hamiltonians further corroborate the SPT side; the lattice models (15) and (19) realize the predicted obstructions. No internal inconsistency or hidden assumption that would force a change of verdict is present. The concrete test above simply reconfirms the most-used special case without external literature.","tokens_in":23906,"tokens_out":527,"duration_ms":4782,"concrete_test":"Independently re-derive the cocycle constraint for the Z_N\times Z_N exponential case (main-text Eq. (7) / App. C3) from the general push-through (B1)+(C8) without invoking the cellular-chain or SymTFT results of Refs. [49,50]; if ω(g,h)=ω(g^b,h^b) fails to follow, the classification engine is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (generalized push-through Uj·A .= v†_{j-1} A vj with vj(g) .= v_{j-1}(T(g)), yielding T-invariant virtual cocycles that classify SPTs and produce LSM via Eq. (5)) is internally consistent. Appendix B derives the site-dependent virtual unitaries from injectivity + left-canonical form + the thermodynamic-limit consistency condition (k-fold extensions remain eigenstates of the extended symmetry). That condition is the natural discrete analogue of ordinary global-symmetry push-through and is used only to guarantee a well-defined infinite-volume limit; it is not an extra physical assumption beyond the paper’s stated setting. Special cases (exponential, charge+exponential, dipole/multipole) recover known classifications, explicit MPS representatives are constructed, and lattice models realizing the predicted LSM obstructions are given. Concurrent work is disclosed. No load-bearing gap that would overturn the claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript generalizes the matrix-product-state (MPS) treatment of one-dimensional gapped phases to translationally invariant systems with discrete modulated symmetries. For an injective MPS that is an eigenstate of a modulated unitary Ug = ⊗j Ug,j, the authors derive a site-dependent push-through rule Uj · A ≔ v†j-1 A vj, with the virtual unitaries related by the modulation automorphism via vj(g) ≔ vj-1(T(g)). The resulting virtual 2-cocycle is invariant under T (up to coboundaries), which classifies strong SPTs protected by the modulated symmetry; when the physical on-site representations are themselves projective, the same algebra yields LSM and SPT-LSM obstructions (Eq. (5)). Explicit classifications and MPS representatives are given for exponential, charge-exponential and multipole symmetries, and lattice models realizing the predicted LSM constraints are constructed. A self-contained proof of the generalized push-through appears in Appendix B, together with an open-boundary extension.","tokens_in":24141,"tokens_out":753,"duration_ms":7981,"significance":"The work supplies a unified, MPS-native language for SPT classification and LSM constraints under arbitrary discrete modulated symmetries, recovering known group-cohomology and cellular-complex results while constructing explicit parent Hamiltonians and lattice models. The Appendix B derivation via U-transfer-matrix norms and injectivity is self-contained and extends earlier dipole/multipole arguments; concurrent work is disclosed. If the thermodynamic-limit consistency condition is accepted as the natural discrete analogue of ordinary global-symmetry push-through, the paper fills a clear gap between conventional MPS SPT/LSM theory and the growing literature on modulated and fractonic symmetries.","major_comments":[],"minor_comments":[{"comment":"The thermodynamic-limit consistency condition (that the MPS on every kL-site concatenation remains an eigenstate of the k-fold extended symmetry) is stated after Eq. (1) and used heavily in Appendix B; a short explicit remark in the main text that this is the discrete analogue of ordinary global-symmetry push-through would help non-specialist readers.","section":null},{"comment":"In the unfaithful-representation discussion of Appendix C6 the extra cocycle constraint arising from UkE = UkC is interesting; a one-sentence pointer in the main text would alert readers that faithfulness of the physical representation can further restrict the SPT classification beyond the T-invariance of the cocycle.","section":null},{"comment":"Notation for the phase factors that appear in the push-through equalities (the “≔” symbol) is introduced only diagrammatically; a brief textual definition early in the main text would improve readability.","section":null},{"comment":"A few typographical inconsistencies remain (e.g., occasional missing spaces around “mod N” and the mixed use of “Uj” versus “Ug,j”); a light copy-edit pass would clean them up.","section":null}],"recommendation":"accept","confidential_remarks":"The concurrent work noted in the “Note added” appears to cover overlapping ground; the present manuscript is self-contained and the disclosure is adequate. Scope is a good fit for a condensed-matter theory journal that regularly publishes MPS and SPT/LSM papers."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a clean technical paper that does exactly what the title promises. The core new piece is the generalized push-through (Eq. 2) for an injective, translation-invariant MPS under a discrete modulated symmetry: the physical unitary Uj is absorbed into site-dependent virtual unitaries vj-1 and vj that are related by the modulation automorphism T. From that they get the cocycle invariance condition (Eq. 4) that classifies strong SPTs, and the matching condition (Eq. 5) that produces LSM and SPT-LSM obstructions when the physical sites carry projective representations.\n\nAppendix B is the real workhorse: a self-contained proof via U-transfer-matrix norms and injectivity that also covers certain open-boundary cases. They recover the known exponential and multipole classifications, construct explicit MPS representatives for the ZN\times ZN exponential family, and write down concrete lattice Hamiltonians that realize the predicted LSM constraints (including a non-Abelian dihedral example). The concurrent-work note is honest.\n\nThe soft spots are real but secondary. The thermodynamic-limit consistency assumption (k-fold concatenations remain eigenstates of the extended symmetry) is the natural discrete analogue of ordinary global-symmetry push-through; it is not an extra physical assumption beyond the setting they claim. Continuous groups and non-injective tensors are left open, which they flag. The unfaithful-representation subtlety in the appendix is a nice extra observation rather than a hole.\n\nThis is for people who already work with MPS SPT/LSM or modulated/fractonic symmetries. The math is standard group cohomology plus careful transfer-matrix arguments; citations look complete and the circularity burden is essentially zero. I would send it to referees without hesitation. Worth reading if you care about the 1D modulated-symmetry literature; the lattice models alone make it citable for me.","headline":"Solid, self-contained MPS generalization of push-through to discrete modulated symmetries; new classifications and LSM models that recover known special cases.","tokens_in":24671,"tokens_out":475,"would_cite":true,"duration_ms":4687,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Modulated symmetries push through MPS tensors via site-dependent virtual unitaries, classifying 1D SPTs and yielding LSM constraints.","keywords":["matrix product states","modulated symmetries","SPT phases","Lieb-Schultz-Mattis","push-through condition","exponential symmetry","dipole symmetry","projective representations"],"falsifier":"Construct an injective translationally invariant MPS that is an eigenstate of a modulated symmetry whose virtual cocycle violates the T-invariance condition, or exhibit a unique gapped symmetric ground state for one of the explicit lattice models (e.g., the alternating exponential Z_N Hamiltonian) that the paper claims must be degenerate or gapless.","tokens_in":24851,"feed_emoji":"⚛️","tokens_out":728,"duration_ms":6022,"temperature":0.7,"pith_summary":"One-dimensional gapped phases are routinely captured by matrix product states, and ordinary global symmetries act by pushing through each tensor as conjugate unitaries on the virtual bonds. When the symmetry itself varies from site to site—modulated symmetries that appear in tilted lattices, multipole conservation, and fractonic systems—that push-through rule must be rewritten. The paper derives the corrected rule: the physical on-site unitary is absorbed into two (generally different) virtual unitaries related by the modulation automorphism induced by translation. The virtual 2-cocycle is then forced to be invariant under that automorphism. This single algebraic condition classifies the strong SPT phases protected by the modulated symmetry and, when the physical sites themselves carry projective representations, produces Lieb–Schultz–Mattis-type obstructions that forbid a unique gapped symmetric ground state. Explicit exponential, charge-exponential, multipole and non-Abelian examples recover known classifications, construct parent Hamiltonians, and give concrete lattice models forced into degeneracy or gaplessness.","feed_headline":"MPS push-through rule rewritten for modulated symmetries","feed_subtitle":"Site-dependent virtual unitaries classify SPTs and force LSM gaps or degeneracy","key_machinery":"The generalized push-through condition U_j · A ≅ v†_{j-1} A v_j together with the translation-compatibility relation v_j(g) ≅ v_{j-1}(T(g)). These two equations force the virtual cocycle to obey ω(g,h)=ω(T(g),T(h)) (up to coboundaries) and, when physical cocycles are present, produce the obstruction equations that forbid injective MPS.","core_discovery":"For an injective translationally invariant MPS that is an eigenstate of a discrete modulated symmetry, the physical action on each site pushes through as U_j · A ≅ v†_{j-1} A v_j, where the virtual unitaries satisfy v_j(g) ≅ v_{j-1}(T(g)). The resulting virtual 2-cocycle is invariant under the modulation automorphism T; that invariance classifies strong SPTs and, via the matching condition with physical cocycles, yields LSM and SPT-LSM constraints.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["MPS push-through revised for modulated symmetries","Virtual cocycles classify SPTs under symmetry modulation","Generalized MPS condition yields SPT-LSM constraints","Site-dependent unitaries encode modulated SPT phases","Modulated symmetries force new MPS push-through structure"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The construction assumes that the same MPS tensor remains an eigenstate of every larger periodic extension of the modulated symmetry, so that the virtual unitaries exist in the thermodynamic limit.","fun_headline_variants_meta":{"raw":{"variants":["MPS push-through revised for modulated symmetries","Virtual cocycles classify SPTs under symmetry modulation","Generalized MPS condition yields SPT-LSM constraints","Site-dependent unitaries encode modulated SPT phases","Modulated symmetries force new MPS push-through structure"]},"model":"grok-4.5","effort":"low","cost_usd":0.006172,"raw_usage":{"total_tokens":1548,"prompt_tokens":683,"num_sources_used":0,"completion_tokens":75,"cost_in_usd_ticks":61720000,"prompt_tokens_details":{"text_tokens":683,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":790,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":683,"tokens_out":75,"duration_ms":6606,"temperature":1.0,"reasoning_tokens":790,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T22:06:49.250979+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct an injective translationally invariant MPS that is an eigenstate of a modulated symmetry whose virtual cocycle violates the T-invariance condition, or exhibit a unique gapped symmetric ground state for one of the explicit lattice models (e.g., the alternating exponential Z_N Hamiltonian) that the paper claims must be degenerate or gapless.","supporting_citations":[],"review_version":1}