结果族 218：Conformal universality for weakly interacting and random-bond Ising models · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
装修队每砸开一堵墙，都要重新验一遍整栋楼的承重。研究伊辛界面的”探索过程”也一样：每走一步就钉死一批箭头，所有后续估计必须在”墙被砸成任意形状”之后依然成立。这篇论文打造了两件这样的验房工具——一条点态比较定理和一条条带逼近定理——供同族两篇普适性大定理当引擎反复调用。
关键词卡片
看个具体例子
比较定理的数字版（公式卡）——任意钉扎下，两组条件构型的概率之比被
@@M@@De^{-4\operatorname{arctanh}q_0}\ \le\ \frac{\Pr(\text{构型}\mid\cdot)}{\Pr(\text{构型}'\mid\cdot)}\ \le\ e^{+4\operatorname{arctanh}q_0}@@
夹住，其中 @@M@@q_0@@ 是删去钉扎点后两端点在零场 FK 模型里的连接概率。代入 @@M@@q_0=0.1@@：@@M@@4\operatorname{arctanh}(0.1)\approx 0.40@@，比值落在 @@M@@[0.67,1.49]@@。缓冲版更妙：两端相距 @@M@@R\ge 8w@@（@@M@@w@@ 为钉扎块宽度）时，对数似然比被压到 @@M@@C(w/R)^\alpha@@——离得越远，钉扎的影响按幂次消散。
为什么值得关心
它是”族内引擎”：体关联与 SLE₃ 两篇普适性论文最关键的”条件化之后仍可用”的估计，全部落在这两条工具上。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把探索过程比作装修队砸墙后验承重。翻译一下：对象是临界方格上的自旋系统，外加一条逐步”钉死”沿途自旋符号的随机探索路径；操作是问——当远处条件（被钉死的符号、暴露的边界形状）任意变化时，目标区域的条件分布还能不能被控制得住。本文造的就是两件这样的控制工具。
第二级台阶
用本科术语定义概念。似然比是两个条件分布的密度之商，量化条件化后剩余的失真；随机簇模型把自旋系统改写为边开边关的图模型，其连接概率刻画两端点是否连通；总变差是衡量两个概率分布相差多少的标准距离；正则带号势垒是预先备好的、带有有限段正负钉扎的规整简单闭曲线。比较的对象是条件自旋律本身，而非某个事件。
第三级台阶
两条定理的语境：临界最近邻模型、零外场、有限图上任意非负耦合。第一条（点态比较）允许任意公共钉扎——这挡住了探索产生的任意交替符号；结论是条件概率之比被两端点在删点缩端后零场随机簇模型中连接概率经双曲正切变换的四次方夹住，端集相距充分远时退化为幂次衰减。第二条（条带分解）假设条带宽度固定为正——挡住窄峡湾退化的麻烦；结论是有限个正则带号势垒可在总变差意义下逼近目标条件律，一致于包括随网格变化在内的一切有界观测量，例外态概率可任意小。
为临界方格伊辛模型证明两条基础工具定理：允许任意公共钉扎自旋的点态似然比较（由零场 FK 连接概率控制），以及界面探索穿越固定宽度条带时用有限个正则带号势垒逼近目标条件律——它们是同族两篇普适性论文的关键引擎。
探索伊辛界面会沿一条随机路径逐步固定自旋，而后续估计必须在这种条件化之下仍然有效。困难有二：被固定的符号可以任意交替，暴露出的边界可能含有大量窄峡湾。经典工具——FKG/Holley 的正关联、Edwards–Sokal 的自旋-簇对应、Duminil-Copin–Hongler–Nolin 的 FK 交叉去相关——控制的是事件概率；本文需要的是对整个条件自旋律的点态比较，以及把探索后可见的不规则边界替换为有限多个正则带号势垒（regular signed barrier）的逼近定理，且要对包括随网格变化的有界可观测量一致。这两类估计正是族内体关联篇与 @@M@@\mathrm{SLE}_3@@ 界面篇反复调用的输入。
定理一（有限图比较）：任意有限铁磁伊辛图、非负耦合与任意场；设 @@M@@I,J@@ 为不相交非空端集，@@M@@F@@ 为公共钉扎集。删去 @@M@@F@@、把 @@M@@I,J@@ 各收缩成一个端点、场归零，取簇权 @@M@@2@@、参数 @@M@@p_e=1-e^{-2K_e}@@ 的随机簇（random-cluster）模型，设两端点连接概率为 @@M@@q_0@@。则对 @@M@@J@@ 上任意两组条件构型与 @@M@@I@@ 上任意构型 @@M@@a@@，条件概率之比介于 @@M@@e^{\pm4\operatorname{arctanh}q_0}@@。临界方格上进一步得到带缓冲（buffered）版本：@@M@@I,J@@ 被正宽度环域隔开时有一致常数界；@@M@@I\subset z+B_w@@、@@M@@J@@ 在 @@M@@z+B_R@@ 之外且 @@M@@R\ge8w@@ 时，对数似然比至多 @@M@@C(w/R)^\alpha@@（绝对常数 @@M@@\alpha>0@@）。公共钉扎可在端集之外任意分布。
定理二（有限条件分解）：在宽度固定的条带 @@M@@Q_v\setminus Q_u@@ 中按面内三角剖分上自旋插值的零集做界面向内或向外探索。对任意 @@M@@\epsilon,\eta>0@@，可在分离子窗口内选定轮廓水平、有限描述子 @@M@@Z^\delta\in\{0,1,\dots,m\}@@ 与有限个正则带号势垒 @@M@@\Gamma_1,\dots,\Gamma_m@@，使得对所有充分细的网格：例外态概率至多 @@M@@\epsilon@@；在好态 @@M@@i@@ 上，按”先加号钉扎、后减号钉扎”插入 @@M@@\Gamma_i@@，目标律的总变差（total variation）改变之和至多 @@M@@\eta@@，且最终目标侧律 @@M@@Q_{i,\delta}@@ 对该态中每个探索记录都相同——因此结论同时对一切有界目标观测量（包括随网格变化的）成立；若另一律的带密度至多是参考密度的 @@M@@K@@ 倍，其例外概率至多 @@M@@K\epsilon@@。
比较定理的证明是纯有限图代数：铁磁伊辛权重满足格条件（log-supermodular，即对数超模），且在边缘化下保持——文中给出二元消元证明，呼应 Karlin–Rinott 的多变量全正性理论；随后证明任意四个构型形成的对数几率矩形都被”两端集各自取全同号”的极端矩形控制，于是似然比问题约化为两自旋问题；把两端的有效场配平后引用 Ding–Song–Sun 的任意场协方差不等式，两自旋有效耦合恰为极端对数交叉项的四分之一，再经 @@M@@\operatorname{arctanh}@@ 与删除图上零场 FK 连接概率 @@M@@q_0@@ 挂钩；最后用 FK 交叉与单臂估计把 @@M@@q_0@@ 换成临界格点上的几何衰减。逼近定理的机制是：先在加倍自旋模型中构造有序耦合——抵达某补丁的分歧会在尺度 @@M@@w@@ 的计数线段上携带约 @@M@@w^{7/8}@@ 的磁质量，点态比较控制”修改该补丁”对距离 @@M@@s@@ 处目标的影响，对容许割求和即得有序传输（ordered transmission）及其带号源、总变差形式；作为 Chelkak–Hongler–Izyurov 自旋关联极限的定量推论，还得到邻近轮廓归一化磁化间的 @@M@@L^2@@ 界 @@M@@(w/s)^{3/8}@@ 与预测界。再借助 Benoist–Hongler 的嵌套 @@M@@\mathrm{CLE}_3@@ 同时逼近，覆盖、定向与重数在任何不交叉完整分解下得以保持；在一般停止水平，目标可见的边界是带有限裂缝的若尔当基底，可用有限图嵌入与平面延拓定理作拓扑图纸，窄缎带保住裂缝两侧及尖端的变号；自旋关联极限控制固定正则比较域中的磁均值，有序传输再把小的均值差转化为目标总变差；最后把每个可实现探索记录邻域的可数覆盖，归约为有限个承载任意高概率的连续性集，得到有限分解定理。
本篇处理的是可积的最近邻临界模型，主要输入（Ding–Song–Sun 协方差不等式、DHN 的 FK 估计、CHI 关联极限、Benoist–Hongler 的 @@M@@\mathrm{CLE}_3@@ 逼近）均为已发表结果；本文自身无 Lean 形式化证明，请以社区核验为准，OpenAI 亦声明”未经形式化的结果可能有问题”。作为族内体关联篇与 @@M@@\mathrm{SLE}_3@@ 界面篇共同引用的比较与传输引擎，它把两篇普适性论证中最关键的”条件化之后仍可用”的估计落到了实处。
问 1：比较定理证明里最脆弱的一步是哪里？
（答：有限图代数链——格条件在边缘化下保持、四个构型的对数几率矩形被”两端各取全同号”的极端矩形控制、配平两端有效场后引用 Ding–Song–Sun 任意场协方差不等式，最后把两自旋有效耦合与零场随机簇连接概率经双曲正切挂钩。四分之一系数与 arctanh 换算处一旦有误，常数 e 的指数就错。）
问 2：为什么点态比较允许任意公共钉扎，传输估计却要指定自由邻域？
（答：论文明示这是两套不同假设。似然比较是纯代数事实，钉扎只进入删除图；而有序传输靠”分歧携带磁质量”的耦合构造，磁化响应在钉扎点无从定义。二者混用是使用者的常见错误，论文特意分开陈述。）
问 3：条带宽度为什么必须固定为正？
（答：所有常数可依赖宽度。宽度趋于零时窄峡湾两侧与尖端的变号无法用窄缎带保住，覆盖、定向与重数的拓扑论证失效；这是定理的显式几何前提。）
问 4：与 Duminil-Copin–Hongler–Nolin 的去相关相比真正新意是什么？
（答：DHN 控制的是分离事件的概率比；本文给出任意公共钉扎与场下、任意端集上整个条件自旋律的点态比较，外加”有限个正则势垒在总变差下逼近任意好条件目标律”的分解定理——后者是族内两篇普适性论文反复调用的引擎，此前没有对应物。）
问 5：AI 生成证明最可能出错的模式？
（答：一是”先加号钉扎后减号钉扎”的插入次序及目标侧律对一切探索记录相同的一致性，属于次序敏感型论证；二是可数覆盖到有限连续性集的归约，测度论细节易漏。好在核心外部输入（DSS 不等式、CHI 关联极限、Benoist–Hongler 的嵌套 CLE₃ 逼近）均为已发表结果，风险低于姊妹篇。）
问 6：谁会用到它？
（答：直接用户是族内体关联篇与 SLE₃ 界面篇——它们最要紧的”条件化之后仍可用”估计全落在这两条定理上；密度比至多 K 倍时例外概率至多 Kε 的传递形式，让非参考模型（扰动、随机键）也能复用同一套势垒。）
总评
这是结果族的地基工程：结论技术、姿态谦逊，但两篇普适性大定理的全部”条件化韧性”压在它身上，属单点依赖；自身输入多为公开文献，相对风险最低而杠杆最高。