Automorphic equivalence within gapped phases of infinitely extended fermion systems

Lennart Becker; Marius Wesle; Stefan Teufel

REVIEW 3 major objections 4 minor 16 references

Automorphic equivalence within gapped phases of infinitely extended fermion systems

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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…

desk verdict Solid generalization of Moon-Ogata with a repairable gap in the finite-volume truncation and an unresolved novelty boundary with the companion paper. read the letter →

arxiv 2507.13321 v2 pith:KWYZU6I2 submitted 2025-07-17 math-ph math.MPquant-ph

Lennart Becker , Stefan Teufel , Marius Wesle This is my paper · ORCID

classification math-phmath.MPquant-ph MSC 46L6081R1582B1082B20

keywords automorphicequivalencequasi-adiabaticevolutiongappedgroundstatesGoldstonetheoreminfinitelatticefermionssuper-polynomiallydecayinginteractionsLieb-Robinsonboundsspectralflow

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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].

What 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.

Soft 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.

Second, 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.

Third, 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.

Overall, 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.

Recommendation: send it to peer review, with the expectation of major revision to address the truncation and the novelty boundary.

Referee Report

3 major / 4 minor

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].

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 (3)

[Appendix A, proof of Lemma 2.10 (definition of Φ_{v,k})] 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 3, Assumption (iii); Remark 1.1] 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.
[Appendix A, Proposition A.1] 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.

minor comments (4)

[Abstract] 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.
[Appendix A, proof of Lemma 2.10] 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.
[Remark 1.2] There is a typo: 'Lieb-Robinsin bounds' should read 'Lieb-Robinson bounds'.
[References] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No definitional circularity found: the quasi-adiabatic generator, gap assumptions, and Lieb-Robinson inputs are independent; score reflects self-citation alone.

full rationale

