{"id":"6fb40d34-b90a-454f-99d3-af73ab743fdc","arxiv_id":"2411.19268","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"On decomposable 1D fermion chains, the chiral many-body invariant equals the unpaired-end-fermion count, and the reflection invariant is fixed by charge and parity at the reflection center; adding translation symmetry yields a Z x Z2 x Z4 classification.","lead":"This paper tests many-body topological invariants on interacting one-dimensional fermion chains with chiral or reflection symmetry, and finds the invariants agree with whether deformations stay gapped. It also shows that, for chains built from decoupled pieces, the reflection invariant can be read off from the charge and reflection parity sitting at the symmetry center.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Z4 quotient in Eq. (15) rests on an unproved assignment of the AHSS first differential Im(d1_1,0)=Z(2,1); if a different d1 is correct, the central bulk–center correspondence changes.","rationale":"The reader's weakest_assumption is exactly the same load-bearing point: the first AHSS differential d1_1,0 is assigned through the adiabatic-pump picture rather than derived, and the Z4 quotient and bulk–center correspondence depend on it. I agree with that identification after rereading Section 5.1, Figure 5, Appendix C, and the translation-symmetry analogue in Section 6. The paper's positive evidence is substantial: exact diagonalization spectra match the invariant predictions, the decomposable models give consistent (NC, RC) assignments in Tables 2–5, and the Appendix D generator checks are internally consistent. However, none of these numerical checks distinguishes the chosen d1 assignment from alternatives that would also fit the finite models, because the finite models are specifically constructed so that their center quantum numbers fall into the claimed equivalence classes. The central mathematical claim, that the AHSS differential is exactly Z(2,1), is not verified by an independent computation; it is an input. For the translation case, the paper is even more explicit that the final classification is speculative (the invariants are proposed and checked only on generators). A CONDITIONAL verdict is therefore appropriate: the paper's physical picture and numerics are credible and likely correct, but the derivation of the central classification claim should be completed or referenced before full acceptance. The reader's other flagged issues (generator-based verification, Table 1 sign typo) are secondary and do not change the verdict.","tokens_in":23675,"tokens_out":2196,"duration_ms":17661,"concrete_test":"Compute h^{U(1) x Z2^R}_0(R, ∂R) by an independent route that does not use the Fig. 5 pump, e.g., apply the known generalized-homology AHSS for equivariant pin^c SPTs from Shiozaki–Xiong–Gomi (2023) directly to the Z2 cell decomposition of R, using the explicit boundary map d1 defined by the homology of the pair (R, ∂R). Compare the resulting E2_0,0 = E1_0,0/Im(d1_1,0) with (Z x Z2)/Z(2,1) = Z4. Additionally, check consistency with the cobordism classification Hom(Ω_2^{pin^c}(pt), U(1)) = Z4 by mapping the four equivalence classes [(0,0)], [(1,0)], [(2,0)], [(3,0)] to the four phases and verifying that the direct Z4 generator obtained from the independent computation reproduces Eq. (16) on the decomposable models in Tables 2–5.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim of Section 5.1 is the bulk–center correspondence (16), which derives the Z4 classification from the equivalence relation (NC, RC) + n(2,1) ~ (NC, RC) in Eq. (15). This equivalence is fixed by the assignment Im(d1_1,0) = Z(2,1), justified in the text by the adiabatic-pump picture of Fig. 5: a pair (+e, -e) is created on the 1-cell, one branch is moved to the reflection center, and the other branch is moved to infinity, producing two charges and one reflection-parity flip at the center. The argument is physically suggestive but not a theorem: d1_1,0 is a differential in an Atiyah-Hirzebruch spectral sequence for generalized homology, and its value should follow from the boundary map of the underlying homology theory evaluated on the cell decomposition. The paper does not derive this differential from the definition (45) or from the known generalized homology of the point with U(1) x Z2^R structure; it asserts it via a wave-packet pump. A different convention for the pin^c structure, a different choice of which SPT state on the 1-cell is the generator, or a different identification of the anomaly contribution on the 0-cell could change Im(d1_1,0) to, e.g., Z(2,0) or Z(0,1)-generated, which would change the quotient (Z x Z2)/Z(2,1) and hence the claimed Z4 and the correspondence (16). Since Eq. (16) is the key real-space interpretation of the reflection invariant, the classification claim is only as secure as this d1 assignment. The paper flags this as a modeling assumption implicitly, but does not cite an independent computation of the same AHSS differential or provide a derivation from the generalized homology functor. The same issue propagates to Section 6, where Im(d1_1,0) = Z(2,1,-2,1) and the Z x Z2 x Z4 result in Eq. (23) inherit the same unproved input.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies one-dimensional fermionic SPT phases with U(1)×Z2^S (chiral) and U(1)×Z2^R (reflection) symmetries, which are related by the crystalline equivalence principle and both classified by Z4. For extensions of the SSH model (H_α and interacting Hint_α), the authors compute the many-body invariants Z^S and Z^R from ground states, verify a chiral bulk-boundary correspondence 2Arg[Z^S]/π = N_b−N_a mod 4, and propose a reflection bulk-center correspondence relating Z^R to quantum numbers (N_C,R_C) at the reflection center via an Atiyah-Hirzebruch spectral sequence argument. They also treat the role of translation symmetry, claiming the classification becomes Z×Z2×Z4 and is described by the triple (Z_f, 2Arg[Z^R_C]/π, 2Arg[Z^R_C']/π).","tokens_in":24078,"tokens_out":8280,"duration_ms":70682,"significance":"If correct, the bulk-center correspondence provides a physically transparent real-space characterization of these interacting phases and a concrete illustration of how crystalline-equivalent SPT phases can differ microscopically. The paper's main strengths are its systematic evidence: Tables 1–5 show consistency between the invariants and the gap-closing behavior of the deformations; Appendix A gives clean analytic computations of Z^S and Z^R for H_1; and the deformations H_2→Hint±2→H_−2 and −H_0→−Hint0 give explicit interacting examples where the many-body picture differs from the free-fermion one. However, the mathematical classification claim rests on an unproved assignment of the first AHSS differential, and the translation-symmetry verification in Appendix D uses Eq. (16) in a circular way. These points need to be resolved before the central classification claim is fully established, though the numerical core of the paper appears sound.","major_comments":[{"comment":"The value Im(d1_1,0)=Z(2,1) is assigned by the adiabatic-pump wave-packet argument in Fig. 5 rather than computed from the boundary map in Eq. (45) or from the generalized homology h^{U(1)×Z2^R}_0. Since this image determines the equivalence relation (N_C,R_C)+n(2,1)∼(N_C,R_C) in Eq. (15), and hence the Z4 quotient and the bulk-center correspondence Eq. (16), the central reflection classification is load-bearing on an unproved input. Please derive this differential from the cell decomposition and the underlying generalized homology theory, or clearly state it as an assumption and discuss whether alternative conventions (for the pin^c structure, the choice of generator on the 1-cell, or the anomaly contribution on the 0-cell) could change the quotient.","section":"§5.1, Eq. (15), Fig. 5"},{"comment":"The translation-symmetry classification Z×Z2×Z4 in Eq. (23) relies on the same kind of unproved assignment, Im(d1_1,0)=Z(2,1,−2,1), justified by the adiabatic pump in Fig. 11. Because the entire change from the Z4 classification of §5.1 to the Z×Z2×Z4 classification of §6 comes from this image, this assignment needs the same level of mathematical justification as the nontranslation case. In particular, the paper should show that the differential follows from the Z⋊Z2-equivariant cell decomposition rather than from a heuristic wave-packet motion.","section":"§6, Eq. (23), Fig. 11"},{"comment":"The verification of the proposed invariants for the generators in Eq. (29) is circular with respect to the bulk-center correspondence. Appendix D states: 'By considering the restriction (24), eq. (16), and the fact that ... we can readily verify that the generators (28) satisfy the statement (27).' Since Eq. (16) is precisely the bulk-center correspondence under investigation, the generator check does not independently establish the classification by the triple (Z_f, 2Arg[Z^R_C]/π, 2Arg[Z^R_C']/π). Please compute Z^R_C and Z^R_C' directly for the representing Hamiltonians in Eqs. (49), (52), and (55), or explicitly state that Eq. (16) is being assumed as a hypothesis rather than verified.","section":"Appendix D, §6.1"},{"comment":"The assignment of the quantum numbers (N_C,R_C) to a decomposable system is not unique, and the paper does not specify a canonical rule. In §6.3, the naive assignment for −H0 with translation symmetry C1/4 and C3/4 gives (0,0,0,0), and the authors replace it by (2,1,0,0) or (0,0,2,1) to satisfy restriction (24). Without a canonical prescription for localizing charges on the reflection center(s), the map from models to equivalence classes is not well-defined, and the agreement in Tables 2–5 could depend on this choice. Please specify a canonical assignment (e.g., from the ground-state product structure and the decomposition into subsystems) and prove that the resulting equivalence class is independent of the allowed charge moves.","section":"§5.2, §6.3"}],"minor_comments":[{"comment":"The phrase 'transition symmetry' in the abstract and in the introduction should read 'translation symmetry'.","section":"Abstract and §1"},{"comment":"The caption says 'The way to calculate Z^R_C1/2 and Z^R_C1/2' but the second entry should be Z^R_C2/2.","section":"Table 3 caption"},{"comment":"The labels for the reflection centers in the translation-symmetry discussion are inconsistent: the triples for translation j→j+4 with centers C1/4 and C3/4 (and C2/4 and C4/4) are written with C1/2 and C2/2, and 'Table 5' for odd α should be 'Table 4'.","section":"§6.3"},{"comment":"Two sentences are incomplete because the intended figures are missing: 'the picture of its charges in a subsystem is Here we make ...' and 'such as Because of ...' should either include the diagram or be rewritten as a self-contained verbal description.","section":"§6.3"},{"comment":"The notation in Eq. (51) has unbalanced parentheses, and '∈ Z' should be '∈ Z × Z4 × Z4' or should specify the image of the map. In Eq. (53), the symbol '∼' is used inside a numerical expression; it should be replaced by an explicit statement about equality of equivalence classes in the quotient.","section":"Appendix D, Eqs. (51)–(53)"}],"recommendation":"major_revision","confidential_remarks":"The numerical and analytical core of the paper—Tables 1–5, Appendix A, and the deformation spectra—is convincing and provides good evidence for the proposed correspondences. My main reservation is that the AHSS differential assignment is asserted rather than proved, and the translation-symmetry generator check uses Eq. (16) in a circular way. Given that one author is a principal developer of the generalized-homology framework, I expect these gaps can be filled with a direct derivation or an explicit caveat; I would be willing to accept after that is supplied. The paper fits the journal's scope well, but the missing figures in §6.3 should also be fixed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a useful paper that packages known classifications into concrete real-space formulas and checks them numerically. The soft spot is that the reflection-sector classification hangs on an unproved assignment of an AHSS differential, so Eq. (16) is only as secure as that input.\n\nWhat's new: Eqs. (9), (16), (26) — real-space bulk-boundary and bulk-center correspondences for decomposable 1D fermionic SPT phases, and the Z×Z2×Z4 invariant triple when translation symmetry is present. The classifications themselves are from Shiozaki–Xiong–Gomi and cobordism, so the novelty is in the physical packaging, not the group-theoretic result. That packaging is worthwhile: counting unbound fermions or reading charges/parities at the reflection center gives people a direct way to identify phases in interacting models, without computing a partition-function invariant.\n\nWhat the paper does well: the numerical checks are credible and extensive. Tables 1–5 systematically compare invariants to gap-closing in deformations, including the H2 → Hint → H−2 path where the many-body Z^S stays fixed while the free-fermion winding changes — a nice demonstration. Appendix A's analytical evaluation of Z^S and Z^R for H1 is clean and reproducible. The paper is also honest about the speculative nature of the translation construction.\n\nThe soft spots: the load-bearing input is the value of the first AHSS differential. The paper sets Im(d1) = Z(2,1) using the adiabatic-pump picture in Fig. 5, but it never computes that differential from the definition (45) or from the generalized homology functor. A different convention for the pin^c structure or a different identification of the 0-cell anomaly could change the quotient, and with it the claimed Z4 and the correspondence (16). The stress-test note is right about this. The same unproved input propagates to Section 6's Z×Z2×Z4. Second, Appendix D verifies the translation-invariant generators using Eq. (16) itself to convert quantum numbers into invariant values, so that part of the verification is circular. Third, there's a sign typo in Table 1's caption (the reader flagged it); minor.\n\nAre these fatal? Not quite. The paper's core phase-structure verification is independent — Z^S and Z^R are evaluated from ground states and compared to spectra, and the results are consistent with the assumed d1. The d1 assignment is physically motivated and clearly flagged as a picture rather than a theorem. If a referee insists that the classification claim be proven from the homology functor, the authors should either supply that computation or explicitly re-cast the reflection correspondence as conditional on the d1 value. As it stands, I'd send this to peer review with a request to justify or de-emphasize the AHSS step, and to state the translation section as a proposal rather than a settled result.\n\nWho it's for: anyone computing invariants of 1D interacting fermion models, especially those using decomposable or nearly decomposable systems. The paper is clearly written and the numerics are transparent. It deserves a serious referee.","headline":"Useful real-space invariants for 1D fermionic SPTs, but the reflection classification rests on an assumed AHSS differential.","tokens_in":24647,"tokens_out":3196,"would_cite":true,"duration_ms":26962,"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":"Interacting reflection-symmetric fermion chains get a Z4 many-body classification","keywords":["symmetry-protected topological phases","one-dimensional fermions","crystalline equivalence","reflection symmetry","chiral symmetry","many-body topological invariants","Atiyah-Hirzebruch spectral sequence","bulk-center correspondence"],"falsifier":"Construct a decomposable reflection-symmetric chain whose center quantum numbers differ by the equivalence (2,1) but whose partial-reflection invariant Z^R evaluated at α=−π/2 takes different values; that would disprove Eq. (16). Equivalently, derive Im(d1_{1,0}) directly from local unitary pumps on the lattice models and check whether it equals Z(2,1); any other value invalidates the claimed Z4 quotient.","tokens_in":23490,"feed_emoji":"⚛️","tokens_out":6244,"duration_ms":53253,"temperature":0.7,"pith_summary":"The paper studies one-dimensional charge-conserving fermionic systems whose gapped phases are protected by either chiral symmetry or reflection symmetry. Because of the crystalline equivalence principle, both families are classified by the same Z4 group, but the paper shows that the concrete physics differs: the chiral invariant counts unbound fermions at the edges, while the reflection invariant is carried by charges and reflection parities localized at the reflection center. Working with extensions of the SSH model, with and without interactions, the authors compute these many-body invariants and verify that gapped deformations between phases occur exactly when all invariants stay fixed. They further show that adding translation symmetry changes the reflection classification to Z×Z2×Z4, while leaving the chiral classification unchanged. A sympathetic reader would take away that real-space, ground-state quantum numbers are enough to fix the topology of these interacting phases.","feed_headline":"Reflection-symmetric fermion chains get a Z4 many-body classification","feed_subtitle":"The same center-localized quantum numbers predict when gapped deformations between phases are impossible.","key_machinery":"The load-bearing object is the Atiyah-Hirzebruch spectral sequence (AHSS) for generalized homology, applied to a Z2-symmetric cell decomposition of the line. Its first differential, set by an adiabatic-pump picture to Im(d1_{1,0})=Z(2,1) (or Z(2,1,−2,1) with translation), imposes the equivalence relation (N_C,R_C)+n(2,1)∼(N_C,R_C) that quotients the center quantum numbers down to Z4. The quantum numbers themselves are the charge number N_C and reflection eigenvalue R_C of the state localized at the reflection center, which for decomposable systems are directly read from the product ground state. The partial-reflection invariant Z^R then acts as the bridge: the paper argues that 2 Arg[Z^R]/π and (N_C,R_C) carry the same information, making the abstract cobordism invariant computable from real-space data.","core_discovery":"For a decomposable one-dimensional system with U(1)×Z2^R symmetry, the partial-reflection partition function Z^R(H_d) evaluates, at α=−π/2, to the pair of symmetry quantum numbers at the reflection center: (N_C,R_C) is equivalent to (2 Arg[Z^R(H_d)]/π, 0), under the equivalence (N_C,R_C)+n(2,1)∼(N_C,R_C). This quotient produces the Z4 classification. With translation symmetry the classification is the triple (Z_f, 2Arg[Z^R_C]/π, 2Arg[Z^R_C']/π), valued in Z×Z2×Z4, where Z_f is the filling per subsystem and the two reflection factors are evaluated at the two inequivalent reflection centers. The paper demonstrates this bulk-center correspondence numerically for the SSH extensions and their interacting versions, and shows that the resulting phase boundaries coincide with the gap-closing points of the many-body spectra.","pith_inferences":["One untested consequence is that the same center-quantum-number prescription should work for any decomposable system that respects the symmetry, not just the SSH-like models considered here; a reader could check this on other lattice families.","The paper's reliance on an assumed first differential suggests a direct lattice derivation of Im(d1_{1,0}) would be the natural next step; without it, the classification rests on a phenomenological input.","Because the equivalence (N_C,R_C)+n(2,1) is central, computing the partial-reflection invariant for systems whose center quantum numbers differ by (2,1) would provide a sharp test of the correspondence."],"forward_implications":["Gapped deformations between models exist exactly when all topological invariants remain unchanged; a change in any chiral or reflection invariant forces a phase transition.","H2 and H−2, which carry opposite free-fermion winding numbers, can be adiabatically connected through an interacting chiral-symmetric path because they share the same many-body invariant Arg[Z^S]=π.","For reflection symmetry, H0 and H2 belong to the same reflection phase, so a reflection-preserving deformation connecting them exists even without interactions once chiral symmetry is broken.","Adding translation symmetry upgrades the reflection classification from Z4 to Z×Z2×Z4, while leaving the chiral classification untouched.","For decomposable systems, topological invariants can be replaced by simple symmetry quantum numbers, removing the need to evaluate partition-function traces."],"supporting_citations":[{"why":"Supplies the Atiyah-Hirzebruch spectral sequence framework used to justify the bulk-center correspondence and the Z4 quotient.","marker":"[16]"},{"why":"Establishes the crystalline equivalence principle that identifies the classifications of chiral and reflection-symmetric SPT phases.","marker":"[21]"},{"why":"Defines the partial-reflection many-body topological invariant Z^R that the paper evaluates for its reflection-symmetric models.","marker":"[23]"},{"why":"Defines the partial-transpose many-body topological invariant Z^S used for chiral-symmetric systems.","marker":"[24]"},{"why":"Provides the general framework for fermionic many-body topological invariants from which the chiral and reflection constructions are drawn.","marker":"[26]"},{"why":"Gives the free-fermion classification of topological quantum matter, the Z-classification that the interacting Z4 result reduces.","marker":"[4]"},{"why":"Shows that interactions can reduce a free-fermion classification, motivating the study of interacting many-body SPT phases.","marker":"[28]"},{"why":"Explains how SPT states on a 1-cell can trivialize states on a 0-cell, the physical picture behind Im(d1_{1,0}).","marker":"[45]"},{"why":"Introduces the alpha-chain models that the paper's non-interacting SSH extensions are analogues of.","marker":"[27]"}],"fun_headline_variants":["Reflection symmetry yields Z4 many-body class for 1D fermions","Z4 invariant from reflection center predicts gapped deformation barriers","Bulk-center correspondence gives Z4 topological classification in 1D","Partial-reflection partition function encodes Z4 phase structure","Reflection-symmetric fermion chains: Z4 classification from quantum numbers"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire Z4 and Z×Z2×Z4 classification hangs on the assigned value of the first spectral-sequence differential, Im(d1_{1,0}) = Z(2,1) (and Z(2,1,−2,1) with translation), which the paper takes from an adiabatic-pump picture rather than deriving from the lattice Hamiltonians; a different assignment would change the classification and the correspondence.","fun_headline_variants_meta":{"raw":{"variants":["Reflection symmetry yields Z4 many-body class for 1D fermions","Z4 invariant from reflection center predicts gapped deformation barriers","Bulk-center correspondence gives Z4 topological classification in 1D","Partial-reflection partition function encodes Z4 phase structure","Reflection-symmetric fermion chains: Z4 classification from quantum numbers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000273,"raw_usage":{"total_tokens":1660,"prompt_tokens":991,"completion_tokens":669,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":607,"completion_tokens_details":{"reasoning_tokens":581}},"tokens_in":607,"tokens_out":669,"duration_ms":6522,"temperature":1.0,"reasoning_tokens":581,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:21:55.734624+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a decomposable reflection-symmetric chain whose center quantum numbers differ by the equivalence (2,1) but whose partial-reflection invariant Z^R evaluated at α=−π/2 takes different values; that would disprove Eq. (16). Equivalently, derive Im(d1_{1,0}) directly from local unitary pumps on the lattice models and check whether it equals Z(2,1); any other value invalidates the claimed Z4 quotient.","supporting_citations":[{"cited_title":"Generalized homology and Atiyah-Hirzebruch spectral sequence in crystalline symmetry protected topological phenomena","cited_arxiv_id":null,"evidence_quote":"Supplies the Atiyah-Hirzebruch spectral sequence framework used to justify the bulk-center correspondence and the Z4 quotient."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the crystalline equivalence principle that identifies the classifications of chiral and reflection-symmetric SPT phases."},{"cited_title":"Many-body topological invariants in fermionic symmetry-protected topological phases: Cases of point group symmetries","cited_arxiv_id":null,"evidence_quote":"Defines the partial-reflection many-body topological invariant Z^R that the paper evaluates for its reflection-symmetric models."},{"cited_title":"Many-body topologi- cal invariants for fermionic short-range entangled topological phases protected by antiunitary symmetries","cited_arxiv_id":null,"evidence_quote":"Defines the partial-transpose many-body topological invariant Z^S used for chiral-symmetric systems."},{"cited_title":"Many-body topological invariants for fermionic symmetry-protected topological phases","cited_arxiv_id":null,"evidence_quote":"Provides the general framework for fermionic many-body topological invariants from which the chiral and reflection constructions are drawn."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the free-fermion classification of topological quantum matter, the Z-classification that the interacting Z4 result reduces."},{"cited_title":"One-dimensional symmetry pro- tected topological phases and their transitions","cited_arxiv_id":null,"evidence_quote":"Introduces the alpha-chain models that the paper's non-interacting SSH extensions are analogues of."}],"review_version":1}