结果族 213：Critical percolation on every quasi-transitive graph · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把方格渔网换成蜂窝网、无限家谱树，或任何”从对称性看只有有限种顶点”的规则无限网络，”临界点处有没有无穷连通块”这个问题依然可以问。本文证明：只要 p_c<1，答案统一是”没有”。这正是 Benjamini 与 Schramm 在 1996 年提出的临界性猜想的键渗流版本。
关键词卡片
看个具体例子
定理一句话：@@M@@\mathbb{P}_{p_c}(\text{存在无穷开簇})=0@@。特别地，把图取为 @@M@@\mathbb{Z}^d@@（一切 @@M@@d\ge 2@@），就免费得到所有方格网的临界熄灭。注意条件 @@M@@p_c<1@@ 不可省略：p=1 时整张图全开，”无穷簇”当然存在。
为什么值得关心
它把渗流临界理论从”逐个图攻坚”升级为”一类图通吃”：指数增长的图 2016 年已解决，此次攻下的是剩下的次指数增长、又无平面几何与花边展开可用的图类。证明按体积增长速度分成两种情形：增长快于一切幂次的走纯概率路线，多项式尺度的则借助群论加几何的”走廊”论证。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把方格渔网换成”任何从对称性看只有有限种顶点的规则无限网络”。翻译过来：对象是一个无限图，它的对称性把顶点归成有限多类；操作仍是每条边独立地以概率 @@M@@p@@ 开通，顺开边连通。要问的还是那个问题：恰好站在临界参数 @@M@@p_c@@ 上，有没有无穷大的开连通块？
第二级台阶
用本科术语精确化。拟传递图：自同构群在顶点上只有有限多个轨道，涵盖 @@M@@\mathbb{Z}^d@@、蜂窝网、Cayley 图。Bernoulli 键渗流给每条边独立置开，@@M@@p_c=\inf\{p:\text{以正概率出现无穷开簇}\}@@。核心工具是可数图上的联合粘合不等式：@@M@@\mathbb{P}(o\leftrightarrow A,\,o\leftrightarrow T)\ge\mathbb{P}(o\leftrightarrow A)\inf_{a\in A}\mathbb{P}(a\leftrightarrow T)@@，且固定任意一批已揭示的边后仍可用。刻画图”长多快”的量是半径 @@M@@r@@ 球体积 @@M@@V_\pm(r)@@ 的最大最小值。
第三级台阶
定理的语境：@@M@@G@@ 无限、连通、局部有限、拟传递。结论是若 @@M@@p_c(G)<1@@，则 @@M@@\mathbb{P}_{p_c}(\text{存在无穷开簇})=0@@——Benjamini–Schramm 1996 临界性猜想的键形式获证，特别涵盖一切 @@M@@\mathbb{Z}^d@@。假设 @@M@@p_c<1@@ 挡住 @@M@@p=1@@ 时整图全开的平凡反例；拟传递性挡住两件事：给临界无穷簇提供一致的正概率下界，并允许调用传递图上的群论结构定理。证明按体积增长二分：快于一切幂次的走纯概率的插值路线，多项式尺度的走群论加几何的走廊路线。
论文证明：凡 @@M@@p_c<1@@ 的无限连通局部有限拟传递图，其临界 Bernoulli 键渗流几乎必然没有无穷开簇——正面解决 Benjamini–Schramm 1996 年临界性猜想的键形式，特别涵盖一切 @@M@@\mathbb{Z}^d@@。
拟传递（quasi-transitive）指图的自同构群在顶点上只有有限多个轨道，涵盖一切顶点传递图和有限生成群的 Cayley 图。Benjamini 与 Schramm 在 1996 年研究欧氏格点之外的渗流时提出猜想：@@M@@p_c<1@@ 的拟传递图在临界参数处没有无穷簇。此前的拼图大致是：非顺从且具单模（unimodular）拟传递作用的图由 BLPS（1999）解决；指数增长的拟传递图由 Hutchcroft（2016）解决；Hermon–Hutchcroft（2021）又覆盖了满足一致伸展指数返回概率界（指数大于 @@M@@1/2@@）的单模图。剩下的次指数增长且不满足返回概率界的图，既无平面几何也无花边展开（lace expansion）可用，是最后的空白地带。本文按体积增长速度把这块硬骨头分成两种情形，分别用纯概率与群论加几何两条路线攻破。
定理 1：设 @@M@@G@@ 无限、连通、局部有限、拟传递，且 @@M@@p_c(G)<1@@，则
@@M@@D\mathbb{P}_{p_c(G)}(\text{存在无穷开簇})=0,@@
等价地每个顶点属于无穷簇的概率为零。条件 @@M@@p_c<1@@ 不可去：参数为 @@M@@1@@ 时整图全开。推论 2：对每个 @@M@@d\ge 2@@，@@M@@\mathbb{Z}^d@@ 上最近邻键渗流在临界处无无穷簇（@@M@@p_c<1@@ 由平面对偶围道计数验证）。
工具性结果是”联合粘合不等式”（joint gluing）：在可数图上，对顶点 @@M@@o@@、非空顶点集 @@M@@A@@ 与任意集 @@M@@T@@，
@@M@@D\mathbb{P}(o\leftrightarrow A,\ o\leftrightarrow T)\ \ge\ \mathbb{P}(o\leftrightarrow A)\inf_{a\in A}\mathbb{P}(a\leftrightarrow T),@@
取 @@M@@T@@ 为单点即得 Kozma–Nitzan 的乘法粘合不等式（Conjecture 1，2024）。其推论”到中继后失败”：当中继集 @@M@@A@@ 中每点以概率 @@M@@\ge 1-\lambda@@ 连到目标时，到达 @@M@@A@@ 却连不到 @@M@@T@@ 的概率 @@M@@\le\lambda@@，且在固定任意一批已揭示的边后仍可使用。
先归化：一致指数增长率大于 @@M@@1@@ 时整段引用 Hutchcroft 定理；剩下次指数增长，按两个穷竭性情形二分（无需中间增长分类）：(i) @@M@@\log V_-(r)/\log r\to\infty@@；(ii) 沿某无界半径序列 @@M@@V_-(R_j)\le R_j^d@@。其中 @@M@@V_\pm(r)@@ 是半径 @@M@@r@@ 球体积的最大、最小值。
情形 (i)（增长快于一切幂次）：设临界处有无穷簇，则各顶点有一致正下界 @@M@@\theta@@；经有限事件连续性，在某 @@M@@p\in[p_c/2,p_c)@@ 处”簇大小 @@M@@\ge L@@“处处概率 @@M@@\ge 3\theta/4@@，再用带状论证找到尺寸 @@M@@s@@，使某顶点以概率 @@M@@\ge(\log s)^{-2}@@ 簇落在带 @@M@@[s,s^2)@@，而处处尾概率 @@M@@\ge\theta/2@@。增长条件给出半径 @@M@@r@@ 使 @@M@@V_-(r)\ge s^4@@ 且 @@M@@\log r=o(\log s)@@；重采样带簇的关联边，可在球内找到距离 @@M@@\le r@@、互异且大小 @@M@@\ge s@@ 的高概率簇对，取其最小距离 @@M@@d@@。一方面”双簇界”——一条固定边两侧各出现大小 @@M@@\ge s@@ 的互异簇之概率 @@M@@\le Cs^{-1/2}@@（改编 Aizenman–Kesten–Newman 边界差方法与 Hutchcroft 幽场表述）——排除 @@M@@d=1@@；另一方面 @@M@@d@@ 的最小性迫使距离 @@M@@<d@@ 的点对以一致概率相连。最后沿测地线插值（interpolation）：反复二分路径，每次至多增加一个簇与一条连接边，代价由搜索的条件成功概率衰减的相对熵（relative entropy）控制，最终在某条相邻边上与双簇界矛盾。
情形 (ii)（多项式尺度）：先用 Tessera–Tointon 的单尺度结构定理，在由一个轨道构造的辅助传递图上提取有限指标子群 @@M@@\Lambda\le\operatorname{Aut}(G)@@ 与到有限生成幂零（nilpotent）群 @@M@@N@@ 的满同态 @@M@@\rho@@，其核的顶点轨道有限、顶点稳定子的像有限；商群只提供坐标，一切渗流路径与揭示的边都留在原图 @@M@@G@@ 中。再对 @@M@@N@@ 的循环列（cyclic series）中无穷循环因子个数 @@M@@h@@ 归纳：@@M@@h=0@@ 导致图有限；若交换化秩至多 @@M@@1@@，则水平切割中几乎必然出现无穷多闭割、一切簇被夹在有限层内，得 @@M@@p_c=1@@，矛盾；故存在 @@M@@\phi:N\to\mathbb{Z}^2@@，得等变坐标 @@M@@\pi@@ 且相邻顶点坐标增量一致有界。归纳步排除投影有界的无穷开射线；配合临界无穷簇的唯一性，得到两个线性无关方向上的高概率近似移动（重标后位移 @@M@@(1,1)@@ 与 @@M@@(1,-1)@@，边步长可任意小），并在某 @@M@@p'<p_c@@ 保持。
最后沿斜率 @@M@@\pm 1/4@@ 铺设走廊（corridor），走廊相交只发生在公共端区；联合粘合不等式经”新鲜领口传递”命题把连接逐段送过未揭示的走廊——入口由外部位选定，中继质量由内定位定义，二者解耦；自适应探索为每个待测点保存条件预测，单点条件失败 @@M@@\le\varepsilon@@。若好点集有限，其有向边界分解出的长 @@M@@l@@ 闭迹至少指定 @@M@@l/4@@ 个失败点，候选至多 @@M@@4^l@@ 个，级数 @@M@@\sum_l 4^l\varepsilon^{l/4}<1@@，故以正概率好点无穷，在 @@M@@p'<p_c@@ 得无穷开簇——矛盾，归纳完成。
本文暂无形式化证明，请以社区核验为准。同族姊妹篇（@@M@@\mathbb{Z}^3@@ 上键与点渗流的临界熄灭）主结果已 Lean 形式化，其有限联合不等式与本文的联合粘合定理在思想上同源、证法同构（簇列非负锥加交替重采样）；本文的一般定理又独立蕴含 @@M@@\mathbb{Z}^d@@ 的键情形，两篇从特殊与一般两端互相印证。按 OpenAI 官方声明，未经形式化的结果可能有问题，阅读时宜以已形式化部分与社区核验为锚。
问 1：证明里最关键、最脆弱的一步是哪里？
答：整个证明按体积增长二分，两条支线各有一个命门。情形（i）（增长快于一切幂次）靠”沿测地线插值”：反复二分路径，每步至多添一个簇与一条连接边，代价由条件成功概率衰减的相对熵控制，最终在某条相邻边上撞上双簇界（一条固定边两侧各出现大小 @@M@@\ge s@@ 的互异簇之概率 @@M@@\le Cs^{-1/2}@@）。熵账若在多步迭代中漏掉一个因子，矛盾就凑不齐。情形（ii）的走廊探索依赖”新鲜领口传递”把联合粘合不等式逐段送过未揭示走廊，入口与中继质量的解耦是最精巧也最易错的一环。
问 2：条件 @@M@@p_c<1@@ 为什么不能去掉？
答：@@M@@p_c=1@@ 的图（如 @@M@@\mathbb{Z}@@）在参数 @@M@@1@@ 处整图全开，无穷簇显然存在；条件排除的正是这个平凡情形。它也让定理的覆盖面说清楚：所有 @@M@@p_c<1@@ 的拟传递图，一个不剩。
问 3：与已有工作相比真正的新意是什么？
答：非顺从单模图（BLPS 1999）、指数增长（Hutchcroft 2016）、一致伸展返回概率指数大于 @@M@@1/2@@（Hermon–Hutchcroft 2021）此前已解决；剩下的是次指数增长又无返回概率界、且既无平面几何也无花边展开可用的图。本文补上这块最后的空白，完整解决键形式猜想，并顺带导出 Kozma–Nitzan 乘法粘合猜想。
问 4：这类 AI 生成证明最可能在哪里出错？
答：情形（ii）堆叠了重器：Tessera–Tointon 单尺度结构定理先在辅助传递图上提取有限指标子群与到幂零群的满同态，商群只供坐标、路径全留原图。把结构定理从传递图搬到拟传递图的辅助构造若有一处轨道/稳定子细节失配，后续等变坐标 @@M@@\pi@@ 与循环列归纳即整体失效。走廊计数的级数 @@M@@\sum_l 4^l\varepsilon^{l/4}<1@@ 也要求 @@M@@\varepsilon@@ 与 @@M@@l@@ 的关系精调。本文暂无形式化核验，这些恰是应重点复查之处。
问 5：为什么不直接把姊妹篇的 @@M@@\mathbb{Z}^3@@ 方法搬过来？
答：一般拟传递图没有格点几何：没有四分之一面、没有按尺度裁剪的初等移动。替代品是群论坐标加斜率 @@M@@\pm1/4@@ 的走廊铺设，联合粘合不等式扮演姊妹篇有限比较不等式的角色——两者证法同构（簇列非负锥加交替重采样）但适用场景不同。
问 6：谁会用到它？
答：它统一蕴含一切 @@M@@\mathbb{Z}^d@@（@@M@@d\ge2@@）键渗流的临界熄灭，是临界理论”一类图通吃”的地基；粗几何、Cayley 图上随机过程的研究可直接引用。点渗流的一般拟传递版本论文未展开。
总评
这是 Benjamini–Schramm 临界性猜想键形式的完全解决，覆盖面惊人；最大风险在情形（ii）群论机械与概率估计的长链条拼接，且尚无形式化背书，结论宜以社区核验为准。