结果族 216：Critical and near-critical XY scaling and BKT universality · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一间方形大厅，四面墙上的指南针全被固定朝同一个方向；大厅正中央那枚自由的指南针会被带动多少？这篇论文算的就是这个数：在恰好”临界”的温度下，中心箭头的平均偏转正比于 @@M@@n^{-1/8}@@，再乘一个慢吞吞的因子 @@M@@(\log n)^{1/16}@@——大厅边长翻倍，偏转只缩小不到一成，慢得出奇。
关键词卡片
@@M@@b_c@@，此处关联恰不指数衰减看个具体例子
设大厅边长为 @@M@@n@@ 个格距，定理给出 @@M@@a_n=A_{\rm XY}\,n^{-1/8}(\log n)^{1/16}@@。数字版（@@M@@A_{\rm XY}=1@@、自然对数、@@M@@n=10^6@@）：@@M@@n^{-1/8}=10^{-0.75}\approx 0.18@@，@@M@@(\log n)^{1/16}\approx 1.17@@，合计 @@M@@a_n\approx 0.21@@。
为什么值得关心
这个 @@M@@(\log n)^{1/16}@@ 正是姊妹篇”临界两点关联带 @@M@@(\log r)^{1/8}@@“的平方来源：中心磁化先带上 @@M@@1/16@@ 次对数，平方后恰好变成 @@M@@1/8@@，三篇论文在同一个常数上互相咬合成完整证据链。证明要跨两道坎：高度模型的观测密度不能先验地假设很小，作者在相互重叠的有限尺度区间上引入截断观测来处理；带环量缺陷进入递归会产生难以估计的归一化因子，办法是让两个尺寸的方盒共用同一历史，使所有标量因子在比值中精确相消。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”四面墙指南针全对齐、大厅中央一枚自由针”的图景翻译过来：对象是方盒内部的角度配置——每个格点一枚平面箭头；操作分两层，先把边界箭头的方向全部固定成同一个指令，再按”相邻夹角越小越省能量”的规则给内部配置加权；要度量的是正中央那枚箭头平均被带动了多少。导读强调的悬念是：大厅每边长翻倍，这个带动量缩小得异乎寻常地慢。
第二级台阶
精确化：XY 模型给每个格点角变量 θ_x，按 exp(Σ b·cos(θ_x−θ_y)) 加权；边界条件指预先钉死边界角度（本文取全零）。中心磁化 a_n = E⟨cos θ_0⟩ 即边界对齐时中心自旋投影的期望；临界逆温度 b_c 由质量定义——关联恰不再指数衰减的分界值。注意临界点无自发磁化，a_n 度量的是纯边界响应。
第三级台阶
定理是显式条件的：在引用姊妹篇的临界高度系数 8π、局部重整化映射与自旋场输入之后，方盒（边长 n、边界全零、内部键全保留）在 b_c 处满足 a_n = A_XY·n^(−1/8)(log n)^(1/16)(1+o(1))，幅度 A_XY 有限正值。对齐边界挡住了”自由边界下响应为零”的退化；质量定义的 b_c 挡住临界点选取的歧义；条件于姊妹篇挡住了重整化机制这一最重部分。结论的 1/16 次对数正是姊妹篇两点关联 (log r)^(1/8) 的平方来源——三篇在同一个常数上互相咬合。
本文证明：边界自旋全部对齐的方盒中，临界 XY 模型的中心磁化（center magnetization）满足 @@M@@a_n=A_{\rm XY}n^{-1/8}(\log n)^{1/16}(1+o(1))@@。在三篇姊妹篇的输入之上，它定出了此前未知的对数修正因子，为临界两点关联的 @@M@@(\log r)^{1/8}@@ 提供了”平方”来源。
临界点附近的二维 XY 模型没有自发磁化，但对外边界仍有响应：把方盒边界角度全钉在零，中心自旋的平均偏转即中心磁化。Berezinskii（1971）、Kosterlitz–Thouless（1973）与 Kosterlitz（1974）的重整化群分析预言了临界指数与对数修正；José–Kadanoff–Kirkpatrick–Nelson（1977）把模型与 Coulomb 气及周期场描述的联系显式化；Kenna–Irving 记录了磁化率的有限尺寸标度预言 @@M@@\chi_N\asymp N^{7/4}(\log N)^{1/8}@@。严格方法方面，Falco 在稀薄 Coulomb 气中构造了 @@M@@1/j@@ 边缘轨迹并证明分数电荷关联的乘性对数，Dimock–Hurd 控制了 @@M@@\beta>8\pi@@ 的 sine-Gordon 模型，但二者的观测对象均不能直接移植到磁学可观测量。对齐边界下的单点渐近从未被定出——幂律指数本身不能决定归一化，慢变乘子在固定比值的标度极限中不可见。
定理（显式条件于三篇姊妹篇的输入）：在边长为 @@M@@n@@、边界角度全为零、内部键全保留的方盒中，于质量定义的临界逆温度（critical inverse temperature）@@M@@b_c@@ 处，中心磁化 @@M@@a_n=\E^0_{n,b_c}\cos\theta_0@@ 满足 @@M@@a_n=A_{\rm XY}\,n^{-1/8}(\log n)^{1/16}(1+o(1))@@，其中 @@M@@A_{\rm XY}\in(0,\infty)@@ 为模型特定常数。论文特别强调：临界磁化收缩与标量因子的精确相消是在本文中证明的，并非低温磁流定理的推论。
Fourier 对偶把 @@M@@a_n@@ 写成整值高度模型（高度取值 @@M@@2\pi\mathbb{Z}@@、Bessel 增量权）的配分函数比：分子带绕中心 @@M@@2\pi@@ 的环量，分母零环量。证明要跨过两道坎。第一道是高度模型的观测密度无法先验地假设在高斯大场范数下很小。办法是把证明组织在相互重叠的有限尺度区间上：目标指标 @@M@@J@@ 很大时，在边长与 @@M@@J^3@@ 同阶的胞上引入观测，用光滑截断剔除异常大的相邻观测差；截断误差是 @@M@@e^{-J^3}@@ 量级，而历史中物理方盒的对数边长只有 @@M@@J@@ 量级，于是剩余相互作用在高度映射的完整解析范数下变小。第二道是带环量缺陷进入递归时可能产生很大的归一化因子，而估计它是不必要的额外负担。办法是让边长 @@M@@2n@@ 与 @@M@@2Ln@@ 的两个对偶方盒共用同一历史、同一停止尺度：环量插入在整个精确分块代数中保持线性，插入附近产生的所有标量因子在两个方盒中完全相同，在比值中精确相消，其大小无关紧要；残留插入收缩足够快，配合姊妹篇自旋场论文给出的 @@M@@a_n@@ 粗糙正下界，其贡献相对也可忽略。
轨迹控制：用物理高度律自身的两个可观测量——长波涨落的方差与平均高度的特征系数——在公共绝对尺度上比较不同历史的坐标，从而不依赖高度标度极限的速率；结合边缘递归得运行梯度系数 @@M@@t_j=\frac{1}{2j\log L}+O(\frac{\log j}{j^2})@@，其中 @@M@@L@@ 为固定的二的幂。最后是纯高斯的终端计算：环量能量给出主幂 @@M@@n^{-1/8}@@，它与 @@M@@t_j@@ 的耦合给出对数修正；对 @@M@@n=L^j/2@@ 有 @@M@@\log a_{Ln}-\log a_n=-\frac{\log L}{8}+\frac{1}{16j}+O(j^{-1-\epsilon})@@。误差的绝对可求和性——而非对初始磁化归一化的任何估计——给出有限正幅度。终了用自旋场论文的比值极限把几何尺寸的结果转移到所有整数。
这是明确的条件定理：引用姊妹篇的局部积分映射、临界高度系数 @@M@@8\pi@@ 与混合几何高度极限、恒同嵌套比较（含 @@M@@a_n@@ 的粗糙正下界与比值极限），缺一不可。它与批内第一篇互相印证：第一篇在自由盒子路线中独立推出同一中心渐近并用于两点关联，本文是对齐边界版本的系统陈述；自旋场一篇则以 @@M@@a_n@@ 为归一化常数。结果未形式化；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步在哪里？
（答：两个尺寸共用同一历史的比值结构。让边长 2n 与 2Ln 的对偶方盒共享同一历史与停止尺度后，环量插入在精确分块代数中保持线性，插入附近的标量归一化因子在两盒中完全相同、在比值中精确相消。这是全文最精巧的设计——一旦相消只差一个 o(1) 而非恒等，未被估计的归一化因子就可能污染对数修正项 1/(16j)。）
问 2：观测密度那道坎为什么不能绕过？
（答：高度模型中绕中心 2π 环量对应可观测量，其密度无法先验假设在高斯大场范数下小；直接进入重整化递归会让”剩余相互作用变小”失效。论文的解法是在相互重叠的有限尺度区间上组织证明：边长与 J³ 同阶的胞上引入观测、光滑截断异常相邻差，截断误差 e^(−J³) 与历史的 J 量级对数边长形成压倒性差距。若没有这一步，局部映射的解析范数收敛无从谈起。）
问 3：与已有工作相比真正的新意是什么？
（答：Falco 在稀薄 Coulomb 气中证过分数电荷关联的乘性对数、Dimock–Hurd 控制 β>8π 的 sine-Gordon，但观测对象都不能移植到磁学量；Kenna–Irving 只有数值物理的有限尺寸标度预言。本文首次定出对齐边界下临界磁化的完整渐近——幂律指数本身不能决定归一化，慢变乘子在固定比值的标度极限中不可见，这正是此前无人能证的原因。）
问 4：哪些假设删掉就塌？
（答：定理显式条件于三篇姊妹篇：局部积分映射、临界高度系数 8π 与混合几何高度极限、以及自旋场论文给出的 a_n 粗糙正下界与比值极限——最后这个下界用于把残留插入的贡献压成相对可忽略，并把 L^j 几何的结论转移到一切整数。任何一篇输入失效，本文主定理即失效；论文自己也强调临界磁化收缩并非低温磁流定理的推论。）
问 5：这类 AI 生成的证明最可能在哪里出错？
（答：最危险的是”恰好相消”类论证：标量因子在两盒中完全相同依赖精确的分块代数恒等式；误差的绝对可和性（log a_{Ln}−log a_n 增量中 O(j^(−1−ε))）替代了对初始归一化的任何估计——若可和性在某步只差 log j 因子，有限正幅度就证不出来。全文未形式化，此类边际可和性错误是 AI 证明的典型盲区。）
问 6：谁会用到这个结果？
（答：批内”临界自旋场”篇直接以 a_n 为归一化常数，证明自旋场收敛到全方差高斯指数场；两点关联篇则把 a_n 平方出 (log r)^(1/8)。三篇构成同一证据链，本文是其中承上启下的定量枢纽；对数值物理而言 A_XY 是可对照的标定常数。）
总评
这是条件定理但含金量实在：对齐边界下临界磁化首次被完整定出，且”共用历史精确相消”的比值设计是方法上的贡献；最大风险是整条证明站在三篇未形式化姊妹篇之上，任何输入的裂缝都会传导至此。