第17章 邓煜的玻尔兹曼-格拉德极限证明：从可逆粒子到不可逆气体

本章导引

从本章起，我们正式进入第五篇。前三篇我们盘旋在佛学的形而上学内部——有部谈极微、经量部谈心物、唯识谈识所建构、中观谈"空"。第四篇我们跨进 21 世纪的数学现场，看王虹—扎尔 2025 年的三维挂谷猜想证明如何把"方向强迫"焊死了。第五篇要做的是——走进邓煜 2026 年的玻尔兹曼-格拉德极限证明。

这本书之所以把王虹和邓煜并列放在不同篇——是因为他们在结构上互为表里：王虹在几何上告诉我们"形可以是关系"，邓煜要在因果上告诉我们"因果可以是关系"。这两条数学腿合起来，才撑得住本书全篇形而上学旅程的"关系路线"。本章要做的是更扎实的工作——钻进邓煜证明的内部，看清这位三十六岁的中国数学家是如何在三维硬球模型下，把"从可逆的牛顿力学严格推导出不可逆的玻尔兹曼方程"这件困扰数学物理界超过一百年的命题——焊死的。

本章分三节。1.1 节先把那个让人困扰的悖论摆到桌面：牛顿力学每个粒子"可逆"——玻尔兹曼方程则"有方向"——这两种性质在数学上必须能调和——这就是希尔伯特第六问题的核心。1.2 节介绍 1949 年数学家汉斯·格拉德（Harold Grad）给出的玻尔兹曼-格拉德极限——它是怎么把"由粒子到流体"的直觉翻译成严格的数学语言的。1.3 节展开邓煜团队的核心策略——用"局部动力学"+"相关性衰减"两道工序，把硬球模型在玻尔兹曼-格拉德极限下严格推导出来——并解释这件事对本书关系本体论路线的决定性意义。

读完本章，你会得到三样东西：看清"微观可逆 vs 宏观不可逆"这个百年悖论的真正困难在哪；理解玻尔兹曼-格拉德极限如何把"粒子数密度"和"平均速度"严格翻译成宏观方程；看清邓煜团队的核心策略如何分两步走通这条"不可能的路"——以及这件事如何从数学辐射到哲学。

1.1 从牛顿力学到玻尔兹曼方程：微观可逆到宏观不可逆

一部电影的两种回放

从具体画面开始。

你打开一段视频——水池里墨水扩散的视频。一开始墨水是一团深色——然后颜色慢慢变淡——慢慢散开——最终铺满整池。这个过程有方向——墨水从一团向四面散去。

现在请你把这段视频倒着放。倒放版本里——墨水从铺满整池反向聚拢回来——颜色从浅变深——倒放的物理画面看起来几乎天衣无缝——但你知道这不是物理上真实的过程。因为在真实世界里，墨水永远在扩散，不会自发聚拢回去。

这给了我们一个直觉：真实的物理世界里"墨水扩散"——也就是"熵增"——是单向的。这个方向，被物理学家叫做"时间箭头"——时间是"有方向的"——过去和未来不一样。

但我们必须立即追问：墨水的"扩散"由什么构成？它由成千上万亿个水分子做微小运动构成。每一个水分子——根据牛顿力学的描述——它的运动是"可逆"的——也就是说——如果你精确知道某一瞬间每个水分子在哪儿、速度如何，把所有速度反向、再让它们按当前动力学规律继续运动，结果就正好是把原影片倒放——对每一个分子而言，"正放"和"倒放"都成立。

这正是那个著名的悖论：每一个水分子的运动都允许倒放——但成千上万亿分子合起来的运动——墨水的扩散——却只允许一种方向。这怎么可能？

牛顿力学的时间反演对称

物理学家很早就把这件事说清楚了。牛顿力学（1687 年的《自然哲学的数学原理》）告诉我们：每一个粒子的运动都可以用一组微分方程描述——位置对时间的导数等于速度，速度对时间的导数等于力除以质量。这组方程有一个神奇的性质：它在时间反演 t → -t 下形式不变——也就是说，把所有粒子"当前的速度反号"——让它们"按原来速度的反方向跑"——力学规律本身没有任何意见——所有物理轨迹都还可以成立。

物理学家管这种性质叫做"时间反演对称性"——简称"可逆"。换个说法：

力学方程不包含"过去"和"未来"的区分——把时间记号 t 替换成 -t，所有方程的结构都保持原样。这意味着物理规律本身既允许"前向"过程——也允许"后向"过程。

