Kinetic limits and fluctuations over the Boltzmann lifespan

Claims the Boltzmann equation follows from Newton's laws for short-range forces for as long as it stays regular.

2 papers September 23, 2026 Explained by AI

The Boltzmann equation describes a thin gas through the density of molecules at each place and velocity. Lanford derived it from Newton's laws for hard spheres, but only for a short time. Deng, Hani and Ma recently extended the hard-sphere case to the whole time the solution stays regular. The first paper claims the same for smooth short-range forces, including attractive ones. The second claims that, for hard spheres, the small random fluctuations around the Boltzmann prediction become Gaussian over the same time span.

First step

1975

Oscar Lanford, short-time derivation of the Boltzmann equation for hard spheres

Significance

Major

It claims to extend the kinetic limit to smooth forces with attractive wells over the full regular lifespan, and adds a fluctuation theorem.

Trust

Claimed, not checked

Field

Partial differential equations

2 papers

The explanation

Imagine a gas of tiny balls of diameter ε. In the Boltzmann–Grad scaling, the number per unit volume is about μ = 1/ε²Source 1. With ε = 0.1 that is 100. With ε = 0.01 it is 10,000, and with ε = 0.001 it is 1,000,000. A ball moving one unit sweeps a tube of cross-section about ε². So the expected number of hits per unit time is about μ × ε², which stays 1 in every case. The balls shrink, but collisions stay just as frequent. In this limit, Newton's laws for all the balls should reduce to the Boltzmann equation. It is one equation for the density f of molecules at each position and velocity.

Lanford proved this limit for hard spheres, but only for a short timeSource 2. The reason is that correlated collision histories grow too fast to control. Deng, Hani and Ma proved the hard-sphere limit on every finite time interval where the Boltzmann solution stays regularSource 3. Smooth forces add difficulty, because encounters last for a positive time and several molecules can interact at onceSource 4.

The first paper claims the limit for smooth forces. The force between two molecules depends only on their distance and vanishes beyond a fixed range. It may have attractive wells and a strong repulsive core. Its only sign condition is thermodynamic stability, which stops the gas from collapsingSource 5. Take any finite interval where the Boltzmann solution keeps a Gaussian bound in velocity. There, the scaled statistics of any fixed number of molecules converge to products of fSource 6. Wells, long scattering delays and clusters formed by the motion are allowedSource 7.

The second paper looks at the next order, for hard spheres. Take the empirical average and subtract its exact expected value, then multiply by √μSource 8. With μ = 1,000,000 that factor is 1,000, so it reveals deviations of size about 0.001. The paper claims these fluctuations converge, at finitely many fixed times, to a Gaussian field. That field solves the linear fluctuating Boltzmann equationSource 9. It holds on the same regular lifespan, away from equilibrium. It does not claim convergence of the whole path in timeSource 10.

How sure is this? There is no Lean check. A computer proof checker has not looked at any part of it. Both papers rely on long collision-history expansions that build on Deng, Hani and Ma. No specialist review of either paper has been published.

What it doesn't show. This does not prove that the Boltzmann equation stays regular forever; it assumes a regular solution on the chosen interval. It does not prove convergence of the whole fluctuation path, and it has no Lean check.

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 the proofs hold: they would extend the kinetic limit to smooth forces and give fluctuations over the full regular lifespan. They assume a regular Boltzmann solution and have no Lean check or published specialist review.

Words used

Boltzmann equation: An equation for the density of gas molecules at each place and velocity, with free flight and collisions.
Boltzmann–Grad limit: Shrinking the molecules while raising their number so the collision rate stays fixed.
Grand-canonical: A model where the number of molecules is itself random, set by an activity parameter.
Radial potential: A force law that depends only on the distance between two molecules.
Thermodynamic stability: A condition on the force that stops the potential energy from becoming arbitrarily negative per molecule.
Central limit theorem: A result that sums of many small random effects become bell-shaped, or Gaussian.
Regular kinetic interval: A time span on which the Boltzmann solution exists and stays smooth with Gaussian velocity decay.

The original papers (2)

The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals (PDF, opens in a new tab)
September 23, 2026
Hard-sphere fluctuations on the regular Boltzmann lifespan (PDF, opens in a new tab)
September 23, 2026

All quoted lines (10)

In three dimensions the activity is $\mu_\varepsilon=\varepsilon^{-2}$ .
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
Lanford established the hard-sphere limit on a short time interval, and King's thesis treated positive finite-range potentials.
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
Deng, Hani, and Ma proved the hard-sphere limit throughout every regular finite kinetic interval.
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
Smooth potentials require additional control because encounters last for positive time and several particles can interact simultaneously.
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
Its only sign condition is thermodynamic stability, in the classical sense of.
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
All fixed-order rescaled factorial marginals converge in $L^1$ , uniformly throughout every finite interval on which the classical kinetic solution has a uniform Gaussian bound.
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
Attractive wells, long scattering delays, and noninjective scattering maps are permitted.
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals Back to text
The expectation in (…) is exact.
Hard-sphere fluctuations on the regular Boltzmann lifespan Back to text
Its fluctuations converge to the Gaussian solution of the linear fluctuating Boltzmann equation.
Hard-sphere fluctuations on the regular Boltzmann lifespan Back to text
Our conclusion extends the time interval away from equilibrium but concerns finite-dimensional laws, rather than process convergence.
Hard-sphere fluctuations on the regular Boltzmann lifespan Back to text

Other sources

openai/math release notes (2026): model provenance and review status manuscripts and supporting proof artifacts produced by an internal OpenAI model

369The hot spots conjecture for simply connected planar domainsPartial differential equations
375De Giorgi's conjecture in dimension eightPartial differential equations
363Nonuniqueness with local conservation for the hard-sphere Boltzmann equationPartial differential equations
365Joint metric and connection recovery from one boundary patchPartial differential equations
362Global smoothness for relativistic Vlasov–MaxwellPartial differential equations

Browse Partial differential equations Open since the 1970s Claimed, not yet checked