结果族 224：Critical and quenched near-critical universality for Poisson–Voronoi percolation · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
在一张随机切成的黑白拼图上问：黑色能否从左边连到右边？直觉上答案该依赖拼图细节。论文却证明：拼图无限加细后，这个概率收敛到一个只依赖区域”外形”的显式公式——Cardy 公式。好比无论用方格纸还是随机碎瓷片铺同一形状的地面，雨水横流的成功率殊途同归。
关键词卡片
看个具体例子
把区域共形映射到上半平面，让 @@M@@a,c,d\mapsto 0,1,\infty@@，@@M@@b@@ 落在 @@M@@x\in(0,1)@@，则”黑胞连通弧 @@M@@ab@@ 与 @@M@@cd@@“的退火概率收敛到
@@M@@DF(x)=\frac{\int_0^x[u(1-u)]^{-2/3}\,du}{\int_0^1[u(1-u)]^{-2/3}\,du}.@@
代入对称位置验算：@@M@@x=1/2@@ 时被积函数关于 @@M@@u\leftrightarrow 1-u@@ 对称，分子恰为分母一半，得 @@M@@F(1/2)=1/2@@。另有一条推论：条件于固定拼图的跨越概率也经方差界得到淬火 @@M@@L^2@@ 收敛——典型拼图上结论同样成立。
为什么值得关心
Smirnov 只在最规则的三角格点上证明了这一公式；本文把它推进到几何完全随机的 Voronoi 拼图，解决了 Schramm 遗留问题 2.12 的退火跨越部分，并且是同族另外两篇近临界定理的公共基石。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读说：无论用方格纸还是随机碎瓷片铺同一形状的地面，雨水横流的成功率殊途同归。翻译过来：对象是随机拼图上的一幅黑白染色——平面先被随机种子切成不规则胞，再逐胞公平染色；操作是问一个几何问题：黑色部分能否在给定区域内把两条指定的边界弧连起来。导读的核心断言是：当拼图无限加细，这个”能否连通”的概率不再依赖拼图细节，只剩下一个由区域外形决定的数。
第二级台阶
用本科概率术语：模型是泊松–沃罗诺伊渗流——强度 ε^{-2} 的泊松点过程决定沃罗诺伊胞，胞色独立公平；退火概率指对几何与颜色一起平均。共形不变性指该概率经保角变换后不变，于是任意 Jordan 四边形可先共形映射到上半平面、把三个标记点送到 0、1、∞，剩下第四点的落点 x∈(0,1) 就成为唯一的形状参数。
第三级台阶
定理陈述于每个有界 Jordan 域 D 与四个逆时针边界标记 a,b,c,d：黑胞在 D 闭包内连接弧 ab 与 cd 的退火概率，当 ε↓0 时收敛到显式函数 F(x)，即 [u(1-u)]^{-2/3} 的规范化积分。假设挡住的麻烦：只要求 Jordan 边界（无任何正则性），故须用 Carathéodory 边界延拓保证共形参数 x 良定义；退火平均则避免了对固定拼图逐一声张。结论精确对应 Schramm 问题 2.12 的退火跨越部分；对固定矩形另借已知方差界得淬火 L² 收敛推论，但全文不主张界面定律收敛或任意 Jordan 域上的淬火极限。
本文证明临界平面泊松–沃罗诺伊渗流的退火跨越概率在每个有界 Jordan 四边形上都收敛到 Cardy 共形不变公式，正面解决 Schramm 问题 2.12 的退火跨越部分，也是同族另两篇近临界定理的共同基石。
Cardy 于 1992 年用共形场论预言：临界二维渗流的跨越概率只依赖区域的共形参数（Aizenman 最早给出共形表述）；Smirnov 于 2001 年对三角格点证明了这一公式，成为二维普适性纲领的支柱。Schramm 的遗留问题 2.12 要求对沃罗诺伊渗流证明相应的共形不变性定理。Voronoi 模型的几何完全随机、无偏好格点方向：Bollobás–Riordan 证明其临界染色参数为 @@M@@1/2@@，Tassion 建立各尺度一致的方块跨越估计，Ahlberg 等与 Vanneuville 发展了淬火（quenched）与定量臂估计。然而这些工具只控制跨越与例外几何，要识别极限函数还需一条能穿越不规则随机镶嵌的解析恒等式——Smirnov 的变色技巧依赖正三角形几何，在此失效，正是长期卡壳之处。
定理（退火 Voronoi 跨越定律）：设强度 @@M@@\varepsilon^{-2}@@ 的泊松过程的沃罗诺伊胞被独立公平染色，则对每个有界 Jordan 域 @@M@@D@@ 与四个逆时针边界标记 @@M@@a,b,c,d@@，黑胞在 @@M@@\overline D@@ 内连接弧 @@M@@ab@@ 与 @@M@@cd@@ 的概率当 @@M@@\varepsilon\downarrow0@@ 时收敛到 @@M@@F(x)@@，其中 @@M@@x\in(0,1)@@ 是把 @@M@@D@@ 共形映射到上半平面且 @@M@@a,c,d\mapsto0,1,\infty@@ 的映射在 @@M@@b@@ 处的值，而 @@M@@F(x)=\frac{\int_0^x[u(1-u)]^{-2/3}\,du}{\int_0^1[u(1-u)]^{-2/3}\,du}@@，等价于 @@M@@\frac{\Gamma(2/3)x^{1/3}}{\Gamma(1/3)\Gamma(4/3)}\,{}_2F_1(\frac13,\frac23;\frac43;x)@@。推论：对固定矩形，条件于几何的跨越概率经 Vanneuville 的方差界得到淬火 @@M@@L^2@@ 收敛。
出发点是把 Smirnov 式的精确恒等式搬到随机对偶图上。取泊松点的 Delaunay 三角化与其对偶图，分离相反颜色的对偶边构成集群边界电路（circuit）；对每条电路 @@M@@L@@ 删去其全部顶点，保留余图连通分量 @@M@@C@@，以完整标签 @@M@@(L,C)@@ 记之。除孤立开边外，各分量具有取向的单色原始边界 @@M@@P@@，称为 rim。每个三角形是参考正三角形在保向实仿射映射下的像，该映射分解出的复线性与反线性部分把边的顺时针向量拆成两项，对 rim 各边以测试函数 @@M@@f@@ 加权求和分别得 @@M@@U_P(f)@@ 与 @@M@@Q_P(f)@@：@@M@@Q@@ 度量偏离等边几何的程度，@@M@@V_P=U_P+Q_P@@ 是加权切向位移。精确的正交性恒等式对每个 Fourier 场成立，闭 rim 上 @@M@@V_P(1)=0@@，平稳性使 @@M@@Q@@ 的宏观闭和变小。主要任务是把闭恒等式”打开”成弧上的关系：沿公共微观子列证明 @@M@@Q_P(f)-aV_P(f)\to0@@。为此在称为 plug 的确定性区域保留端点附近的局部染色构型，用分离的双色走廊拼成闭实验；条件重采样产生一个只依赖两端状态的函数，其在固定环路上的求和很小，并可分解为仿射位移、两个端点势与受控余项。回到真实 rim 时有两个陷阱：其一，弧已被局部几何与颜色选中，比较必须保留此条件——用臂估计在每条 rim 附近提供有限的 plug 模型菜单，以受原始定律控制的无归一次概率作比较，不除以依赖构型的拟合概率；其二，符号场的小摄动不受路径长度控制——由确定性空间加细、近返回界与正交恒等式提供抵消。最后证 @@M@@1-2\operatorname{Re}a>0@@，故所需系数 @@M@@1-a\ne0@@：在有限离散圆盘外补三个标记顶点，闭合于一个外部三角形，该处分量观测量的一个边界系数恰为跨越概率；正交性与传输关系给出围道抵消，极限满足 Cauchy–Riemann 方程。标量 @@M@@a@@ 本身无需识别——一旦非退化它便从方程中消失，剩余边值问题以到等边三角形的共形映射为唯一解（Carleson 表示），从而识别所有子列极限；最终经 Schoenflies 图表中的确定性比较，把多边形近似转移到任意 Jordan 域的精确闭胞跨越事件。
主结果未形式化。本文是同族的输入源头：另两篇分别以它为假设推出淬火近临界普适性定理与 pivotal 振幅 @@M@@\varepsilon^{-3/4}@@，形成一条完整的推理链。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
（答：把闭 rim 上的精确正交恒等式”打开”成弧上关系 Q_P(f)−aV_P(f)→0（bulk transport 定理）。恒等式本身在闭电路上精确成立，但跨越概率需要的是开放边界弧上的信息；论文用 plug（保留端点附近局部构型的确定性区域）加条件重采样完成搬移，这一步要在被局部几何与颜色选中的弧上保号、保条件，是全文技术密度最高、最易出错的一环。）
问 2：为什么需要 rim 的”完整标签”(L,C) 而不能只用几何侧？
（答：删去电路 L 的全部顶点后保留连通分量 C 作标签，孤立开边也计入——introduction 明说正是保留完整标签（含孤立边）才使 Section fields 的精确正交恒等式对每个 Fourier 场成立。若只按几何侧分类，二阶矩恒等式会丢失孤立边贡献而不再精确。）
问 3：标量 a 为什么无需识别、却又必须非退化？
（答：传输关系只要求系数 1−a≠0；一旦非退化，a 就从极限 Cauchy–Riemann 方程中消失，剩余边值问题以到等边三角形的共形映射为唯一解（Carleson 表示），从而识别一切子列极限。论文用三外部标记顶点闭合有限离散盘、证 1−2Re a>0 来排除退化。若 1−a=0，观测量的边界系数不再是跨越概率，整条识别路线断裂。）
问 4：与 Smirnov 三角格点证明相比真正的新意？
（答：Smirnov 的变色技巧依赖正三角形几何；本文几何是泊松–Delaunay 随机的，无偏好方向。办法是把每个 Delaunay 三角形视为参考等边三角形经保向实仿射映射的像，把边向量拆成复线性部分 U 与反线性部分 Q——Q 度量偏离等边的缺陷，然后传输精确闭电路恒等式去控制 Q。这套”把几何缺陷放进反线性分量”的机制是新的。）
问 5：AI 生成证明最可能出错的模式？
（答：典型风险是极限次序管理：introduction 专设一节声明微观极限先于比较尺度、空间加细深度固定后再加深、Jordan 域缓冲固定到最后——这种多层交换次序极易在某一引理里被悄悄违反。其次是比较中”不除以依赖构型的拟合概率”的无归一次概率控制，以及符号场小摄动不受路径长度控制时的抵消论证，这些地方的错误不会被数值实验暴露。）
问 6：谁会用到这个结果？
（答：同族另两篇以它为唯一假设输入：淬火近临界普适性篇与 pivotal 振幅篇构成一条推理链；配合推论（矩形上的淬火 L² 收敛），它也是 Schramm 问题 2.12 退火部分的正面解答。界面定律收敛、任意 Jordan 域淬火极限论文明确未主张。）
总评
这是把共形不变性纲领从规则格点推到完全随机几何的源头性工作，仿射分解加 plug 传输的设计颇具原创性；最大风险藏在多层极限次序与保号比较的执行细节，且它支撑着另外两篇未形式化结果的全部重量。