结果族 223：Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把一张用乐高积木拼出的海岸线照片不断放大：积木越换越小，轮廓越来越像一条连续曲线。这篇论文证明，方形格点上一整族随机折线——”随机簇模型”的相变边界——在格点无限加细后，确实收敛到一种标准随机曲线 SLE，连刻画它”性格”的参数都能精确写出。
关键词卡片
看个具体例子
主定理给出参数公式 @@M@@\kappa(q)=4\pi/\arccos(-\sqrt q/2)@@，代进具体数字：@@M@@q=1@@（渗流，临界概率 @@M@@p_1=1/2@@）时 @@M@@\arccos(-1/2)=2\pi/3@@，得 @@M@@\kappa=6@@；@@M@@q=4@@ 时 @@M@@\arccos(-1)=\pi@@，得 @@M@@\kappa=4@@。也就是说：普通方格键渗流的界面极限是 SLE@@M@@_6@@，@@M@@q=4@@ 端点是 SLE@@M@@_4@@。
图中粗实线是”接线”边界、虚线是”自由”边界，红色折线就是 Dobrushin 界面：格距趋于零后它不再逐格拐折，而是收敛为一条光滑却依旧随机的 SLE 曲线。
为什么值得关心
它补上了共形不变性纲领在普通方格上整个 @@M@@1\le q\le4@@ 区间的缺口，还第一次证明了方格键渗流的 Cardy 公式。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把界面比作不断放大的乐高海岸线。翻译成半数学语言：对象是方形格点上每条小边随机”开/关”后得到的整幅拼图，旋钮 q 控制开边扎堆的程度；操作是把区域边界的一段强制焊成一片、另一段保持松散，于是开块与闭块之间被迫裂开一条随机折线——海岸线放大后不再逐格拐折、稳定成一种标准随机曲线，说的就是这条折线在格距趋零时的归宿。
第二级台阶
用本科概率的话说：随机簇模型是有限图边组态上的概率律，权重正比于开边数、闭边数与连通块数的幂三者的乘积，块数指数即 q；临界点取 p_q=√q/(1+√q)。Dobrushin 边界条件指把边界弧 W 上的顶点全部并入一个块（接线），其余弧 F 上顶点各自为单点块（自由）；在中间图上，两种边界配对之间恰有一条折线从标记点 a 连到 b，它就是 Dobrushin 界面 η。
第三级台阶
定理在如下语境陈述：固定 q∈[1,4]，格距沿任意序列趋于零，区域用一致收敛的标记 Jordan 边界逼近。假设各挡一种麻烦：接线/自由边界保证界面唯一存在；”实际开路径”与权重块的区分挡住边界焊接带来的路径歧义；一致逼近挡住离散标记点的漂移。结论是：界面在曲线距离下依分布收敛到区域中的弦 SLE，参数 κ(q)=4π/arccos(-√q/2)；自由无穷体积律下全部嵌套回路在球面匹配拓扑下收敛到全平面 CLE，且保留回路重数与遍历次序；q=1 情形还附带方格键渗流的 Cardy 穿越公式。
本文证明：对方形格点上簇权 @@M@@1\le q\le4@@ 的临界随机簇模型，Dobrushin 界面收敛到弦 @@M@@\mathrm{SLE}_{\kappa(q)}@@（@@M@@\kappa(q)=4\pi/\arccos(-\sqrt q/2)@@），完整的嵌套平面回路族收敛到全平面 @@M@@\mathrm{CLE}_{\kappa(q)}@@，并在 @@M@@q=1@@ 得到方形格点键渗流（含自由边界边）的 Cardy 公式——补上了共形不变性预言在普通方形格点上整个 @@M@@q@@ 区间的缺口。
平面临界模型的共形不变标度极限是统计力学核心纲领。Schramm 用共形不变性刻画导出 SLE；Cardy 的渗流穿越公式由 Smirnov 在三角格点座渗流证明；FK–Ising（@@M@@q=2@@）界面收敛由 Chelkak–Duminil-Copin–Hongler–Kemppainen–Smirnov 用离散全纯观测量建立；完整回路族的极限律 CLE 由 Sheffield–Werner 构造。但方形格点、原始随机簇概率律、整个区间 @@M@@1\le q\le4@@ 的界面与回路收敛此前没有证明——除 @@M@@q=2@@ 外既无适用的离散全纯结构，也无 Cardy 公式的方形格点键渗流版本。难点有三：单条界面的极限不自动给出与其他界面的耦合；紧集上的迹收敛不保留回路重数、嵌套与完整遍历次序；探索后的随机区域上四点公式是否仍可用。
主定理：固定 @@M@@1\le q\le4@@，@@M@@p_q=\sqrt q/(1+\sqrt q)@@。在标记 Jordan 域 @@M@@(D;a,b)@@ 上，@@M@@W@@ 弧接线（wired）、@@M@@F@@ 弧自由，中点图（medial graph）Dobrushin 线 @@M@@\eta_n@@ 在一致标记边界逼近下收敛到 @@M@@(D;a,b)@@ 中的弦 @@M@@\mathrm{SLE}_{\kappa(q)}@@，收敛保持有序遍历（保序曲线拓扑）；自由无边无穷体积律的完整嵌套回路族 @@M@@\Gamma_\delta@@ 收敛到嵌套全平面 @@M@@\mathrm{CLE}_{\kappa(q)}@@（球面 @@M@@\epsilon@@-匹配拓扑，保留重数与遍历），极限 Möbius 不变。两结论沿任何网格序列成立，@@M@@q=4@@ 时为 @@M@@\mathrm{SLE}_4@@ 与标准简单嵌套 @@M@@\mathrm{CLE}_4@@。附带定理：方形格点键渗流（所有边含边界边独立以 @@M@@1/2@@ 开启、不接线）的穿越概率收敛到 Cardy 公式 @@M@@\int_0^x[t(1-t)]^{-2/3}\dd t\big/\int_0^1[t(1-t)]^{-2/3}\dd t@@。
对 @@M@@1\le q<4@@，证明从”四换边”计算出发：上半平面边界换点 @@M@@0,\chi,1,\infty@@ 处，开帽归一化下的连接概率为 @@M@@f(\chi)=I_C/(I_B+I_C)@@（@@M@@I_B,I_C@@ 为带指数 @@M@@\rho-1@@、@@M@@1-3\rho@@ 的显式积分，@@M@@\sqrt q=2\cos\lambda@@、@@M@@\rho=\lambda/\pi@@）；两条指定区间分别接线后变为 @@M@@g=f/(f+d(1-f))@@，@@M@@d=\sqrt q@@——@@M@@d\ne1@@ 时两种归一化必须严格区分。先做正向比较：瓦片律与随机簇律精确等同、领圈与通道数比较、指数不等式，随后一切复电流估计都落在这些正律中。再经角向转移算子与反射范数、标量谱分解压制妨碍全纯性的角向模式，用远探针比较与折叠混合格式估计解除全纯性假设，得到四换边公式而不假设任何格点共形不变性定理。接着把固定形状公式搬到随机探索后的区域：有限图逼近加上原开关律下的平均六臂估计（@@M@@\P(A_6(r,R))\le C(r/R)^{2+c_0}@@），配合”定向障碍物”构造与长度—面积论证完成搬移。然后识别驱动：在自由侧插入小区间，条件配对概率是精确有界鞅，四换边试验识别其值为 @@M@@f(\chi_t)@@，导出鞅测试 @@M@@M_t(x)=(xg_t'(x)/(g_t(x)-W_t))^h@@；双测试凸性论证给出二次变差界，Itô 公式加 Lévy 刻定识别 @@M@@W_t=\sqrt\kappa B_t@@。曲线层面用领土臂计数、六臂估计排除三点三次访问、”小闸门”论证排除被吞没区域内的多余游走，从而识别完整有序迹。回路部分用均匀壁剥离构造目标树、匹配分支 SLE 描述与离散回路，绕数定标签、逃逸界升级到球面匹配拓扑。@@M@@q=4@@ 端点单独处理：借助 FK 同伦耦合的旋转双射与全平面六顶点场定理控制双接触，最终以双值局部集（two-valued local sets）唯一性识别 @@M@@\mathrm{CLE}_4@@；严格角向与六臂估计未通过极限论证延拓到 @@M@@q=4@@。
主结果暂无形式化证明，请以社区核验为准；OpenAI 官方声明未经形式化的结果可能有问题。本文是结果族的基石：它为占据测度姊妹篇提供有序迹收敛输入（其 Input trace 即本文 Theorem chordal:trace），也与热质量篇共享穿越估计框架。作者强调只用公开结果于其陈述假设内，不借助随机平面地图或随机嵌入的度规极限；所有定理均对固定 @@M@@q@@ 成立，不宣称 @@M@@q\uparrow4@@ 的一致性。
问 1：证明链条里最关键也最脆弱的一环是哪一步？
（答：对 q<4，枢纽是把固定形状区域上的四换边连接概率公式迁移到随机探索后的区域——introduction “Moving domains” 一节用有限图逼近加原开关律下的平均六臂估计完成，且明说不要求在每个被探索区域中一致成立。若这一步失效，后续把测试函数识别为鞅、再用 Itô 公式定出驱动布朗系数的整条路线都会崩塌。）
问 2：为什么必须区分”开帽归一化”与”接线区间”两种归一化？
（答：二者给出的连接概率分别是 f(χ) 与 f/(f+d(1−f))，d=√q。q≠1 时两者不同，混用会让边界换点处的连接概率系统性偏移，鞅测试函数的漂移随之出错，最终识别出的 κ 就是错的。论文原文强调 d≠1 时严格区分两种归一化是本质性的。）
问 3：q=4 端点为什么不能从 q<4 取极限得到？
（答：论文明确说明 q<4 所用的严格角向估计与六臂估计没有通过极限论证延拓到 q=4，q=4 改走 FK 同伦耦合旋转双射加全平面六顶点场定理、最后用二值局部集唯一性识别 CLE_4 的单独路线；定理陈述也不主张对 q↑4 一致。）
问 4：与 Chelkak–Smirnov 等已有工作相比，真正的新意在哪里？
（答：此前方格上只有 q=2（FK–Ising，靠离散全纯观测量）和三角格点 q=1 座渗流；本篇在没有现成离散全纯结构的条件下，用正比较加角向转移算子直接算出四换边公式，一次性覆盖整个 [1,4]，并首次给出方格键渗流（含自由边界边）的 Cardy 公式。）
问 5：AI 生成证明最可能在哪里出错？
（答：典型风险是长链条中的”精确等同”断言——瓦片律与随机簇律的精确等同、折叠混合格式估计里指数不等式的常数追踪、q=4 处相对四臂概率平方的误差估计。这类错误不会被数值模拟暴露；此外证明引用多篇 2026 年公开结果（FK 同伦耦合、六顶点场定理等），若引用假设与使用场景不匹配会连带出错，论文自身未展开对这些接口的逐条核验。）
问 6：这个结果的下游是谁？
（答：按论文可信度节自述，占据测度姊妹篇的输入迹收敛直接引用本文的 chordal trace 定理，热质量篇共享同一套穿越估计框架；更广地，全平面 CLE 极限为平面随机几何（LQG 方向）提供方格侧的输入。论文未讨论更远的推论。）
总评
若成立，这是补齐方格随机簇共形不变性整个区间的纲领性基石，分量极重；但证明链条极长、横跨多个非标准技术且未经形式化，最大风险藏在精确等同与常数追踪的细节处。