结果族 224：Critical and quenched near-critical universality for Poisson–Voronoi percolation · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一张超高分辨率的随机黑白马赛克图里，有多少个”一票定乾坤”的像素——只翻转它一个，整张图”左连右”的判定就会跟着翻转？论文给出精确答案：分辨率越高这类像素越多，且按一条干净的纯幂律增长，连前面的常数都是确定的正数，而不是慢悠悠漂移的修正因子。
关键词卡片
@@M@@-5/4@@ 次幂衰减。看个具体例子
主定理是一张公式卡：设泊松点强度为 @@M@@\varepsilon^{-2}@@，则
@@M@@D\mathbb E N_\varepsilon\ \sim\ c_V\,\varepsilon^{-3/4},\qquad c_V\in(0,\infty)@@
幂次的来历可读成”数字版定理”：在三角格点上，单点成为 pivotal 需要”四臂”事件，其概率按 @@M@@\varepsilon^{5/4}@@ 衰减，于是单位面积点数 @@M@@\varepsilon^{-2}@@ 乘上 @@M@@\varepsilon^{5/4}@@，恰好得到 @@M@@\varepsilon^{-3/4}@@；本文证明 Voronoi 模型同样拥有这条纯幂律，而且常数确定。代入具体数字：@@M@@\varepsilon=10^{-2}@@（每单位面积一万个点）时 @@M@@\mathbb E N\approx 31.6\,c_V@@；@@M@@\varepsilon=10^{-4}@@（一亿个点）时 @@M@@\approx 1000\,c_V@@。更难得的是：整个证明不需要所依赖的 Cardy 公式给出任何收敛速率。注意这是一条条件性定理——Cardy 公式由同族姊妹篇提供，本文并不证明它本身。
为什么值得关心
它把近临界理论里”用期望 pivotal 数自定义的尺子”换成了欧氏网格上的纯幂律尺子，为同族姊妹篇的归一化给出了确切的量纲。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读问的是：超高分辨率随机黑白马赛克里有多少”一票定乾坤”的像素。翻译过来：对象是由随机撒点切出胞、再逐胞公平染色的整张拼图；操作是一个”翻色测试”——逐个胞试问，若只翻转它的颜色、其余一切不动，整图”左连右”的判定是否随之翻转。导读要我们看清的问题是：分辨率不断提高时，这类胞的期望数目按什么规律增长，倍数是否被锁死。
第二级台阶
用本科概率术语：模型是泊松–沃罗诺伊渗流——强度 ε^{-2} 的泊松点过程的沃罗诺伊胞被独立公平染色。颜色 pivotal 核点指仅改变其胞颜色即可改变单位方块黑跨越事件发生与否的点，计数 N_ε 含胞与方块相交的外部核点，期望同时平均几何与颜色。渐近号”~”表示两边之比趋于一；所谓振幅，就是不仅确定增长指数 ε^{-3/4}，还锁定极限常数。
第三级台阶
定理条件于标量 Cardy 极限假设：每个有界 Jordan 四边形的临界跨越概率随 ε↓0 收敛到 Cardy 共形值，且假设不含任何收敛速率。结论是存在常数 c_V∈(0,∞) 使 ε^{3/4}·E N_ε→c_V。假设挡住的麻烦：Cardy 极限只在大尺度上提供连接概率的定性极限，证明须先取大而固定的环域尺度比、用定性收敛在足够大的起始尺度后取得压缩性，然后才做迭代——”无速率可用”正是难点所在。结论的实际意义是把姊妹篇近临界理论中用期望 pivotal 数自定义的归一化尺子，换成带确定正常数的欧氏网格纯幂律。
在 Cardy 公式的前提下，本文证明 Voronoi 渗流单位方块跨越的期望颜色 pivotal 数有精确渐近 @@M@@\mathbb{E}N_\varepsilon\sim c_V\varepsilon^{-3/4}@@（@@M@@c_V\in(0,\infty)@@），把近临界理论的归一化尺度确定为带正常数的纯幂律，且全程不需要 Cardy 公式的任何收敛速率。
三角格点临界渗流的交替四臂指数（four-arm exponent）为 @@M@@5/4@@，于是微观尺度 @@M@@\varepsilon@@ 下 pivotal 位点数的自然标度是 @@M@@\varepsilon^{-2}\cdot\varepsilon^{5/4}=\varepsilon^{-3/4}@@。但指数级估计 @@M@@\varepsilon^{-3/4+o(1)}@@ 允许缓慢变化甚至振荡的乘法修正；要得到振幅（amplitude，即严格的极限常数）必须另辟蹊径——三角格点情形由 Du–Gao–Li–Zhuang 的精确臂概率渐近解决。对 Voronoi 渗流，同族姊妹篇已从标量 Cardy 假设推出整套淬火近临界理论，但其归一化始终由”期望 pivotal 计数”自身定义，是否为几何网格的纯幂并不自知。本文的任务就是证明：这个归一化其实是欧氏网格的纯幂，系数为正。
在标量 Cardy 极限假设（每个有界 Jordan 四边形的临界跨越概率收敛到 Cardy 共形值，不含任何速率）下，存在常数 @@M@@c_V\in(0,\infty)@@，使得当泊松点强度为 @@M@@\varepsilon^{-2}@@ 时，单位方块黑跨越的颜色 pivotal（color-pivotal）核点数 @@M@@N_\varepsilon@@（含胞与方块相交的外部核点，期望同时平均几何与颜色）满足 @@M@@\lim_{\varepsilon\downarrow0}\varepsilon^{3/4}\mathbb{E}N_\varepsilon=c_V@@，等价地逆期望 pivotal 数 @@M@@\sim c_V^{-1}\varepsilon^{3/4}@@。常数依赖指定的方块、跨越事件、强度约定与计数方式；定理是条件性的，不证明 Cardy 公式本身。
证明分三个阶段，核心机制发生在环域（annulus）上。第一阶段构造环域传输极限并建立两条关键估计。连接状态（connection state）记录环域两侧哪些边界色段经由内部相连，等价于界面间的非交叉配对；比较两侧的连接状态差，除非至少四条界面穿过环域，传输差为零；恰有四条幸存界面时，两侧可能的内部状态只差一个标量——这就是长环域传输”秩一（rank-one）逼近”的来源。更强的一条估计利用对称性：添加一个公平染色的泊松点所产生的带符号变化在颜色反转与旋转下不变，在此对称类中首阶四界面贡献相消，显式谱计算表明剩余传输衰减快于环域尺度比的平方之逆。这个阈值是命门：插入点遍历二维平面，插入效应必须关于位置可积，而指数 @@M@@5/4@@ 的无符号四臂界恰恰给不出这种可积性。第二阶段（transfer）把上述估计对任意带符号边界数据一致化，并在离散泊松模型中迭代。第三阶段对泊松强度求导：在单位强度下设 @@M@@f(R)@@ 为原点插入一点后在放大矩形 @@M@@RQ_0@@ 中成为颜色 pivotal 的概率，姊妹篇的输入给出 @@M@@f(R)=R^{-5/4+o(1)}@@，故只须证明 @@M@@R^{5/4}f(R)@@ 有正极限。强度微分恒等式 @@M@@\frac{R}{2}f'(R)=\int_{\mathbb{R}^2}K_R(y)\,dy@@ 把 @@M@@f@@ 的对数导数表为插入差核 @@M@@K_R@@ 的积分：远处插入由可积的符号插入估计控制，近处插入由秩一估计在两个外尺度下比较其归一化效应，两者合并给出对数导数与 @@M@@-5/4@@ 之差可求和，从而 @@M@@R^{5/4}f(R)@@ 收敛到正极限。值得强调的是，所有定量估计都不依赖 Cardy 假设的收敛速率：先取大而固定的环域比，用定性收敛在足够大的起始尺度之后获得所需的压缩性，然后才进行迭代。
主结果未形式化。本文站在同族两篇姊妹成果之上：Cardy 公式提供假设输入，淬火近临界理论提供 @@M@@f(R)=R^{-5/4+o(1)}@@ 等 pivotal 标度估计；三角格点上 Du–Gao–Li–Zhuang 的臂振幅定理是其格点类比。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
（答：对称性增强的符号插入估计。添加一个公平染色泊松点产生的带符号变化在颜色反转与旋转下不变，在此对称类中首阶四界面贡献相消，显式谱计算表明剩余传输衰减快于环域尺度比平方之逆。论文自陈这是命门：插入点遍历二维平面，插入效应必须关于位置可积，而指数 5/4 的无符号四臂界恰恰给不出这种可积性；谱计算若有误，积分发散，强度微分论证整体失效。）
问 2：为什么”不要求 Cardy 公式的收敛速率”既是卖点又是难点？
（答：姊妹篇只证了定性的标量 Cardy 极限，若本文额外要求速率，输入就不存在了。处理办法是先取大而固定的环域尺度比，用定性收敛在足够大的起始尺度之后获得所需压缩性，然后才迭代——定量估计全部来自这个”先定性后迭代”的结构，而非任何速率。）
问 3：指数估计 ε^{-3/4+o(1)} 已经有了，为什么还非要有振幅？
（答：ε^{-3/4+o(1)} 允许慢变甚至振荡的乘法修正；而姊妹篇淬火近临界理论的归一化尺度恰是 1/E N_ε，若它是慢漂移的函数，阈值 τ 的定义就会随尺度系统性漂移，无法与三角格点对齐。振幅把”自定义尺子”钉死为常数乘纯幂。）
问 4：与已有工作相比真正的新意？
（答：三角格点上 Du–Gao–Li–Zhuang 已证精确臂渐近；Voronoi 模型此前连 pivotal 计数是纯幂都不知道。本文在仅有标量 Cardy 假设下证出 Voronoi 振幅，核心新技术是长环域传输的秩一逼近与对称类增强衰减的配合，外加对任意带符号边界数据的一致化。）
问 5：AI 生成证明最可能出错的模式？
（答：最危险的是计算密集步骤——决定衰减阈值的显式谱计算、强度微分恒等式中插入差核的符号与归一化、秩一估计在两个外尺度下比较时的常数校准。这类错误不会改变指数、只破坏可积性或极限存在性，数值模拟几乎无法察觉；论文也未给出任何数值交叉核验。）
问 6：这个结果谁会用到？
（答：直接下游是同族淬火近临界篇：其归一化 r_ε=1/E N_ε 由本定理确定为 c_V^{-1}ε^{3/4}，阈值向量从而获得欧氏量纲；论文还指出”带符号一致传输”与”秩一/对称分离”两个要素可迁移到其他模型的振幅问题。更远的推论论文未展开。）
总评
这是三部曲里把近临界理论量纲钉死的一环：条件于姊妹篇的 Cardy 公式，它证明期望 pivotal 数有带正常数的纯幂渐近，方法上秩一加对称消阶的设计颇见功力；最大风险集中在谱计算与微分恒等式的细节账目，且结论完全依赖另一篇未形式化结果。