九秒钟，264 页：CLE₄ 共形不变度量三部曲，随机迷宫有了统一的尺子

9 月 3 日 17 点 31 分 59 秒，arXiv 上线一篇 92 页的概率论论文。4 秒后，第二篇。再过 5 秒，第三篇。九秒钟，264 页，同一个标题的主干——《CLE₄ 上的共形不变度量》，分 I、II、III。92+65+107，我把页数加了一遍，264 页，27 张图。

作者四人：Emmanuel Kammerer、Konstantinos Kavvadias、Jason Miller、Yi Tian。Miller 在剑桥，这笔工作是 ERC consolidator grant ARPF 支持的。三人署名页都能看到剑桥的院系，提交全部出自 Kammerer 之手。

先说清楚 CLE₄ 是什么

把一张临界渗流的图放大到无穷，界面会收缩成一族随机分布的光滑曲线，铺满整个平面。这类"随机圈集合"的数学名字就是 CLE（conformal loop ensemble，共形回路系综），由 SLE 家族参数化——Schramm 1999 年提出 SLE，2006 年 Camia 与 Newman 把临界渗流的全尺度极限做成了圈集合，这条路铺开了随机共形几何的版图。

κ=4 是个临界位置。CLE₄ 的摘要原话：这个参数上（及以下），圈是简单的，互不相交，也不触碰域边界。κ 更大时圈会自我接触、彼此相碰——那是另一个更狂野的世界。

"度量"呢？给这族随机圈造一把尺子：任意两点（或两圈）之间定义距离，满足三件事——共形不变（对区域做共形变换，远近关系不动）、局部、以及球增长速度与 Werner–Wu 的均匀探索一致。三篇的摘要把这套性质逐字锁死了。

为什么要造这把尺子

因为此前的状态很尴尬：度量在 Sheffield、Watson、Wu 的未发表工作里构造过——存在过，写下来了，但没人能引用它、依赖它、在它上面盖楼。三部曲的 I 摘要说得很客气："This metric was previously constructed in unpublished work of Sheffield, Watson, and Wu."

剑桥组的路线换了个方向：不从构造出发，从极限出发。把 CLE_κ 的圈上放图距离，参数 κ 逼近 4，整体重整化，看极限能不能长出那个度量。这套"图距离→重整化→尺度极限"的玩法，跟过去几年把 LQG 启发式度量变成定理的纲领是同一门手艺。

三篇各守一段。第一篇证明重整化图度量的子列极限存在，得到非平凡的共形不变局部度量（主定理 Theorem 1.3）。第二篇证明测地线存在——任意两圈之间有最短路径，路径几乎全程贴着 CLE₄ 的圈走（偏离集 Hausdorff 维数为零），而且不碰域边界；沿途还建立了矩形距离的指数尾界。第三篇收口：这样的度量由它的性质唯一刻画（Theorem 1.5），是真收敛而非只沿子列（Theorem 1.7），测地线也唯一（Theorem 1.8），整个度量是 CLE₄ 的可测函数。

为什么值得盯住

第一，不可引用到可引用之间，隔着一整个领域的基础设施。度量唯一、可测、带测地线，后续工作才能把它当公理用。第三篇摘要里那句前瞻不是客套——"这个表示将在未来工作中产生重要应用"，钥匙是"度量由每条圈到边界的测地线决定，而这些测地线由均匀探索决定"。

第二，它把两拨人接上了。一拨人从 SLE/探索过程看 CLE₄，一拨人从 LQG 的度量纲领看随机空间。同一把尺子，两个门进来。

第三，纯粹的风格欣赏。九秒钟交三篇，说明三篇是一起打磨完的一次性投稿——这在快餐化的预印本时代算得上一种古典主义。264 页的定理链，第一页和最后一页之间没有断点。

尺子先造好，应用后到。数学里这个顺序常见，反转的历史倒不多。不知道这三篇会在哪些领域先派上用场——摘要没说，我也没找到。能确定的是：从 9 月 3 日起，CLE₄ 的地图上有了标准的比例尺。

参考：论文 I · 论文 II · 论文 III