# Critical and near-critical XY scaling and BKT universality

> Six papers claim exact critical laws for the planar XY model, as the Berezinskii–Kosterlitz–Thouless picture predicts.

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

**Six papers claim exact critical laws for the planar XY model, as the Berezinskii–Kosterlitz–Thouless picture predicts.**

**Trust:** Claimed, not checked · **Papers:** 6 · **First paper:** September 24, 2026 · **Field:** Probability and statistical mechanics · **Entry:** 216

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

In the XY model, needles on a grid prefer to point the same way. Physicists predicted exact laws for how alignment fades at and near the critical point. These papers claim to prove them: the critical power 1/4, with a logarithmic correction, and the predicted law for the fading length near the threshold. Two of the papers depend on stated inputs from the others.

## At a glance

- **First step:** 1971 (Vadim Berezinskii, the spin-wave prediction)
- **Significance:** Major. It would turn central predictions of the Berezinskii–Kosterlitz–Thouless theory into theorems for the standard XY model.
- **Trust:** Claimed, not checked
- **Field:** Probability and statistical mechanics (6 papers)

## The explanation

Put a compass needle at each point of a flat square grid. Each needle can point in any direction in the plane. Neighbors prefer to point the same way, with a strength b, weighted by e raised to b times the cosine of the angle between them. This is the XY model[1]. The question is how strongly two needles r steps apart stay aligned on average.

At the critical strength, the answer claimed here is a constant times r^(−1/4)·(log r)^(1/8)[2]. Take r = 100 and then r = 10,000. The plain power r^(−1/4) shrinks by a factor of about 0.316. The logarithm factor grows by 2^(1/8), about 1.090. Together the alignment shrinks by a factor of about 0.345. The logarithm is a small correction, but it never goes away[3].

This model has a famous transition. Berezinskii predicted in 1971 that alignment fades slowly, like a power of distance, at low temperature[4]. Kosterlitz and Thouless explained the transition by swirls of needles, called vortices, that pair up or come loose[5]. Above the critical temperature, alignment fades exponentially. Below it, it fades like a power. Physicists predicted that, exactly at the switch, the power is 1/4[6]. They also predicted a strange law for the fading length near the switch.

Rigorous work confirmed parts of the picture. McBryan and Spencer proved power-law upper bounds[7]. Fröhlich and Spencer proved the low-temperature phase with slow fading exists[8]. Van Engelenburg and Lis proved a power-law lower bound at the threshold, but not with the sharp power[9].

The six papers claim to settle several predictions. One claims the critical power is exactly 1/4[10]. Another claims the logarithmic correction above, with a positive constant[2]. A third claims the predicted law for the fading length ξ near the threshold. As the strength b rises toward its critical value, the square root of the gap times log ξ tends to a positive constant[11]. So ξ grows like e raised to a constant over that square root. As an illustration with constant 1, a gap of 0.04 gives a length near 148. A gap of 0.01 gives a length near 22,000. The real constant is not computed. A fourth paper claims the large-scale random heights of a related model look like a Gaussian field, with a universal critical value[12].

Two papers rest on stated inputs from their companions. One claims the alignment at the center of a square with fixed boundary needles[13]. It assumes stated inputs from the companion papers[13]. The other claims the limit of the whole needle field at the critical point[14]. It uses the companion theorems on heights and pins[14].

The single obstacle is that the transition is very gentle. Near it, standard methods see only slow, logarithmic changes. The papers work through a dual description by random integer heights[15]. Earlier work with these heights did not pin down the exact constant at the threshold or its power[15].

How sure is this? There is no Lean formalization for these results in the openai/math release, so no computer has checked the proofs. Two of the six papers depend on stated inputs from the others. The constants in the main formulas are shown to exist but are not computed. No specialist review of any of the papers has been published.

**What it doesn't show.** This does not compute the constants in these laws, and two results rest on stated inputs from companion papers.

## 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, two papers rest on stated companion inputs, the constants are not computed, and no specialist review is published.

## Words used

- **XY model:** A grid of planar needles, where neighbors prefer to point the same way.
- **Critical point:** The coupling strength b_c where fading switches from exponential to power-law.
- **Correlation length ξ:** The distance over which alignment fades by a fixed factor in the exponential regime.
- **Vortex:** A spot around which the needles turn through a full circle.
- **Logarithmic correction:** An extra factor that grows like a power of log r, slower than any power of r.
- **Gaussian free field:** A standard random surface whose heights have a bell-curve law at every point.
- **Discrete Gaussian height model:** A random surface with integer heights at each grid point, linked to the XY model by duality.

## The original papers (6)

