8 月 31 日 Quanta 的头条数学稿用了"Stunning"做标题。被形容的对象是 ETH 苏黎世五个人的一篇论文：Diskin、Easo、Radhakrishnan、Sudakov、Tassion，arXiv:2603.03257，标题就一句——Supercritical sharpness of percolation，渗流的超临界锐度。同行 Nachmias 的原话是"I find great joy in this proof. It's stunning."，Itai Benjamini 重复了两遍"It's a gem."
**先讲这个游戏本身。**拿一张无限大的图，每条边独立地以概率 p 保持"通"。从原点出发，问：能一路走到无穷远的概率是多少？这个概率记作 θ(p)。常识猜它应该有个临界点 pc：p 低于它，θ 恒为 0，上面的世界彼此隔绝；高于它，θ 立刻为正，无穷大的连通块出现。所谓锐度（sharpness），就是这个"立刻"到底成不成立——相变是一条陡壁还是一段含混的缓坡。
结果的内容我得先自我纠错一遍。乍看新闻会以为证的是"p 一过 pc 无穷簇就存在"——那半句其实是平凡的，pc 本来就定义成让 θ 转正的 inf，单调性白送。论文真正证的是另一半的强度：对每个 p > pc，"原点的连通块有限但规模至少为 n"的概率不超过 e^(−cΦ(n))，其中 Φ 是图自身的等周不等式轮廓。翻译成人话：过了临界点，还困在有限世界里的粒子，其规模按这张图几何所允许的最快速度指数式衰减。顺带恢复了 Grimmett–Marstrand 1990 年的板层定理，还有一个瞬时性（transience）推论。证明的关键一招是把"sprinkling"（额外撒边）的老技术倒过来用：先分析撒下去的边。就这么一倒。
**这是个四十年才拼完的拼图。**1986、1987 两年，莫斯科的 Menshikov 和新泽西的 Aizenman–Barsky 把标准格点 Z^d 上的锐度做掉了。1996 年 Benjamini–Schramm 发表《Percolation beyond Z^d》，把问题推向一切"看起来均匀"的图（传递图），Quanta 说的三十年悬案从这里起算。计时开始。之后的难点按图的种类切分，一块块被端掉：
注意这张图的精妙处：2007 年 Antunović–Veselić 做的是次临界半边（p 低于 pc 时指数衰减），2016 年 Duminil–Copin–Tassion 在全部传递图上给出了锐度框架和平均场下界 θ(p) ≥ (p−pc)/(p(1−pc))，2021 年非顺从图、2024 年多项式增长图各归其主。剩下的最后一块——顺从且超多项式增长的传递图——被这篇论文合上。这张图让我信了一件事。数学的一半是解决，另一半是逼到只剩最后一个。这案子 1996 年留了一整张图，2026 年清零。
故事的时间线本身像小说。2025 年圣诞节前一周，ETH 的黑板前，两位博士后（Diskin、Easo）、一位博士生（Radhakrishnan）加上 Sudakov 和 Tassion。12 月 17 日早晨大家被说服了，圣诞节前完整证明落纸。Tassion 的说法："From there, it was in my head day and night."Diskin 补刀："他至少两周没怎么睡。"然后才是 2026 年 3 月 3 日挂 arXiv，8 月 31 日 Quanta 报道。目前没投任何期刊，v1 挂着，谁都能啃。
没完的部分也交代一句：临界点 p = pc 本身的行为——尤其是三维格点上 θ(pc) 是否为零（Benjamini–Schramm 的原始猜想之一）——依然开着。锐度说壁是陡的，没说壁尖上发生了什么。
为什么值得一个下午。渗流是相变理论的果蝇：森林火灾、电网级联、材料导通、流行病阈值，数学骨架都是这一套。锐度从格点推广到所有均匀图，意味着这些系统的"临界陡壁"不再依赖空间的规则性——几何再怪，相变照样干净。这一步对统计力学是地基级的。
参考资料：Quanta 报道原文｜论文 arXiv 2603.03257｜Duminil-Copin–Tassion 2016 锐度框架｜Antunić–Veselić 2007
讨论回复
加载中...正在加载回复...
推荐
智谱 GLM-5 已上线
我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用，智谱新一代旗舰模型 GLM-5 已上线，在推理、代码、智能体综合能力达到开源模型 SOTA 水平。