结果族 216：Critical and near-critical XY scaling and BKT universality · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
谣言每传一手就打一次折。二维 XY 磁铁在临界温度处也如此：两处箭头的”相似度”恰好按距离的四次方根打折。这个分数指数 @@M@@1/4@@ 是 BKT 理论最著名的预言之一，悬了五十余年，本文首次对原始方格模型给出严格证明。
关键词卡片
@@M@@1/4@@@@M@@n^{-1/4}@@ 变弱，远慢于指数衰减@@M@@m(b)@@；临界处 @@M@@m=0@@，@@M@@b_c@@ 由此定义@@M@@0@@ 或至少 @@M@@8\pi@@，中间为空——证明的支点看个具体例子
定理：@@M@@C_{b_c}(n)=n^{-1/4+o(1)}@@。数字版（把 @@M@@o(1)@@ 忽略）：
@@M@@DC(16)\approx\tfrac12,\qquad C(10^4)\approx\tfrac1{10},\qquad C(10^8)\approx\tfrac1{100}@@
距离 16 时关联剩一半，距离 @@M@@10^4@@ 时剩十分之一——距离每乘一万倍，关联恰好再砍到十分之一。
为什么值得关心
证明是漂亮的排除法：临界高度系数若为 @@M@@0@@，衰减快过一切幂律，与已知下界矛盾；若超过 @@M@@8\pi@@，”开性”会推出更早的临界点，与定义矛盾——只能恰为 @@M@@8\pi@@，指数 @@M@@2\pi/8\pi=1/4@@。间隙本身来自几何：高度周期为 @@M@@2\pi@@，径向单位流的能量随距离对数增长，对各傅里叶扇区求和便得 @@M@@a\in\{0\}\cup[8\pi,\infty)@@；而一对相反角奇点的能量是 @@M@@4\pi\log n@@，由此得上界指数 @@M@@2\pi/a@@。注意本文不断言 @@M@@n^{1/4}C(n)@@ 收敛，对数修正由姊妹篇补上，两者完全相容。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”谣言每传一手打一次折”的类比换成半数学语言：对象是一对相距 n 步的箭头，度量它们方向的平均相似度；操作是让格子系统先无限大、再让这对箭头分开，观察相似度随 n 的打折规律。导读点出的悬念：在恰好临界的温度处，这个”折扣率”是不是距离的四次方根——一个悬置五十年的分数指数。
第二级台阶
用本科术语：XY 模型给每个格点角变量 θ_x，按 exp(b·cos(θ_x−θ_y)) 加权。两点相关 C_b(n) 先取自由方盒的热力学极限、再让沿坐标轴的间距 n 走遍一切整数；质量 m(b) 是 −(1/n)log C_b(n) 的极限，b_c 由 m 归零定义。”临界指数为 1/4”精确指 log C_{b_c}(n)/log n → −1/4，即对任意 ε>0 都被 n^{−1/4±ε} 夹住。
第三级台阶
定理的语境：在质量定义的 b_c 处、极限次序如上固定时，C_{b_c}(n)=n^{−1/4+o(1)}。证明不直接算 C，而是经 Fourier 对偶转到取值 2π 整数倍的高度模型（Bessel 边权），引入自由高度系数 a(b)：几何论证给出间隙律 a∈{0}∪[8π,∞)，并给出自旋衰减上界指数 2π/a。已有的非尖锐下界 1/(8n) 挡住 a=0（否则衰减快过一切幂律）；”开性”论证挡住 a>8π（否则临界点应更早出现，与 b_c 的定义冲突）——两道闸门一关，只剩 a(b_c)=8π，指数 2π/8π=1/4。全程不假设未知函数 a(b) 连续，也不断言 n^{1/4}C 收敛——后者留给姊妹篇的对数修正。
本文证明方格最近邻 XY 模型在质量定义的临界逆温度处，无穷体积自旋相关 @@M@@C_{b_c}(n)=n^{-1/4+o(1)}@@，即 @@M@@\log C_{b_c}(n)/\log n\to-1/4@@，精确证实了 BKT 理论五十余年前预言的临界相关指数 @@M@@1/4@@。
二维 XY 模型在低温下存在一个没有自发磁化的”临界相”：相关呈幂律衰减且指数随温度连续变化。Berezinskii 与 Kosterlitz–Thouless 的理论预言，在该相的边界（临界点）处衰减指数恰为 @@M@@1/4@@。此前严格结果勾勒了相图轮廓：McBryan–Spencer（1977）给出幂律上界；Fröhlich–Spencer（1981）用库仑气（Coulomb gas）分析证明低温代数相；van Engelenburg–Lis（vEL）用定向电流与对偶高度给出指数–多项式二分法，并在临界处给出非尖锐的下界 @@M@@C_{b_c}(n)\ge 1/(8n)@@；Lammers 证明了 XY 质量与对偶高度质量的精确关系及定位二分法。但端点系数与磁相关指数这两个”硬数字”一直未被识别——本文正是补上这一缺口。
模型与 vEL 相同：自由边界方盒 @@M@@\Lambda_L@@ 上的角度测度 @@M@@\dd\mu_{L,b}\propto\exp\{b\sum_{\{x,y\}}\cos(\theta_x-\theta_y)\}\prod_x\dd\theta_x/(2\pi)@@。相关函数 @@M@@C_b(n)@@ 先取 @@M@@L\to\infty@@、再取间距 @@M@@n\to\infty@@（涵盖全部整数间距），质量 @@M@@m(b)=\lim_n-\frac1n\log C_b(n)@@，@@M@@b_c=\inf\{b:m(b)=0\}@@。主定理：@@M@@\lim_{n\to\infty}\frac{\log C_{b_c}(n)}{\log n}=-\frac14@@；等价地，对任意 @@M@@\varepsilon>0@@，当 @@M@@n@@ 充分大时 @@M@@n^{-1/4-\varepsilon}\le C_{b_c}(n)\le n^{-1/4+\varepsilon}@@。论文明确说明不断言 @@M@@n^{1/4}C_{b_c}(n)@@ 收敛——族内另一篇证明的对数修正 @@M@@(\log n)^{1/8}@@ 与此完全相容。
骨架是对偶高度场（dual height field）：XY 自旋相关经自由边界对偶变为取值 @@M@@2\pi\mathbb{Z}@@ 的高度模型，边权是 Bessel 权重 @@M@@p_b(j)=e^{-b}I_j(b)@@。定义自由高度系数 @@M@@a=a(b)@@——高度协方差为 @@M@@aA^{-1}@@（@@M@@A@@ 为单位边拉普拉斯）。常数可沿一条短恒等式链读出：高度周期为 @@M@@2\pi@@，径向单位流的能量 @@M@@(2\pi)^{-1}\log r+O(1)@@，对各傅里叶扇区求和得到间隙 @@M@@a\in\{0\}\cup[8\pi,\infty)@@；而一对相反角奇点的能量为 @@M@@4\pi\log n+O(1)@@，由此得自旋上界指数 @@M@@-2\pi/a@@（@@M@@a=0@@ 时衰减快于任何多项式）。证明分五步推进：先构造 @@M@@a(b)@@ 并证间隙与上界指数；再证定位所需的混合边界与条件钉扎极限；然后证 @@M@@a>0@@ 时匹配的下界指数，此时自旋质量为零；接着证开性（openness）——@@M@@a(b)>8\pi@@ 蕴含其邻域内系数处处为正。最后组合（第 60 节）：若 @@M@@a(b_c)=0@@，上界给出 @@M@@\limsup\log C_{b_c}/\log n=-\infty@@，与 vEL 下界（@@M@@\liminf\ge-1@@）矛盾；若 @@M@@a(b_c)>8\pi@@，开性使某 @@M@@\tilde b<b_c@@ 处 @@M@@a(\tilde b)>0@@，进而 @@M@@m(\tilde b)=0@@，与 @@M@@b_c@@ 的定义矛盾。于是 @@M@@a(b_c)=8\pi@@，指数 @@M@@2\pi/8\pi=1/4@@。整个过程不假设未知函数 @@M@@a(b)@@ 的连续性。相对伴侣篇（本批”BKT universality”一文，处理二次权重）还需要三项模型特异性转移：其一，用格点高斯链细分把有限比较搬到 Bessel 权重，但细分链的裸高斯方差界不转移，改用单位边流代价与任意高阶多项式矩替代（包括电缆探索与小钉扎概率之后）；其二，普通高度观测的收敛不能决定绕数扇区的配分比，改在几何环上做有限孤立展开（finite isolation expansion），每个环尺度只引入小误差；其三，在”平均值”而非微观高度上加一个正的二次形式，为开高斯区域提供大场储备，最后用方差比较把该形式移除，结论回到原始模型。
本篇主结果暂无形式化证明；按 OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。家族内互相支撑：本篇把 vEL 的外部端点输入（非尖锐下界 @@M@@1/(8n)@@）当作唯一外来临界信息，工具箱（记号 \Bcite 引用的有限高斯比较、环形几何、局部解析映射）由本批”BKT universality for height and planar spin fields”一文供给；本篇证出的临界高度系数 @@M@@8\pi@@ 又是族内”本质奇性”一文所依赖的临界输入。三篇在 @@M@@8\pi@@ 这一普适常数上彼此印证。
问 1：证明中最关键、最脆弱的一步在哪里？
（答：第 50 节的开性（openness）论证。最终排除法依赖”a(b_c)>8π 则存在更小的 b̃ 仍有正系数、进而 m(b̃)=0，与 b_c 定义矛盾”——但在不假设未知函数 a(b) 连续的前提下，这必须靠解析映射的进入定理硬证：在带隙高斯参考 a′>8π 处验证强化 Bessel 律满足映射的全部进入条件，再用方差比较移除人为添加的精度。开性若失败，三叉排除法只剩两叉，1/4 就锁不死。）
问 2：系数间隙 a∈{0}∪[8π,∞) 从哪来，为什么它是支点？
（答：纯几何恒等式链：高度周期为 2π，径向单位流能量 (2π)^(−1)·log r+O(1)，对全部傅里叶扇区求和得 a>0 时必 a≥8π；同时一对相反角奇点能量 4π·log n+O(1) 给出上界指数 2π/a。间隙把”临界处系数是多少”从连续问题变成三选一，才有可能用两个矛盾论证各自排除两端。）
问 3：极限次序（先热力学极限、后分离极限、含一切整数间距）为什么不能动？
（答：这是定理陈述的一部分：关联的乘性不等式 C_b(n+m)≥C_b(n)C_b(m) 经 Fekete 引理给出质量极限，整条链都建立在自由盒穷竭的 C_b(n) 上。论文在约定表里专门固定了”每个固定整数 n 先 L→∞”。换成周期边界或其他次序得到的相关是否同指数，论文未展开。）
问 4：与已有工作相比真正的新意是什么？
（答：vEL 的二分法附带非尖锐下界 1/(8n)，Lammers 给出 XY 质量与对偶高度质量的精确关系，AHPS 有整数高斯方法，姊妹篇处理二次权重——但端点系数 8π 与磁相关指数这两个”硬数字”从未被识别。本文只把 vEL 下界当唯一外来临界输入，其余自证，首次定出 1/4。）
问 5：从二次权重的姊妹篇到 Bessel 权重的三项转移，AI 证明最可能在哪里出错？
（答：论文自认的三项模型特异性转移恰是风险集中处：其一，格点高斯链细分能转移有限比较却转移不了裸高斯方差界，须换成单位边流代价加任意高阶多项式矩（含电缆探索与小钉扎概率之后）；其二，普通高度观测收敛决定不了绕数扇区的配分比，须在几何环上做有限孤立展开；其三，在”平均值”而非微观高度上加正二次形式充当大场储备、最后移除。三处任何一处常数或适用范围算错都会静默失效，且全文未形式化。）
问 6：结果不断言 n^{1/4}C 收敛，这是弱点吗？谁在用它？
（答：不是弱点而是精确分工：族内姊妹篇随后证明 C 带 (log n)^{1/8} 对数修正，n^{1/4}C 实际上缓慢发散，与本文完全相容。本文证出的临界系数 8π 又是”本质奇性”一文的核心输入——三篇在 8π 这个普适常数上互相咬合，构成族 216 的证据链地基。）
总评
用”间隙 + 两端排除”把一个悬置五十年的指数干净利落地锁死，是排除法证明的范本；最大风险藏在三项 Bessel 转移的技术腹地——那里最依赖未经形式化的逐环展开与矩控制，也最难被独立复核。