结果族 218：Conformal universality for weakly interacting and random-bond Ising models · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
用略有瑕疵的砖砌一面墙，退后二十步看，墙的轮廓跟好砖砌的没有差别。格点 Ising 磁铁的”砖”就是相邻格点间的耦合强度：这篇论文证明，即使每块砖的强度都带一点任意分布的随机误差，只要误差够小，临界温度下正负磁区之间的分界线放大后仍收敛到那条著名的随机曲线 SLE₃。
关键词卡片
@@M@@J_e=1+\varepsilon\xi_e@@，其中 @@M@@\xi_e@@ 独立同分布、均值零看个具体例子
临界温度本身也被定出：@@M@@\beta_c^\rho(\varepsilon)=\tfrac12\log(1+\sqrt2)+O(\varepsilon^2)@@，数字版：@@M@@\varepsilon=0.1@@ 时，临界点相对纯模型只移动约百分之一量级（差一个常数因子）。接口曲线的极限则是 SLE₃：
为什么值得关心
按 Harris 判据，二维无序恰处”边缘”情形——既不被排斥也不被放大，最微妙也最容易出意外。本文证明任意有界、均值零分布的弱无序不改变普适类：随机磁铁的临界接口与纯模型共用同一条极限曲线。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”略有瑕疵的砖砌墙、退后二十步轮廓不变”的类比翻译过来：对象是方格上的 Ising 磁体——每条相邻格点间的耦合强度（砖）都带一份独立的随机误差；操作是把边界一侧规定为正磁区、另一侧为负磁区，让系统自发长出一条分界曲线，再缩放格子、观察曲线的极限形状。导读点出的悬念：误差会不会渗进宏观轮廓。
第二级台阶
用本科术语：随机键 Ising 模型取 J_e=1+ε·ξ_e，ξ_e 独立同分布、有界、均值零；”淬火”指先固定整份误差（环境）再谈收敛，比按环境平均更强。Dobrushin 边界条件诱发接口曲线；纯模型临界接口的已知极限是 SLE₃——Schramm–Loewner 演化取参数 3 的共形不变随机曲线（Smirnov–Chelkak 定理）。临界温度由自发磁化阈值严格定义。
第三级台阶
定理陈述的语境：存在只依赖误差分布的 ε_0>0，当 0<ε<ε_0 时，在真实的物理临界点 β_c^ρ(ε) 处，对任意 Jordan 区域与确定性格点逼近，接口律在环境概率下收敛到弦 SLE₃——收敛对整条定向曲线成立，且 ε_0 不依赖区域与逼近序列；附赠临界点偏移公式 β_c^ρ(ε)=½log(1+√2)+O(ε²)。”有界、均值零、非退化”挡住了重尾与单侧偏置；”ε 足够小”挡住了 Harris 边缘性可能放出的强无序相；”淬火”挡住了平均收敛掩盖个别坏环境的可能。结论即：二维无序虽处 Harris 判据的边缘情形，弱无序不改变普适类。
证明了方格 Ising 模型的键强度即使带上任意有界、均值零的独立同分布（iid）无序，只要强度 @@M@@\varepsilon@@ 足够小，在真正的物理临界温度处，固定环境（quenched）意义下的自旋接口仍收敛到弦 @@M@@\mathrm{SLE}_3@@：二维无序虽是边缘情形，却不改变普适类。
纯方格 Ising 模型在临界点是可积的，Smirnov、Chelkak 等人证明了其 Dobrushin 接口在尺度极限下收敛到 @@M@@\mathrm{SLE}_3@@，这是共形不变普适性的标志性结果。自然的问题是：如果键强度 @@M@@J_e@@ 带随机扰动（随机铁磁体），微观无序会不会渗入宏观极限规律？按 Harris 判据，二维无序恰处边缘（marginal）情形：它既不被排斥也不被放大，故无法靠一次性的压缩论证，而需要逐尺度的衰减估计。此前的姊妹篇（文中引用 [R]）只处理对称二值键 @@M@@1\pm\varepsilon@@，其分布在 Kramers–Wannier 对偶下对称，临界温度可由自对偶性直接锁定；一般键律不再自对偶，临界点的识别本身成为障碍。
设无序律 @@M@@\rho@@ 支撑于 @@M@@[-1,1]@@、均值零且非退化（方差 @@M@@\sigma_\rho^2>0@@），键取 @@M@@J_e=1+\varepsilon\xi_e@@。临界点 @@M@@\beta_c^\rho(\varepsilon)@@ 由自发磁化（spontaneous magnetization）严格定义：使无穷体积加号态磁化的环境均值由零变正的阈值。定理断言：存在 @@M@@\varepsilon_0(\rho)>0@@，对每个 @@M@@0<\varepsilon<\varepsilon_0(\rho)@@、任意 Jordan 区域 @@M@@D@@ 与边界标记点 @@M@@a,b@@ 及其确定性格点逼近，临界点处的接口律 @@M@@Q_{n,\omega}@@ 满足 @@M@@d_{\rm BL}(Q_{n,\omega},\mathsf S_{D;a,b})\to 0@@，收敛在环境概率下成立——即 quenched 收敛，且是完整定向曲线（oriented curve）拓扑。阈值 @@M@@\varepsilon_0(\rho)@@ 不依赖区域或逼近序列；并附赠 @@M@@\beta_c^\rho(\varepsilon)=\tfrac12\log(1+\sqrt2)+O_\rho(\varepsilon^2)@@。
整套论证分五步接力。先把无序模型改写为纯临界 Ising 加上一族随机局部扰动势，借入 [R] 的尺度重整化框架：以能量荷（energy charge）@@M@@Q@@ 度量扰动的能量分量，用坐标 @@M@@X@@（范数矩）、@@M@@Y@@（均值范数）、@@M@@m@@（平均荷，扩张方向）与 @@M@@W@@（环境方差密度，边缘方向）追踪迭代。由于一般分布不对称，三次项不必消失，方差坐标 @@M@@v_H@@ 需保留至四阶泰勒项；关键在于单步流 @@M@@v'-v\approx-2\kappa W^2\sum_{H<|y|\le LH}|y|^{-2}@@ 带严格负漂移，得 @@M@@v_k\le (v_0^{-1}+ck)^{-1}@@，扰动在矩意义下逐尺度消失。
再对原始（primal）键族与精确对偶（dual）键族分别做”打靶”（shooting）：对温度参数 @@M@@h@@ 用连续性（尺度构造中的连续阈值恰好化解 @@M@@\rho@@ 有原子的困难）选出使轨迹始终困在区域 @@M@@|m|\le Dv@@、@@M@@X\le A\sqrt v@@ 内的温度 @@M@@\beta_{\rm p},\beta_{\rm d}@@。但二者未必相等，也不必自对偶。第三步在同一环境的环面上比较四个自旋扭转（holonomy）扇区的配分函数向量：非齐次 Kramers–Wannier 对偶给出 @@M@@Z(K)=a(K)\mathsf H Z(K^*)@@，归一化向量在两个温度下都趋于纯临界向量，故 FK 缠绕概率 @@M@@q_{N,\omega}(\beta)@@ 在两点都渐近等于纯临界值；而 OSSS 决策树不等式加加权导数公式给出 @@M@@q'(\beta)\ge c_1 q(1-q)@@ 的严格单调性，迫使 @@M@@\beta_{\rm p}=\beta_{\rm d}=:\beta_*@@。
第四步识别 @@M@@\beta_*@@ 就是物理临界点：先用环形 FK 势垒（”好”环带以大概率出现）排除 @@M@@\beta_*@@ 处的渗流；对 @@M@@\beta>\beta_*@@，在每个中心布置大量键邻域不交的环带做环境放大，再用层探索（layer exploration）压低 revealment、由决策树不等式把对偶臂衰减升级为拉伸指数级，进而推出原始键上正磁化；最后 Edwards–Sokal 配合把磁化等同于渗流概率，得 @@M@@\beta_*=\beta_c^\rho(\varepsilon)@@。全程未使用分布自对偶。
最后处理接口：把目标接口与略微外扩/内缩的位移区域 @@M@@A_h^\pm@@ 中的纯 Dobrushin 接口做条件耦合——耦合在给定原始环境下仍保持纯边际为其确定的纯律，这一条件边际正是把”平均收敛”升级为”quenched 收敛”的关键。带符号条带势垒把目标迹夹逼在 @@M@@\overline{M(L)}\cap\overline{P(U)}@@ 内，两条同律有序弦经初等平面拓扑论证相等，识别出迹；再用多通道（multi-passage）估计排除曲线沿迹来回折返，最终在完整定向曲线度量下闭环。其中”条带跨越对比”等技术性较强的细节从略。
本文主结果暂无 Lean 形式化证明。它是族内姊妹篇——对称二值键情形的 quenched @@M@@\mathrm{SLE}_3@@ 结果（文中 [R]）与提供纯模型输入的 [S]——向一般键律的推广，尺度估计与边界比较两大工具均直接引自该姊妹篇，逻辑上层层递进、互相支撑。但按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步在哪里？
| （答：临界点识别。对一般键律，Kramers–Wannier 自对偶性失效，β_c 无从先验锁定。论文先用”打靶”对原始键族与对偶键族各选一个温度 β_p、β_d——轨迹被连续性困在 | m | ≤Dv、X≤A√v 内；再在同一环境的环面上比较四个自旋扭转扇区，非齐次对偶使归一化配分函数向量在两个温度下都趋于纯临界向量，而 OSSS 决策树不等式加加权导数公式给出 q′(β)≥c_1·q(1−q) 的严格单调性，才迫使 β_p=β_d。若两温度不重合，后续一切接口论证失去立足点。） |
问 2：为什么”一般分布”比姊妹篇的对称二值键难得多？
（答：对称二值键 1±ε 的分布在 Kramers–Wannier 对偶下自对偶，临界温度由自对偶性直接读出；一般律失去这把钥匙，临界点的识别本身成了障碍。技术上还有连锁反应：分布不对称使重整化流的三次项不必为零，方差坐标必须保留到四阶泰勒项；ρ 带原子时的打靶连续性也要靠尺度构造中的连续阈值专门化解。）
问 3：淬火收敛比平均收敛强在哪，怎么升级的？
（答：平均收敛只保证”大多数环境好”，可能存在正测度坏环境；淬火要求在环境概率趋于一的意义下逐份成立。升级的关键是把目标接口与略微外扩/内缩区域中的纯 Dobrushin 接口做条件耦合：给定原始环境时纯边际仍是确定的纯律——这个条件边际结构把姊妹篇的平均式输入改造成逐环境的夹逼。）
问 4：与已有工作相比真正的新意是什么？
| （答：纯模型 SLE₃ 极限是 Smirnov–Chelkak 的标志结果；姊妹篇 [R] 只处理对称二值键。本文首次对任意有界、非退化、均值零的 iid 律证明淬火 SLE₃，且 Harris 判据下二维无序恰处边缘——既不被排斥也不被放大，一次性压缩论证无效，必须逐尺度衰减估计（单步流 v′−v≈−2κW²Σ | y | ^{−2} 的严格负漂移给出 v_k≤(v_0^{−1}+ck)^{−1}）。附赠的临界点偏移 O(ε²) 也为数值提供了标定。） |
问 5：这类 AI 生成的证明最可能在哪里出错？
（答：三处高危：其一，重整化流的负漂移论证依赖四阶泰勒保留与三次项不消失的簿记，少一阶即露洞；其二，环境放大环节要把 OSSS 不等式与层探索压低的 revealment 组合成”对偶臂衰减升级为拉伸指数级”，组合次序极易出错；其三，接口识别靠带符号条带势垒夹逼加”两条同律有序弦经初等拓扑相等”，再用多通道估计排除曲线沿迹折返——最后一步的反证若漏一种折返模式，完整定向曲线拓扑下的闭环就不完整。全文未形式化。）
问 6：下游推论与使用者是谁？
（答：这是结果族 218（弱相互作用与随机键 Ising 的共形普适性）从对称特例迈向一般律的关键一环，尺度估计与边界比较两大工具直接承自姊妹篇，逻辑上层层递进。随机铁磁体、无序系统与共形场论界面研究都以此为严格锚点：弱无序不改变普适类这一断言现在覆盖整个有界均值零 iid 家族。论文未讨论 ε 超出 ε_0 或其他格点上的推广。）
总评
在 Harris 边缘这一最微妙的情形下把”无序不改变普适类”从对称特例推广到一般键律，临界点识别的三段接力（打靶—扇区对偶—单调性）是全文最亮也最承重的部分；最大风险在未形式化的逐尺度估计与接口折返排除——任何一处缺口都可能只影响某些罕见环境而不易察觉。