# The spin-one Haldane gap

> Claims the spin-one Haldane gap: the Heisenberg chain on even rings has an energy gap that stays above log(20)/784. Plain-English explainer with sources.

Canonical: https://closedform.nishachay.tech/e/openai-math-2026-268/
Last updated: 2026-10-14

**Claims the spin-one Haldane gap: the Heisenberg chain on even rings has an energy gap that stays above log(20)/784.**

**Trust:** Claimed, not checked · **Papers:** 2 · **First paper:** September 24, 2026 · **Field:** Mathematical physics · **Entry:** 268

*Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error.

Haldane predicted in 1983 that chains of quantum spins behave differently for whole-number and half-number spin. For spin one, the lowest energy level should stay a fixed distance below the next, however long the chain. Numerical work strongly supports this, but no proof existed for the plain Heisenberg chain. Two papers claim to prove it with explicit numerical bounds, on rings and on open chains with end fields. There is no Lean check.

## At a glance

- **First step:** 1983 (F. D. M. Haldane, prediction that integer-spin antiferromagnetic chains have a gap)
- **Significance:** Major. The Haldane gap conjecture for the spin-one Heisenberg chain is a famous open problem in mathematical physics.
- **Trust:** Claimed, not checked
- **Field:** Mathematical physics (2 papers)

## The explanation

Take two spin-one particles, tiny quantum magnets, joined by the Heisenberg interaction S₁ · S₂. Their total spin S can be 0, 1 or 2. The energy is (S(S + 1) − 4)/2, so the levels are −2, −1 and +1. The pair prefers opposite alignment, the singlet with S = 0. The gap, the step from the lowest energy to the next, is 1. Now put L such spins on a ring, each joined to its two neighbours. Does the gap stay above a fixed size as L grows, or shrink to zero?

Haldane predicted that the answer depends on the spin[1]. For half-number spins, like spin one-half, the gap closes. Lieb, Schultz and Mattis gave the rigorous half-number result for spin one-half[2]. For spin one, Haldane predicted a gap that stays positive. White and Huse estimated it numerically at 0.41050[3]. The Affleck–Kennedy–Lieb–Tasaki chain, a modified model with an extra interaction term, has a proven gap[4]. Small changes of that model keep the gap. But that does not give a gapped path to the plain Heisenberg chain[5].

The obstacle is that the plain chain is not frustration-free. That means its ground state does not minimize every neighbour interaction at once. The standard finite-size methods for gaps work for frustration-free chains[6]. The plain Heisenberg ring needs a different tool.

The first paper claims a uniform positive gap on even rings[7]. For every even L ≥ 60, the ground state is unique and the gap exceeds (4/105) log(80/79), about 0.000479[8]. For every even L ≥ 2304, the gap exceeds log(20)/784, about 0.00382. These bounds are far below the numerical 0.41, but they do not shrink with L. The paper says this resolves the conjecture in the even-periodic formulation[9].

The second paper treats open chains with 2L + 1 sites. A magnetic field of strength 3/5 acts on both end spins. The claimed gap exceeds log(10)/392, about 0.00587, for every L ≥ 960[10]. This is the setting Tasaki used to link the gap to a topological index[11]. With the gap, Tasaki's theorem gives index −1 for the limiting states[12].

How sure is this? There is no Lean formalization for these papers. The proofs combine an analytic argument with stated finite certificates for the starting lengths. They rest on two papers, and no specialist review of them has been published.

**What it doesn't show.** This does not compute the true size of the gap, about 0.41, and it does not cover other spin values or other interactions.

## Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

## Hype check

Major if it holds. There is no Lean check; the gap bounds rest on two papers with finite certificates and no published specialist review.

## Words used

- **Spin one:** A quantum magnet whose spin along any axis can take three values: −1, 0 or +1.
- **Heisenberg chain:** A line or ring of spins where each neighbouring pair has energy S_j · S_(j+1), favouring opposite alignment.
- **Spectral gap:** The step from the lowest energy to the next distinct energy.
- **Haldane gap:** The predicted positive gap of integer-spin antiferromagnetic chains that does not shrink with chain length.
- **Frustration-free:** A system whose ground state minimizes every local interaction term at the same time.
- **AKLT chain:** A spin-one chain with an extra squared interaction term, built so its gap can be proved exactly.
- **Topological index:** A whole number attached to a gapped phase that cannot change without closing the gap.

