结果族 223：Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把磁铁的温度从临界点调开一点点：分界线不再是无偏的随机漫步，更像在起风的天气里飘的丝带——布朗式的随机抖动还在，但多了一股”风”推着它偏。这篇论文严格证明：这股风的强度和方向由一个确定的方程给出，极限曲线唯一存在，而且不依赖你用哪种格子、怎样逼近区域。
关键词卡片
@@M@@\Delta h=-4m|\nabla h|@@ 定出风场 @@M@@h@@，漂移由它算出。@@M@@\int_0^T C_t^2dt<\infty@@，保证理论不出”无穷风”。看个具体例子
极限的驾驶方程是 @@M@@\dd W_t=\sqrt{16/3}\,\dd B_t+\tfrac{2\pi}{3}C_t\,\dd t@@：前一项是纯布朗随机性，后一项是风。代入特例 @@M@@m=0@@（恰在临界点），风场退化、@@M@@C_t\equiv0@@，方程还原成纯 @@M@@\mathrm{SLE}_{16/3}@@ 的驾驶方程——临界情形被严丝合缝地包含在内。
为什么值得关心
“Makarov–Smirnov 非临界纲领”此前只有零散观测输入，本文补上唯一性与收敛的完整随机分析，是 FK-Ising 非临界几何的第一块完整基石。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”起风天气中飘的丝带”可重述：对象仍是边界两种待遇之间的探索界面，但如今每条边的温度都被在格子尺度上移离临界点，等效于给系统注入一个不随尺度消失的”质量”；操作照旧是沿界面探索，而问题变成：布朗式的随机抖动之外多出的那股”风”，其强度与方向由什么决定，极限曲线是否存在且唯一。
第二级台阶
| 用标准术语：在一致角度有界的等半径（isoradial）格点上取 FK–Ising 模型，温度偏离用 nome 比值 r_δ/δ→ | m | /2 编码，m 即质量；Dobrushin 界面经归一化共形转移到单位圆盘后考察其律的收敛。风的来源是活动域上的质量边值问题 Δh=−4m | ∇h | （原侧边界取 1、对偶侧取 0）的有界解；曲线则经 Loewner 理论由驾驶函数生成，其漂移由该解表出的积分泛函 C_t 给出。 |
第三级台阶
主定理的语境是 Makarov–Smirnov 非临界纲领：观测值的标度极限（Park 的质量两点观测量）与穿越—Loewner 紧性都已有，缺的是漂移的可测性、绝对连续性与唯一性这层随机分析。假设方面，一致角度约束挡住了病态格点，标记 Carathéodory 收敛只要求核收敛而允许物理直径发散。结论是：界面律沿全序列收敛到唯一的 μ_{Ω,a,b,m}，不依赖格点、逼近与 nome 序列；m>0 时它是有限能量的 massive SLE_{16/3}，驾驶方程 dW=√(16/3)dB+(2π/3)C_t dt，负质量由对偶与时间反转得到；m=0 时风退化为零，临界 SLE_{16/3} 被严丝合缝包含。
本文证明偏离临界温度的 FK–Ising 界面在极一般的区域与格点逼近下沿全序列收敛到唯一的”热质量 SLE@@M@@_{16/3}@@“：漂移由一个质量边值问题给出的有限能量泛函确定，负质量经对偶与反转得到，从而把 Makarov–Smirnov 非临界界面纲领在 FK–Ising 情形完整实现。
临界 FK–Ising 模型（cluster weight @@M@@q=2@@ 的随机簇模型）的 Dobrushin 界面收敛到弦 @@M@@\mathrm{SLE}_{16/3}@@，这是 Smirnov 费米观测量方法的标志性成果，后续由 Chelkak–Smirnov 推广到等半径（isoradial）格点、由 CDCHKS 等完成界面收敛。自然的问题是：把温度在网格尺度上移离临界点，界面极限变成什么？Makarov 与 Smirnov 为此提出了非临界纲领：求观测量的标度极限、导出驱动方程、再证界面的唯一性与收敛。术语”massive SLE”虽描述了预期形变，却并未给出具体的连续过程；Park 建立了质量两点费米观测量与近临界矩形穿越估计，提供了输入，但”唯一的界面定律是否存在、等于什么”仍缺随机分析。难点在于漂移系数依赖于整条曲线的历史，其可测性、绝对连续性与能量控制都不能先验假定。
定理（main.tex 的 Theorem 2.1）：设有界单连通域 @@M@@\Omega@@、边界素端（prime end）@@M@@a,b@@ 与非零实质量 @@M@@m@@。对任何满足一致角度约束的等半径格点域序列、满足标记 Carathéodory 收敛（区域的物理直径可以发散）的区域逼近、以及 nome 比值 @@M@@r_\delta/\delta\to|m|/2@@ 的温度扰动，归一化界面 @@M@@\chi_\delta\circ\gamma_\delta@@ 的 law 沿全序列收敛，且极限 @@M@@\mu_{\Omega,a,b,m}@@ 不依赖格点、逼近与 nome 序列的选取。@@M@@m>0@@ 时它是唯一的 massive @@M@@\mathrm{SLE}_{16/3}@@ 律：驱动函数满足
@@M@@D\dd W_t=\sqrt{16/3}\,\dd B_t+\tfrac{2\pi}{3}C_t\,\dd t,\qquad C_t=\tfrac4\pi\int_{\mathbb H}\Im\tfrac{-1}{v}\,\mu_t(v)|\nabla(h_t\circ\psi_t)(v)|\,\dd A(v),@@
其中 @@M@@h_t@@ 是活动域上质量边值问题 @@M@@\Delta h=-4m|\nabla h|@@（原侧取 @@M@@1@@、对偶侧取 @@M@@0@@）的有界解，@@M@@\psi_t@@ 是尖端处的逆共形映射，@@M@@\mu_t=m|\psi_t'|@@；且漂移满足有限能量条件 @@M@@\int_0^T C_t^2\,\dd t<\infty@@。方差、漂移的绝对连续性与有限能量都是证明的结论而非假设；负质量由对偶与时间反转得到。
证明先经 Kemppainen–Smirnov 的穿越—Loewner 紧性理论取出子序列极限曲线与驱动，再分三步完成识别。第一步是”动点能量估计”：在尚不知道驱动是否为半鞅时，跟踪一个物理点在以其到驱动距离定义的 Loewner 时钟（point clock）下的角坐标 @@M@@X@@。先由条件穿越界（条件 G3 与 FK 正相联给出的环形阻挡电路）得到重启后 @@M@@X@@ 的上确界幂尾与共形半径下降控制；再对避开的边界球做 Schwarz 反射，用 Koebe 偏差与对空间变量（而非驱动）求导的确定性 Loewner 恒等式，得到反弹界；最后取小幂 @@M@@p<1/4@@ 构造指数收缩，经二进壳分解、带 @@M@@\sin^p@@ 权的 Cauchy–Schwarz 与对物理面积的 Tonelli 定理，得到 @@M@@\E\int_0^\infty J_t^2\,\dd t\le K m^2\,\mathrm{area}(\Omega)@@。第二步做随机 Green 势演算：高度截断使容量、漂移变差与空间鞅括号在同一时钟下同时有密度，近尖展开识别出驱动方程中的密度，即二次变差为 @@M@@16/3@@、变差测度密度为 @@M@@\tfrac{2\pi}{3}C_t@@。第三步证唯一性：把 @@M@@C_t@@ 延拓为非预期可测泛函，对有限能量弱解用能量停时 @@M@@\sigma_n@@ 与停时 Girsanov 变换证明任何两个候选解的停止律都由同一个 Wiener 泛函表示，从而定律唯一；存在性由方形网格上的一个有界逼近经紧性给出，于是全序列收敛。最后用边界簇探索、受限长度—面积估计与”强制闸门”层级把可能发散的远程区域局部化成有界 Dobrushin 问题，保证圆盘曲线拓扑不被破坏；负质量情形由对偶与反转归结为正质量。
本文主结果暂无形式化证明，属于 OpenAI 数学成果批量发布的一部分，官方声明”未经形式化的结果可能有问题”，请以社区核验为准。文章依赖并引用了 Park 的质量观测量与近临界穿越估计等前置输入，这些同样待核。它与本结果族中临界情形的姊妹篇（临界方形格点随机簇界面收敛到 @@M@@\mathrm{SLE}_\kappa@@ 及其自然占据测度）互为支撑：临界理论提供紧性与穿越界的模板，本文则补上非临界漂移识别与唯一性这一缺失环节。
问 1：全文最关键、最脆弱的一步是什么？
（答：”动点能量估计”（energy 一节）：在不知道驾驶是否半鞅时跟踪物理点在其 Loewner 时钟下的角坐标：条件穿越界给出重启后的幂尾与共形半径控制，避界球上 Schwarz 反射配合 Koebe 偏差给反弹界，小幂 p<1/4 指数收缩经二进壳分解与 Cauchy–Schwarz 得 E∫J_t²dt≤K m²·area(Ω)，且同时处理小初始角与有限吞噬时刻处的无穷时钟。后续识别全悬于这条半鞅前的估计。）
问 2：为什么有限能量与漂移绝对连续性是”结论”而不能当”假设”？
（答：紧性输入只有 Kemppainen–Smirnov 的穿越—Loewner 理论，只给子序列极限曲线与驾驶，不保证任何半鞅结构；把能量当假设等于没证明收敛到该方程。论文用高度截断的随机 Green 势演算，在公共时钟下同时给容量、漂移变差与空间鞅括号以密度，并识别二次变差为 16/3、变差密度为 (2π/3)C_t——这是”从格点到方程”的实质内容。）
问 3：唯一性为什么非平凡？
（答：漂移 C_t 是依赖整条曲线历史的泛函，没有显式表达式，经典强解理论不可用。论文把 C_t 延拓为非预期可测泛函，对有限能量弱解用能量停时 σ_n 与停时 Girsanov 变换证明任何两个候选解的停止律由同一 Wiener 泛函表示，得弱唯一；存在性由方格上的有界逼近经紧性给出，二者合并得全序列收敛。）
问 4：允许逼近域直径发散，这不是自找麻烦吗？
（答：Carathéodory 收敛只约束核，物理直径可发散是真实需要；代价是核收敛无法控制格点域的物理尺寸。论文用边界簇探索把远程碎片剪成有界 Dobrushin 问题，受限长度—面积估计控制远程横割线的归一化像，”强制闸门”层级给出可求和失败界，避免在发散尺度上滥用近临界矩形界。）
问 5：与 Makarov–Smirnov 纲领及 Park 的前奏相比，新意是什么？
（答：MS 只提出纲领（观测极限、驾驶方程、唯一性三步），Park 提供质量两点费米观测量与等半径格点上的近临界穿越估计——”massive SLE”此前只是一个名字，没有确定的连续过程。本文首次给出该过程的严格定义（方程＋有限能量类弱唯一），并证格点界面全序列收敛到它，极限对格点、域逼近、nome 序列均不依赖。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：两处高危：Green 势演算里”近尖展开识别密度”的 Itô 簿记（空间鞅、容量时钟、漂移变差三套括号同时取密度，系数错一位即 16/3 或 2π/3 出错）；以及能量估计中 p<1/4 小幂收缩与 Tonelli 换序的常数追踪。所幸 m=0 时 C_t≡0 还原 SLE_{16/3}，可作退化体检，但整体未形式化。）
问 7：谁会用到它？
（答：非临界共形几何社区：这是近临界 FK-Ising 的第一块完整随机分析基石，为近临界渗流与 massive SLE 一般理论提供范式，”热质量如何形变临界几何”由此有了严格基准。）
总评
本文把”massive SLE”从术语变成有唯一性的数学对象，闭合了 FK-Ising 非临界界面的纲领性问题；最大风险在半鞅结构确立前的能量估计与密度识别两处精细随机分析，均未形式化。