从 0.59 到 0.60：世界是突然连成一片的

目录

• 圣诞前一周，苏黎世的一间教室
• 一枚硬币，和它掷出的宇宙
• 亚利桑那，还是明尼苏达？
• 一个简单到可疑的证明
• 现场验证：我在服务器上掷了三千五百万次硬币
• 临界点之后

---

圣诞前一周，苏黎世的一间教室

2025 年圣诞节前一周，五个数学家把自己关进了苏黎世联邦理工的一间教室。气氛可以用一个词形容：亢奋。

这群人是博士后 Sahar Diskin、Philip Easo，博士生 Ritvik Ramanan Radhakrishnan，加上教授 Benny Sudakov 和 Vincent Tassion。他们离一个职业生涯级的突破只差最后一口气——他们要解决的是渗流理论（percolation theory）里最顽固的一个猜想。

「我们一开始几乎不敢相信，」Radhakrishnan 后来说。他们在圣诞假期前疯狂地核对每个细节，生怕这个想法像水一样从指缝里流走。「我不确定女朋友和家人有没有我们那么开心，但那一刻我们都很开心，」Diskin 说。「能撞上这么重大又这么有意义的东西，真的很难得。」

他们通宵工作。12 月 17 日清晨，精疲力竭的五个人确信自己的想法是对的。到圣诞节，证明完成了。

他们回答的是一个几十年的老问题：当你把一张网络「打开」让流体通过时，它到底是以多快的速度被淹没的？

一枚硬币，和它掷出的宇宙

渗流模型简单得不像一个能困住数学家几十年的东西。

想象一张无限延伸的方格纸。对每一对相邻的格子，掷一枚硬币：正面，两个格子之间打通，液体可以流过；反面，堵死。重复这个操作，直到整张纸都被处理完。然后问：液体能流多远？

答案取决于硬币正面朝上的概率 p。p 很小的时候，液体只能流过几条零散的通道，汇成一个个互不相连的小水洼。但一旦 p 越过某个临界值——临界概率 p_c——整张格子纸会突然「打开」，液体可以长驱直入，形成一片横跨整个系统的汪洋。

这个模型是 1957 年由 Simon Broadbent 和 John Hammersley 提出的。他们的动机非常朴素：二战时期防毒面具里的碳过滤层，为什么有些能挡住毒气，有些不能？碳颗粒之间的空隙大小决定了气体能不能穿过去——把碳颗粒抽象成格子，把「空隙够不够大」抽象成硬币的正反面，就是渗流。

而更早的源头可以追溯到 Rosalind Franklin——对，就是那位后来因 DNA 双螺旋闻名的科学家。1940 年代她在英国煤炭利用研究协会工作，研究的是煤的空隙结构：为什么有些煤能让液体渗透，有些却密不透风。她通过把煤浸在各种液体里，测量出了煤中孔洞的典型尺寸和分布。

从煤到防毒面具再到格子纸上的硬币，渗流这个「网络的流动」模型，最初的全部灵感都来自极其具体的生活问题。而它后来长成了整个物理学里研究相变的「漫画版」——把真实相变里那些复杂的干扰因素全部剥掉，只留最本质的骨架。「真实世界的相变很难严格研究，」Easo 说。「渗流就像它的漫画。人们通常先研究这个，然后工具再慢慢渗透下去。」

亚利桑那，还是明尼苏达？

接下来几十年的问题是：p 越过临界点之后，水洼到底长得有多快？

数学家的直觉是：非常快。低于临界概率时，水洼都是些小水坑；高于临界概率一点点，一个「海洋」就会吞没几乎整个网络。这个猜想叫 sharpness（尖锐性）——相变是尖锐的，不是渐进的。

1980 年代，sharpness 在格点（lattice）上被证明了，由新泽西和莫斯科两个独立小组分别完成。对普林斯顿的 Tom Hutchcroft 来说，那是「奠基性的」结果。知道 sharpness 成立，数学家就能推出淹没区域的大量结构信息。

但 1996 年，Itai Benjamini 和 Oded Schramm 决定把渗流带到更广阔的天地：传递图（transitive graph）。直观地说，传递图就是一张「所有路口都长得一样」的公路网——你不知道自己在哪，除非看 GPS。方格纸是传递图，无限延伸的树也是，还有一些几乎无法可视化的图，它们对应着代数和几何里的对象。

Benjamini 有个浪漫的说法：「舞台是几何，舞者是随机过程。」他想通过观察舞者来了解舞台。

接下来的十年，他们俩在传递图渗流上发了一连串结果，证明了相变的存在。但 sharpness 猜想的另一半——超临界部分——一直悬而未决。

这个问题可以被拆成两半。「亚临界」半（临界点以下会发生什么）在 2007 年被 Tonći Antunović 和 Ivan Veselić 解决了：低于临界点哪怕一根头发丝，水洼都又小又远。系统看起来更像亚利桑那，而不是明尼苏达。

「超临界」半看起来难得多。理论上，高于临界点的系统应该由许多无限大的「海」主导，孤立的巨池因为需要周围大量干地来隔离，会变得极其罕见。但证明它几乎无从下手——格点上的旧证明又长又复杂，完全无法推广。其他基础结果在过去十年里都被简化了，唯独这一个。「这是最后一座堡垒，」Tel Aviv 大学的 Asaf Nachmias 说。

