微观：N 个硬球的牛顿系统
状态由 N 粒子的位置 X_N=(x₁…x_N) 与速度 V_N 描述。其联合概率密度 f_N(t,X_N,V_N) 满足刘维尔方程：∂ₜf_N = {H, f_N}（相空间体积守恒，可逆）。
希尔伯特在 1900 年提出的第二十三问中的第六问——物理的公理化。 一百多年后，邓煜与 Zaher Hani、马骁用一套新的组合与分析工具， 首次在整个时间区间上严格证明了：从原子尺度的牛顿定律，真的能"长"出介观的玻尔兹曼方程。
希尔伯特是公理化的大师。他在几何里做的事是：列出几条不证自明的公理（如"过两点有且只有一条直线"）， 再用纯逻辑推出所有定理。他希望在物理里也做同样的事——
少量自明公理 + 形式逻辑 ⇒ 整个几何体系。结论必然成立，因为前提是约定好的。
当时物理学家对"热量是什么""分子怎么结构"还在吵架。希尔伯特希望用公理把物理立稳。
所以"希尔伯特第六问题"不是一道具体的计算题，而是一项计划（program）： 把从微观粒子到宏观流体的每一步过渡，都变成可被严格证明的数学命题。 它通常被拆成两步极限：
粒子数 N→∞ 时，N 粒子牛顿系统 ⇒ 单粒子分布 f(t,x,v) 满足的玻尔兹曼方程。这是最难的"第一步"。
碰撞频率→∞（克努森数 Kn→0）时，玻尔兹曼方程 ⇒ 欧拉方程与纳维-斯托克斯-傅里叶方程。第二步历史上较先做通。
物理世界按尺度分成四层。每层有自己最顺手的方程。希尔伯特第六问题关心的， 就是下层如何严格推出上层——尤其是最底下两层之间那道百年鸿沟。
从微观（看清单个分子小球）一路放大到宏观（只看到一团连续的云雾）。注意：对象没变，变的只是你愿意追踪的精细程度。
要从牛顿定律推出玻尔兹曼方程，必须跨过一道坎：分子混沌假设（Stosszahlansatz）。 它说——两个即将碰撞的分子，其速度是彼此独立、且与位置无关的。
横轴=分子 A 的速度，纵轴=分子 B 的速度。颜色越亮代表"同时取到这对速度"的概率越大。
下面用开关对比两种情形：
开启（混沌）：矩阵是"可分离的"——它在对角方向上是两个一维分布的乘积，没有任何"关联条带"。这正是玻尔兹曼敢于写下碰撞项的前提。
关闭（真实关联）：出现一条明亮的关联带——比如一对分子刚碰撞过、正准备"再碰撞"（recollision）。这种关联会让简单的乘积公式失效，也正是 1975 年 Lanford 只能证明"极短时间"的根源：时间一长，不可避免的重复碰撞会滋生关联。
牛顿定律在时间上是对称的：把一段运动录像倒放，依然符合物理规律。 但宏观热力学有清晰的时间箭头——干冰升华后绝不会自动重新聚成一块。 这矛盾吗？先看一个最小demo。
Loschmidt（1876）质问玻尔兹曼：既然底层定律可逆，你的 H 定理（熵只增不减）凭什么成立？
悖论：若把气体演化到高熵态后再把所有分子速度反转，按可逆定律它会倒流回低熵——那"熵增"岂不是假的？
化解：反转速度得到的那个"高熵态"，是一种极其特殊、带反关联的细观状态，现实中几乎不会出现。玻尔兹曼方程默认了"分子混沌"——这是一条只对未来成立的统计假设，本身就带方向性。熵增不是定律"禁了"倒流，而是典型状态几乎必然走向高熵。
下面这个模拟里，几百个硬球最初全挤在左侧角落（低熵状态）。点"开始"，看它们如何自发铺满空间—— 这正是熵增的直观样貌。同时观察右侧的 H(t) 曲线如何单调下降，以及速度分布如何收敛到麦克斯韦分布。
注：此处的"熵"取空间分布香农熵的直观版本用于演示；严格 H 定理中的 H(f) 是速度分布的函数。二者精神一致——都刻画"从有序走向无序"。
滚动浏览这条"严格推导链"。每一步都对应一项可被证明的数学命题——而不是物理学家拍脑袋的近似。
状态由 N 粒子的位置 X_N=(x₁…x_N) 与速度 V_N 描述。其联合概率密度 f_N(t,X_N,V_N) 满足刘维尔方程：∂ₜf_N = {H, f_N}（相空间体积守恒，可逆）。
逐次积分得到 k 粒子边缘分布 f_k 的方程组。麻烦在于：f_k 的方程里耦合着 f_{k+1}——层级是"开口"的，无法直接闭合。
令分子直径 a→0、粒子数 N→∞，且保持 N·ad−1 = 1（平均自由程固定）。在此极限下，层级解耦，得到 f₂ ≈ f₁⊗f₁——分子混沌自动涌现。
单粒子分布 f(t,x,v) 满足 ∂ₜf + v·∇ₓf = Q(f,f), Q=∫∫|(v−v̄)|((v−v̄)·ω)₊[f′f̄′ − ff̄] dω dv̄ 右端碰撞项正是 H 定理的来源——它不可逆。
当碰撞频率远大于流动时间尺度（克努森数 Kn→0），对玻尔兹曼方程做展开：零阶得欧拉方程，一阶得纳维-斯托克斯-傅里叶方程。
牛顿 ⇒ 玻尔兹曼（全局时限）+ 玻尔兹曼 ⇒ 流体，全链首次被严格证明。微观与宏观之间长达百年的数学鸿沟被打通。
难点从来不是"写出方程"，而是证明它对任意长时间都成立。下面这条时间线，看清代际差异。
Lanford 能处理"一小段时间"，因为短时间里重复碰撞（recollision）来不及滋生、关联可控。DHM 的关键洞察是：如果能把任意长的时间轴切成许多段，并且证明"混沌"可以从一段传播到下一段，那么只要逐段归纳，就能把结论一直推到玻尔兹曼强解存在的整个时间区间。他们为此发明了新的组合与分析工具（源自邓煜此前在波湍流理论中的积累），把"短时间成立"升级为"全局成立"。