结果族 224：Critical and quenched near-critical universality for Poisson–Voronoi percolation · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一锅水恰好烧开是”临界点”；把火拧小一点点，沸腾的样子多久才变？这篇论文研究的是”随机炉子”版本：把平面按随机撒下的种子切成不规则拼图、逐格染黑白，然后问——染黑概率偏离临界值 @@M@@1/2@@ 多少时，”从左连到右”的宏观现象开始响应？答案惊人：与最经典的三角格点模型完全同步。
关键词卡片
@@M@@U@@，密度 @@M@@p@@ 时染黑当且仅当 @@M@@U\le p@@，让不同 @@M@@p@@ 能在同一画面上比较。看个具体例子
每个模型用自己的尺子：把密度写成 @@M@@p=\frac12+\lambda r@@，其中 @@M@@r=1/\mathbb E[N]@@（@@M@@\mathbb E[N]@@ 是该模型单位方块跨越的期望 pivotal 数）；四边形 @@M@@Q@@ 的跨越阈值 @@M@@\tau(Q)@@ 就是让 @@M@@Q@@ 首次被穿越的 @@M@@\lambda@@。定理说：固定拼图、只对颜色平均，所有 @@M@@\tau(Q)@@ 的联合定律在几何随机性下依概率收敛到与三角格点完全相同的极限 @@M@@\nu_\triangle@@。
图中灰色两胞连成一条从左到右的通道；虚线标出的 pivotal 胞是”一票定乾坤”者：只翻转它，通道就会断开（或接通）。近临界理论正是以这类格子的数量为尺子来度量偏离。
为什么值得关心
这是首次对”几何本身完全随机”的模型证明近临界极限与经典格点一致——普适性跨越了随机几何。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用”随机炉子上的沸水”打比方。翻译过来：对象是随机拼图上的染色世界——平面先被撒下的随机种子切成不规则胞，再逐胞染黑或白；操作是拧动”染黑概率”这个旋钮，观察它偏离一半多远时，”从左连到右”这类宏观连通现象开始响应。炉子本身（拼图几何）是随机的，而导读强调的”淬火”视角，就是把炉子先固定死、只让染色的随机性平均掉。
第二级台阶
用本科概率术语：泊松–沃罗诺伊渗流由强度 ε^{-2} 的全平面泊松点过程生成沃罗诺伊胞；每胞带独立均匀标记 U，密度 p 时染黑当且仅当 U≤p——这即单调耦合，使不同密度可以同框比较。颜色 pivotal 位点指保持其余颜色与镶嵌不变、仅翻转该胞颜色即可改变单位方块跨越指示变量的位点，N 记其数目。四边形 Q 的跨越阈值 τ(Q) 定义为使 Q 首次被穿越的参数 λ，其中密度取 1/2+λr，尺度 r=1/E[N]。
第三级台阶
定理以姊妹篇证明的标量 Cardy 公式为唯一输入，在此之上证三件事：期望 pivotal 数有限且严格为正、两个模型的归一化尺度趋于零；三角格点的阈值向量依分布收敛到某测度 ν；条件于泊松镶嵌、只平均颜色标记时，Voronoi 阈值向量的条件定律在几何随机性下依概率收敛到同一个 ν。假设各挡一种麻烦：单调耦合保证阈值作为 λ 的函数良定义；淬火条件律把几何与颜色两种随机性分账；取值空间选可数有理四边形族上的紧乘积空间，让”所有四边形的联合阈值”这个无穷维对象有合法拓扑。
在承认姊妹篇证明的 Cardy 公式后，本文证明泊松–沃罗诺伊渗流的淬火近临界普适性：固定随机镶嵌、只平均颜色，各四边形的跨越阈值经模型自身期望 pivotal 数归一化后，在几何概率下依概率收敛到与三角格点完全相同的极限定律。
临界渗流刻画密度恰在临界值时的宏观连通几何，近临界（near-critical）渗流则问：密度偏离临界点多远，宏观跨越才开始响应？在三角格点上，Kesten 的标度关系、Nolin 的系统近临界估计以及 Garban–Pete–Schramm 的连续 pivotal 测度与近临界标度极限理论，给出了这一问题的参考框架。对几何本身随机的泊松–沃罗诺伊（Poisson–Voronoi）渗流，Benjamini–Kalai–Schramm 提出了跨越集中性问题，Ahlberg 等人随后证明了淬火（quenched，即固定几何后仅平均颜色）集中性与噪声敏感性。悬而未决的是：典型固定几何在只平均颜色后，是否产生与三角格点相同的近临界极限过程？此前卡在 Voronoi 模型连联合临界信息（探索路径极限、pivotal 响应的收敛）都未建立，可用的只有一条标量的 Cardy 公式。
设 @@M@@\eta_\varepsilon@@ 为强度 @@M@@\varepsilon^{-2}@@ 的全平面泊松过程，其沃罗诺伊胞独立染色；每位点带独立均匀标记 @@M@@U_v@@，密度 @@M@@p@@ 时为黑当且仅当 @@M@@U_v\le p@@（单调耦合，monotone coupling）。翻转某位点颜色会改变单位方块左右跨越的位点称为颜色 pivotal（color-pivotal），其计数记 @@M@@N_\varepsilon^V@@，三角格点模型类似记 @@M@@N_\delta^\triangle@@。两个模型各以自身尺度 @@M@@r_e^M=1/\mathbb{E}N_e^M@@ 定义近临界密度 @@M@@p_e^M(\lambda)=\frac12+\lambda r_e^M@@ 与四边形（quad）@@M@@Q@@ 的跨越阈值 @@M@@\tau_e^M(Q)=\inf\{\lambda: C_Q \text{ 在密度 } p_e^M(\lambda)\text{ 发生}\}@@。主定理（Quenched near-critical universality）：在标量临界 Cardy 公式（Hypothesis，即姊妹篇定理 1.1）假设下，各期望 pivotal 数有限且严格为正、两个归一化尺度趋于零；三角格点的阈值向量定律收敛到某测度 @@M@@\nu_\triangle@@；而条件于泊松镶嵌，Voronoi 阈值向量（取值于有理多边形四边形族上的乘积型紧空间 @@M@@\mathcal K@@）的条件定律在几何概率下依概率收敛到同一个 @@M@@\nu_\triangle@@。
证明要完成两次转移。第一次是从标量跨越提取联合临界信息：条件于典型固定几何，只探索颜色位；临界臂估计控制探索与未探索域边界的接触，Cardy 测试逐段决定停下的壳层，迭代得出 SLE@@M@@_6@@ 探索路径与环路极限（把 Camia–Newman 方法推广到所需几何），再恢复限定在给定多边形内、甚至强制若干分离方块为指定颜色的联合临界测试，由对小扰动的连续性与有限多边形跨越见证识别其共同定律。第二次是把微观颜色变化与固定介观改变相比较。先做”位点展开”：单个位点在多个时刻的颜色历史定律恰为临界定律加上一个居中的小符号测度 @@M@@q_ew_{\mathbf t}@@，逐位相乘并用泊松阶乘矩公式展开成无穷级数。系数带符号，须证绝对收敛：作者构造合并森林（merging forest，方法论上源自 GPS 的谱样本分析），用 Kruskal 型算法把相近插入点组织成聚类，在每个”生命区间”的环形探针上要求四臂事件，聚类直径的损失经伸缩求和后仅以位点数 @@M@@k@@ 为界，最终得到 @@M@@C^kk^{-(1-g/2)k}@@ 型的超指数系数界。随后是保号的局部比较（sewing）：以四段交替单色弧构成的分离环为中介，把单点插入与固定大小方块的插入互换，同时保留任意符号历史权重；再借助 Russo 恒等式使展开的首系数恰为 @@M@@1@@，从而校准出共同的比较常数 @@M@@c\in(0,\infty)@@，全程无需预先知道微观 pivotal 振幅的收敛。之后用同一比较把辅助的 @@M@@2{:}1@@ 矩形归一化换算成单位方块归一化，得到 @@M@@q_e\mathbb{E}N_e(Q_*)\to B>0@@。最后，一重复印的收敛给出期望，两份共享同一几何的独立颜色复印给出二阶矩，@@M@@L^2@@ 收敛配合紧空间上等连续函数族的有限 @@M@@\zeta@@-网，完成条件定律在几何上的依概率收敛。
主结果未形式化。本文的关键输入——标量 Cardy 公式——由同族姊妹篇证明，本族另一篇再证明该归一化尺度实为纯幂 @@M@@\varepsilon^{-3/4}@@（带正常数振幅），三篇环环相扣。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
（答：位点展开的绝对收敛。把每个位点的颜色历史写成临界定律加居中小符号测度后，任意跨越测试都展开成带符号的无穷级数；论文用”合并森林”加环形四臂探针，得到对位点数 k 超指数衰减的系数界，级数才在紧参数集上绝对收敛。若该界失效，后面所有比较都在无意义的形式级数上进行。）
问 2：标量 Cardy 公式这一假设为什么不能去掉？
（答：探索论证靠 Cardy 测试逐段决定停止壳层，进而迭代出 SLE₆ 探索路径极限与限定在多边形内、含强制着色方块的联合临界测试——这些联合信息均非假设内容而是本文新证。没有标量公式，第一步”从标量到联合”就无从启动；同时它只取标量、几何平均的形态，恰好留出了本文要补的全部缺口。）
问 3：与已有工作相比真正的新意在哪里？
（答：此前 Voronoi 模型只有跨越集中性、噪声敏感性与退火标度关系；本文首次证明典型固定几何在只平均颜色后产生与三角格点相同的联合近临界阈值极限律，且参考极限完全由确定性三角模型定义、归一化用各模型自身期望 pivotal 数，不依赖任何 Voronoi 极限对象。）
问 4：为什么”淬火”比”退火”表述更强、也更难？
（答：退火把几何一起平均，会抹平不同镶嵌的差异；淬火问的是几乎每一份典型拼图单独拿出来是否都有普适极限。定理的收敛是对几何依概率的条件律收敛，且不要求不同泊松网格间任何耦合，这正是 BKS 集中问题的强化版本。）
问 5：AI 生成证明最可能出错的模式？
（答：典型风险在”保号的局部比较”：用四段交替单色弧的分离环互换单点插入与方块插入时，必须对任意符号历史权重保持符号与常数正确，Russo 恒等式使首系数为 1 的校准一步尤其敏感；这类符号账目错误不会被数值模拟暴露。合并森林中”聚类直径损失求和仅以 k 为界”的组合估计也是易错点。）
问 6：这个结果谁会用到？
（答：本族三部曲环环相扣：本文消费姊妹篇的 Cardy 公式，又输出归一化尺度，供振幅篇证明 r_ε 渐近 ε^{3/4}；论文还指出森林超指数界与保号比较两个要素可迁移到其他”从临界到近临界”的模型。更远的动力学极限、噪声敏感性与例外时刻推论论文未展开。）
总评
这是把近临界普适性从规则格点推进到完全随机几何的关键一步，方法上”从标量提取联合信息”的两次转移颇有分量；最大风险是符号级数与保号比较的账目细节，且结论叠加在同为未形式化的姊妹篇输入之上。