# Canonical $O(3)$ continuum limit and exact $O(4)$ mass asymptotics > Spin models with three or more components are proved to lose alignment exponentially at every temperature. Canonical: https://closedform.nishachay.tech/e/openai-math-2026-215/ Last updated: 2026-10-14 **Spin models with three or more components are proved to lose alignment exponentially at every temperature.** **Trust:** Formal proof listed · **Papers:** 5 · **First paper:** September 23, 2026 · **Field:** Probability and statistical mechanics · **Entry:** 215 *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. Put a unit arrow at each point of a flat grid, with neighbors preferring to align. With three or more components per arrow, this paper family proves the alignment fades exponentially with distance at every temperature. For four components it claims the exact fading rate at low temperature. For three components it claims a continuum quantum field theory with a mass gap. ## At a glance - **First step:** 1975 (Alexander Polyakov, the prediction of mass generation) - **Significance:** Major. It would settle a long-standing question about two-dimensional spin models, with a Lean proof of the decay part. - **Trust:** Formal proof listed - **Field:** Probability and statistical mechanics (5 papers) ## The explanation Take two arrows of length one that can point anywhere in three-dimensional space. Let them prefer to line up, with a strength called β. Pick their directions at random, weighted by e raised to β times the dot product of the two arrows. The dot product is 1 when they align and −1 when they oppose. At β = 1, the average dot product works out to coth(1) − 1, about 0.313. So the two arrows are mildly aligned. Now place such an arrow at every point of a flat square grid, with each neighbor pair preferring to align. This is the O(n) model, where n is the number of components of each arrow. For n = 3 it is the classical Heisenberg magnet. The question is how fast the alignment between two distant arrows fades with distance. In two dimensions there is no lasting order at any temperature[1]. But that leaves open whether the fading is exponential or slower[2]. For n = 2 the fading can be slow, by a polynomial law at low temperature[3]. For three or more components, Polyakov's argument predicted exponential fading at every positive temperature[4]. Rigorous results covered only high temperature or very many components[5]. Aru, Garban and Sepúlveda recorded the all-temperature question as open in 2025[6]. This family of five papers claims several answers. One paper proves exponential fading for every n of at least 3 and every temperature[7]. The bound is uniform over finite pieces of the grid with free edges[8]. For n = 4, another paper claims the exact rate at low temperature. The mass, the inverse of the fading length, behaves like 32·e^(π/4 − 1/2)·√β·e^(−πβ) as β grows[9]. The prefactor 32·e^(π/4 − 1/2) is about 42.57. At β = 2 the formula gives a mass near 0.112, a fading length near 9 grid steps. At β = 3 the length is near 168 steps. These numbers come from the leading formula, which is exact only in the limit. A companion paper claims upper and lower bounds of the same shape, and a positive gap at every temperature[10]. For n = 3, the remaining papers claim a continuum limit. Shrink the grid spacing while β grows, keeping a physical length fixed. The limit exists along every value of β, without choosing a subsequence[11]. It defines a genuine interacting quantum field theory with a positive mass gap[12]. Its lightest particle shows up as an isolated point in the spectrum[13]. The single obstacle is the low-temperature regime. There the fading length is exponentially large, and the system looks ordered over huge distances. Earlier bounds by McBryan and Spencer gave only polynomial fading, which allows a zero exponential rate[2]. A mass estimate on a fixed grid also does not by itself give the continuum theory[14]. How sure is this? A computer proof checker called Lean has a formal proof of exponential fading on finite grid pieces. It covers every n of at least 3 and every temperature. The infinite-grid limit, the O(4) mass results and the O(3) continuum construction lie outside that check. No specialist review of any of the five papers has been published. **What it doesn't show.** This does not give a Lean check of the O(4) mass formula or the O(3) continuum theory, and it says nothing new about two-component spins. ## 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. Exponential decay on finite grid pieces has a Lean proof; the O(4) mass asymptotic and the O(3) continuum theory do not. No specialist review is published. ## Words used - **O(n) model:** A grid of unit arrows with n components, where neighboring arrows prefer to align. - **Inverse temperature β:** The strength of the preference to align; large β means low temperature. - **Exponential decay:** Correlation falling at least as fast as a constant times e^(−m·distance), for some m > 0. - **Mass gap:** A positive rate m of exponential decay; its inverse is the correlation length. - **Continuum limit:** The theory obtained as the grid spacing shrinks to zero while a physical length stays fixed. - **Free boundary:** No arrows are fixed at the edge of the finite grid piece. ## The original papers (5) - [The canonical massive continuum limit of the two-dimensional O(3) model](https://github.com/openai/math/blob/main/preprints/The-canonical-massive-continuum-limit-of-the-two-dimensional-O3-model-October-4-2026/massive-continuum-o3.pdf) - October 4, 2026 - [An Isolated Particle Pole for the Two-Dimensional O(3) Spin Field](https://github.com/openai/math/blob/main/preprints/An-Isolated-Particle-Pole-for-the-Two-Dimensional-O3-Spin-Field-October-4-2026/o3-particle-pole.pdf) - October 4, 2026 - [Exact mass asymptotics for the two-dimensional O(4) lattice model](https://github.com/openai/math/blob/main/preprints/Exact-mass-asymptotics-for-the-two-dimensional-O4-lattice-model-October-5-2026/exact-mass-o4.pdf) - October 5, 2026 - [Sharp mass bounds for the two-dimensional O(4) model](https://github.com/openai/math/blob/main/preprints/Sharp-mass-bounds-for-the-two-dimensional-O4-model-September-23-2026/paper.pdf) - September 23, 2026 - [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf) - September 23, 2026 · Formal proof listed - [Lean notes](https://github.com/openai/math/blob/main/lean/docs/215.md) ## Quoted lines from the paper (14) [1] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > For the two-dimensional nearest-neighbor model, continuous symmetry prevents spontaneous magnetization, but it does not determine the rate at which distant spins decorrelate. [2] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > Such bounds quantify the loss of order but allow a zero exponential decay rate. [3] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > Fr\"ohlich and Spencer proved a polynomial lower bound for the ordinary plane rotator at sufficiently low temperature. [4] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > For three or more components, Polyakov's non-Abelian renormalization argument predicts mass generation at every positive temperature. [5] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > These regimes leave the question at a prescribed small spin dimension and arbitrarily low positive temperature. [6] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > Aru, Garban, and Sep\'ulveda record the all-temperature lattice assertion as an open conjecture in their 2025 study. [7] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > We prove exponential decay of two-point correlations for the classical nearest-neighbor $O(n)$ model on the square lattice, for every $n\ge3$ and every finite positive inverse temperature. [8] From [Exponential decay in two-dimensional classical O(n) models](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf): > The estimate is uniform over finite free-boundary subgraphs and bounded nonnegative edge strengths. [9] From [Exact mass asymptotics for the two-dimensional O(4) lattice model](https://github.com/openai/math/blob/main/preprints/Exact-mass-asymptotics-for-the-two-dimensional-O4-lattice-model-October-5-2026/exact-mass-o4.pdf): > For the nearest-neighbor \(O(4)\) model on the square lattice at inverse temperature \(\beta\), we prove the exact low-temperature asymptotic \[ m_{\mathrm{lat}}(\beta)\sim 32\exp(\pi/4-1/2)\sqrt\beta\,\exp(-\pi\beta) \qquad (\beta\to\infty). \] [10] From [Sharp mass bounds for the two-dimensional O(4) model](https://github.com/openai/math/blob/main/preprints/Sharp-mass-bounds-for-the-two-dimensional-O4-model-September-23-2026/paper.pdf): > We also prove that the model has a unique periodic local limit and a positive full gap at every finite $\beta>0$, resolving the all-temperature lattice mass-generation conjecture for this periodic state. [11] From [The canonical massive continuum limit of the two-dimensional O(3) model](https://github.com/openai/math/blob/main/preprints/The-canonical-massive-continuum-limit-of-the-two-dimensional-O3-model-October-4-2026/massive-continuum-o3.pdf): > Normalized by susceptibility and second-moment correlation length, the limit exists as the bare coupling tends to infinity through all positive real values, without selecting subsequences. [12] From [The canonical massive continuum limit of the two-dimensional O(3) model](https://github.com/openai/math/blob/main/preprints/The-canonical-massive-continuum-limit-of-the-two-dimensional-O3-model-October-4-2026/massive-continuum-o3.pdf): > The limiting fields satisfy the Osterwalder--Schrader axioms and have a nonzero connected four-point correlation on separated time supports. [13] From [An Isolated Particle Pole for the Two-Dimensional O(3) Spin Field](https://github.com/openai/math/blob/main/preprints/An-Isolated-Particle-Pole-for-the-Two-Dimensional-O3-Spin-Field-October-4-2026/o3-particle-pole.pdf): > We consider the continuum spin field constructed from the nearest-neighbor two-dimensional $O(3)$ model by the fixed prescription of the companion paper. We prove that its vector two-point spectral measure has a positive atom corresponding to the lowest mass, separated by a positive gap from all remaining mass support. [14] From [The canonical massive continuum limit of the two-dimensional O(3) model](https://github.com/openai/math/blob/main/preprints/The-canonical-massive-continuum-limit-of-the-two-dimensional-O3-model-October-4-2026/massive-continuum-o3.pdf): > A mass estimate at fixed lattice spacing does not settle this problem: one must construct the same limiting fields on which the limiting gap acts. ## 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 - [Critical and near-critical XY scaling and BKT universality](https://closedform.nishachay.tech/e/openai-math-2026-216/) - Probability and statistical mechanics - [Critical SK autocorrelation processes and dynamics across the temperature transition](https://closedform.nishachay.tech/e/openai-math-2026-227/) - Probability and statistical mechanics - [Continuum phase transitions for radial pair potentials](https://closedform.nishachay.tech/e/openai-math-2026-228/) - Probability and statistical mechanics - [All-temperature pressure of orthogonally invariant Ising spin glasses](https://closedform.nishachay.tech/e/openai-math-2026-234/) - Probability and statistical mechanics - [The Benjamini–Schramm nonuniqueness conjecture](https://closedform.nishachay.tech/e/openai-math-2026-214/) - Probability and statistical mechanics - [Probability and statistical mechanics](https://closedform.nishachay.tech/science/mathematics/probability-and-statistical-mechanics/) - Field · 29 results - [Open since the 1970s](https://closedform.nishachay.tech/open-since/1970s/) - Era · 63 results - [Lean-checked results](https://closedform.nishachay.tech/trust/lean-checked/) - Trust · 242 results - [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20215%5D%20)