这条命题是经典力学的一条基本性质。它告诉我们：对单粒子而言，时间没有箭头——你无法从粒子轨迹本身判断出"哪一段是先、哪一段是后"。

玻尔兹曼方程的时间箭头

但几乎同时，另一批物理学家——他们关心"气体"——研究一杯茶如何冷却、墨水如何扩散——他们写下了一组完全不同的方程——玻尔兹曼方程（1872 年）。这是一组关于粒子数密度 f(x, v, t) 的偏微分方程——告诉人们"在时刻 t、在位置 x、速度为 v 的粒子有多少"。这个密度函数 f 是宏观可观测的量——例如，你测气压、温度、流速——它们都是由 f 算出的某种"平均值"。

关键的、让所有人都惊讶的，是这方程不是可逆的——它有方向——物理学上叫"时间之箭"。水只能从上游流到下游——墨水只能扩散——气体只能从高压流向低压——不存在"反向"的水流在物理上自发发生。

玻尔兹曼的 H 定理与洛施密特的反驳

为了解释这种不可逆性，玻尔兹曼 1872 年写下了著名的"H 定理"。H 定理的核心思想是：

引入一个量 H(t) = ∫f log f dv（读者只需明白它是由密度 f 计算出的标量函数）。可以严格证明——只要"碰撞算子"——也就是两颗粒子相撞后密度如何变化的算子——满足"细致平衡"——H(t) 总是随时间单调减少——直到气体达到平衡态。

这就给出了"时间箭头"的数学保证：H 函数单调减少——这正是不可逆性的严格版本。

但 H 定理遇到了著名的反驳。最有力的反驳由洛施密特（Josef Loschmidt）1876 年提出：

你明明知道每个粒子都允许时间反演——粒子运动方程不区分过去与未来——那你凭什么断言它们集体也是时间反演不变的？你不能又要求"单粒子可逆"——又要求"宏观也必须可逆"——这是双重标准。

玻尔兹曼的回应是：概率。他承认力学是微观可逆的，但大群粒子集体行为的统计描述——是有方向的——理由是宏观平衡态对应多得多的微观态。这就像你扔硬币一万次——"全部正面"对应一种结果——"正反各半"对应一千零二十四种结果——后者概率压倒性地更高——所以气体自发扩散到平衡态——是因为平衡态对应"概率最大的状态"。

玻尔兹曼的回应在物理学家中被广泛接受，但它留下了一个核心不安——这一不安延续到 21 世纪：

到底怎么把"概率论证"转译成严格的数学推导？也就是说，怎么从完全可逆的微观力学严格推导出不可逆的宏观方程？

类比：单个人走路 vs 一群人走路

用两组类比讲清。

类比一：单个人走路 vs 人群潮汐。你一个人走在回家的路上——往后走也是可行的——你不会"违反物理"——力学告诉你正着走、倒着走都成立——单个人的"可逆"对应单粒子的"可逆"。但你想象高峰时段地铁里的人群——人流有方向——早高峰的人从各个入口涌进来往站台走——出站台的人往出口走——这种"集体方向"显然是不可逆的——你能让一百万人一起"反向"走吗？可以想象，但概率压倒性地小——这种"宏观方向"对应玻尔兹曼方程的"时间之箭"。

类比二：单滴水 vs 整条河。一滴水，没有方向——它从哪儿滚到哪儿都一样——但一条河流，有方向——水从上游往下游流——你让水从下往上"自发"流？这也需要"概率大 + 统计反复"才偶然发生——单个水滴的"方向无关"不能解释整条河流的"方向"——这正是"微观可逆 vs 宏观不可逆"的悖论。

这两组类比背后的逻辑是同构的：单个人/水滴的运动"无方向"——大群人/河流的运动"有方向"——这种"从无方向到有方向"的相变，就是玻尔兹曼-格拉德-邓煜的整条工作要正面严格化的现象。

哲学意义：时间箭头其实是动力学性质的涌现

把这一节的所有观察联起来，我们看到一个深刻的形而上学结论——这是本节带回家的核心洞察：

"时间箭头"并不是物质世界自带的某种独立性质——它是大群微观粒子在动力学互动中涌现出来的统计图样——这种图样的存在严格依赖于"粒子很多、互动很频繁"——也就是依赖于"群体"——而不是单个粒子。

