结果族 223：Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
在一张巨大的方格纸上玩”连边”游戏：每条边按规则随机决定接通与否，接通的边把格子连成一个个团块。用一个旋钮 q 控制团块爱不爱扎堆，再在边界的两段设下不同待遇，中间自然出现一条蜿蜒的分界线。这篇论文证明：格子无限变细时，这条分界线收敛到一条著名的随机曲线 SLE，还顺带算出了游戏的各种临界指数。
关键词卡片
看个具体例子
代入数字：q=1（渗流）时 κ=6，q=2（Ising）时 κ=16/3，通式为 @@M@@\kappa(q)=4\pi/\arccos(-\sqrt q/2)@@。q=1 还给出方格版 Cardy 公式：交叉概率收敛到 @@M@@\int_0^x[t(1-t)]^{-2/3}dt\big/\int_0^1[t(1-t)]^{-2/3}dt@@，代入 @@M@@x=1/2@@ 恰得 @@M@@1/2@@——左右交叉对半开，符合直觉的”体检”。
为什么值得关心
它证实了 Rohde–Schramm 2005 年的猜想在 1≤q<4 成立，把二十年来只有渗流、Ising 两个孤立端点的知识连成完整一段。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”方格纸连边游戏”可以重述：对象是方格上每条边开/关的随机配置，开边把格子连成团块，而一个权重旋钮控制团块扎堆的偏好；操作是把边界的两段设成不同待遇（一段全部连成一片，一段彼此独立），于是开簇与关簇之间被迫出现一条探索出的分界曲线。要问的是：格子不断加细时，这条曲线的形状趋于哪条随机曲线，整张图的全部嵌套围线又趋于什么。
第二级台阶
用标准术语：这是方格上自对偶临界点 p_q=√q/(1+√q) 处的随机簇（Fortuin–Kasteleyn）模型，wired/free 边界条件给出 Dobrushin 探索界面，视为有向曲线并在模递增重参数化的度量下考察其标度极限。候选极限是 chordal SLE_κ——由标准布朗运动驱动、经 Loewner 方程生成的随机曲线，κ 决定其粗糙度与自接触；平面全体嵌套回路的极限则是嵌套的 CLE_κ。
第三级台阶
主定理对每个固定 1≤q<4 陈述：任取有界 Jordan 域与边界两点，在标记边界一致逼近的格点多边形里，界面沿整个网格序列依分布收敛到 SLE_{κ(q)}，κ(q)=4π/arccos(−√q/2)∈(4,6]；自由无穷体积下的嵌套 medial 回路在保留重复计数与遍历的球面匹配拓扑中收敛到 whole-plane CLE_{κ(q)}。一致逼近假设挡住了粗糙逼近域带来的边界畸变，有序曲线框架则排除了参数化捷径的伪差异。q=1 时附送方格键渗流（含自由边界键）的 Cardy 公式与临界指数。
对每个固定 @@M@@1\le q<4@@，论文证明方格上临界随机簇模型的 Dobrushin 界面收敛到 chordal @@M@@\SLE_{\kappa(q)}@@，全体嵌套回路收敛到 whole-plane @@M@@\CLE_{\kappa(q)}@@，并在 @@M@@q=1@@ 时顺带得到方格键渗流的 Cardy 公式与临界指数，证实了 Rohde–Schramm 预言在该参数范围成立。
随机簇模型（random-cluster model，Fortuin–Kasteleyn 表示）以簇权重 @@M@@q@@ 把渗流（@@M@@q=1@@）、Ising（@@M@@q=2@@）与 Potts 模型纳入同一框架。传递矩阵与 Coulomb-gas 方法（Temperley–Lieb、Baxter 等）早已预言：方格自对偶点 @@M@@p_q=\sqrt q/(1+\sqrt q)@@ 是临界的，界面的标度极限应为 Schramm–Loewner evolution（SLE），参数 @@M@@\kappa(q)=4\pi/\arccos(-\sqrt q/2)\in(4,6]@@。Rohde–Schramm（2005，Conjecture 9.7）与 Schramm 的公开问题集（Problem 2.6）将其列为猜想。严格已知的只有两个端点：Smirnov 证明的三角格点渗流收敛到 @@M@@\SLE_6@@，以及 Chelkak–Duminil-Copin–Hongler–Kemppainen–Smirnov 证明的 FK-Ising 收敛到 @@M@@\SLE_{16/3}@@；对一般 @@M@@1\le q\le 4@@，此前只有 Duminil-Copin 等五人的旋转不变性定理，极限曲线并未被识别。难点在于既要算出共形不变的连接概率，又要在随机探索挖出的移动区域里保持公式有效。
主定理断言两件事。其一（界面）：任取有界 Jordan 域（Jordan domain）@@M@@D@@ 与边界上不同两点 @@M@@a,b@@，在标记边界一致逼近的格点多边形下，wired/free Dobrushin 边界条件产生的探索界面 @@M@@\eta_n@@ 在模递增重参数化的有向曲线度量中依分布收敛到从 @@M@@a@@ 到 @@M@@b@@ 的 chordal @@M@@\SLE_{\kappa(q)}@@，且沿整个网格序列收敛。其二（回路）：自由无穷体积律下所有嵌套 medial 回路（保留重复计数与遍历顺序）缩放后，在球面匹配拓扑中收敛到嵌套 whole-plane @@M@@\CLE_{\kappa(q)}@@，极限 Möbius 不变。其三（Cardy 公式）：@@M@@q=1@@ 时包括边界键在内的所有键独立以概率 @@M@@1/2@@ 采样，交叉概率收敛到 @@M@@\int_0^x[t(1-t)]^{-2/3}\,\dd t\big/\int_0^1[t(1-t)]^{-2/3}\,\dd t@@。推论还给出方格键渗流的临界指数：单臂 @@M@@\pi_1(R)=R^{-5/48+o(1)}@@、@@M@@2k@@ 条交替臂 @@M@@\pi_{2k}(r,R)=R^{-(4k^2-1)/12+o(1)}@@，以及关联长度 @@M@@\xi(p)=|p-\tfrac12|^{-4/3+o(1)}@@ 等热力学指数。
全文的引擎是”四变换可观测值”（four-change observable）：在四段交替着色边界、四个端口开放的 open-cap 律下，给每条边界弧赋显式复权，其有限乘积和的期望定义 @@M@@h_n(z)@@。先在”边界弧树”上精确算出边界值：多数分支权重为零或两步相消，标记点取值由两个连接事件决定，对角残项用正倾侧测度与相对去耦估计消去。再证全纯性（holomorphicity）：把两份观测值贴在同一面墙的两侧，反复反射并叠加角衰减估计，得混合差商除以网格平方后趋零，分布意义下 @@M@@\bar\partial h\cdot\partial_jJ=0@@；外场 @@M@@J@@ 非常数，逼出 @@M@@\bar\partial h=0@@。Schwarz–Christoffel 公式把极限识别为特定四边形上的共形双射，连接概率化为积分 @@M@@f(\chi)=I_C/(I_B+I_C)@@，@@M@@q=1@@（@@M@@\rho=1/3@@）时正是 Cardy 被积函数。然后从固定正交多边形转移到任意 Jordan 域：在同一格上同时画”更容易”与”更难”两个测试四边形，用 FK 单调性与实际路径夹逼目标概率。接着让公式在随机探索后依然成立：以原始开关律对历史平均六臂估计（six-arm estimate），构造避开候选连接点的有向障碍物，对齐两张图的比较坐标，得到停止时刻的条件公式。再由此导出 @@M@@M_t(x)=(xg_t'(x)/(g_t(x)-W_t))^h@@ 是一致有界的近似鞅；两个测试点的凸性组合给出 @@M@@\E[(W_\tau-W_\sigma)^2]\le C\,\E[\tau-\sigma]@@，Itô 公式与 Lévy 刻把驱动过程识别为 @@M@@\sqrt\kappa B_t@@（@@M@@\kappa=8/(1+h)@@）。最后用 Aizenman–Burchard 型物理紧性排除沿边界滑动，用”小门”与 Miller–Wu 维数论证排除零容量区间上的额外游动，完成整条有序曲线的收敛；回路部分改用均匀墙剥离（peeling）构造分支探索树，匹配分支 SLE 的构造，绕圈信息定出回路标签，再用逃逸估计把收敛升级为保留重数的球面匹配收敛。
本篇与另外两篇姊妹篇同属结果族 223：”Self-dual random-cluster interfaces below one”覆盖 @@M@@0<q<1@@，其推论直接引用本篇定理，合并出 @@M@@0<q<4@@ 的完整区间；”Quenched SLE Universality”则在 @@M@@q=2@@ 上加入固定强度无序仍得 @@M@@\SLE_{16/3}@@。三篇共用”四变换可观测值+鞅识别驱动”的骨架，互相印证方法的稳健性。三篇均暂无形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明里最关键、最脆弱的一步是什么？
（答：四变换可观测值的全纯性（observable 一节）：把两份观测值贴在同一面墙两侧反复反射、叠加角衰减估计，证明混合差商除以网格平方后趋零，在分布意义下逼出 ∂̄h=0。它承担着”连接概率共形不变”的全部重量；边界弧树上大量分支权重恰好为零或两步相消的精确计算，是任一处下标错位就会整体失效的组合簿记。）
问 2：公式怎么在随机探索挖出的移动区域里继续成立？
（答：chordal 一节以原始开关律对历史平均六臂估计，构造避开候选连接点的有向障碍物，对齐两张图的比较坐标，得到停止时刻的条件公式。这一步是把固定区域结论移植到随机 Loewner 流量窗口的关键，也是最依赖精细概率估计的环节之一。）
问 3：驱动过程被识别为 √κ 布朗运动的机制是什么？
（答：由条件公式导出 M_t=(xg_t′(x)/(g_t(x)−W_t))^h 是一致有界的近似鞅；两个测试点的凸性组合给出 E[(W_τ−W_σ)²]≤C E[τ−σ]，再用 Itô 公式与 Lévy 刻画识别驱动为 √κ B_t，κ=8/(1+h)。近似鞅到真鞅的升级若常数不一致，κ 的值就会算错。）
问 4：与 Smirnov 渗流、CDCHKS FK-Ising 两个端点相比，新意在哪？
（答：此前严格已知的只有三角格渗流 SLE₆ 与 FK-Ising SLE₁₆/₃ 两个孤立点，一般 q 只有旋转不变性（Duminil-Copin 等）而无极限识别；本文在方格上一次填满整个区间 1≤q<4，并额外给出嵌套回路的 CLE 收敛与 q=1 的方格（非三角格）Cardy 公式——技术核心是四变换可观测值，而非端点用的 fermionic/Smirnov 可观测值。）
问 5：为什么停在 q<4？
（答：κ(q)=4π/arccos(−√q/2) 在 q=4 处退到 4，q>4 时物理上预期一阶相变、不再有 SLE 型标度极限；本文的可观测值结构也依赖 1≤q<4 对应的 κ∈(4,6] 区间。q=4 边缘情形论文未展开讨论。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：典型风险有三处：边界弧树的精确相消计算、”小门”+Miller–Wu 维数论证排除零容量区间上的额外游动（这是排除 Aizenman–Burchard 紧性剩余情形的一步）、以及回路部分保留重复计数与遍历顺序的球面匹配拓扑升级（peeling 一节）。这些低容错环节均未被形式化，需独立复核。）
问 7：谁会用到它？
（答：标度极限社区：嵌套 CLE 的识别是后续一切”自然时间/占据测度”型结果（族 223 姊妹篇直接引用本篇定理）的前提；q=1 的方格 Cardy 公式与单臂、交替臂、关联长度指数给出方格渗流的完整指数清单，替代以往依赖三角格的可移植性论证。）
总评
这是把 Rohde–Schramm 猜想在整整一段参数区间上闭合的分量极重的工作，且以 CLE 收敛超越单曲线层面；最大风险在于自创的四变换可观测值与反射全纯性论证未经任何端点先例背书，也未形式化，全凭内部一致性撑起大厦。