结果族 223：Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
磁铁游戏升级：这次每条边的”连接强度”被随机微调——有的边略强、有的略弱，像材料里撒进杂质。直觉担心这些杂质会搅乱分界线的形状。这篇论文证明：只要别调得太狠，分界线根本不在乎杂质，最终仍是原来那条随机曲线 SLE₁₆/₃——普适性对随机缺陷是稳定的。
关键词卡片
@@M@@(e^{2\beta_c(1+\varepsilon)}-1)(e^{2\beta_c(1-\varepsilon)}-1)=2@@ 的唯一解。看个具体例子
取 ε=0.1：一半边强度 0.9、一半 1.1，且这个”不完美程度”固定，不随格子变细而消失。定理说只要 ε 足够小，无论哪一套具体的杂质实现，条件曲线律都收敛到同一个 @@M@@\mathrm{SLE}_{16/3}(D;a,b)@@。
为什么值得关心
二维 Ising 恰处于 Harris 判据的边缘情形，物理界争论随机耦合是否产生对数修正数十年；本文给出第一个固定强度无序下的整条界面严格收敛结果。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”掺杂质磁铁”可以重述：对象是方格上每条边被随机微调过强度的连接——一部分略强、一部分略弱，且这套”杂质图”一旦撒定就固定不动；操作是在固定杂质之上、于边界两种待遇之间采样探索界面。要问的是：杂质浓度不随格子变细而变小时，界面的极限形状会不会被杂质改变。
第二级台阶
用标准术语：取 q=2 的随机簇（FK–Ising）模型，键强度 J_e=1+εξ_e（ξ_e 独立等概率取 ±1），温度取无序模型自身的临界逆温 β_c(ε)，论文证明它由方程 (e^{2β_c(1+ε)}−1)(e^{2β_c(1−ε)}−1)=2 唯一刻画；wired/free Dobrushin 边界条件给出界面 γ_n，其关于固定环境的条件曲线律记为 μ_{n,ξ}，在 bounded-Lipschitz 曲线度量中考察收敛。”淬火”指先固定环境再采样，收敛对环境只需依概率成立。
第三级台阶
定理断言：存在与域和逼近无关的 ε₀>0，使每个固定 0<ε<ε₀ 下，μ_{n,ξ} 依环境概率收敛到 chordal SLE_{16/3}(D;a,b)，且覆盖含端点段在内的整条有向曲线。ε 足够小的假设挡住了强无序下临界几何可能被破坏的区域，也保证配套重整化输入（临界点识别与体内扰动衰减）可用。结论落在 Harris 边缘情形——二维 Ising 恰在判据的临界线上，物理界就随机耦合是否产生对数修正争论数十年，此定理给出整条界面律不受固定弱无序影响的严格答案。
证明带固定强度、对称二值键无序的临界 FK–Ising 界面仍收敛到 chordal @@M@@\SLE_{16/3}@@：无序强度不随网格变小，收敛对环境取 quenched 意义（依概率成立），确认 SLE 普适性对随机耦合稳定。
纯临界 FK–Ising 的 Dobrushin 界面收敛到 @@M@@\SLE_{16/3}@@，由 Chelkak–Duminil-Copin–Hongler–Kemppainen–Smirnov 于 2014 年证明。自然的问题是：这种临界几何对随机扰动稳定吗？Harris 判据指出二维 Ising 恰处边缘（marginal）情形，比”严格无关”的扰动更微妙；物理上有 Dotsenko–Dotsenko、Shalaev、Ludwig 关于弱随机键对数修正的微扰研究。严格结果方面，Avérous–Mahfouf 近期得到的是无序随观测尺度减弱的近临界交叉估计；固定强度无序下的整条界面定律此前没有结果。困难有二：探索界面产生随机裂缝边界，条件交叉概率必须在剩余域中比较；已有的 quenched 界只对固定物理尺度成立，环境收敛没有速率，无法对所有微观域或所有裂缝历史做并集界。
定理（Theorem thm:main）：存在 @@M@@\eps_0>0@@，使得对每个固定 @@M@@0<\eps<\eps_0@@、每个有界标记 Jordan 域 @@M@@(D;a,b)@@ 及任意确定性方格逼近，键 @@M@@e@@ 的耦合取 @@M@@J_e=1+\eps\xi_e@@（@@M@@\xi_e@@ 独立、等概率取 @@M@@\pm1@@），温度取该无序模型的临界逆温 @@M@@\beta_c(\eps)@@——由加态磁化阈值定义，论文证明它是 @@M@@(e^{2\beta_c(1+\eps)}-1)(e^{2\beta_c(1-\eps)}-1)=2@@ 的唯一解，键几率恰为 @@M@@v_e=\sqrt2\,e^{\theta\xi_e}@@。在此律下以 wired/free Dobrushin 边界条件采样探索界面 @@M@@\gamma_n@@，则其条件曲线律 @@M@@\mu_{n,\xi}@@ 在 bounded-Lipschitz 度量下依环境概率 @@M@@\P_{\mathrm{env}}@@ 收敛到 @@M@@\SLE_{16/3}(D;a,b)@@。要点有三：环境固定后再采界面（quenched 而非平均）；无序强度 @@M@@\eps@@ 固定、不随网格 @@M@@\delta_n\downarrow0@@ 减小；@@M@@\eps_0@@ 与域及逼近无关，且结论覆盖含终点段在内的整条有向曲线。
论文依赖配套重整化文稿的两个输入：临界点识别，与一个体内（bulk）扰动趋于零的局部尺度变换；本文要补的是三块。第一块把配分函数比较推广到固定多边形的边界附近：体内对称性带来的相消在边界处失效，改用纯 Ising 传递矩阵估计——沿直边相关投影距离以尺度比的平方衰减，平方衰减使边界胞的误差可求和；在有限个角点与边界条件变换处，任何正衰减指数即可。第二块处理探索后的裂缝域：先固定环境，从任意网格子列抽出确定性进一步子列，使一个可数”库存”中的所有多边形都有纯极限、可数稠密族中的环形屏障几乎必然成立，从而得到臂界与探索历史的紧性。再把裂缝域在有限个边界入口附近穿孔并提升到万有覆盖（universal cover）上：覆盖上的多边形仍有普通方格坐标，每条提升边携带其投影边的无序，而独立性只在单张单射图内使用；精心选择的横截线即使在裂缝边界附近也控制共形坐标，小规模删边把可能交叉的中段限制在覆盖的紧部，用库存中的固定多边形检验。若条件测试失败，紧性给出收敛的失败历史列，覆盖构造从中产出库存里的某个固定多边形，与其已知极限矛盾——于是几何可以在历史之后选择，而最终测试在网格极限之前固定，全程不需要任何统一速率。第三块识别曲线：沿用姊妹篇的”有界鞅测试”策略，在自由边界插入短 wired 区间，open-cap 四变换律下条件配对概率是精确鞅；先在固定区间长度时取网格极限、换成有界 Loewner 表达式、再与原 Dobrushin 律比较、最后缩小区间，得 @@M@@M_{n,t}(x)=(xg'_{n,t}(x)/(g_{n,t}(x)-W_n(t)))^{1/2}@@（@@M@@q=2@@ 故幂为 @@M@@1/2@@）是一致近似鞅；两个测试点识别 Loewner 驱动为 @@M@@\sqrt{16/3}@@ 布朗运动。尖端从正共形高度的一致逼近（停止时刻版”小门”论证）加上目标处的不回返界，把驱动收敛升级为曲线度量下的收敛。
本篇暂无形式化证明，请以社区核验为准。证明依赖配套文稿的临界点识别与尺度变换（体内部分），以及姊妹篇的绘图、闭合比较与鞅识别框架；均匀概率输入全部换成此文证明的 quenched 估计。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：全文最关键、最脆弱的一步是什么？
（答：裂缝域的万有覆盖构造（slits 一节）：环境无收敛速率，无法对所有微观域或所有探索历史做并集界；论文改为固定环境后抽确定性子列，让可数”库存”中的多边形都有纯极限、稠密族中的环形屏障几乎必然成立，再把裂缝域在有限个边界入口穿孔并提升到万有覆盖——独立性只在单张单射图内使用，精心选择的横截线即使在裂缝边界附近也控制共形坐标。”几何在历史之后选择、最终测试在网格极限之前固定”这套零速率论证是全文枢纽，一处环扣不严即塌。）
问 2：quenched 与 annealed 的差别为什么值得强调？
（答：annealed（对环境取平均）会稀释杂质效应，结论弱得多；quenched 要求对几乎每个固定杂质实现，条件曲线律本身收敛到 SLE_{16/3}——这正是”普适性对随机缺陷稳定”的字面含义。定理以依环境概率的形式陈述。）
问 3：ε 为什么必须足够小？
（答：两个原因：配套重整化文稿的输入（临界点识别、体内扰动在局部尺度变换下趋零）只在弱无序下成立；边界附近体内对称性相消失效，需用纯 Ising 传递矩阵估计补边界版配分函数比较，其平方衰减的可求和性依赖 ε 小。强无序情形（如无序主导相）论文未触及。）
问 4：临界点刻画 (e^{2β_c(1+ε)}−1)(e^{2β_c(1−ε)}−1)=2 是自己证的吗？
（答：不是——inputs 一节明确从配套重整化文稿引入：β_c(ε) 由加态磁化阈值定义，其满足上述自对偶型方程与唯一性属配套结果。本文原创是边界比较、裂缝域处理与曲线识别三块，审稿时应一并调阅配套文稿。）
问 5：与 CDCHKS（2014）和 Avérous–Mahfouf 相比新意何在？
（答：CDCHKS 是纯净均匀情形；Avérous–Mahfouf 的无序随观测尺度减弱，固定强度无序下整条界面律此前无任何结果。本文是第一个固定 ε、quenched、全曲线的收敛定理；且 2D Ising 处 Harris 边缘，物理界（Dotsenko–Dotsenko、Ludwig 等）数十年争论对数修正，本文表明至少界面层面几何完全不受扰动。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：外部依赖与内部簿记的双重风险：结论押在配套文稿两个未形式化的重整化输入上；内部则是对角线抽子列覆盖可数库存、”库存中固定多边形与已知极限矛盾”的反证链条，以及边界传递矩阵估计的指标细节。若库存族不够稠密或穿孔位置选取不当，反证可能只排除部分历史。）
问 7：这会不会顺带解决随机键 Ising 的对数修正之争？
（答：不能直接推。对数修正是关联函数与自由能层面的预言，本文只识别界面曲线律；它说明 SLE₁₆/₃ 的几何定义量（如穿越概率）无对数修正，但热力学量的修正问题论文未展开。）
总评
在 Harris 边缘情形给出固定强度无序下整条界面的 quenched 收敛，普适性的稳定性由此获得首个强表述；最大风险是证明链横跨两份文稿且零速率覆盖论证无先例可循，复核门槛相当高。