结果族 216：Critical and near-critical XY scaling and BKT universality · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
山谷里喊一嗓子，10 米外还能听清，100 米外只剩模糊回声——声音随距离按固定规律变弱。二维 XY 磁铁在”临界温度”处也如此：两处箭头的相似度按距离的四分之一次幂变弱，但还悄悄叠了一个极慢的”对数修正”。这个修正被物理学家预言了五十多年，本文首次严格证明它确实存在，指数恰是 @@M@@1/8@@。
关键词卡片
@@M@@b_c@@，由关联是否指数衰减来定义@@M@@r^{-1/4}@@@@M@@(\log r)^{1/8}@@，变化极慢却让 @@M@@r^{1/4}C(r)@@ 无法收敛看个具体例子
定理是 @@M@@C_{b_c}(r)=B_{\rm XY}\,r^{-1/4}(\log r)^{1/8}@@。数字版（取 @@M@@B_{\rm XY}=1@@、自然对数、@@M@@r=10^6@@）：
@@M@@DC_{b_c}(10^6)\approx 10^{-1.5}\times(\log 10^6)^{1/8}\approx 0.032\times 1.39\approx 0.044@@
若没有对数因子只有 @@M@@0.032@@：对数修正把关联抬高约四成，让衰减略微变慢——小归小，却足以让任何不含它的公式在 @@M@@r\to\infty@@ 时失效。
为什么值得关心
Kosterlitz 1974 年的重整化群计算预言了 @@M@@r^{-1/4}@@ 与 @@M@@(\log r)^{1/8}@@ 的组合，此后严格数学只有各种上界、下界与二分法，精确形状无人能证。本文补上了 BKT 图景里最著名的缺口之一。证明路线也堪称工程：先把箭头模型对偶成整值高度模型，再逐尺度追踪重整化轨迹——Kosterlitz 群流的 @@M@@1/j@@ 轨迹首次有了严格版本——最后把各尺度的贡献精确求和。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”山谷回声随距离变弱”的类比翻译过来：对象是配置——给每个格点一枚单位罗盘针（平面上的箭头）；操作是按”相邻两针夹角越小越省能量”的规则给配置加权，然后度量相距 r 步的两根针平均还指向多近。导读点出的悬念是：这个”相似度”减弱的规律，除主幂律外还叠了一个几乎看不见的慢因子。
第二级台阶
用本科术语：XY 模型的自旋是单位圆上的角 θ_x，吉布斯测度按 exp(Σ b·cos(θ_x−θ_y)) 加权，b 是逆温度。两点关联 C_b(r) 即 ⟨cos(θ_0−θ_r)⟩。临界点不用磁化定义，而用质量定义：设 m(b) 为关联的指数衰减速率，则 b_c 是使 m(b) 归零的下确界；”幂律加对数修正”指 C 呈 r^(−1/4)·(log r)^(1/8) 型渐近。
第三级台阶
定理的语境有两处限定：C_{b_c}(r) 须先在自由边界方盒中取热力学极限、再让两点沿坐标轴分开 r→∞（次序固定）；b_c 取质量定义值。结论是存在正常数 B_XY 使 C_{b_c}(r)=B_XY r^(−1/4)(log r)^(1/8)(1+o(1))。自由边界与极限次序挡住了边界效应与量级互换的歧义；质量定义的 b_c 挡住了”临界点选错一个 log”的可能。对数因子虽小于任何幂，却使 r^(1/4)C 无法收敛——它是重整化流沿尺度对数累积的效应，正是 Kosterlitz 1974 年的预言。
本文严格证明：方格上最近邻余弦 XY 模型在临界点处的两点关联满足 @@M@@C_{b_c}(r)=B_{\rm XY}r^{-1/4}(\log r)^{1/8}(1+o(1))@@，首次为该模型确立了 BKT 理论预言逾五十年的对数修正（logarithmic correction）因子，且幅度 @@M@@B_{\rm XY}@@ 有限正值。
XY 模型在方格每个顶点放一个单位平面自旋，能量偏好相邻角度一致。Berezinskii（1971）的自旋波分析与 Kosterlitz–Thouless（1973）的涡旋（vortex）图像指出：二维连续对称系统没有常义长程序，低温下呈代数衰减的”准有序”相，相变由涡旋对的解耦驱动；Kosterlitz（1974）的重整化群（renormalization group）计算进一步预言临界关联以 @@M@@r^{-1/4}@@ 衰减并带 @@M@@(\log r)^{1/8}@@ 的对数修正。严格方面此前只有各类界：McBryan–Spencer 的幂律上界、Fröhlich–Spencer 的低温代数下界、van Engelenburg–Lis 的指数–多项式二分法，以及 Lammers、Aizenman–Harel–Peled–Shapiro 用对偶高度场（height field）对转变的刻画；姊妹篇已证 @@M@@C_{b_c}(r)=r^{-1/4+o(1)}@@。但对数修正是否存在、指数是多少，始终没有严格答案。
设 @@M@@m(b)@@ 为关联的指数衰减速率，@@M@@b_c=\inf\{b>0:m(b)=0\}@@ 为质量定义的临界逆温度；@@M@@C_{b_c}(r)@@ 先在自由边界方盒中取热力学极限，再让两点沿坐标轴相距 @@M@@r\to\infty@@。定理断言：存在常数 @@M@@B_{\rm XY}\in(0,\infty)@@，使 @@M@@C_{b_c}(r)=B_{\rm XY}r^{-1/4}(\log r)^{1/8}(1+o(1))@@。@@M@@r^{-1/4}@@ 是临界幂律；对数因子虽小于任何固定幂，却使 @@M@@r^{1/4}C_{b_c}(r)@@ 无法收敛到有限极限——它是边缘重整化流按尺度的对数累积的效应。
第一步是对偶。把每条边的 @@M@@e^{b\cos(\theta_x-\theta_y)}@@ 作 Fourier 展开，逐点积分迫使整值流无散，关联便化为对偶格上整值高度模型的配分函数比 @@M@@Z^\tau/Z^0@@，增量权重是 Bessel 权 @@M@@p_b(j)=e^{-b}I_j(b)@@；分子中的连接（connection）@@M@@\tau@@ 在两个插入点周围各带 @@M@@\pm2\pi@@ 环量（circulation）。边界角度全钉零的方盒中心磁化 @@M@@M_n=\E^0_{n,b_c}\cos\theta_0@@ 对应单个 @@M@@2\pi@@ 环量。先用姊妹篇的扇区（sector）代价与环形核估计控制把微观插入与外部分离的环形界面，得到两个几何比较：@@M@@M_{n'}/M_n\to d^{-1/8}@@（当 @@M@@n'/n\to d@@），以及 @@M@@C_{b_c}(r)/M_r^2\to c_{\rm shape}\in(0,\infty)@@。后者把定理归结为求 @@M@@M_n@@。
第二步是重整化轨迹。以临界高度系数 @@M@@a(b_c)=8\pi@@ 的高斯场为参照逐尺度积分，梯度坐标 @@M@@u_j@@ 与基本 Fourier 坐标 @@M@@Z_j@@ 满足边缘递归（marginal recursion）@@M@@u_{j+1}-u_j\simeq-HZ_j^2@@、@@M@@Z_{j+1}-Z_j\simeq-2(\log L)u_jZ_j@@。物理环面上的方差与相位检验迫使有限轨迹贴近高斯曲线，四面相位下界阻止基本方向消失，两者联合给出临界平衡 @@M@@HZ_j^2\sim2(\log L)u_j^2@@ 与 @@M@@u_j@@ 的调和衰减，进而 @@M@@t_j=\frac{1}{2(\log L)j}+O(\frac{\log j}{j^2})@@——正是 Kosterlitz 群流 @@M@@1/j@@ 轨迹的严格版本。
第三步是求和。参考能量 @@M@@g_n=4\pi^2G_n(0,0)@@（被杀格点 Green 函数）用多项式分解的裂项（telescoping）恒等式算出 @@M@@g_{L^N}=2\pi(\log L)N+c_G+o(1)@@。比较相邻几何尺寸时采用同一进入尺度、同一停止尺度，并恰当选取每步提取的与场无关的因子，使其对插入比的贡献在两个尺寸间完全一致，得到 @@M@@\log\frac{M_{L^{N+1}}}{M_{L^N}}=-\frac{1-t_{j'}}{2a}(g_{L^{N+1}}-g_{L^N})+\epsilon_N@@，其中 @@M@@\sum_N|\epsilon_N|<\infty@@。代入轨迹估计给出增量 @@M@@-\frac{\log L}{8}+\frac{1}{16N}@@；无权的 Green 差直接裂项相消，@@M@@1/N@@ 加权差用分部求和处理，最终 @@M@@\log M_{L^N}+\frac{\log L}{8}N-\frac{\log N}{16}@@ 收敛，即 @@M@@M_n=b_Mn^{-1/8}(\log n)^{1/16}(1+o(1))@@。再由几何比较把渐近推广到全部整数，并由第二个比较平方出对数幂 @@M@@1/8@@。
本文是结果族 216 的核心篇：它消费姊妹篇的临界高度系数 @@M@@a(b_c)=8\pi@@ 与固定几何高度极限、解析局部映射、固定孔扇区代价与环形核估计，并在文内自行证明截断初始化、系数定量估计、不同起始历史的比较与幅度提取；批内另两篇（中心磁化与临界自旋场）与之互为支撑，族内还有近临界方向的 BKT 本质奇性等结果。全部结论尚未形式化；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最要害、最脆弱的一步在哪里？
（答：第 7 节的求和定理。整个对数指数 1/8 与 1/16 完全由临界高度系数 a=8π 决定——磁化增量公式 log M_{L^{N+1}}−log M_{L^N} = −ℓ/8 + 1/(16N) − (c_{N+1}−c_N)/(16π) + ρ_N 中两个数值系数都由 a=8π 定死，而 a(b_c)=8π 本身是姊妹篇的输入。若轨迹估计 t_j = 1/(2ℓj)+O(log j/j²) 的误差项再大一点，误差 N^(−2+4ε)+N^(−1−ε)+log N/N² 在 ε<1/10 下的可和性就会崩掉，1/16N 项将淹没在噪声里。）
问 2：极限次序”先热力学极限、后分离极限”这个假设为什么不能动？
（答：这是临界点处关联函数定义的一部分——在有限盒中两点距离受盒长限制，只有先让盒无穷大，”相距 r 仍沿坐标轴”的量才有意义。论文在结论一节明确核对了”所有截断与有限方盒计算只用 M_n，故极限次序即定理规定者”。换成其他次序（如周期边界或先分离）得到的量是否同一渐近，论文未展开。）
问 3：与已有工作相比真正的新意是什么？
（答：此前严格结果全是界与二分法：McBryan–Spencer 幂律上界、Fröhlich–Spencer 代数下界、van Engelenburg–Lis 二分法、Lammers 与 Aizenman–Harel–Peled–Shapiro 的转变刻画，姊妹篇也只证 r^(−1/4+o(1))。本文首次给出精确形状 r^(−1/4)(log r)^(1/8)，且证明中段 t_j ≈ 1/(2ℓj) 是 Kosterlitz 群流 1/j 轨迹的第一个严格版本——这比单一渐近式更有方法论价值。）
问 4：哪些关键输入不是本文自证的？
（答：对偶后的扇区代价与环形核估计、临界高度系数 a(b_c)=8π、固定几何高度极限、解析局部重整化映射均引自批内姊妹篇；本文自证的是截断初始化、系数定量估计、不同起始历史的比较与幅度提取。换言之主定理是条件于整个结果族 216 的——任何一篇姊妹篇出问题都会连锁。）
问 5：这类 AI 生成的多尺度证明最可能在哪里出错？
（答：典型风险是”可和性边际”：证明依赖 ε<1/10 时三类误差恰好可和，以及 c_N 只需有界（论文特意说明不需要有界变差）这类精细的病态排除；还有多尺度比较中”同一进入尺度、同一停止尺度、同一提取因子”的抵消设计——若任何一步的因子选取在两个尺寸间不完全一致，裂项就留下不可和残差。全部结论未形式化，此类常数级错误最难被肉眼发现。）
问 6：下游推论是什么，谁会用到？
（答：M_n = b_M n^(−1/8)(log n)^(1/16)(1+o(1)) 的中心磁化渐近是本文中途产物，直接被批内”中心磁化”与”临界自旋场”两篇消费——后者用它作归一化常数证明自旋场收敛到全方差高斯指数场。正幅度 B_XY∈(0,∞) 也为数值物理提供了可对照的标定量。）
总评
这是把 BKT 图景最后一块著名缺口——临界对数修正——补上的工作，1/j 群流轨迹的严格化是超出单点结果的贡献；最大风险在于它是一家姊妹篇的枢纽，且全部依赖链尚无形式化核验。