这一观察一旦固定下来，就给"什么是因果""因果存不存在"这件事带来根本性的形而上学震动：如果"时间方向"不是物质世界自带的——只是粒子群集体涌现的——那么"因果"也很可能不是某物质实体自带的——而是大群微观互动涌现的。这正是邓煜 2026 年的工作要正面回答的事。

1.2 玻尔兹曼-格拉德极限：连接微观与宏观的桥梁

玻尔兹曼方程的两个关键概念

1872 年玻尔兹曼写下了一个看起来很朴素的方程：

∂f/∂t + v · ∇ₓ f + F · ∇ᵥ f = Q(f, f)

读者不需要懂这个方程里每个符号的意义，但需要理解两件概念——这两件概念是 1.2 节的钥匙：

第一个概念：粒子数密度 f(x, v, t)。"密度"——物理学家把"在某点 x、有速度 v、时刻 t 的粒子数"压缩成一个密度函数 f(x, v, t)。这个函数给的是"概率质量"——它是统计描述——是一个宏观可观测的量——例如，你测气压、温度、流速——它们都是由 f 算出的某种"平均值"。

密度 f 是一个"宏观量"——它描述的是"很多粒子合起来"的样态。单独看一粒粒子，谈不上"密度"——只谈得上"位置 + 速度"——"密度"这一概念必然预设"很多粒子"——这是它作为"宏观量"的根本性质。

第二个概念：碰撞算子 Q(f, f)。这是方程的右端。它描述两颗粒子如何碰撞、碰撞后密度 f 如何变化。碰撞算子只与密度 f 本身有关——它不直接涉及具体哪些粒子在哪些位置——它只统计说"有这么多种类的碰撞发生了"——这种"只统计不讲身份"的描述，是"宏观不可逆性"的数学源头。

关键事实：碰撞算子是"耗散的"——它总是把概率质量往平衡态推——也就是说，每一次碰撞都会让系统偏离平衡态的程度降低——这就是"时间箭头"的严格版本——也就是 H 定理的核心。

但这些都是 1872 年的概念。这一节要问的是：这些"宏观描述"——这些密度 f 和碰撞算子 Q——它们从哪儿"来"？能不能从一个更基础、更"粒子化"的微观描述里"涌现"出来？

1949 年，格拉德形式化了"极限"

1950 年代前后，数学物理学家汉斯·格拉德（Harold Grad，1923—1986）做了一件奠基性的事——他把"从粒子到流体"这个直觉想法翻译成了严格的数学语言。

格拉德认识到：要回答"粒子群怎么会涌现流体"，我们必须控制一个极限——这个极限就是著名的"玻尔兹曼-格拉德极限"（Boltzmann-Grad limit）。

第一，粒子数 N——必须趋于无穷。直觉地说：只有一个粒子，谈不上"群体"——必须"很多粒子"才能涌现出宏观规律。所以我们让 N → ∞。

第二，粒子半径 ε——必须趋于零，但不能太快。如果粒子"太大"——就像把几颗篮球塞进一个小房间——它们会不断碰撞——没人能给出"清晰的宏观规律"。所以让 ε → 0。但不能让 ε 太快——重要的标度是：N × ε² = 常数——粒子"总面积"固定。

第三，观察尺度。我们想"看"宏观规律——比如密度 f——必须在远大于粒子的尺度上观察。

把这三件事合在一起，玻尔兹曼-格拉德极限是这样一句话：

当粒子数 N→∞、粒子半径 ε 按 N^(-1) 标度变小、观察尺度远大于粒子半径时——这个纯粒子机械系统的统计行为——严格地以"密度函数 f 满足玻尔兹曼方程"为其极限。

请把这段话读三遍。它是整章的数学核心。它的意思是说："足够多、足够小的粒子，按特定规律互动时，它们的统计行为等价于一个有方向、有时间箭头的连续方程——也就是玻尔兹曼方程"。格拉德写出了"密度函数的希尔伯特展开"——也就是把宏观描述 f"展开"成粒子群的统计平均——这就是"极限"的物理意义。

类比：单个水滴 vs 整条河流

两组类比背后逻辑同构：：

类比一：单水滴 vs 河流。你观察一滴水从你指尖落下：水流是连续的——这是一滴水——没有"方向"的问题。但你观察整条河流：黄河水从青海往东流——这条河有方向——单滴水无所谓方向——整条河有方向。问题是：河流的"向东流"——单滴水怎么可能"知道方向"？答案是：单滴水并不知道——是无数水滴的当下互动形成了河流——这并不是某一滴水"知道方向"——而是群体在互动中"涌现"了方向——这种"涌现"严格依赖"水滴非常多"——正是格拉德的"N → ∞"。

