{"id":"1b4473dd-8aed-4967-8596-8f322b0341e0","arxiv_id":"2507.13321","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Automorphic equivalence is proved for differentiable paths of locally gapped infinite-volume fermion and spin systems with super-polynomially decaying interactions, with a Goldstone theorem as a corollary.","lead":"Mathematicians extend quasi-adiabatic flow to infinitely extended lattice fermion and spin systems with interactions decaying faster than any power law, proving that gapped ground states along a differentiable path are joined by a local automorphism cocycle. The same theorem yields a Goldstone-type result: in a gapped ground state, every continuous symmetry of the Hamiltonian is also a symmetry of the state.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The finite-volume truncation in the proof of Lemma 2.10 is not a P∞ interaction: E_{B_{k/2}(x)}Φ_v(M) can be supported outside M, so the approximating dynamics used for the central cocycle bound are not well-defined under Definition 2.4.","rationale":"Read in good faith, the main argument is a careful adaptation of Moon–Ogata, and the state-differentiability assumption (iii) is explicitly flagged by the authors. The most load-bearing soft spot I find is not that assumption but the finite-volume truncation inside the proof of Lemma 2.10. The text defines approximating interactions by applying conditional expectations that can enlarge supports beyond the index set M, which contradicts Definition 2.4. Since Lemma 2.10 is the source of the decay estimates for time-evolution and for the spectral-flow automorphisms, this gap affects the proof of Theorem 3.2 directly. I do not propose a stronger verdict because the flaw is localized and a support-preserving truncation likely repairs it; the reader's CONDITIONAL verdict remains appropriate, now for an additional technical reason. The concrete check above would settle whether the repair is needed and whether the argument goes through.","tokens_in":18982,"tokens_out":48790,"duration_ms":574943,"concrete_test":"Setting d=1, k=2, x=0 and M={-10,10}, check whether E_{B_1(0)}Φ_v(M) belongs to A_{\\{-10,10\\}}. If it does not, the truncated map fails Definition 2.4; the authors must then replace the truncation (e.g. set Φ_{v,k}(M)=Φ_v(M) for M⊂B_k(z), else 0) and recompute the three estimates in the proof of Lemma 2.10. If the corrected estimates still give the stated super-polynomial decay, the theorem survives; if not, the quasi-locality bound for the spectral flow is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 2.4 requires every Φ(M) to lie in A_M. In Appendix A, the proof of Lemma 2.10 defines Φ_{v,k}(M):=E_{B_{k/2}(x)}Φ_v(M) for each M with center x∈B_{k/2}(z) and zero otherwise. Unless M⊂B_{k/2}(x), this conditional expectation lifts the support to B_{k/2}(x), and in general E_{B_{k/2}}(Φ_v(M))∉A_M (e.g. d=1, M={-10,10}, center 0, k=2). Hence Φ_{v,k} is not an interaction in P∞, and Proposition A.1/Lemma 2.10 cannot be invoked for the finite-volume approximants α^k. Those approximants are then used to prove the super-polynomial decay estimate for the actual cocycle, which underlies the quasi-locality of the spectral-flow automorphisms in Theorem 3.2. This is a concrete gap in the proof as written, though likely repairable by a support-preserving truncation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves automorphic equivalence for differentiable families of gapped, locally-unique ground states of super-polynomially decaying lattice fermion interactions (and spin interactions) on Z^d. For a differentiable path ((ω_s),(H_s)) satisfying assumptions (i)-(iii), Theorem 3.2 constructs a locally generated cocycle α_{s,t} such that ω_t = ω_s ∘ α_{s,t}. Theorem 3.3 derives a Goldstone-type statement: any continuous symmetry generated by a P∞ interaction that leaves H invariant also leaves every locally-unique gapped ground state invariant. The proof uses the quasi-adiabatic evolution strategy of Moon and Ogata, with an inverse Liouvillian and diagonal/off-diagonal decomposition, and imports algebraic light-cone Lieb-Robinson bounds from the companion paper [14].","tokens_in":19242,"tokens_out":7485,"duration_ms":86014,"significance":"If the proof is repaired at the finite-volume truncation point and the companion Lieb-Robinson bounds are correct, this is a substantial extension of Moon-Ogata from finite-range spin systems to super-polynomially decaying interactions and to fermion systems without assuming evenness of states. The Goldstone corollary is clean and potentially useful. The paper is carefully structured, with detailed appendices and explicit hypotheses. The main theorem is conditional on the explicit differentiability assumption (iii) on the state path, which is not derived from the gap condition; this is acknowledged in Remark 1.1 and should be stated more prominently. The central quasi-locality estimates also depend on the unpublished companion paper [14], which is a correctness risk until that paper is available.","major_comments":[{"comment":"The finite-volume truncation Φ_{v,k}(M) := E_{B_{k/2}(x)}Φ_v(M) for M with center x ∈ B_{k/2}(z) does not necessarily satisfy Φ_{v,k}(M) ∈ A_M, as required by Definition 2.4. For example, in d=1 with k=2 and M={-10,10} (center 0), E_{B_1(0)}Φ_v(M) lies in A_{B_1(0)}, but M is not contained in B_1(0), so E_{B_1(0)}Φ_v(M) need not lie in A_M. Consequently Φ_{v,k} is not guaranteed to be a P∞ interaction, and Proposition A.1 and the cocycle-existence statement cannot be invoked for the approximants α^k. Since these approximants are used to prove the super-polynomial decay of ∥(1-E_{B_k(z)})α_{u,v}A∥ that underlies Lemma 2.10, this is a load-bearing gap. It should be repaired by a support-preserving truncation, for example by setting Φ_{v,k}(M)=Φ_v(M) for M⊂B_{k/2}(z) and zero otherwise, and then re-checking the subsequent estimates.","section":"Appendix A, proof of Lemma 2.10 (definition of Φ_{v,k})"},{"comment":"The differentiability of s↦ω_s(A) for A∈A∞ with ω'_s continuous is not a consequence of the uniform gap condition, as Remark 1.1 explicitly acknowledges. This assumption is essential for the parallel-transport calculation in Theorem 3.2 and Proposition 4.1, and it is stronger than the corresponding assumption in Moon-Ogata. This is not an internal inconsistency, but the abstract and introduction should state this hypothesis explicitly, since the title-level claim 'automorphic equivalence within gapped phases' might otherwise be read as applying to all gapped phases rather than to differentiable paths of gapped systems.","section":"Section 3, Assumption (iii); Remark 1.1"},{"comment":"The proof of Proposition A.1 imports Theorem 6 of [14] and asserts that the finite-volume construction 'can easily be lifted to Z^d'. Because Proposition A.1 is the only input providing the algebraic light-cone bound used in Lemma 2.10, the authors should either reproduce the relevant statement from [14] with all hypotheses and constants, or provide a fully self-contained proof of the lift to Z^d. As written, the central quasi-locality estimate depends on an unpublished companion paper whose precise assumptions (finite lattice, boundary conditions, evenness requirements) are not fully spelled out here.","section":"Appendix A, Proposition A.1"}],"minor_comments":[{"comment":"The abstract should mention the differentiability assumption (iii) on the state path, since Theorem 3.2 is conditional on it and the current wording suggests a result for all gapped phases with super-polynomially decaying interactions.","section":"Abstract"},{"comment":"The boxes B_{k/2}(x) and B_{k/4}(z) are used for all k∈N0, but for odd k (or k<4) the radius is not an integer; the authors should define these as B_{\\lfloor k/2\\rfloor}(x) or B_{\\lceil k/2\\rceil}(x), with the small-k cases handled separately.","section":"Appendix A, proof of Lemma 2.10"},{"comment":"There is a typo: 'Lieb-Robinsin bounds' should read 'Lieb-Robinson bounds'.","section":"Remark 1.2"},{"comment":"The paper should indicate the status of the companion preprint [14] and specify exactly which theorem and hypotheses from that paper are used in Proposition A.1.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main theorem depends on a companion preprint by the same group ([14]) and on an explicit differentiability assumption. The referee has identified a repairable but load-bearing gap in the finite-volume truncation used in Appendix A. The editor may wish to ensure that [14] is available for review and that the authors address the truncation point in revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious generalization of Moon-Ogata to super-polynomially decaying interactions and to fermions without an evenness assumption, and the proof is mostly careful. But there is a specific gap in the finite-volume truncation in Appendix A that needs fixing, and the authors should be more explicit about what is already in their companion paper [14].\n\nWhat is actually new: the Fréchet-space norms A∞/P∞, the non-even fermionic treatment via conditional expectations, and the algebraic light-cone Lieb-Robinson bounds imported from [14]. The main theorem (3.2) is a real extension of [12], and the Goldstone corollary (3.3) plus gauge-invariance corollary (3.4) follow cleanly. The proof of the parallel transport condition (Proposition 4.1) is well-structured and the appendix work is detailed.\n\nSoft spots, in order of severity. First, the proof of Lemma 2.10 defines the finite-volume interaction Φ_{v,k}(M)=E_{B_{k/2}(x)}Φ_v(M) for M with center x. That conditional expectation generally has support B_{k/2}(x), which need not contain M, so Φ_{v,k} is not an interaction in the sense of Definition 2.4 (which requires Φ(M)∈A_M). The subsequent use of Proposition A.1 and Lemma 2.10 for these approximants therefore is not justified as written. This is a concrete gap, but it looks repairable — a support-preserving truncation should do the job, possibly with a modified estimate.\n\nSecond, the overlap with [14] is unresolved. The title of [14] mentions automorphic equivalence, and the present paper relies on [14] for the core Lieb-Robinson bounds. The authors need to state explicitly which results are new here and which are already in [14]. If [14] already proves the automorphic equivalence, the novelty of this paper shrinks substantially.\n\nThird, Assumption (iii) — differentiability of the state path with continuity of ω'_s on A∞ — is an input, not a consequence of the gap. Remark 1.1 is honest about this, but it means the theorem is conditional on a regularity property that may be hard to verify in examples. That is a genuine limitation, though not a flaw.\n\nOverall, the mathematics is thoughtfully presented and the main result is plausible. The gap in Appendix A is a real defect in the proof, but not a fatal one; I would expect a revision to fix it. This paper deserves a serious referee.\n\nRecommendation: send it to peer review, with the expectation of major revision to address the truncation and the novelty boundary.","headline":"Solid generalization of Moon-Ogata with a repairable gap in the finite-volume truncation and an unresolved novelty boundary with the companion paper.","tokens_in":19748,"tokens_out":3797,"would_cite":true,"duration_ms":40856,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L60","81R15","82B10","82B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For infinite fermion and spin systems with super-polynomially decaying interactions, gapped ground states along a differentiable Hamiltonian path are automorphically equivalent, and continuous symmetries of the Hamiltonian fix every…","keywords":["automorphic equivalence","quasi-adiabatic evolution","gapped ground states","Goldstone theorem","infinite lattice fermions","super-polynomially decaying interactions","Lieb-Robinson bounds","spectral flow"],"falsifier":"The decisive test is an explicit path of gapped, locally-unique ground states with super-polynomially decaying interactions in which the derivative of the state applied to the diagonal part of some observable fails to vanish, since that would break the parallel-transport condition and with it Theorem 3.2. A sharper target: a continuous symmetry generated by a super-polynomially decaying interaction that commutes with the Hamiltonian but moves a locally-unique gapped ground state to a different state would refute the Goldstone corollary.","tokens_in":18761,"feed_emoji":"⚛️","tokens_out":8715,"duration_ms":88317,"temperature":0.7,"pith_summary":"This paper proves that in infinitely extended lattice fermion and spin systems with interactions decaying super-polynomially, any two locally-unique gapped ground states connected by a differentiable path of Hamiltonians are related by a locally generated automorphism flow, the infinite-volume analogue of quasi-adiabatic spectral flow. The proof works in Fréchet spaces of super-polynomially decaying operators and interactions, constructs a quasi-local inverse Liouvillian, and establishes the parallel-transport condition that carries the ground state along the path. A direct corollary is a Goldstone theorem: if a continuous symmetry generated by a super-polynomially decaying interaction commutes with the Hamiltonian, then every locally-unique gapped ground state is invariant under that symmetry, so symmetry breaking forces either gaplessness or loss of local uniqueness. This extends earlier finite-range spin-system results to long-range fermion systems and avoids assuming evenness of the ground states in advance.","feed_headline":"Gapped fermion ground states connect by automorphism flows.","feed_subtitle":"The result extends quasi-adiabatic evolution to infinite lattices and makes Goldstone's theorem a corollary.","key_machinery":"The machinery is built on the Fréchet spaces $A_\\infty$ and $P_\\infty$ of super-polynomially decaying observables and interactions, with decay measured by conditional-expectation norms relative to boxes in $\\mathbb{Z}^d$. For each state $\\omega_s$ the paper defines an inverse Liouvillian $I_s$, using a filtered function $W$ whose Fourier transform is the inverse of the excitation energy, and from it the diagonal and off-diagonal parts $A^{D_s}$ and $A^{OD_s}$ of an observable with $A=A^{D_s}+A^{OD_s}$. The load-bearing identity is the parallel-transport condition $\\omega'_s(A^{D_s})=0$ for all $A\\in A_\\infty$ (Proposition 4.1), which converts the derivative of the state into an evaluation of the state on the off-diagonal part, so the cocycle generated by $-I_s(H'_s)$ satisfies $\\partial_s(\\omega_s\\circ\\alpha_{s,t})=0$. The technical underpinning is an algebraic light-cone Lieb-Robinson bound, imported from the companion work [14] and lifted to $\\mathbb{Z}^d$, which controls the time evolution and the cocycle growth with at most polynomial-in-time factors.","core_discovery":"The central claim is Theorem 3.2: for a differentiable path $((\\omega_s)_{s\\in I},(H_s)_{s\\in I})$ with $H_s\\in P_\\infty$ and each $\\omega_s$ a locally-unique gapped ground state of $H_s$ with a uniform gap, the cocycle $(\\alpha_{u,v})$ generated by the interaction family $(-I_s(H'_s))$ satisfies $\\omega_t=\\omega_s\\circ\\alpha_{s,t}$ for all $s,t\\in I$. The authors' way of stating it: the spectral flow generated by the off-diagonal part of the derivative of the Hamiltonian transports the ground states exactly along the path, without needing the GNS representations of the different states to be unitarily equivalent. Theorem 3.3 then states Goldstone's theorem for this class: any continuous symmetry generated by a $P_\\infty$ interaction that leaves $H$ invariant also leaves every locally-unique gapped ground state invariant. The Goldstone statement is a corollary because the symmetry-translated ground states form a differentiable path of gapped ground states of the constant Hamiltonian, forcing the spectral flow to be trivial.","pith_inferences":["If the theorem is right, the same spectral-flow argument should extend to any decay class admitting algebraic light-cone Lieb-Robinson bounds, with only the growth estimates changing.","A natural next step would be to replace Assumption (iii) by a theorem: prove that locally-unique gapped ground states depend differentiably on a differentiable interaction path, which would make the parallel-transport machinery fully intrinsic.","The Goldstone statement has a quantitative reading: for locally-unique gapped ground states, every continuous $P_\\infty$ symmetry is unitarily implemented in the GNS representation, so Lieb-Robinson bounds could control how symmetry-breaking order parameters must vanish as the gap tends to zero.","One could read the result as a rigidity statement for response functionals: because the spectral flow is locally generated and transports ground states exactly, quantities computed from $P_\\infty$ Liouvillians along such a path are unchanged, which is the structural form of quantized bulk transport."],"forward_implications":["Every differentiable path of gapped systems in this class is connected by a locally generated automorphism flow, with the ground states transported exactly along the path.","Goldstone's theorem holds: a continuous symmetry generated by a $P_\\infty$ interaction that commutes with the Hamiltonian cannot be broken by a locally-unique gapped ground state, so breaking such a symmetry forces gaplessness or loss of local uniqueness.","Gauge-invariant Hamiltonians have gauge-invariant locally-unique gapped ground states; in particular the states are even, even though evenness is not assumed beforehand.","The construction applies to lattice fermions without restricting to even observables, which the authors achieve by bounding the time evolution through algebraic light-cone Lieb-Robinson estimates instead of the evenness-based argument.","The authors use the result as the input to a many-body adiabatic theorem for bulk-gapped fermion systems with super-polynomially decaying interactions."],"supporting_citations":[{"why":"Supplies the fermionic conditional expectation used to define super-polynomial decay norms and locality bounds.","marker":"[1]"},{"why":"Provides the filtered functions $w$ and $W$ and the quasi-adiabatic spectral-flow construction that the paper adapts.","marker":"[3]"},{"why":"Supplies the existence proof for infinite-volume dynamics from Lieb-Robinson bounds used to control finite-volume approximations.","marker":"[5]"},{"why":"Introduces quasi-adiabatic continuation in gapped spin and fermion systems and states Goldstone's theorem as an application.","marker":"[8]"},{"why":"Proves automorphic equivalence in infinite volume for spin systems with finite-range interactions; the proof strategy and lemmas generalized here come from this work.","marker":"[12]"},{"why":"Provides the Lieb-Robinson bounds with algebraic light cones for long-range fermion systems that replace the linear light cone.","marker":"[14]"},{"why":"Provides decay estimates for commutators and Liouvillians in the super-polynomial norms used throughout the argument.","marker":"[15]"},{"why":"Earlier Goldstone theorem for infinite spin systems with finite-range interactions under an ergodicity assumption, which the paper improves to $P_\\infty$ interactions and fermions.","marker":"[16]"}],"fun_headline_variants":["Automorphic flows link gapped states in infinite fermion systems","Gapped phases are equivalent in infinite fermion systems via automorphisms","Goldstone's theorem holds for infinite gapped fermion systems","Automorphic equivalence unifies gapped phases at infinite volume"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the ground states are assumed to vary differentiably along the Hamiltonian path, with each derivative a continuous functional on the algebra of super-polynomially decaying observables; this smoothness is taken as an input rather than derived from the energy gap.","fun_headline_variants_meta":{"raw":{"variants":["Automorphic flows link gapped states in infinite fermion systems","Gapped phases are equivalent in infinite fermion systems via automorphisms","Goldstone's theorem holds for infinite gapped fermion systems","Automorphic equivalence unifies gapped phases at infinite volume"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001655,"raw_usage":{"total_tokens":6514,"prompt_tokens":828,"completion_tokens":5686,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":5596}},"tokens_in":444,"tokens_out":5686,"duration_ms":43319,"temperature":1.0,"reasoning_tokens":5596,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:26:20.994167+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The decisive test is an explicit path of gapped, locally-unique ground states with super-polynomially decaying interactions in which the derivative of the state applied to the diagonal part of some observable fails to vanish, since that would break the parallel-transport condition and with it Theorem 3.2. A sharper target: a continuous symmetry generated by a super-polynomially decaying interaction that commutes with the Hamiltonian but moves a locally-unique gapped ground state to a different state would refute the Goldstone corollary.","supporting_citations":[{"cited_title":"Equilibrium statistical mechanics of fermion lattice systems","cited_arxiv_id":null,"evidence_quote":"Supplies the fermionic conditional expectation used to define super-polynomial decay norms and locality bounds."},{"cited_title":"Automor- phic equivalence within gapped phases of quantum lattice systems","cited_arxiv_id":null,"evidence_quote":"Provides the filtered functions $w$ and $W$ and the quasi-adiabatic spectral-flow construction that the paper adapts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the existence proof for infinite-volume dynamics from Lieb-Robinson bounds used to control finite-volume approximations."},{"cited_title":"Quasi-adiabatic continuation in gapped spin and fermion systems: Goldstone’s theorem andflux periodicity","cited_arxiv_id":null,"evidence_quote":"Introduces quasi-adiabatic continuation in gapped spin and fermion systems and states Goldstone's theorem as an application."},{"cited_title":"Automorphic equivalence within gapped phases in the bulk","cited_arxiv_id":null,"evidence_quote":"Proves automorphic equivalence in infinite volume for spin systems with finite-range interactions; the proof strategy and lemmas generalized here come from this work."},{"cited_title":"Lieb-Robinsonbounds,automorphicequivalenceandLPPL for long-range interacting fermions","cited_arxiv_id":null,"evidence_quote":"Provides the Lieb-Robinson bounds with algebraic light cones for long-range fermion systems that replace the linear light cone."},{"cited_title":"Near linearity of the macroscopic hall current response in infinitely extended gapped fermion systems","cited_arxiv_id":null,"evidence_quote":"Provides decay estimates for commutators and Liouvillians in the super-polynomial norms used throughout the argument."},{"cited_title":"Charges and symmetries in quantum theories without locality","cited_arxiv_id":null,"evidence_quote":"Earlier Goldstone theorem for infinite spin systems with finite-range interactions under an ergodicity assumption, which the paper improves to $P_\\infty$ interactions and fermions."}],"review_version":1}