Haldane gap for the spin-1 Heisenberg chain
For the spin-1 antiferromagnetic Heisenberg chain with periodic boundary conditions and coupling one, prove , where is the first energy strictly above the ground space.
Problem statement
For the spin-1 antiferromagnetic Heisenberg chain with periodic boundary conditions and coupling one, prove , where is the first energy strictly above the ground space.
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
Haldane predicted in 1983 that antiferromagnetic Heisenberg chains behave qualitatively differently for integer and half-integer spin: integer-spin chains have a unique ground state separated by a spectral gap (the Haldane gap) with exponentially decaying correlations, while half-integer chains are gapless. For the gap is measured numerically at and confirmed experimentally in quasi-1D magnets.
What is known: For half-integer spin the Lieb–Schultz–Mattis theorem (extended by Affleck–Lieb, and in higher dimensions by Hastings) rigorously forbids a unique gapped ground state, consistent with gaplessness. On the integer side, the AKLT model — a nearby, specially tuned Hamiltonian — was proved by Affleck, Kennedy, Lieb and Tasaki to have a unique gapped ground state with a valence-bond-solid structure and hidden (string) order; this is the paradigm of a symmetry-protected topological phase. Den Nijs–Rommelse and Kennedy–Tasaki clarified the hidden order and its detection.
The gap of the pure Heisenberg chain remains the target: the AKLT theorem concerns a different Hamiltonian and does not by itself establish a uniformly gapped interpolation. Periodic or bulk-gap conventions avoid confusing the question with low-energy boundary spins of open chains. Higher integer spin is a related extension, not an additional condition for solving this spin-1 benchmark. The LSM theorem allows degeneracy as an alternative to gaplessness in its general setting.
Progress & source assessment
Source catalogue review: 4 September 2026. Improved indicates partial progress, including qualified preprint claims.
- [1]Haldane, 'Nonlinear field theory of large-spin Heisenberg antiferromagnets: Semiclassically quantized solitons of the one-dimensional easy-axis Néel state', PRL 50, 1153 (1983) link
- [2]Affleck, Kennedy, Lieb & Tasaki, 'Valence bond ground states in isotropic quantum antiferromagnets', Comm. Math. Phys. 115, 477 (1988) link
- [3]Lieb, Schultz & Mattis, 'Two soluble models of an antiferromagnetic chain', Ann. Phys. 16 (1961) link
- [4]Hastings, 'Lieb–Schultz–Mattis in higher dimensions', PRB 69, 104431 (2004) link
- [5]Tasaki, open lectures on quantum spin systems and the Haldane problem link
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.