## The original papers (2)

- [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf) - September 24, 2026
- [A boundary-field gap for the spin-one Heisenberg chain](https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf) - September 24, 2026

## Quoted lines from the paper (12)

[1] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> Haldane predicted that antiferromagnetic Heisenberg chains have different low-energy behavior for integer and half-odd-integer spins.

[2] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> The half-odd-integer side has a rigorous antecedent in the low-energy excitation bound of Lieb, Schultz and Mattis for the cyclic spin-one-half chain.

[3] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> For the pure spin-one chain, White and Huse's density-matrix renormalization-group study estimated a bulk gap of $0.41050(2)$ and exhibited effective spin-one-half degrees of freedom at open ends.

[4] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> The Affleck--Kennedy--Lieb--Tasaki construction established a rigorous gapped spin-one chain with a biquadratic interaction.

[5] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> This controls a neighborhood of that interaction; it does not establish a gapped path to the pure bilinear point.

[6] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> Finite-volume methods for uniform spectral gaps have a substantial history, including the criteria of Knabe and Nachtergaele for frustration-free chains, whose ground states minimize every local interaction.

[7] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> We prove a uniform positive spectral gap for the pure antiferromagnetic spin-one Heisenberg chain on even periodic rings, establishing the positive even-periodic formulation of the spin-one Haldane conjecture.

[8] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> For the Hamiltonians (…), the ground state is unique for every even $L\ge60$, and \begin{align} \gamma_L&>\frac4{105}\log\frac{80}{79} &&\text{for every even }L\ge60,\\ \gamma_L&>\frac{\log20}{784} &&\text{for every even }L\ge2304. \end{align}

[9] From [The periodic spin-one Haldane gap](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf):

> Theorem … resolves the spin-one Haldane gap conjecture positively in the even-periodic finite-volume formulation $\Delta_1>0$.

[10] From [A boundary-field gap for the spin-one Heisenberg chain](https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf):

> The field $h=3/5$ gives a gap greater than $\log(10)/392$ on every chain of $2L+1$ sites with $L\ge960$.

[11] From [A boundary-field gap for the spin-one Heisenberg chain](https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf):

> This is the boundary formulation used by Tasaki to connect the Haldane gap problem to a nontrivial topological index.

[12] From [A boundary-field gap for the spin-one Heisenberg chain](https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf):

> Tasaki's index theorem then gives index $-1$ for every subsequential local limit of these boundary-selected ground states.

## Other sources

- [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model”

## Related

- [Area laws and tensor networks for two-dimensional gapped systems](https://closedform.nishachay.tech/e/openai-math-2026-265/) - Mathematical physics
- [Deterministic nonbipartite Ramanujan graphs in every fixed degree](https://closedform.nishachay.tech/e/openai-math-2026-178/) - Combinatorics
- [Uniform Laughlin gap and stability under bounded scalar disorder](https://closedform.nishachay.tech/e/openai-math-2026-269/) - Mathematical physics
- [The ionization and generalized ionization conjectures](https://closedform.nishachay.tech/e/openai-math-2026-263/) - Mathematical physics
- [From scale symmetry to local conformal symmetry in four-dimensional QFT](https://closedform.nishachay.tech/e/openai-math-2026-282/) - Mathematical physics
- [Mathematical physics](https://closedform.nishachay.tech/science/mathematics/mathematical-physics/) - Field · 25 results
- [Eigenvalues and spectral theory](https://closedform.nishachay.tech/topic/eigenvalues-and-spectral-theory/) - Topic · 8 results
- [Open since the 1980s](https://closedform.nishachay.tech/open-since/1980s/) - Era · 60 results
- [Claimed, not yet checked](https://closedform.nishachay.tech/trust/claimed/) - Trust · 130 results
- [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20268%5D%20)