pith. sign in

arxiv: 2407.17041 · v4 · submitted 2024-07-24 · ❄️ cond-mat.stat-mech · math-ph· math.MP

The Ground State of the S=1 Antiferromagnetic Heisenberg Chain is Topologically Nontrivial if Gapped

Hal Tasaki This is my paper

Pith reviewed 2026-05-23 22:49 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech math-phmath.MP
keywords S=1 antiferromagnetic Heisenberg chainsymmetry-protected topological phasetopological indexgapped ground stateone-dimensional spin chainantiferromagnetic modeledge excitation
0
0 comments X

The pith

Assuming the S=1 antiferromagnetic Heisenberg chain has a unique gapped ground state, that state carries a nontrivial topological index.

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

The paper shows that if the one-dimensional S=1 antiferromagnetic Heisenberg model has unique ground states with a uniform gap on open finite chains with boundary magnetic fields, then the ground state on the infinite chain must have a nontrivial topological index. This rules out the possibility of a unique gapped ground state that is topologically trivial. A reader would care because the result places the model in a symmetry-protected topological phase, which requires gapless edge excitations on a half-infinite chain and forces a topological phase transition when the model is continuously deformed to a trivial one.

Core claim

Under the assumption that the models on open finite chains with boundary magnetic field have unique ground states with a uniform gap, the ground state of the infinite chain has a nontrivial topological index. This further implies the presence of a gapless edge excitation in the model on the half-infinite chain and the existence of a topological phase transition in the model that interpolates between the Heisenberg chain and the trivial model.

What carries the argument

The nontrivial topological index assigned to the infinite-chain ground state, established from the finite-chain uniqueness and gap assumptions.

If this is right

  • The model belongs to a nontrivial symmetry-protected topological phase.
  • A gapless edge excitation must appear on the half-infinite chain.
  • Any continuous interpolation from the Heisenberg chain to the trivial model must cross a topological phase transition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Numerical searches for the gap in this model would simultaneously confirm its topological character if the assumption holds.
  • The same finite-to-infinite reduction might apply to other one-dimensional spin models once their gap and uniqueness are accepted.
  • The result tightens the link between the widely assumed gap and the protection of edge modes in one-dimensional antiferromagnets.

Load-bearing premise

The models on open finite chains with boundary magnetic field have unique ground states with a uniform gap.

What would settle it

Explicit construction of a unique gapped ground state on the infinite chain whose topological index is trivial, or a demonstration that finite open chains with boundary fields lack a uniform gap or unique ground state.

read the original abstract

Under the widely accepted but unproven assumption that the one-dimensional S=1 antiferromagnetic Heisenberg model has a unique gapped ground state, we prove that the model belongs to a nontrivial symmetry-protected topological (SPT) phase. In other words, we rigorously rule out the possibility that the model has a unique gapped ground state that is topologically trivial. To be precise, we assume that the models on open finite chains with boundary magnetic field have unique ground states with a uniform gap and prove that the ground state of the infinite chain has a nontrivial topological index. This further implies the presence of a gapless edge excitation in the model on the half-infinite chain and the existence of a topological phase transition in the model that interpolates between the Heisenberg chain and the trivial model.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. Under the assumption that the S=1 antiferromagnetic Heisenberg model on open finite chains with boundary magnetic field has unique ground states with a uniform gap, the paper proves that the ground state of the infinite chain has a nontrivial topological index. This rules out a unique gapped topologically trivial ground state, implies gapless edge excitations on the half-infinite chain, and establishes a topological phase transition in an interpolating model between the Heisenberg chain and the trivial model.

Significance. If the stated assumption holds, the result supplies a rigorous, parameter-free implication linking the gapped unique-ground-state property on finite chains to nontrivial SPT order on the infinite chain. This strengthens the mathematical case for the Haldane phase without introducing fitted parameters or self-referential definitions, and directly addresses a long-standing question in one-dimensional quantum magnetism.