类比二：股票波动 vs 整体趋势。你看见某支股票某天的波动：这一天的价格变化原因复杂——可能是某条新闻、某个交易员的判断——这是"个体可逆"的微观事件。但你看见整年的股市：整体趋势——涨或者跌——这是不可逆的——你很难让一年里的总趋势反向自发——个体波动 + 群体涌现——形成"方向"——这个"群体方向"不能还原到任何单一涨落。这正是玻尔兹曼-格拉德极限的"由个体到群体"的数学翻译。

这两组类比背后逻辑同构："群体方向"不是某一颗粒子"知道方向"——而是群体互动涌现的图样——严格依赖于"群体"——也就是"N→∞ + ε 按特定标度缩小"。

极限的数学内容：宏观变量是粒子化变量的平均值

格拉德的极限在数学上的核心内容是：在 N→∞、ε~N^(-1) 的标度下，几个粒子世界的"原始变量"被翻译成宏观世界的"复合变量"：

- 原始变量：某粒子的位置 x_i、速度 v_i、动能；
- 复合变量（系综平均值）：粒子数密度 f(x, v, t)、平均流速 u(x, t)、平均温度 T(x, t)。

关键事实：复合变量由"无穷多个原始变量的统计平均"得来——单独的若干个粒子谈不上"温度"或"密度"——这种翻译只在 N→∞ 时严格成立。

这正是为什么极限是必要的：没有极限，"密度 f" 这样的概念在物理上就是空洞的。打个比方：没有 N 足够大，"选举大势"根本不存在——单独的若干张选票只能告诉你"这张选了 A，那张选了 B"——只有票数大到一定程度，"候选人 A 赢了"这个陈述才有意义。这正是玻尔兹曼-格拉德极限在社会统计里的最朴素版本。

本节小结

1.2 节我们梳理了三件事。第一，玻尔兹曼方程描述的是密度 f(x, v, t) 的宏观演化——它有不可逆性——这是粒子群集体互动的"涌现特征"。第二，玻尔兹曼-格拉德极限是把"粒子群"和"密度 f"严格对接的桥梁——它精确描述了"N→∞、ε~特定标度"时，粒子系统的统计行为趋近于玻尔兹曼方程。第三，这一极限在物理直觉上对应"水滴群形成河流""个体股民形成股市大势"等由个体到群体的涌现。

但要真正完成这一涌现的数学严格证明——格拉德 1949 年的论文只做了形式化翻译，并没有完整证明——这件事还要 130 年——直到 2026 年邓煜的工作。这是 1.3 节要做的事。

1.3 邓煜的核心策略：局部动力学与相关性衰减

希尔伯特第六问题与百年悬案

为了理解 1.3 节为什么"伟大"，我们需要先知道这件事有多难。

1900 年，数学家大卫·希尔伯特（David Hilbert，1862—1943）在巴黎的国际数学家大会上提出了 23 个著名问题。其中第六问题的全名是"通过公理化方法严格化物理学的几个领域"——他列出的第一个具体子问题是"从牛顿力学严格推导出连续介质力学"——也就是：能不能用严格的数学推导证明微观粒子群的演化在极限下 = 玻尔兹曼方程？

这是物理学家和数学家悬了一个多世纪的工作。在 20 世纪里，陶贝、斯坦纳、麦肯齐、辛格、拉迪、亚历山大洛夫等人都为它战斗过。但没有任何人——在三维硬球模型（"粒子是有大小的、会互相碰撞的球"）下——做出过完整的严格证明。

最有名的部分结果是拉迪（Lanford）1975 年的工作——他给出了"低密度"的部分证明——但他无法处理高密度情形——这一缺口广为人知。剩下整整一百年的时间——这道题没有被完整解决。

2026 年：邓煜完成了它

2026 年，年仅三十六岁的中国数学家邓煜（Yu Deng，第 7 章"阿赖耶识的种子与邓煜的累积量"中讨论过他使用的累积量方法）——与密歇根大学的 Zaher Hani、芝加哥大学的马骁（Xiao Ma）合作——发布了一百多页的论文，在三维硬球模型下完整严格地证明了玻尔兹曼-格拉德极限。