The central claim, Theorem 3.2, is not circular. The cocycle is generated by the explicit interaction (-I_s(H'_s)), where I_s is the quasi-local inverse Liouvillian built from the gap-dependent function W(t) (Definition B.1 and B.2). The diagonal/off-diagonal split A = A_Ds + A_ODs (Lemma B.3) and the parallel transport condition omega'_s(A_Ds)=0 (Proposition 4.1) are proved using the gap condition and the imported [12, Lemma 3.2], not assumed as the conclusion. The differentiability of s -> omega_s(A) is explicitly stated as Assumption (iii) and acknowledged in Remark 1.1 as an assumption rather than a consequence; this is an honest limitation, not a circularity. The Goldstone theorem (Theorem 3.3) is a corollary of Theorem 3.2 for the constant family H_s ≡ H, where H'_s=0 makes the generated cocycle trivial; no fitted parameter is renamed as a prediction. The self-citations are to [14] for Lieb-Robinson bounds and to [15] for fermionic conditional expectation and Liouvillian estimates; these are technical inputs with stated assumptions that do not include the target automorphic equivalence, so they are independent support rather than a self-citation chain forcing the conclusion. A separate correctness concern, that the finite-volume truncation Phi_{v,k}(M):=E_{B_{k/2}(x)}Phi_v(M) in the proof of Lemma 2.10 can lie outside A_M, would be a gap in the proof as written, but it is not a circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted: the gap g, norm constants, and decay assumptions are hypotheses, not data-derived numbers. The central proof imports standard C*-algebra machinery and the companion Lieb-Robinson bounds; all are stated explicitly except the state differentiability in Assumption (iii), which is an explicit hypothesis flagged in Remark 1.1. A_infinity and P_infinity are definitions, not invented physical entities.

assumptions (4)

standard math The CAR algebra over Z^d, the tracial state, and the fermionic conditional expectations E_M satisfy Proposition 2.1.
Section 2 and Proposition 2.1, taken from references [1] and [15]. Standard quasi-local fermion algebra machinery.
domain assumption Lieb-Robinson bounds with algebraic light cones hold for super-polynomially decaying interactions on fermion systems, as imported from [14] and lifted to Z^d.
Appendix A and Lemma 2.10. The bounds are not proved from first principles in this paper and are a main technical input.
ad hoc to paper The explicit hypotheses (i)-(iii) of Section 3: differentiable P_infinity interactions, uniform local gap g, and differentiability of the state path with omega'_s continuous on A_infinity.
These are assumptions of Theorems 3.2 and 3.3, not derived from the gap condition; Remark 1.1 notes the differentiability is assumed.
domain assumption Existence, uniqueness, and polynomial-growth bounds for cocycles generated by P_infinity interactions, as stated in Lemma 2.10.
Lemma 2.10 and Appendix A; the proof relies on [5] and [14].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Automorphic equivalence within gapped phases of infinitely extended fermion systems." pith.science (2026). https://pith.science/paper/KWYZU6I2

@misc{pith2026250713321,
  author       = {Pith},
  title        = {Pith review of: Automorphic equivalence within gapped phases of infinitely extended fermion systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KWYZU6I2}},
  note         = {Machine review of arXiv:2507.13321}
}

read the original abstract

We prove automorphic equivalence within gapped phases of infinitely extended lattice fermion systems (as well as spin systems) with super-polynomially decaying interactions. As a simple application, we prove a version of Goldstone's theorem for such systems: if an infinite volume interaction is invariant under a continuous symmetry, then any gapped ground state is also invariant under that symmetry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[14]

Lieb-Robinsonbounds,automorphicequivalenceandLPPL for long-range interacting fermions

StefanTeufelandTomWessel.“Lieb-Robinsonbounds,automorphicequivalenceandLPPL for long-range interacting fermions”. Eprint: arXiv:2507.03319

work page arXiv
[12]

Automorphic equivalence within gapped phases in the bulk

Alvin Moon and Yoshiko Ogata. “Automorphic equivalence within gapped phases in the bulk”. In:Journal of Functional Analysis278.8, p. 108422 (2020)

work page 2020
[1]

Equilibrium statistical mechanics of fermion lattice systems

Huzhiro Araki and Hajime Moriya. “Equilibrium statistical mechanics of fermion lattice systems”. In:Reviews in Mathematical Physics15.02, pp. 93–198 (2003)

work page 2003
[2]

The adiabatic theorem and lin- ear response theory for extended quantum systems

Sven Bachmann, Wojciech De Roeck, and Martin Fraas. “The adiabatic theorem and lin- ear response theory for extended quantum systems”. In:Communications in Mathematical Physics 361, pp. 997–1027 (2018)

work page 2018
[3]

Automor- phic equivalence within gapped phases of quantum lattice systems

Sven Bachmann, Spyridon Michalakis, Bruno Nachtergaele, and Robert Sims. “Automor- phic equivalence within gapped phases of quantum lattice systems”. In:Communications in Mathematical Physics309.3, pp. 835–871 (2011)

work page 2011
[4]

Operator algebras and quantum statistical mechanics: Volume 1: C*-and W*-Algebras

Ola Bratteli and Derek Robinson. Operator algebras and quantum statistical mechanics: Volume 1: C*-and W*-Algebras. Symmetry Groups. Decomposition of States. Springer, 2012

work page 2012
[5]

Jean-Bernard Bru and Walther de Siqueira Pedra.Lieb–Robinson Bounds for Multi–Com- mutators and Applications to Response Theory. Vol. 13. SpringerBriefs in Mathematical Physics. Cham: Springer, 2017

work page 2017
[6]

Improved Lieb- Robinson bound for many-body Hamiltonians with power-law interactions

Dominic V. Else, Francisco Machado, Chetan Nayak, and Norman Y. Yao. “Improved Lieb- Robinson bound for many-body Hamiltonians with power-law interactions”. In:Physical Review A101.2, p. 022333 (2020)

work page 2020

Show all 16 references

[7]

Phase transitions, spontaneous symmetry breaking, and Goldstone’s theo- rem

Jürg Fröhlich. “Phase transitions, spontaneous symmetry breaking, and Goldstone’s theo- rem”. In:Encyclopedia of Condensed Matter Physics. Elsevier, 2024, pp. 158–173

2024
[8]

Quasi-adiabatic continuation in gapped spin and fermion systems: Goldstone’s theorem andflux periodicity

Mathew Hastings. “Quasi-adiabatic continuation in gapped spin and fermion systems: Goldstone’s theorem andflux periodicity”. In:Journal of Statistical Mechanics: Theory and Experiment 2007.05, P05010 (2007). 22

2007
[9]

Adiabatic theorem in the thermodynamic limit: Sys- tems with a uniform gap

Joscha Henheik and Stefan Teufel. “Adiabatic theorem in the thermodynamic limit: Sys- tems with a uniform gap”. In:Journal of Mathematical Physics63.1 (2022)

2022
[10]

Hall conductance and the statistics of flux insertions in gapped interacting lattice systems

Anton Kapustin and Nikita Sopenko. “Hall conductance and the statistics of flux insertions in gapped interacting lattice systems”. In:Journal of Mathematical Physics61.10 (2020)

2020
[11]

Adiabatic currents for interacting fermions on a lattice

Domenico Monaco and Stefan Teufel. “Adiabatic currents for interacting fermions on a lattice”. In:Reviews in Mathematical Physics31.03, p. 1950009 (2019)

2019
[13]

Non-equilibrium almost-stationary states and linear response for gapped quantum systems

Stefan Teufel. “Non-equilibrium almost-stationary states and linear response for gapped quantum systems”. In:Communications in Mathematical Physics373, pp. 621–653 (2020)

2020
[15]

Near linearity of the macroscopic hall current response in infinitely extended gapped fermion systems

Marius Wesle, Giovanna Marcelli, Tadahiro Miyao, Domenico Monaco, and Stefan Teufel. “Near linearity of the macroscopic hall current response in infinitely extended gapped fermion systems”. In:Communications in Mathematical Physics406.8 (2025)

2025
[16]

Charges and symmetries in quantum theories without locality

Walter Wreszinski. “Charges and symmetries in quantum theories without locality”. In: Fortschritte der Physik/Progress of Physics35.5, pp. 379–413 (1987). 23

1987

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [14]

Lieb-Robinsonbounds,automorphicequivalenceandLPPL for long-range interacting fermions

StefanTeufelandTomWessel.“Lieb-Robinsonbounds,automorphicequivalenceandLPPL for long-range interacting fermions”. Eprint: arXiv:2507.03319

work page arXiv

[2] [12]

Automorphic equivalence within gapped phases in the bulk

Alvin Moon and Yoshiko Ogata. “Automorphic equivalence within gapped phases in the bulk”. In:Journal of Functional Analysis278.8, p. 108422 (2020)

work page 2020

[3] [1]

Equilibrium statistical mechanics of fermion lattice systems

Huzhiro Araki and Hajime Moriya. “Equilibrium statistical mechanics of fermion lattice systems”. In:Reviews in Mathematical Physics15.02, pp. 93–198 (2003)

work page 2003

[4] [2]

The adiabatic theorem and lin- ear response theory for extended quantum systems

Sven Bachmann, Wojciech De Roeck, and Martin Fraas. “The adiabatic theorem and lin- ear response theory for extended quantum systems”. In:Communications in Mathematical Physics 361, pp. 997–1027 (2018)

work page 2018

[5] [3]

Automor- phic equivalence within gapped phases of quantum lattice systems

Sven Bachmann, Spyridon Michalakis, Bruno Nachtergaele, and Robert Sims. “Automor- phic equivalence within gapped phases of quantum lattice systems”. In:Communications in Mathematical Physics309.3, pp. 835–871 (2011)

work page 2011

[6] [4]

Operator algebras and quantum statistical mechanics: Volume 1: C*-and W*-Algebras

Ola Bratteli and Derek Robinson. Operator algebras and quantum statistical mechanics: Volume 1: C*-and W*-Algebras. Symmetry Groups. Decomposition of States. Springer, 2012

work page 2012

[7] [5]

Jean-Bernard Bru and Walther de Siqueira Pedra.Lieb–Robinson Bounds for Multi–Com- mutators and Applications to Response Theory. Vol. 13. SpringerBriefs in Mathematical Physics. Cham: Springer, 2017

work page 2017

[8] [6]

Improved Lieb- Robinson bound for many-body Hamiltonians with power-law interactions

Dominic V. Else, Francisco Machado, Chetan Nayak, and Norman Y. Yao. “Improved Lieb- Robinson bound for many-body Hamiltonians with power-law interactions”. In:Physical Review A101.2, p. 022333 (2020)

work page 2020