- [The critical logarithmic correction for the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-logarithmic-correction-for-the-planar-XY-model-October-5-2026/paper.pdf) - October 5, 2026
- [Critical Center Magnetization in the Planar XY Model](https://github.com/openai/math/blob/main/preprints/Critical-Center-Magnetization-in-the-Planar-XY-Model-October-5-2026/paper.pdf) - October 5, 2026
- [The Critical Spin Field of the Planar XY Model](https://github.com/openai/math/blob/main/preprints/The-Critical-Spin-Field-of-the-Planar-XY-Model-October-5-2026/paper.pdf) - October 5, 2026
- [Essential Singularity of the Correlation Length in the Planar XY Model](https://github.com/openai/math/blob/main/preprints/Essential-Singularity-of-the-Correlation-Length-in-the-Planar-XY-Model-October-5-2026/paper.pdf) - October 5, 2026
- [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf) - September 24, 2026
- [BKT universality for height and planar spin fields](https://github.com/openai/math/blob/main/preprints/BKT-universality-for-height-and-planar-spin-fields-September-24-2026/paper.pdf) - September 24, 2026

## Quoted lines from the paper (15)

[1] From [The critical logarithmic correction for the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-logarithmic-correction-for-the-planar-XY-model-October-5-2026/paper.pdf):

> The planar XY model at inverse temperature \(b>0\), with free boundary, is the probability measure \begin{equation} \frac{1}{Z_{R,b}} \exp\left\{b\sum_{\{x,y\}\in E_R}\cos(\theta_x-\theta_y)\right\} \prod_{x\in\Lambda_R}\frac{\dd\theta_x}{2\pi}, \qquad \theta_x\in\R/(2\pi\Z). \end{equation}

[2] From [The critical logarithmic correction for the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-logarithmic-correction-for-the-planar-XY-model-October-5-2026/paper.pdf):

> The theorem establishes this correction and the existence of a positive finite microscopic amplitude for the free-box thermodynamic correlation.

[3] From [The critical logarithmic correction for the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-logarithmic-correction-for-the-planar-XY-model-October-5-2026/paper.pdf):

> The logarithm is smaller than every fixed power of \(r\), but it prevents \(r^{1/4}C_{b_c}(r)\) from converging to a finite nonzero limit.

[4] From [The critical logarithmic correction for the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-logarithmic-correction-for-the-planar-XY-model-October-5-2026/paper.pdf):

> Berezinskii's spin-wave analysis predicted algebraic correlations for planar spins at low temperature.

[5] From [The critical logarithmic correction for the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-logarithmic-correction-for-the-planar-XY-model-October-5-2026/paper.pdf):

> Kosterlitz and Thouless described a transition driven by the unbinding of vortex pairs, and Kosterlitz developed a renormalization-group analysis of the critical behavior of the nearest-neighbor model.

[6] From [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf):

> The Berezinskii--Kosterlitz--Thouless theory predicts that the correlation exponent at the boundary of that phase is exactly \(1/4\).

[7] From [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf):

> McBryan and Spencer proved power-law upper bounds for planar spin correlations.

[8] From [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf):

> Fr\"ohlich and Spencer proved the existence of the low-temperature algebraic phase by a Coulomb-gas analysis.

[9] From [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf):

> Their critical lower bound is the external endpoint input used here; its exponent is not sharp.

[10] From [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf):

> More precisely, at the mass-defined critical inverse temperature, the infinite-volume correlation is \(n^{-1/4+o(1)}\).

[11] From [Essential Singularity of the Correlation Length in the Planar XY Model](https://github.com/openai/math/blob/main/preprints/Essential-Singularity-of-the-Correlation-Length-in-the-Planar-XY-Model-October-5-2026/paper.pdf):

> As the inverse temperature \(b\) approaches \(b_c\) from the massive side, \[ \sqrt{b_c-b}\log\frac{1}{m(b)} \longrightarrow A_{\mathrm{XY}}, \] where \(A_{\mathrm{XY}}\) is a finite, strictly positive model-specific constant.

[12] From [BKT universality for height and planar spin fields](https://github.com/openai/math/blob/main/preprints/BKT-universality-for-height-and-planar-spin-fields-September-24-2026/paper.pdf):

> After the natural lattice normalization, the critical effective temperature has the universal value \(8\pi\).

[13] From [Critical Center Magnetization in the Planar XY Model](https://github.com/openai/math/blob/main/preprints/Critical-Center-Magnetization-in-the-Planar-XY-Model-October-5-2026/paper.pdf):

> Assuming the stated critical-height, local-renormalization, and spin-field inputs from the companion papers, we determine the center magnetization of the planar XY model in a square with aligned boundary spins at its mass-defined critical threshold.

[14] From [The Critical Spin Field of the Planar XY Model](https://github.com/openai/math/blob/main/preprints/The-Critical-Spin-Field-of-the-Planar-XY-Model-October-5-2026/paper.pdf):

> Using the companion critical Bessel-height and pin-limit theorems, we prove that at the mass-defined critical inverse temperature of the nearest-neighbor XY model on the square lattice, the spin field on a square with boundary angles fixed to zero converges along the full sequence to the full-variance imaginary exponential of a zero-Dirichlet Gaussian free field with stiffness \(2/\pi\).

[15] From [The critical correlation exponent of the planar XY model](https://github.com/openai/math/blob/main/preprints/The-critical-correlation-exponent-of-the-planar-XY-model-September-24-2026/paper.pdf):

> These results do not identify the endpoint coefficient or its magnetic correlation exponent.

## 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

- [Canonical O(3) continuum limit and exact O(4) mass asymptotics](https://closedform.nishachay.tech/e/openai-math-2026-215/) - 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 low-temperature Sherrington–Kirkpatrick fluctuation law](https://closedform.nishachay.tech/e/openai-math-2026-217/) - 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
- [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%20216%5D%20)