一盒小球，三种世界。

02 / 同一团气体的三种语言

镜头越拉越远，主角也跟着改变

第一层是微观世界。每颗硬球在两次碰撞之间匀速运动；碰撞时，速度按照动量与能量守恒重新分配。这个世界非常具体，也非常昂贵：粒子数一大，完整状态就巨大得无法直接使用。

第二层是介观世界。Boltzmann 方程不追踪身份，只追踪分布。方程左边让粒子自由飞行，右边的碰撞算子$Q(f,f)$统计不同速度的粒子相撞之后，某一类速度是增加还是减少。

第三层是宏观世界。对速度分布取平均，就得到密度、动量、温度等流体量。邓煜、Hani 与 Ma 随后的工作把这条链继续接到可压缩 Euler 方程与不可压缩 Navier–Stokes–Fourier 方程；准确地说，这是在稀薄硬球气体和论文所规定的极限框架中完成的。[3]

03 / 卡住半个世纪的两个字

短时间里，粒子像陌生人；时间一长，它们就有了共同往事

1975 年，Oscar Lanford 已经在 Boltzmann–Grad 极限中严格建立了硬球动力学到 Boltzmann 方程的桥梁，但只覆盖“足够短”的时间。邓煜等人的论文从这里继续：把结论延伸到任意长的时间区间，只要对应的 Boltzmann 解仍然存在。[2][7]

为什么“再等一会儿”会把证明变得完全不同？因为一次碰撞不只改变速度，也建立了关系。A 撞过 B，B 又撞过 C，后来 C 再遇到 A；这时把 A 和 C 当成彼此独立的随机样本，就可能重复计算或漏掉相关性。

微观方程本身是可逆的：把所有速度反向，系统会沿原路返回。Boltzmann 方程却带着统计上的时间方向。新结果并不是一句话“解释了宇宙为何有时间箭头”，而是在明确的低密度极限与初态条件下，证明这种有效统计描述可以从可逆动力学中产生并维持。

04 / 证明里的技术戏剧

不要丢掉碰撞记忆：先把它画成“分子”，再动刀

研究过程里有一个很朴素的转折：如果长时间太难，能不能先把它切成许多短时间？ 邓煜曾回忆，这个想法是在 Providence 一家韩式炸鸡店里突然出现的。[8]朴素的问题最后需要一整套新框架，原因是每切一层时间，可能的碰撞历史都会继续分叉。

1. 01

   给时间分层

   把一个难以控制的长区间分成短窗口，但保留窗口之间传下来的信息。

2. 02

   用 cumulant 记录相关性

   不假装所有粒子永远独立，而是显式追踪碰撞造成的共同历史有多强。

3. 03

   把碰撞史编码成 CH molecules

   复杂积分被翻译成组合图；图的边、层和回路告诉你哪一种历史最危险。

4. 04

   切开并控制剩余图

   设计切割算法，把庞大结构拆成可以估计的小块，最后证明相关项整体足够小。

原论文把核心难点概括得非常明确：传播一个记住完整碰撞历史的长时间 cumulant 结构，把估计化为碰撞历史图的组合性质，再用精细切割算法完成控制。[2]这里的“切开”不是删除不喜欢的情形，而是以保持估计合法的方式分解对象。

05 / 这把刀最早用在波浪上

粒子会碰撞，波会共振；数学上的障碍却有相似轮廓

在挑战硬球之前，邓煜与 Hani 已经研究了波湍流。微观一侧是非线性 Schrödinger 方程：它追踪波的相位与相互作用；统计一侧是 wave kinetic equation：它追踪 Fourier 模式之间的平均能量转移。

他们首先在特定尺度律下，于 kinetic timescale 严格导出了 wave kinetic equation；随后又处理更完整的尺度范围。第二项工作明确指出三件新事：识别会阻碍展开收敛的巨大“坏图”、发现坏图之间的系统性约消、再为剩余图设计稳健的估计算法。[4][5]

粒子和波在物理上并不是同一种东西，但“确定性微观动力学如何生成统计方程”是同一类问题。波动工作提供的长期展开与图组合经验，后来成为攻克硬球问题的重要范式。

06 / 随机性不是噪声

一条波形可以变得认不出来，整个分布却仍保持原样

菲尔兹奖正式 Citation 还特别提到邓煜对非线性 Schrödinger 动力学的概率方法。这里的思想不是给方程随手“撒一点随机数”，而是把随机初态当成一个有精确结构的统计集合。[1]

和 Andrea Nahmod、Haitian Yue 的工作考虑二维环面上的 defocusing nonlinear Schrödinger 方程及其 Gibbs 测度。他们证明了相对于该测度的几乎处处全局适定性，并得到动力学下的 Gibbs 测度不变性；证明使用了新的 random averaging operators。[6]

这条线与 kinetic theory 的共同主题非常鲜明：个体轨迹可以极度复杂，但只要随机结构能够传播，整体统计规律仍可能稳定、可证、可预测。

07 / 不夸张，成果反而更漂亮

它解决了什么，也没有声称解决什么

• 确实建立了长时间桥梁。对稀薄硬球系统，在论文规定的极限和正则性条件下，Boltzmann 描述在对应解存在的整个时间区间有效。

• 确实触及 Hilbert 第六问题的核心纲领。后续论文在这一气体框架中把 Newton → Boltzmann → fluid equations 的链条接通。

• 不是给“所有物质、所有初态、所有时间”盖章。硬球、稀薄极限、初始统计结构以及 Boltzmann 解的存在范围，都是结论的一部分。

• 也不是把 Hilbert 对整个物理学公理化的宏大愿景一次完成。更准确的表述是：它解决了经由 Boltzmann 动力学从 Newton 定律导出流体方程的这一纲领，在特定稀薄硬球气体情形中的关键问题。