One box.Three worlds.

02 / Three languages for one gas

Pull the camera back, and the main character changes

At the microscopic scale, every sphere moves freely between impacts, with momentum and kinetic energy redistributed at each elastic collision. The description is concrete but enormous.

At the kinetic scale, particle identity disappears. Free transport sits on the left of the Boltzmann equation; the collision operator$Q(f,f)$describes how impacts move particles from one velocity class to another.

At the macroscopic scale, moments of the distribution produce fluid variables. A companion work by Deng, Hani, and Ma continues the chain to compressible Euler and incompressible Navier–Stokes–Fourier equations within the dilute hard-sphere framework and limiting regimes stated in the paper.[3]

03 / The two words that blocked the road

For a short time, particles are strangers. Later, they share a past.

Oscar Lanford established the hard-sphere-to-Boltzmann bridge in 1975, but only for a sufficiently short interval. The new work extends the derivation to arbitrarily long intervals, provided the corresponding Boltzmann solution continues to exist.[2][7]

Waiting longer changes the proof because a collision creates both a new velocity and a relationship. A hits B, B later hits C, and C eventually meets A again. Treating A and C as independent samples can now double-count or miss correlations.

Microscopic hard-sphere dynamics is reversible, while the Boltzmann equation carries a statistical direction of time. The theorem does not settle the arrow of time in one line. What it proves, under precise low-density and initial-data hypotheses, is that an effective statistical evolution can emerge from reversible dynamics and remain valid over long times.

04 / The technical heart of the proof

Keep the memory: encode collision histories as “molecules,” then cut carefully

One turning point began with a simple question: if a long interval is too difficult, can it be divided into short ones? Deng has recalled that the idea arrived in a Korean fried-chicken shop in Providence.[8]The answer required a new framework because every time layer creates more possible collision histories.

1. 01

   Layer time

   Break a long interval into short windows while preserving the information passed between them.

2. 02

   Track correlations with cumulants

   Particles do not stay independent, so track how strongly their histories are linked.

3. 03

   Encode histories as CH molecules

   Translate complicated integrals into combinatorial diagrams whose loops and layers reveal dangerous histories.

4. 04

   Cut and control the remainder

   Use a careful algorithm to decompose large structures into pieces that can be bounded.

The original paper describes the core in the same order: propagate a long-time cumulant structure that retains full collision history, reduce the estimates to combinatorial properties of collision-history diagrams, and control them with an elaborate cutting algorithm.[2]“Cutting” here means splitting the estimate into pieces that can each be bounded; no cases are thrown away.

05 / The tool was first developed for waves

Particles collide and waves resonate, but the mathematical obstruction has a familiar shape

Before hard spheres, Deng and Hani studied wave turbulence. The microscopic side is a nonlinear Schrödinger equation tracking phases and interactions. The statistical side is a wave kinetic equation tracking average energy transfer among Fourier modes.

They first derived the wave kinetic equation at the kinetic timescale under a specified scaling law, then addressed a fuller range of scalings. The later work identifies arbitrarily large bad diagrams, uncovers systematic cancellations among them, and builds a robust algorithm for the remaining diagrams.[4][5]

Particles and waves are physically different, but both pose the same task: derive a statistical equation from deterministic microscopic dynamics. The long-time expansions and diagrammatic experience developed for waves became a template for the hard-sphere problem.

06 / Randomness is structure, not noise

One wave can become unrecognizable while the ensemble law stays the same

The official medal citation also highlights Deng’s probabilistic approaches to nonlinear Schrödinger dynamics. Here the randomness has a precise structure: the initial data are drawn from a well-defined statistical ensemble.[1]

With Andrea Nahmod and Haitian Yue, Deng studied defocusing nonlinear Schrödinger equations on the two-dimensional torus. They proved almost-sure global well-posedness with respect to the associated Gibbs measure and obtained invariance of that measure under the dynamics, using new random averaging operators.[6]

The common theme with kinetic theory is striking: individual trajectories may be extremely complicated, but if probabilistic structure propagates, collective laws can remain stable, rigorous, and predictive.

07 / Precise claims make the result stronger

What the work establishes — and what it does not claim

• It establishes a long-time bridge. In the paper’s dilute hard-sphere limit and regularity regime, the Boltzmann description remains valid throughout the lifespan of the corresponding solution.

• It reaches a central program within Hilbert’s sixth problem. The companion paper connects Newtonian particles through Boltzmann kinetics to fluid equations in this setting.

• It is not a statement about every material, initial condition, or time. Hard spheres, the dilute limit, initial statistical structure, and the lifespan of the Boltzmann solution are part of the theorem.

• It does not axiomatize all of physics at once. The accurate claim concerns the Newton-to-fluid program through Boltzmann kinetic theory for a specific dilute hard-sphere gas.