{"id":"4b194751-1e67-4a96-b285-a1489b296da8","arxiv_id":"2508.06604","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A defect-network construction for modulated symmetries is derived, with an anomaly-free condition S*[ω]=[ω] that leads to classifications of dipolar and multipolar SPTs in 1+1D and 2+1D.","lead":"This paper develops a general method to construct and classify topological phases protected by modulated symmetries, which are internal symmetries that do not commute with spatial translations. The method extends the defect network approach from crystalline topological phases and yields new classification results in one and two spatial dimensions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Weak-SPT equivalence relations in Sec. IV E are asserted, not proven; Table I weak indices depend on their completeness.","rationale":"The paper's defect-network construction is explicit and reproduces known (1+1)D results (cluster state, Lam's MPS classification), so I do not see an internal contradiction. The weakest point is the completeness of the weak-SPT equivalences; this is exactly the reader's weakest assumption. A positive result in the proposed spectral-sequence check would largely resolve the concern. Until then, conditional is right.","tokens_in":33959,"tokens_out":9480,"duration_ms":114545,"concrete_test":"Compute H^3(Gint⋊Z^2, U(1)) for the (2+1)D ZN dipolar one-direction row directly from the Lyndon–Hochschild–Serre spectral sequence (or GAP), using Tx(gQ,gx)=(gQ+gx,gx), Ty=id, and compare the total with the paper's strong ZN×Z_{2,N} plus weak ZN^3. If H^3 is larger, Eq. (34)/(36) over-quotient; if smaller, equivalences are missing. Independently, check Eq. (36) in an exactly solvable tensor-network realization: nucleate the 1D SPT ζ in a 2-cell and expand it, tracking orientations, and verify the vertical 1-cell data changes by exactly T_x^*ζ/ζ (not its inverse) for Gint=Z_N^3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Load-bearing concern: the weak-index column of Table I is obtained by quotienting naive cell data by equivalence relations that are only sketched. In Sec. IV E, Eq. (34) and Eq. (36) are introduced with 'We claim' and 'This equivalence is obtained by...'; the paper gives physical processes (nucleating charges/1D SPTs and moving/expanding them) but no proof that these processes are symmetry-allowed for arbitrary Gint, nor that they generate all equivalences. Every weak entry in Table I uses these quotients: for (1+1)D ZN dipolar, ZN = ZN^2 / {(0,a)~(0,0)} from Eq. (57); for (2+1)D, the ZN^2 1-cell data is quotiented by Eq. (36) and the ZN 0-cell data by Eq. (34). If a sketched process is not symmetry-preserving (e.g., because moving a charge changes the dipole moment), the weak classification is too small; if additional equivalences exist, it is too large. The paper explicitly leaves completeness at the level of 'plausibility' (Sec. IV E), and Sec. IV G similarly defers a full proof of the anomaly condition with stabilizers. Thus the central claim—that Table I is the classification—rests on an unproven quotient.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a defect-network construction for symmetry-protected topological phases protected by modulated symmetries, i.e., internal symmetries that do not commute with spatial symmetries. The central result is an anomaly-free condition, Eq. (15), stating that the strong SPT data on the d-cells, [ω] ∈ H^{d+1}(G_int,U(1)), must satisfy S^*[ω]=[ω] for every spatial symmetry generator S. The paper argues that modulated symmetries behave like ordinary internal symmetries when spatial symmetries are absent, but that spatial symmetries make many naively valid defect networks anomalous. It then applies the formalism to classify dipolar and other modulated SPTs in (1+1)D and (2+1)D, reproducing and extending known results, with Table I summarizing the classifications.","tokens_in":34255,"tokens_out":3652,"duration_ms":48007,"significance":"If the central claims are correct, the paper provides a general and computationally useful framework for modulated-symmetry SPTs, generalizing the crystalline equivalence principle and unifying several prior results derived by MPS or SymTFT methods. The explicit cohomology computations are internally consistent and transparent, and the reproduction of the cluster-state theorem, Lam's MPS classification, and the LHS spectral-sequence structure gives independent confirmation of the framework. The anomaly-free condition Eq. (15) is a crisp, falsifiable criterion that yields concrete classifications. However, the classification claims in Table I depend on the completeness of weak-SPT equivalence relations that are only physically motivated, not proven; this is the main correctness risk.","major_comments":[{"comment":"The weak-index column of Table I rests on equivalence relations introduced with 'We claim' and 'This equivalence is obtained by...' rather than proven. The physical processes of nucleating charges or 1D SPTs and moving/expanding them are not demonstrated to be symmetry-allowed for arbitrary G_int, nor are they shown to generate all equivalences. This is load-bearing: every weak entry in Table I is a quotient of naive cell data by these relations, e.g., Eq. (57) for (1+1)D dipolar, Eq. (36) and Eq. (129) for (2+1)D one-direction dipolar, and Eq. (36) plus Eqs. (154)-(155) for two-direction dipolar. If a sketched process is not symmetry-preserving, the quotient is too large; if additional equivalences exist, the quotient is too small. The paper explicitly leaves completeness at the level of plausibility, so the classification claim in Table I is not fully established.","section":"Sec. IV E; Eqs. (34), (36); Table I"},{"comment":"The anomaly-free condition for cells with nontrivial extended symmetry is derived only schematically. The text states that the argument is 'more technically involved than the one we gave previously' and provides a folding diagram and a commutativity diagram rather than a complete derivation. This condition is used in Sec. VII A (Eqs. (87)-(89)) and in the classification of weak data in reflection-symmetric cluster states. A rigorous derivation, or an explicit statement that the condition is an assumption subject to verification, is needed before the corresponding results can be accepted as proven.","section":"Sec. IV G; Eqs. (38)-(39); Sec. VII A"},{"comment":"The reinterpretation of Lam's MPS classification relies on a formal manipulation in which the system size is set to L0=1 in Eq. (83). While the conclusion is plausible and matches the earlier cohomology computation, the step from finite-size operator algebras to an infinite-system cocycle condition is not justified in detail. This is a secondary point, but it affects the claimed equivalence between the MPS and defect-network derivations.","section":"Sec. VI D; Eqs. (79)-(83)"}],"minor_comments":[{"comment":"Typographical error: 'G_L_int × G_L_int' should presumably be 'G_L_int × G_R_int' in the first line.","section":"Eq. (12)"},{"comment":"The orientation conventions entering the 0-cell cocycle condition are not fully specified. A short sentence defining the orientations of horizontal and vertical 1-cells would make the consistency check reproducible.","section":"Sec. IV D; Eq. (33)"},{"comment":"The expression for the translation-invariant cocycle ω_ℓ is dense; stating the ranges of i,j and the condition ℓ ≤ ⌈(n+1)/2⌉ more explicitly, and explaining why no overcounting occurs, would improve readability.","section":"Sec. VII C; Eq. (105)"},{"comment":"After Eq. (150), the text says 'one copy of Z_N is actually anomalous and two are trivial via Eq. (36)', but the details appear only later in the 0-cell analysis. A forward reference would help.","section":"Sec. VIII C.2"},{"comment":"Ref. [35] is cited as 'private communication/work in progress'; if it has appeared by the time of publication, the reference should be updated.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper has a sound core and appears to be a genuine step forward, but the classification claims in Table I are stronger than what is currently proven. The authors should either supply a proof of completeness of the weak-SPT equivalence relations in Sec. IV E, or explicitly present the weak indices as conjectural and relegate Table I to a conjecture. The deferred argument in Sec. IV G is similarly load-bearing for the reflection example. These are fixable within the manuscript's scope, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the take: the paper delivers a real generalization of the crystalline equivalence principle to modulated symmetries, and the cohomology computations are explicit enough to trust; but the weak-index columns in Table I are load-bearing and rest on equivalence relations that are physically motivated yet not proven complete.\n\nWhat's genuinely new: the anomaly-free condition S*[ω]=[ω] for strong SPT data placed on d-cells, and the observation that spatial symmetries turn previously non-anomalous data into anomalous data for modulated symmetries. The defect network construction is a natural extension of Else-Thorngren, and the paper is careful about the group action and the torsor structure. The reproduction of known results—the cluster state theorem from Han et al., Lam's MPS classification for dipolar SPTs, and the LHS spectral sequence check—is strong evidence that the machinery is doing the right thing. The new 2+1D classifications (Z_N^4 × Z_(2,N) etc.) follow from the anomaly condition together with the weak-data quotients; they are new and interesting if the quotients hold.\n\nThe soft spots are where the stress-test note lands. The equivalence relations in Sec. IV E—Eq. (34) and Eq. (36)—are introduced with 'We claim' and a physical picture (nucleating charges or 1D SPTs and moving them), but there is no proof that these processes are symmetry-allowed for arbitrary Gint, nor that they generate all equivalences. The paper itself says the completeness is at the level of plausibility. Every weak entry in Table I uses these quotients, so if the quotient is wrong, the weak indices change. That is a real gap, but it is a gap in rigor, not a red flag: the physical processes are concrete and the results match independent classifications where checked. The extended-symmetry argument in Sec. IV G is likewise sketched; the folding trick is plausible, but the LHS spectral sequence step is compressed.\n\nWho benefits: anyone working on modulated symmetries, fracton physics, or SPT classification wants this as a working tool. It deserves a serious referee—the framework is explicit and benchmarked, and the unproven equivalences are a solvable technical issue, not a sign of a wrong answer. I'd push for peer review with the request that the equivalence relations be tightened or at least stated as conjectures with supporting evidence.","headline":"A genuinely new defect-network framework for modulated SPTs with a clean anomaly condition; the weak-index tables rest on unproven equivalence relations, so the classifications are conditional but likely right.","tokens_in":34713,"tokens_out":3074,"would_cite":true,"duration_ms":30974,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper generalizes the defect-network construction to modulated symmetries and shows that spatial symmetries impose an anomaly-free condition, $S^*[\\omega]=[\\omega]$, that rules out many naively allowed symmetry-protected topological ph","keywords":["modulated symmetries","dipolar symmetry","defect networks","symmetry-protected topological phases","crystalline equivalence principle","group cohomology","translation symmetry","anomaly-free condition"],"falsifier":"Construct a finite (1+1)D chain with $\\mathbb{Z}_3$ dipole symmetry and numerically check whether the number of inequivalent gapped phases matches the predicted $\\mathbb{Z}_3$ strong $\\times$ $\\mathbb{Z}_3$ weak classification; an extra equivalence between distinct 0-cell data would show Eq. (34) is incomplete. Alternatively, attempt to build a gapped symmetric ground state whose strong data violates $S^*[\\omega]=[\\omega]$; a successful construction would falsify the anomaly condition.","tokens_in":33870,"feed_emoji":"🧩","tokens_out":9204,"duration_ms":92098,"temperature":0.7,"pith_summary":"This paper extends the defect-network construction to modulated symmetries—internal symmetries that do not commute with spatial symmetries, with dipolar symmetry as the leading example. It argues that in the absence of spatial symmetries such a symmetry behaves like an ordinary internal symmetry, so the distinction becomes meaningful only when translations or other spatial symmetries are imposed. The central result is the anomaly-free condition $S^*[\\omega]=[\\omega]$ (Eq. 15): strong SPT data on the $d$-cells of a defect network survives only if every spatial symmetry pulls the cocycle back to the same cohomology class. Many cocycles that are non-anomalous for unmodulated symmetries fail this test, which is why modulated SPT classifications are smaller than naive group-cohomology guesses. Combining this condition with the weak-SPT equivalence relations yields the dipolar SPT classifications summarized in Table I, including new weak indices.","feed_headline":"Spatial symmetries forbid many modulated topological phases","feed_subtitle":"A single cohomology condition decides which dipole-conserving topological phases can exist in one and two dimensions.","key_machinery":"The defect network (block-state) construction, adapted to modulated symmetries. A symmetric cellulation of space carries strong SPT data $\\omega\\in H^{d+1}(G_{\\mathrm{int}},U(1))$ on the $d$-cells and weak data on lower-dimensional cells; the novelty is the non-diagonal gluing rule (Eq. 14) that implements the semidirect action and the anomaly-free condition $S^*[\\omega]=[\\omega]$ (Eq. 15) that gates which strong data survive. The lower-cell data form torsors over $H^k(G_{\\mathrm{int}}\\rtimes G_{\\Sigma},U(1))$, and the weak-data equivalences (Eqs. 34 and 36) come from translation-invariant nucleation of charges and 1D SPTs. A spectral-sequence argument relates the assembled groups to $H^{d+1","core_discovery":"For a symmetry group $G=G_{\\mathrm{int}}\\rtimes G_{\\mathrm{sp}}$, the defect network places a $G_{\\mathrm{int}}$-SPT cocycle $\\omega$ on each $d$-cell. The modulation enters when neighboring cells are coupled not through the diagonal subgroup but through $g\\mapsto U_g(L)U_{S^{-1}(g)}(R)$, where $S$ is the space-group element taking one cell to its neighbor. The paper establishes that a gapped, symmetry-preserving interface then exists only if $S^*[\\omega]=[\\omega]$ for every $S\\in G_{\\mathrm{sp}}$; when this fails, the strong data carries a 't Hooft anomaly. Lower-dimensional cells carry weak SPT data that form torsors over cohomology groups of $G_{\\mathrm{int}}$ (extended by the little grou","pith_inferences":["By the same defect-network logic, the anomaly-free condition should also constrain non-invertible and fermionic modulated phases, though the paper only develops the bosonic cohomology case.","The completeness of the weak-data equivalence relations is the main open assumption; a search for additional translation-invariant local processes identifying 0-cell data would directly test the Table I quotients.","Finite-size effects enter through the symmetry group itself; the filling constraint in Sec. VII B suggests analogous size-dependent constraints for higher multipole symmetries and in higher dimensions."],"forward_implications":["(1+1)D $\\mathbb{Z}_N$ dipolar SPTs with translations have strong index $\\mathbb{Z}_N$ and weak index $\\mathbb{Z}_N$; the neutral dipole per unit cell is trivial weak data.","(2+1)D with $\\mathbb{Z}_N$ dipole conserved in one direction is classified by $\\mathbb{Z}_N^4\\times\\mathbb{Z}_{(2,N)}$, with an extra $\\mathbb{Z}_2$ strong index for even $N$.","With $\\mathbb{Z}_N$ dipole conserved in both directions, anomalies appear on the 0-cells even without point-group symmetry, and the index splits into strong $\\mathbb{Z}_N^4$ and weak $\\mathbb{Z}_N^4$.","The $\\mathbb{Z}_N\\times\\mathbb{Z}_N$ cluster state with translation is only non-anomalous for $k=0$ (and $k=N/2$ when $N$ is even), reproducing the known restriction.","For $U(1)$ charge with $\\mathbb{Z}_L$ dipole on a ring of length $L$, the weak data yields the filling constraint $\\nu_D-\\nu(L+1)/2\\in\\mathbb{Z}$."],"supporting_citations":[{"why":"states the crystalline equivalence principle that this work generalizes to modulated symmetries","marker":"[38]"},{"why":"supplies the defect-network construction for ordinary internal symmetries that the paper modifies","marker":"[40]"},{"why":"contributes the block-state/real-space construction of crystalline SPTs used as the starting point","marker":"[41]"},{"why":"provides real-space recipe counterparts for general topological crystalline states","marker":"[42]"},{"why":"underpins the classification of gapped symmetric interfaces and the torsor structure of lower-cell data","marker":"[52]"},{"why":"gives the cluster-chain strong SPT constraint that the paper reproduces from the anomaly condition","marker":"[32]"},{"why":"gives the matrix-product-state classification of dipolar SPTs reinterpreted here as the $T^*$-invariance constraint","marker":"[33]"},{"why":"derives the finite-size dipole filling constraint that Sec. VII B reproduces from weak SPT data","marker":"[62]"}],"fun_headline_variants":["Spatial symmetries veto many dipole topological phases","One cohomology check gates dipole topological phases","Dipole phases live or die by spatial symmetry","Spatial symmetry forbids a host of dipole phases","The spatial symmetry rule that kills dipole phases"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The paper assumes that the translation-invariant processes of nucleating charges on 1-cells and expanding 1D SPTs inside 2-cells generate all equivalences among weak SPT data; if other local symmetric processes identify more data, the weak indices in Table I shrink.","fun_headline_variants_meta":{"raw":{"variants":["Spatial symmetries veto many dipole topological phases","One cohomology check gates dipole topological phases","Dipole phases live or die by spatial symmetry","Spatial symmetry forbids a host of dipole phases","The spatial symmetry rule that kills dipole phases"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000326,"raw_usage":{"total_tokens":1647,"prompt_tokens":713,"completion_tokens":934,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":457,"completion_tokens_details":{"reasoning_tokens":861}},"tokens_in":457,"tokens_out":934,"duration_ms":9845,"temperature":1.0,"reasoning_tokens":861,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T22:39:22.727827+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a finite (1+1)D chain with $\\mathbb{Z}_3$ dipole symmetry and numerically check whether the number of inequivalent gapped phases matches the predicted $\\mathbb{Z}_3$ strong $\\times$ $\\mathbb{Z}_3$ weak classification; an extra equivalence between distinct 0-cell data would show Eq. (34) is incomplete. Alternatively, attempt to build a gapped symmetric ground state whose strong data violates $S^*[\\omega]=[\\omega]$; a successful construction would falsify the anomaly condition.","supporting_citations":[{"cited_title":"Quantum breakdown model: From many-body localization to chaos with scars","cited_arxiv_id":null,"evidence_quote":"states the crystalline equivalence principle that this work generalizes to modulated symmetries"},{"cited_title":"Classifying local fractal subsystem symmetry-protected topological phases","cited_arxiv_id":null,"evidence_quote":"supplies the defect-network construction for ordinary internal symmetries that the paper modifies"},{"cited_title":"Strong planar subsystem symmetry-protected topological phases and their dual fracton orders","cited_arxiv_id":null,"evidence_quote":"contributes the block-state/real-space construction of crystalline SPTs used as the starting point"},{"cited_title":"Topological quantum chains protected by dipolar and other modulated symmetries, 2023","cited_arxiv_id":null,"evidence_quote":"provides real-space recipe counterparts for general topological crystalline states"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"underpins the classification of gapped symmetric interfaces and the torsor structure of lower-cell data"},{"cited_title":"Towards classification of fracton phases: The multipole algebra","cited_arxiv_id":null,"evidence_quote":"gives the cluster-chain strong SPT constraint that the paper reproduces from the anomaly condition"},{"cited_title":"Fracton topological order, generalized lattice gauge theory, and duality","cited_arxiv_id":null,"evidence_quote":"gives the matrix-product-state classification of dipolar SPTs reinterpreted here as the $T^*$-invariance constraint"},{"cited_title":"Symmetric gapped interfaces of SPT and SET states: systematic constructions","cited_arxiv_id":null,"evidence_quote":"derives the finite-size dipole filling constraint that Sec. VII B reproduces from weak SPT data"}],"review_version":1}