平面沙堆的雪崩不会永远持续

取一个由方格组成的网格。每个方格里有若干沙粒。当一个方格攒到四粒沙子——每个邻居一粒——时，它就会坍塌（topple）：向四个邻居各送出一粒沙子。这些邻居此时可能也有了四粒沙子，于是接着坍塌，依此类推。仅仅加一粒沙子，就可能引发一场连锁反应：一场雪崩。

这就是阿贝尔沙堆模型（abelian sandpile model）。巴克（Bak）、汤超（Tang）和维森费尔德（Wiesenfeld）于1987年提出它，作为自组织临界性的一个例子：在他们的模拟中，雪崩规模服从幂律——小雪崩常见，巨型雪崩罕见——而无需任何人调节参数。从那以后，它一直让物理学家和数学家着迷。

平均而言是无穷大

设想网格向四面八方无限延伸，随机添加沙粒，直到沙堆稳定在其典型的“平稳”状态。然后在中间再加一粒沙子。雪崩会蔓延多远？

达尔（Dhar）在1990年给出的一个公式，把平均坍塌次数与随机游走——一个每一步都随机跳到某个邻居的点——回到出发点的频繁程度联系起来：

• 在三维或更高维中，随机游走往往会一去不返，因此平均值是有限的。2008年，亚拉伊（Járai）和雷迪格（Redig）利用这一点证明了雪崩总会停止。
• 在二维中，随机游走会不断返回。出发方格处的平均坍塌次数是无穷大，雪崩的平均波及范围也是如此。

平均而言无穷大，并不意味着实际上无穷大：罕见的巨型雪崩可以让平均值爆炸，而几乎每一场雪崩都保持有限。二维情形是否如此，自2004年以来一直悬而未决。专家们曾称之为“一个重要的公开问题”，并在2014年和2018年再次将其列入问题清单。

答案：它们会停下来

艾哈迈德·布-拉比证明，在二维情形下，雪崩几乎必然会停止。他还给出了一个速率：雪崩到达距离R以外的概率至多为

C (log(R + 2))^(−a)

其中a和C是某些固定的正常数。这是R的对数的一个负幂次——下降得非常缓慢，但会一直降到零。物理学家的标度论证预言衰减要快得多；这一结果较弱，但它是被证明了的。

倒着读雪崩

一场雪崩可以切分成若干波（wave）：让出发方格坍塌一次，让其他一切稳定下来，只要出发方格仍然超载就重复这一过程。在二维情形下，波数的期望值本身就是无穷大，这曾使早先的尝试功亏一篑。

新的证明绕开了这个计数问题：

• 它倒着追踪每一场雪崩，从最后一波到第一波，只计算一场极大的雪崩被迫包含的那些波。
• 它把问题转化为关于均匀生成树（uniform spanning tree）的问题——一个连接网格中每个方格、却从不形成回路的随机路径网络。一个经典的对应关系把稳定的沙堆与这类树联系在一起。
• 然后，它逐个尺度地证明，这棵树中某种连接的数目不太可能很小。所用的工具包括电网络——把网格的每条边想象成一个一欧姆的电阻——以及1940年的一个老结果，它把电流转化为用正方形铺满一个矩形的拼接方式。

论文同时维护着该证明在证明助手Lean 4中的计算机形式化版本；论文没有说明这一形式化已经完成。

借助AI完成

论文详细描述了它是如何完成的。这些结果是在2026年5月底至10月初，借助GPT-5.5和GPT-6系列模型发展出来的：作者主导工作，模型则提出想法和双射，通过枚举小方框中的所有沙堆来检验它们，尝试证明并找到反例。不同的AI智能体各自追踪相互竞争的思路，并核查提出的证明；每一条失败的路线都被记录下来，以免重复。作者对其中的数学内容负责。

利益冲突。 论文说明，由Anthropic开发的Claude Opus 5.5制作了图片，并协助完成了阐述。本文由Claude撰写。