minor comments (2)
  1. [Section 2] The definition of the uniform gap and the precise form of the boundary magnetic field could be stated more explicitly in the main text to facilitate verification of the assumption's application.
  2. [Section 4] A short remark on the relation between the finite-chain topological index and the infinite-chain limit would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the result, and recommendation to accept. No major comments were raised that require response or revision.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents an explicit conditional implication: under the external assumption that finite open chains with boundary magnetic fields have unique ground states with a uniform gap (flagged as widely accepted but unproven), the infinite-chain ground state has a nontrivial topological index. This structure is a direct derivation from stated premises to the SPT conclusion, with no reduction of any prediction or index to fitted parameters, self-definitional loops, or load-bearing self-citations. The central claim remains an implication rather than an unconditional result, and no equations or steps in the provided text exhibit the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests entirely on one domain assumption about uniqueness and uniform gap; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption The models on open finite chains with boundary magnetic field have unique ground states with a uniform gap.
    This is the explicit unproven assumption stated in the abstract on which the entire proof rests.

pith-pipeline@v0.9.0 · 5665 in / 1296 out tokens · 19478 ms · 2026-05-23T22:49:02.999532+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · 12 internal anchors

  1. [1]

    Let us review the index theory in [11], restricting our attention to the class of models with the U(1) × Z2 sym- metry [41]

    It is crucial that ˆU (α ) L and ˆU (α ) are contin- uous in α . Let us review the index theory in [11], restricting our attention to the class of models with the U(1) × Z2 sym- metry [41]. Let ˆH be a Hamiltonian for the S = 1 spin system on the infinite chain Z that is invariant under any uniform rotation about the z-axis. We assume that ˆH has a locally...

    work page

  2. [2]

    the ground state of the S = 1 antiferromagnetic Heisenberg chain is topologically nontrivial if gapped

    in terms of the expectation value of the twist opera- tor. We believe that the index coincides with the Ogata index [12, 13] for the same model. However, proving the two indices are identical is a nontrivial problem since the Ogata index is defined in terms of a projective repre- sentation of the symmetry group defined on the infinite chain and is not easy t...

    work page

  3. [3]

    F.D.M. Haldane, Ground State Properties of Antiferro- magnetic Chains with Unrestricted Spin: Integer Spin Chains as Realisations of the O(3) Non-Linear Sigma Model, ILL preprint SP-81/95 (1981). https://arxiv.org/abs/1612.00076

    work page internal anchor Pith review Pith/arXiv arXiv 1981

  4. [4]

    Haldane, Continuum dynamics of the 1-D Heisenberg antiferromagnet: identification with the O(3) nonlinear sigma model , Phys

    F.D.M. Haldane, Continuum dynamics of the 1-D Heisenberg antiferromagnet: identification with the O(3) nonlinear sigma model , Phys. Lett. 93A, 464–468 (1983). http://www.sciencedirect.com/science/article/pii/037596018390631X

    work page arXiv 1983

  5. [5]

    Haldane, Nonlinear field theory of large-spin Heisenberg antiferromagnets: semiclassically quantized solitons of the one-dimensional easy-axis N´ eel state , Phys

    F.D.M. Haldane, Nonlinear field theory of large-spin Heisenberg antiferromagnets: semiclassically quantized solitons of the one-dimensional easy-axis N´ eel state , Phys. Rev. Lett. 50 1153–1156 (1983). https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.50.1153

    work page doi:10.1103/physrevlett.50.1153 1983

  6. [6]

    Haldane, Nobel Lecture: Topological Quantum Matter, Rev

    F.D.M. Haldane, Nobel Lecture: Topological Quantum Matter, Rev. Mod. Phys. 89, 040502 (2017)

    work page 2017

  7. [7]

    Affleck, T

    I. Affleck, T. Kennedy, E.H. Lieb, and H. Tasaki, Rig- orous results on valence-bond ground states in antiferro- magnets, Phys. Rev. Lett. 59, 799 (1987)

    work page 1987

  8. [8]

    Affleck, T

    I. Affleck, T. Kennedy, E.H. Lieb, and H. Tasaki, Va- lence bond ground states in isotropic quantum antiferro- magnets, Comm. Math. Phys. 115, 477–528 (1988). https://projecteuclid.org/euclid.cmp/1104161001

    work page arXiv 1988

  9. [9]

    Oshikawa, Hidden Z2 × Z2 symmetry in quantum spin chains with arbitrary integer spin , J

    M. Oshikawa, Hidden Z2 × Z2 symmetry in quantum spin chains with arbitrary integer spin , J. Phys. Cond. Matt. 4, 7469 (1992)

    work page 1992

  10. [10]

    Tensor-Entanglement-Filtering Renormalization Approach and Symmetry Protected Topological Order

    Z.-C. Gu and X.-G. Wen, Tensor-entanglement-filtering renormalization approach and symmetry-protected topo- logical order, Phys. Rev. B 80, 155131 (2009). https://arxiv.org/abs/0903.1069

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  11. [11]

    Entanglement spectrum of a topological phase in one dimension

    F. Pollmann, A.M. Turner, E. Berg, and M. Oshikawa, Entanglement spectrum of a topological phase in one di- mension, Phys. Rev. B 81, 064439 (2010). https://arxiv.org/abs/0910.1811

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  12. [12]

    Symmetry protection of topological order in one-dimensional quantum spin systems

    F. Pollmann, A.M. Turner, E. Berg, and M. Os- hikawa, Symmetry protection of topological phases in one- dimensional quantum spin systems , Phys. Rev. B 85, 075125 (2012). https://arxiv.org/abs/0909.4059

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  13. [13]

    Topological phase transition and $\mathbb{Z}_2$ index for $S=1$ quantum spin chains

    H. Tasaki, Topological phase transition and Z2 index for S = 1 quantum spin chains , Phys. Rev. Lett. 121, 140604 (2018). https://arxiv.org/abs/1804.04337

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  14. [14]

    Ogata, A Z2-index of symmetry protected topologi- cal phases with time reversal symmetry for quantum spin chains, Commun

    Y. Ogata, A Z2-index of symmetry protected topologi- cal phases with time reversal symmetry for quantum spin chains, Commun. Math. Phys. 374, 705–734 (2020). https://arxiv.org/abs/1810.01045

    work page arXiv 2020

  15. [15]

    A ${\mathbb Z}_2$-index of symmetry protected topological phases with reflection symmetry for quantum spin chains

    Y. Ogata, A Z2-index of symmetry protected topological phases with reflection symmetry for quantum spin chains , Commun. Math. Phys. 385, 1245–1272 (2021). https://arxiv.org/pdf/1904.01669.pdf

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  16. [16]

    den Nijs and K

    M. den Nijs and K. Rommelse, Preroughening transitions in crystal surfaces and valence-bond phases in quantum spin chains , Phys. Rev. B 40, 4709 (1989)

    work page 1989

  17. [17]

    Kennedy and H

    T. Kennedy and H. Tasaki, Hidden Z2 × Z2 symmetry breaking in Haldane-gap antiferromagnets , Phys. Rev. B 45, 304–307 (1992)

    work page 1992

  18. [18]

    Kennedy and H

    T. Kennedy and H. Tasaki, Hidden symmetry breaking and the Haldane phase in S = 1 quantum spin chains , Comm. Math. Phys. 147, 431–484 (1992). https://projecteuclid.org/euclid.cmp/1104250747

    work page arXiv 1992

  19. [19]

    String order and symmetries in quantum spin lattices

    D. Perez-Garcia, M.M. Wolf, M. Sanz, F. Verstraete, and J.I. Cirac, String order and symmetries in quantum spin lattices, Phys. Rev. Lett. 100, 167202 (2008). https://arxiv.org/abs/0802.0447

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  20. [20]

    On gapped phases with a continuous symmetry and boundary operators

    S. Bachmann and B. Nachtergaele, On gapped phases with a continuous symmetry and boundary operators , J. Stat. Phys. 154, 91–112 (2014). https://arxiv.org/abs/1307.0716

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  21. [21]

    Tasaki, Physics and Mathematics of Quantum Many- Body Systems , Graduate Texts in Physics (Springer, 2020)

    H. Tasaki, Physics and Mathematics of Quantum Many- Body Systems , Graduate Texts in Physics (Springer, 2020)

    work page 2020

  22. [22]

    Knabe, Energy gaps and elementary excitations for certain VBS-quantum antiferromagnets , J

    S. Knabe, Energy gaps and elementary excitations for certain VBS-quantum antiferromagnets , J. Stat. Phys. 52, 627–638 (1988)

    work page 1988

  23. [23]

    Fannes, B

    M. Fannes, B. Nachtergaele, and R. F. Werner, Finitely correlated states on quantum spin chains , Comm. Math. Phys. 144, 443–490 (1992). https://projecteuclid.org/euclid.cmp/1104249404

    work page arXiv 1992

  24. [24]

    Nachtergaele, The spectral gap for some spin chains with discrete symmetry breaking , Commun

    B. Nachtergaele, The spectral gap for some spin chains with discrete symmetry breaking , Commun. Math. Phys. 175, 565–606 (1996). https://projecteuclid.org/euclid.cmp/1104276093

    work page arXiv 1996

  25. [25]

    Encyclopedia of Mathematical Physics (2nd edition)

    A. Young, Quantum Spin Systems, in “Encyclopedia of Mathematical Physics (2nd edition)”, R. Szabo and M. Bojowald, eds. (Elsevier, 2024). https://arxiv.org/abs/2308.07848

    work page arXiv 2024

  26. [26]

    Ground states in relatively bounded quantum perturbations of classical lattice systems

    D.A. Yarotsky, Ground States in Relatively Bounded Quantum Perturbations of Classical Lattice Systems , Commun. Math. Phys. 261, 799–819 (2006). https://arxiv.org/abs/math-ph/0412040

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  27. [27]

    Topological quantum order: stability under local perturbations

    S. Bravyi, M.B. Hastings, and S. Michalakis, Topologi- cal quantum order: stability under local perturbations , J. Math. Phys. 51, 093512 (2010). https://arxiv.org/abs/1001.0344

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  28. [28]

    Nachtergaele, R

    B. Nachtergaele, R. Sims, and A. Young Quasi-Locality Bounds for Quantum Lattice Systems. Part II. Pertur- bations of Frustration-Free Spin Models with Gapped Ground States , Annales H. Poincare, 23, 393–511 (2022). https://arxiv.org/abs/2010.15337

    work page arXiv 2022

  29. [29]

    Y. Fuji, F. Pollmann, and M. Oshikawa, Distinct trivial phases protected by a point-group symmetry in quantum spin chains , Phys. Rev. Lett. 114, 177204 (2015). https://arxiv.org/abs/1409.8616

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  30. [30]

    Marshall, Antiferromagnetism, Proc

    W. Marshall, Antiferromagnetism, Proc. Roy. Soc. A 232, 48 (1955)

    work page 1955

  31. [31]

    Lieb and D

    E.H. Lieb and D. Mattis, Ordering energy levels in inter- acting spin chains , J. Math. Phys. 3, 749–751 (1962)

    work page 1962

  32. [32]

    The field h > 0 may depend on L

    It is sufficient that (6) is valid for an infinite increasin g sequence of L. The field h > 0 may depend on L

    work page

  33. [33]

    The Physics and Mathematics of Elliott Lieb

    H. Tasaki, The Lieb-Schultz-Mattis Theorem: A Topolog- ical Point of View , in R.L. Frank, A. Laptev, M. Lewin, and R. Seiringer eds. “The Physics and Mathematics of Elliott Lieb” vol. 2, pp. 405–446 (European Mathemati- cal Society Press, 2022). https://arxiv.org/abs/2202.06243

    work page arXiv 2022

  34. [34]

    Kennedy, Exact diagonalization of open spin 1 chains , J

    T. Kennedy, Exact diagonalization of open spin 1 chains , J. Phys.: Cond. Matt. 2, 5737–5745 (1990)

    work page 1990

  35. [35]

    Hagiwara, K

    M. Hagiwara, K. Katsumata, I. Affleck, B.I. Halperin, and J.P. Renard, Observation of S = 1/2 degrees of free- dom in an S = 1 linear-chain Heisenberg antiferromag- 6 net, Phys. Rev. Lett. 65, 3181 (1990)

    work page 1990

  36. [36]

    Tasaki, Rigorous Index Theory for One-Dimensional Interacting Topological Insulators , J

    H. Tasaki, Rigorous Index Theory for One-Dimensional Interacting Topological Insulators , J. Math. Phys. 64, 041903 (2023). https://arxiv.org/abs/2111.07335

    work page arXiv 2023

  37. [37]

    Tasaki, Variations on a Theme by Lieb, Schultz, and Mattis, (YouTube video, 2022)

    H. Tasaki, Variations on a Theme by Lieb, Schultz, and Mattis, (YouTube video, 2022). https://youtu.be/XUBicfQN6kk

    work page 2022

  38. [38]

    Tasaki, Topological indices for U(1) invariant quan- tum spin chains and applications to symmetry protected topological phases and spin pumping , to be published

    H. Tasaki, Topological indices for U(1) invariant quan- tum spin chains and applications to symmetry protected topological phases and spin pumping , to be published

    work page

  39. [39]

    Order Parameter to Characterize Valence-Bond-Solid States in Quantum Spin Chains

    M. Nakamura and S. Todo, Order Parameter to Char- acterize Valence-Bond-Solid States in Quantum Spin Chains, Phys. Rev. Lett. 89, 077204 (2002). https://arxiv.org/abs/cond-mat/0112377

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  40. [40]

    Bohm, Note on a theorem of Bloch concerning possible causes of superconductivity , Phys

    D. Bohm, Note on a theorem of Bloch concerning possible causes of superconductivity , Phys. Rev. 75, 502 (1949)

    work page 1949

  41. [41]

    E. Lieb, T. Schultz, and D. Mattis, Two soluble models of an antiferromagnetic chain , Ann. Phys. 16, 407–466 (1961)

    work page 1961

  42. [42]

    Affleck and E.H

    I. Affleck and E.H. Lieb, A proof of part of Haldane’s conjecture on spin chains , Lett. Math. Phys. 12, 57–69 (1986)

    work page 1986

  43. [43]

    The extensio n is trivial

    This symmetry class is not treated in [11]. The extensio n is trivial

    work page

  44. [44]

    However, assuming that such a model has a unique gapped ground state is close to assuming that the ground state has an AKLT-like structure

    One can also treat a spin S chain without a magnetic field with two spin S/2 at the two ends to get the same conclusion [36]. However, assuming that such a model has a unique gapped ground state is close to assuming that the ground state has an AKLT-like structure. END MATTER Here, we summarize basic definitions and facts about ground states of quantum spin...

    work page

  45. [45]

    = 1 and ρ( ˆA† ˆA) ≥ 0 for any ˆA ∈ Aloc. For an arbitrary local operator ˆV ∈ Aloc, we define its commutator with ˆH as [ ˆH, ˆV ] = ℓ∑ j=− ℓ [ˆhj, ˆV ], (20) where ℓ is taken so that the support of ˆV is included in {− ℓ− 1, . . . , ℓ }. Note that the definition is independent of the choice of ℓ. It is notable that [ ˆH, ˆV ] is a well-defined local operat...

    work page