2026 FIELDS MEDAL · YU DENG
One box.Three worlds.
Every sphere obeys Newton’s laws. Why should the gas as a whole obey a different, statistical equation? Writing down both descriptions is easy. Proving that they remain one story after a long history of collisions is not.
- Citation threads
- PDE · probability · mathematical physics
- Reading time
- About 12 minutes
- Sources
- 8 items · source-graded
Microscopic
Mesoscopic
Macroscopic
01 / STATE THE PROBLEM
The achievement is not a new equation. It is a proof that two worlds really connect.
Imagine a transparent box. Inside it there is no “temperature,” no “pressure,” and no gas treated as one object. There are only hard spheres: straight flights interrupted by elastic collisions. If every position and velocity were known, Newtonian mechanics would determine the next moment.
That is not how we normally describe air. We use temperature and pressure, or a functionthat counts how much matter lies near position with velocity at time . This is the language of the Boltzmann equation.
The difficult word is “proved.” Physics had long relied on the bridge, and computation had long used the equation on the far side. The mathematical obstacle was to show why the statistical description remains valid after collisions create long, shared histories among particles.
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.
Track each particle between impacts.
Ask how many particles belong to each class.
Density, bulk velocity, and temperature take over.
At the kinetic scale, particle identity disappears. Free transport sits on the left of the Boltzmann equation; the collision operatorrecords how impacts move particles among velocity classes.
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.
The number of impacts is not the only difficulty. The same particles can meet again through different paths.
Microscopic hard-sphere dynamics is reversible, while the Boltzmann equation carries a statistical direction of time. The theorem is not a one-line solution to the arrow of time. It proves, under precise low-density and initial-data hypotheses, that an effective statistical evolution can emerge from reversible dynamics and remain valid over long times.
04 / THE TECHNICAL DRAMA
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.
- 01
Layer time
Break a long interval into short windows while preserving the information passed between them.
- 02
Record correlations with cumulants
Do not pretend particles remain independent; track the strength of their shared histories.
- 03
Encode histories as CH molecules
Translate complicated integrals into combinatorial diagrams whose loops and layers reveal dangerous histories.
- 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 a legitimate decomposition of the estimate, not discarding inconvenient cases.
05 / THE KNIFE WAS FIRST SHARPENED ON 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.
Identifiable particles generate an expanding collision genealogy.
Deterministic waves generate increasingly complicated interaction trees.
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. What they share is the demand to 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. Randomness here is not an arbitrary perturbation. Initial data is sampled from a precisely 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 / PRECISION MAKES 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.
08 / NOW MAKE IT MOVE
Animation will not “prove” the theorem. It will make the proof’s hardest objects visible.
The first interactive release combines the first two questions on one synchronized stage, following this article’s chain of evidence:
Two views of one gas
Track hard spheres on the left and only their empirical distribution on the right. Change particle count and dilution to compare the descriptions.
Draw collision genealogies
Select a particle and unfold its collision history. Watch an ordinary branch become a correlation loop after a recollision.
Cut long time by hand
Compare a single expansion with a layered one, seeing why short windows simplify local behavior while creating combinatorial bookkeeping.
Understand what the picture means before making it move. Then a simulation becomes a microscope for the argument, not fireworks after the conclusion.
SOURCES / CITATION POLICY
Where each claim comes from
The article prioritizes the IMU’s official citation and original research papers. News sources support only biographical or process details, and preprints are labeled rather than presented as published papers.
- [1]Open source
Fields Medal 2026 — Yu Deng: Short and Long Citation
International Congress of Mathematicians 2026
Primary authority for the scope of the medal citation. - [2]Open source
Long time derivation of the Boltzmann equation from hard sphere dynamics
arXiv:2408.07818; Annals of Mathematics, to appear
The central long-time derivation from hard-sphere dynamics. - [3]Open source
Hilbert’s sixth problem: derivation of fluid equations via Boltzmann’s kinetic theory
arXiv:2503.01800
Continues the bridge from Boltzmann to fluid equations in the dilute hard-sphere setting. - [4]Open source
Full derivation of the wave kinetic equation
Inventiones Mathematicae 233, 543–724
A rigorous derivation of wave kinetics from nonlinear Schrödinger dynamics. - [5]Open source
Derivation of the wave kinetic equation: full range of scaling laws
arXiv:2301.07063
Source for bad diagrams, systematic cancellation, and the bounding algorithm. - [6]Open source
Invariant Gibbs measures and global strong solutions for nonlinear Schrödinger equations in dimension two
Annals of Mathematics 200(2), 399–486
Primary source for Gibbs invariance and random averaging operators. - [7]Open source
Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma)
arXiv:2602.04407
An expert exposition of the proof architecture. - [8]Open source
UChicago Prof. Yu Deng receives Fields Medal, highest honor in mathematics
University of Chicago
Background for the research process and the short-time-interval insight.