2008 年，正当非格点渗流的研究放缓时，Schramm 在徒步中意外坠亡，年仅 46 岁。「我们失去了一位天才，Oded Schramm，一场悲剧性的事故，」Benjamini 说。「然后我们需要等待新的天才出现。」

这一等，就是十几年。

一个简单到可疑的证明

苏黎世的五人组一开始根本没打算碰 sharpness。整个 2025 年秋天，他们都在研究另一个问题：临界概率怎么随图的边数变化。但学期快结束了，他们还没有任何像样的结果。

于是 Easo 提议转向 sharpness。他和 Diskin、Radhakrishnan 先做了一些进展，然后带去给 Sudakov 和 Tassion 看。Tassion 看完之后，一个念头——也许是个疯狂的念头——在他脑子里成形了：他觉得这个策略稍微调整一下，可能强到能证明所有无限传递图上的 sharpness。

「从那一刻起，它在我脑子里日夜盘旋，」Tassion 说。

「Vincent 为它发疯了，」Diskin 说。「他至少两周没怎么睡觉。」

证明的核心想法是对「海岸线」的分析。假设高于临界概率时存在一个巨大的孤立水洼，研究它的岸边：有溪流流入水洼，也有溪流连回某个无限大海。如果这些溪流在岸边任何一处交汇，就产生了矛盾——那个「孤立」的水洼其实属于一片大海。水洼越大，海岸线越长，与无限大海连接的机会就越多。五人组证明，这让矛盾几乎无法避免。

最后的点睛之笔来自一个对经典技巧的「反常规」改进。他们原本用的是概率论里常见的 sprinkling（喷洒）技巧：先留出一部分边不用，稍微降低临界概率，然后在剩余边里找大水洼，再证明留出的边几乎总能连出一条通往大海的路。但五人组聊着聊着发现：如果先分析那些被留出的边，证明会简单得多，而且强到足以覆盖所有无限传递图。

「我们打了一场想法的乒乓球，」Diskin 说。「每次你把想法互相掷来掷去，那堵墙就变得更模糊一点，直到它完全消失。然后你会有点害怕，因为你可能真的已经拿到它了。」

两个月后，他们把论文挂上了 arXiv（2603.03257）。「如果你放大证明里的每一句话，感觉都很熟悉、很简单，但把它们组合在一起的方式是真正新颖的，」Nachmias 评价道。

现场验证：我在服务器上掷了三千五百万次硬币

看文章和亲手掷硬币是两回事。这篇论文的结论——「高于临界值哪怕一点点，水就覆盖几乎整张图」——反直觉到值得自己动手验一遍。

我在这台服务器上写了个最朴素的模拟：150×150 的方格（22500 个格子），每个格子以概率 p 开放，用并查集找连通簇，检测是否有一条从左到右贯穿的路径。每个 p 值重复 60 次，从 p=0.45 扫到 p=0.70，步长 0.01。总计算量：26 个 p 值 × 60 次 × 22500 个格子 ≈ 三千五百万次「掷硬币」。

结果是这样一条曲线：

• p=0.50：贯穿概率 0%，最大簇只占全图的 1.2%——亚利桑那，到处都是孤立的小水坑
• p=0.56：贯穿概率 2%，最大簇 6.5%
• p=0.58：贯穿概率 7%，最大簇 16%
• p=0.59：贯穿概率 22%
• p=0.60：贯穿概率 75%，最大簇 35.6%
• p=0.61：88%
• p=0.62：98%
• p=0.63 及以上：100%，最大簇占比稳定在 55% 以上——明尼苏达，一整片海

三张快照放在一起看非常直观：p=0.50 时图里全是碎渣；p=0.593（临界点）时开始出现一条条藕断丝连的链；p=0.65 时整张图被一个巨大的橙色簇统治。

最关键的数字：从 0.59 到 0.60，开放概率只涨了一个百分点，贯穿概率从 22% 暴涨到 75%。 我实测的「跨越 50%」临界点落在 p≈0.60，和文献值 0.5927 只差 0.007——这个误差主要来自有限尺寸效应（150×150 的网格毕竟不是无限大）。

这就是「尖锐相变」在数据上的样子：不是一条缓坡，是一面悬崖。在这道悬崖面前，「量变引起质变」不再是句口号，而是一个可以精确到小数点后四位的位置。

顺带一提，这种「一过阈值就换一个世界」的现象离日常生活并不远。2008 年中国南方冰灾，电网因覆冰发生级联故障，大片区域同时停电——那是网络在极端条件下的「反向渗流」。而互联网上每一个梗的破圈，本质也是同一个模型：传播率越过某个看不见的阈值之前，它只是个小圈子的暗号；越过之后，它一夜之间无处不在。

临界点之后

渗流理论最迷人的地方，在于它证明了世界不是逐渐改变的。

在 p_c 之下，你增加再多的连通，看到的也只是水洼变大一点；但在 p_c 之上哪怕一丝一毫，整个系统突然连成一片。中间没有一个「渐渐」的过程——就像你面前的这杯咖啡，每一粒咖啡粉都在吸水，直到某一粒之后，整杯都湿透了。那个「某一粒」，就是临界点。

Benjamini 等了十几年，等到自己的「探险队」重新启程。他说这个证明「是一颗宝石」——然后又说了一遍：「它是一颗宝石。」

而 Tassion 呢？他在圣诞节前夜还在为证明发疯。等到论文发表，他大概终于能睡个好觉了——如果他的女朋友和家人还愿意理他的话。