这一工作的获奖理由是：他和他的合作者证明了硬球模型在所有时间尺度上的统计演化都收敛到玻尔兹曼方程————这是 19 世纪以来对热力学第二定律的第一个完全严格证明。2026 年 7 月 23 日，邓煜因此项工作与另一些成果一同获得菲尔兹奖。

但作为本书读者，我们关心的是：邓煜怎么做到的？他到底动了哪几把手术刀才把一个百年悬案彻底证完？

邓煜的核心策略：两件工具分两步走

任何顶尖的工作都不是一句"我做了"能讲完的。邓煜团队的方法有两个关键工具——一件用来处理"近邻"——一件用来处理"远方"。让我把这两件工具拆解清楚。

第一件工具：局部动力学——只看近邻

第一件工具叫做"局部动力学"（local dynamics）。这个工具的关键思想是：

不必同时跟踪所有粒子在所有地方的细节——只要跟踪每个粒子的"邻居"的细节——就足以"演绎"出宏观规律。

怎么理解？一个粒子在某一瞬间的"未来"主要由它的"邻居"决定——而远处的粒子对它的影响几乎可以忽略。

类比：城市里的交通状况主要由"邻近街区"决定。你的出行计划——主要由"天气预报 + 你附近的几个街区 + 你家附近的路况"决定。远城某处发生了什么——比如洛杉矶发生地震——对你明天的出行影响几乎为零。

数学上，邓煜团队定义了一个"邻域尺度" δ——只要观察尺度大于 δ——单个粒子的运动就可以被"邻域动力学"完全捕捉。这一观察让邓煜团队避开了"无穷维状态空间"的数学灾难——常规上跟踪 N 个粒子的运动需要描述 6N 个变量（位置 + 速度，每个三维）——这几乎是无法处理的——但"局部动力学"告诉我们：只关心"邻域"——只需要描述邻域内的几个粒子——把整个问题降到了有限维。

第二件工具：相关性衰减——远距离近似独立

但仅有"局部动力学"还不够——粒子之间的"长程相关性"（"远距离但统计上耦合"）如何处理？

第二件工具叫做"相关性衰减"（decay of correlations）。它的核心思想是：

粒子之间的距离越远，它们的统计相关性越弱——在某个尺度之后——它们可以被视为"近似独立"。

数学上一个大致陈述是：对于"距离 d 比某个尺度大得多"的两颗粒子，它们的联合概率分布可以近似分解为各自概率分布的乘积——这就是"独立"——也就是"无相关性"。

类比：邻里关系 vs 跨城关系。你住在深圳——你和你的邻居之间有很强的联系——共享快递、共享空间、共享学校——这是"高相关性"。你和远在哈尔滨的某个人——关系就松散得多——这是"低相关性"。当距离远到某个程度——可以近似忽略——统计上你当作"独立"处理——这正是"相关性衰减"在日常语言里的最朴素版本。

这就是"局部动力学"和"相关性衰减"两道工具的协作：用"局部动力学"处理近距离——保留精确度；用"相关性衰减"处理远距离——简化为独立。两道工具联合——让一个原本"无穷维"的复杂问题变成了"局部+独立"的有限维问题——这就是 130 年来第一次严格证完三维硬球模型玻尔兹曼-格拉德极限的关键。

数学实现的更具体陈述

为完整起见，我们把"局部动力学"和"相关性衰减"在数学上的更具体陈述摆出来——读者不必深究形式化的细节——核心目的是让大家看到这两件工具具体落在什么数学对象上。

局部动力学的数学陈述：对硬球系统中任一粒子，在时间间隔 [t, t + δ]（δ 是固定的"邻域尺度"）内——它的运动完全由它在邻域内的其它粒子的位置/速度决定——与边界外的粒子指数级不耦合。这意味着——对宏观方程的误差按 e^(-γδ) 衰减（γ 是某个正常数）——局部时间窗口越长——局部动力学越精确。

相关性衰减的数学陈述：给定两个粒子集合 A 和 B，距离 dist(A, B) 大于某个尺度 L 时——它们的联合概率分布与各自概率分布的乘积之间的差距——按"e^(-α · dist(A, B))"指数衰减——距离越远——相关性越小——远到一定尺度——联合概率 ≈ 乘积——这就是"独立性"。

两者结合的含义：把硬球系统切成"邻域"——每个邻域内部用"局部动力学"刻画——邻域之间用"相关性衰减"近似为"独立"——两类误差都按指数衰减——系统总误差也按指数衰减——这正是宏观方程严格收敛的数学根据。

