结果族 216：Critical and near-critical XY scaling and BKT universality · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
水烧开时，气泡的”特征尺寸”按温和的幂律变大：离沸点差 1 度变 2 倍，差 0.1 度变 20 倍。BKT 型相变却是悬崖式的：越靠近临界温度，箭头”还记得彼此”的典型距离以 @@M@@\exp(\text{常数}/\sqrt{\text{温度差}})@@ 的速度爆炸，比任何幂律都快。本文对最原始的 XY 模型严格证明了这一点。
关键词卡片
@@M@@\xi@@@@M@@\xi\sim\exp(A/\sqrt{b_c-b})@@ 型发散，猛过任何幂律@@M@@2\pi@@ 的旋涡；升温后涡旋对解绑引发相变@@M@@b@@ 越大系统越冷，@@M@@b_c@@ 是临界值看个具体例子
把 @@M@@\xi(b)\approx\exp(A/\sqrt{b_c-b})@@ 代入示意数字（@@M@@A=1@@）：距临界 @@M@@0.01@@ 时 @@M@@\xi\approx e^{10}\approx 2@@ 万格距；距临界 @@M@@10^{-4}@@ 时 @@M@@\xi\approx e^{100}\approx 10^{43}@@ 格距——天文数字。
为什么值得关心
Kosterlitz 五十年前的重整化群预言，第一次对原始余弦相互作用得到证明；此前严格结果只到”指数–多项式二分法”，精确奇性无人触及。证明把”确定特征尺度”与”把它解释为关联长度”拆成两个任务：重整化流在重标坐标下收敛到一个可显式求解的微分方程，其解在有限时刻到达极点，极点时刻恰好给出发散尺度；再用随机环表示从两端夹逼出关联长度。它与族内另两篇合成”临界指数、对数修正、近临界奇性”的完整 BKT 图景。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”烧水的气泡尺寸温和幂律变大 vs BKT 悬崖式爆炸”的对比翻译过来：对象是相距 r 的两根箭头还有多相似——这个相似度随 r 衰减，衰减快慢由温度参数控制；操作是问”箭头还记得彼此的典型距离”（即相似度衰减到可忽略所需的距离）这个量本身如何随参数靠近临界值而变化。导读点出的悬念：它是按幂律还是按别的更猛的方式发散。
第二级台阶
用本科术语：XY 模型给每格点角变量 θ_x，相邻以 exp(b·cos(θ_x−θ_y)) 耦合。两点相关 C_b(r) 先取自由边界热力学极限、再让 r→∞；质量 m(b) 定义为 −(1/r)·log C_b(r) 的极限，轴关联长度 ξ(b)=1/m(b)，临界逆温度 b_c 是使 m 归零的下确界。”本质奇性”指 ξ 按 exp(A/√(b_c−b)) 发散——快过任何幂。
第三级台阶
定理的语境限定在”从有质量侧逼近”：b↑b_c 时 √(b_c−b)·log(1/m(b)) → A_XY，A_XY 有限正值，且可写成 (log L)·π/√(3P)，P 是临界轨迹的温度响应常数。极限次序的规定挡住了质量定义的歧义；”有质量侧”挡住了临界点本身（b=b_c 处 ξ 无定义）；P>0 的下界挡住了重整化流永不离开小活动区、从而不产生任何特征尺度的退化情形。结论即：关联长度的发散速率恰为 Kosterlitz 1974 年预言的悬崖式本质奇性。
本文严格证明了方格最近邻 XY 模型的 BKT 本质奇性（essential singularity）：从低温侧逼近临界点时 @@M@@\sqrt{b_c-b}\,\log\xi(b)\to A_{\mathrm{XY}}\in(0,\infty)@@，即相关长度（correlation length）按 @@M@@\exp(A_{\mathrm{XY}}/\sqrt{b_c-b})@@ 型速度发散，首次对原始余弦相互作用证实了 Kosterlitz 1974 年的重整化预言。
平面 XY 模型在每个格点放一个单位向量（角度 @@M@@\theta_x\in\mathbb{R}/(2\pi\mathbb{Z})@@），相邻自旋以 @@M@@\exp\{b\cos(\theta_u-\theta_v)\}@@ 耦合。Berezinskii（1970）与 Kosterlitz–Thouless（1973）提出：低温下涡旋（vortex）成对束缚、自旋波（spin wave）主导，相关呈幂律衰减；升温后涡旋解绑，相关变为指数衰减。Kosterlitz（1974）的重整化群（renormalization group）递推进一步预言：转变点处相关长度的发散不是普通幂律，而是 @@M@@\exp(\mathrm{const}/\sqrt{b_c-b})@@ 型本质奇性。严格数学方面，Fröhlich–Spencer（1981）证明了相变与低温慢衰减，van Engelenburg–Lis 给出了指数–多项式二分法，但”精确奇性”对原始余弦模型始终悬而未决。难点在于：临界点附近温度偏移 @@M@@\varepsilon=b_c-b@@ 与涨落尺度同时发散，必须在一个尺度不断增长的区间里全程控制重整化流，再把流给出的尺度翻译回无穷体积的相关长度。
定义两点相关函数 @@M@@C_b(r)@@：先取自由边界方盒的热力学极限（thermodynamic limit），再让沿坐标轴的间距 @@M@@r\to\infty@@；质量 @@M@@m(b)=\lim_{r\to\infty}-\frac1r\log C_b(r)@@，轴相关长度 @@M@@\xi(b)=m(b)^{-1}@@，临界逆温度 @@M@@b_c=\inf\{b>0:m(b)=0\}@@。主定理：存在有限正常数 @@M@@A_{\mathrm{XY}}@@，使得 @@M@@b\uparrow b_c@@ 时 @@M@@\sqrt{b_c-b}\,\log\xi(b)\to A_{\mathrm{XY}}@@。常数依赖模型归一化，文中未给出闭式；论文还给出表达式 @@M@@A_{\mathrm{XY}}=(\log L)\pi/\sqrt{3\mathcal P}@@，其中 @@M@@L@@ 是分块比率、@@M@@\mathcal P@@ 是临界轨迹的温度响应常数。
证明把”确定一个尺度”与”把这个尺度解释为相关长度”分成两个独立任务，使解析活动映射（analytic activity map）只在坐标小时使用。第一步先让温度成为映射的受控变量：把高度按边长 @@M@@s@@ 的胞平均后，证明在 @@M@@b_c@@ 附近半径正比于 @@M@@s^{-2}@@ 的复圆盘上可以解析初始化。尺度 @@M@@L^j@@ 上两个标量坐标 @@M@@(x_j,y_j)@@ 分别度量二次梯度扰动与粗糙高度权重的第一傅里叶谐波，其主导递推为 @@M@@(x,y)\mapsto(x-y^2,\,y-xy)@@，临界轨迹是 @@M@@(1,1)/j+O(\log j/j^2)@@。论文的核心新估计是非零温度响应：@@M@@\frac1j\partial_b(x_j,y_j)|_{b=b_c}\to\mathcal P(1,-\tfrac12)@@ 且 @@M@@\mathcal P>0@@；其正值来自高度方差导数的有限体积下界，而线性化矩阵的特征方向分析（增长方向 @@M@@(1,-\tfrac12)@@、衰减方向 @@M@@(1,1)@@）配合物理读出比较排除了纯衰减解。随后令 @@M@@\delta=\sqrt{b_c-b}@@、重标定 @@M@@w=\delta j@@，坐标 @@M@@X=x/\delta,Y=y/\delta@@ 收敛到流 @@M@@X'=-Y^2,\ Y'=-XY@@；守恒量 @@M@@X^2-Y^2=-3\mathcal P@@ 给出显式解 @@M@@k\cot(kw),\,k\csc(kw)@@（@@M@@k=\sqrt{3\mathcal P}@@），流在时刻 @@M@@T=\pi/k@@ 到达出射极点。离散轨迹恰在指标 @@M@@j_e@@（@@M@@\delta j_e\to T@@）处越出小活动区，故特征空间尺度为 @@M@@L^{T/\delta}@@。第二步识别 @@M@@\xi(b)@@：沿 @@M@@b\uparrow b_c@@ 的序列提取子列，得到对数尺度 @@M@@w=\delta\log_L m@@ 上非增的高度廓线 @@M@@\mathcal A(w)=8\pi@@（@@M@@0<w<T@@）、@@M@@\mathcal A(w)=0@@（@@M@@w>T@@）。下界方向：@@M@@T@@ 以下钉扎高度协方差为正，它要求存在水平直径宏观的电流环，而 van Engelenburg–Lis 随机环表示中访问远点的概率被 @@M@@e^{-m(b)\cdot\mathrm{dist}}@@ 控制，若 @@M@@m(b)@@ 过大协方差将趋于零，导出矛盾。上界方向：@@M@@T@@ 以上高度系数为零使固定环量倾斜几乎无代价，在围绕源点的指数多个不相交环面上叠加倾斜，得任意强多项式衰减，再用 Lieb–Rivasseau 有限尺寸判据转化为 @@M@@m(b)\ge(\log 2)/r@@。两界匹配得 @@M@@\delta\log_L(1/m)\to T@@，换底即得主定理；子列抽取通过反证去掉。
本篇主结果暂无形式化证明，按 OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。家族内姊妹篇互相支撑：本批中”临界相关指数”一文证明了对偶高度场的临界系数恰为 @@M@@8\pi@@（即上文廓线的左值），”高度与自旋场 BKT 普适性”一文提供了本族共用的有限高斯比较、环面几何与解析映射工具；本篇还引用了家族中关于临界对数修正的另一篇伴侣工作。三篇合成一条完整的 BKT 图景：临界指数、对数修正与近临界奇性。
问 1：证明中最关键、最脆弱的一步在哪里？
| （答：非零温度响应估计——(1/j)·∂_b(x_j,y_j) | _{b=b_c} → P(1,−1/2) 且 P>0，这是论文的核心新估计。它使重标流 X′=−Y²、Y′=−XY 带守恒量 X²−Y²=−3P，从而有显式解 k·cot(kw)、k·csc(kw)（k=√(3P)），并在有限时刻 T=π/k 到达出射极点，特征尺度 L^{T/δ} 才存在。若 P=0，流永不离开小活动区，整篇论文无尺度可谈。P 的正值来自高度方差导数的有限体积下界，配合特征方向分析（增长方向 (1,−1/2)、衰减方向 (1,1)）排除纯衰减解。） |
问 2：为什么要把”确定尺度”与”解释为关联长度”拆成两个任务？
（答：解析活动映射只在坐标小时可信，而把尺度翻译回无穷体积关联长度需要完全不同的工具。第二步用随机环表示两端夹逼：T 以下钉扎高度协方差为正，迫使存在水平直径宏观的电流环，而环访问远点的概率被 e^{−m(b)·dist} 控制，m 过大协方差趋零，矛盾给出下界；T 以上高度系数为零使固定环量倾斜几乎无代价，在指数多个不相交环面上叠加倾斜得任意强多项式衰减，再经 Lieb–Rivasseau 有限尺寸判据化为 m(b)≥(log 2)/r 的上界。两界匹配即 δ·log_L(1/m)→T。）
问 3：与已有工作相比真正的新意是什么？
（答：Fröhlich–Spencer 证明了相变与低温慢衰减，van Engelenburg–Lis 给出指数–多项式二分法——都停在”有没有指数衰减”这一层，精确奇性对原始余弦模型悬置五十年。本文首次定出发散速率 exp(A/√(b_c−b))，且把解析映射的使用严格限制在小坐标区，绕开了余弦相互作用不可积的障碍。）
问 4：逼近方向为什么必须是”有质量侧”，换个方向不行吗？
（答：b>b_c 一侧本就指数衰减、m(b)>0，ξ 定义良好；b↑b_c 正是从这一侧逼近。在 b=b_c 处质量恰为零、ξ 无定义，故定理只能陈述为单侧极限。高温侧 b↓b_c 无对应”关联长度发散”现象（本就快速指数衰减），不存在对称问题。论文对 b_c 本身的存在性沿用质量定义与已知相变事实。）
问 5：这类 AI 生成的证明最可能在哪里出错？
（答：最危险的是符号与方向判断：增长/衰减特征方向的归类若颠倒，纯衰减解的排除失效；高度廓线 A(w) 在 w=T 处从 8π 跳到 0 的”非增”断言靠子列提取加反证去掉子列，任何一步丢掉一致性假设就会留下多解。常数 A_XY=(log L)π/√(3P) 无闭式核验，全文未形式化，此类重整化流的常数级错误是 AI 证明典型盲区。）
问 6：下游谁会用到它？
（答：它与族内另两篇合成完整 BKT 图景——临界指数 1/4、临界对数修正 (log r)^{1/8}、近临界本质奇性，三者互相引用支撑。数值物理中 BKT 型拟合（如超流转变、二维磁体）长期使用 exp(A/√(T−T_c)) 形式，现在有了原始余弦模型的严格锚点。论文未讨论向其他格或长程相互作用的推广。）
总评
这是把 Kosterlitz 五十年前的重整化预言在原始余弦模型上变为定理的工作，”重标流显式可解 + 环表示夹逼”的拆分设计干净有力；最大风险集中在温度响应常数 P 的符号论证与多尺度廓形的单调性——两处都属未形式化证明里最难独立核验的类型。