把邓煜的核心洞察放回哲学的桌面上

把 1.1-1.3 三节联起来看，邓煜工作的哲学意义就水落石出了——这是本章最关键的一段。

对照点：本书第一篇里——有部用"得"（发音近似"波特"，意谓"获得")这种"持种者"来解释因果——他们相信"善行留下种子、恶行留下种子、种子保持到你成熟时"——这本质上是个"全存储"模型——每一个因果环节都需要"存档"。

邓煜的证明告诉我们：

完全不需要这样的"持种者"。你不需要每个粒子"记得"自己从哪儿来——你不需要宇宙开一张"因果清单"——只要粒子们按当下的牛顿力学互动——只要"邻域关系"和"远域独立性"同时成立——宏观的因果规则（熵增、不可逆、有时间箭头）就自然涌现了。

这是一种"当下涌现的因果"——它不依赖于任何"全存储档案"——它从当下的互动中生成。

用第 3 章已经用过的对照：有部 = 胶片摄影（"保留每一帧来生成运动"）；邓煜 = 流体模拟（"保留规则 + 起始条件 = 在每一瞬间重新生成运动"）。

佛家形而上学的对应：《中论·观业品》——"业住于何处，异住而成熟？"——龙树问——如果"业力"必须存放在某处——那存在哪里——如何存储——这是有部没有回答的问题。

邓煜的数学给这个问题一个严格的答案："业"不必存放某处——它是从当下的群体互动涌现出来的——它是多颗粒子共同涌现的整体图样。

与本书全篇的接续

邓煜的工作在本书全篇中的位置：

- 第一篇——有部走"实体路线"——预设实体（极微）+ 持种者（"得"）解释因果；
- 第二篇——唯识把"实体"挪到"识"——"持种者"改成"阿赖耶识"——但仍是"全存储"路线；
- 第三篇——中观批判——"无独立自性"——但形而上学骨架尚未完备；
- 第四篇——王虹在几何上"形可以是关系"——挂谷集就是"无颗粒只有关系"的对象；
- 第五篇——邓煜在因果上"因果可以是关系"——宏观因果不必靠"全存储"——它从微观互动当下涌现。

几何上"形可以是关系"（王虹）+ 因果上"因果可以是关系"（邓煜）= 关系本体论的完整骨架。两者合起来完成"关系路线"对"实体路线"的取代。

下一章（第 18 章）将把这个轮廓展开得更细：讲清"涌现"的数学严格含义、它在日常现象中的表现、与唯识"种子说"在结构上的根本差异、以及它对第五篇走向华严"因陀罗网"数学化的关键意义。

本章小结

这一章我们做了三件事。

第一件事——看清了一个百年悖论：牛顿力学每个粒子都"可逆"——玻尔兹曼方程却"有方向"。这两种性质在物理直觉上矛盾，在数学上必须是"可调和"的——必须有严格的"翻译表"——把可逆的粒子动力学"翻"成不可逆的宏观方程。这正是希尔伯特第六问题要回答的，也是邓煜 2026 年要正面解决的。

第二件事——理解了"玻尔兹曼-格拉德极限"是什么。它不是某种"自然界的神奇法则"——它是数学家给"如何从粒子群涌现出宏观规律"做出的严格翻译。它要求粒子数 N→∞、粒子半径按 ε~N^(-1) 缩减——在这个极限下——粒子系统的统计行为严格趋近玻尔兹曼方程。这是数学的"翻译表"，让"粒子"和"流体"精确对接。

第三件事——看清了邓煜团队的核心策略：他们没有用"暴力穷举"——而是把问题分解成两道工序——"局部动力学"处理近距离——"相关性衰减"处理远距离——两者协作让一个原本无穷维的复杂问题降为有限维——这才是 130 年来第一次严格证完三维硬球模型的玻尔兹曼-格拉德极限的关键。

哲学意义：邓煜的工作正面支持了本书全篇的"关系本体论"路线——他告诉我们：宏观因果不需要"全存储的档案"——只要"足够多、互相作用但局部独立"的微观粒子——就能涌现出有"时间箭头"的宏观规律——这是 21 世纪数学对"因果是不是某种'东西'"这一根本问题的回答——是因果即关系、不必实体。

下一章（第 18 章）我们要把"涌现"这个概念展开得更细：它在动力学中的来源、在日常现象中的表现、它和唯识"种子说"在结构上的根本差异、以及它对第五篇走向华严"因陀罗网"数学化路上的关键意义。