结果族 268：The spin-one Haldane gap · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
把一串小磁铁珠连成首尾相接的圆环，相邻磁铁彼此”较劲”（反铁磁）。想把环从最安稳的状态扰动一下，得迈过一道能量门槛。Haldane 在 1983 年猜：自旋为整数的长环，这道门槛不会随环变长而塌到零。本文首次对纯自旋 1 模型完整证明了这个悬置四十多年的猜想。
关键词卡片
看个具体例子
环长 L=2304 时，定理给出谱隙 γ_L>log20/784≈0.0038，且对一切更长的偶数环同样成立，基态还唯一。数值物理约 0.41——定理的 0.0038 小得多，但它的价值在于”对任意长度一致为正且完全显式”。
为什么值得关心
整数与半整数自旋的一维磁体低温行为截然不同，这是量子磁性最基本的分野。半整数一侧早有严格的无隙定理，整数一侧却始终缺一块拼图；如今纯模型上的猜想成为定理，两种行为同框对比终成完整的数学事实。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里首尾相接的磁铁珠环，是一个排成圆圈的多体自旋系统：对象是 L 个格点，每个格点携带一个自旋 1 的量子磁矩；操作是让相邻自旋按反铁磁方式”较劲”，然后问：把整个环从最安稳的状态里扰动出来，最少要付出多少能量？而这道门槛在环无限变长时会不会塌为零。
第二级台阶
用本科术语精确化：希尔伯特空间是 L 份三维空间张量积；每个格点上有三个自旋算符，满足角动量对易关系且模长平方和为二倍单位阵。哈密顿量取相邻自旋内积之和（首尾相接）；谱隙定义为最小能量与下一个不同能量之差；配分函数是玻尔兹曼权重乘幂的迹。反铁磁即耦合系数取正——相邻自旋反平行时能量更低。
第三级台阶
定理在纯双线性、偶数周期环的语境下陈述：偶 L 不小于 60 时基态唯一，谱隙有一致显式正下界（L≥60 与 L≥2304 各一档），无穷体积的下极限不小于 log(20)/784。三个前提各挡一种麻烦：自旋取整数，躲开 Lieb–Schultz–Mattis 型无隙障碍；取偶数长度，避免周期边界上的挫败；取纯双线性模型，正是 AKLT 稳定性邻域覆盖不到的那个点。结论还顺带给出任意热力学极限子列的局域激发不等式——有隙性不只是有限体积的算术，也是无限体积态的性质。
证明了纯反铁磁自旋 1 海森堡链的偶周期 Haldane 猜想：偶数 @@M@@L\ge60@@ 时基态唯一，谱隙有与长度无关的显式正下界，无穷体积隙 @@M@@\Delta_1\ge\log(20)/784>0@@。这一悬置四十余年的猜想首次在纯双线性模型上获得完整数学证明。
1983 年 Haldane 猜想：一维反铁磁海森堡链（Heisenberg chain）的低能行为由自旋是否为整数决定——半奇整数自旋无隙，整数自旋有正的谱隙 (spectral gap)。半奇整数一侧早有 Lieb–Schultz–Mattis 与 Affleck–Lieb 的严格无隙定理；整数一侧却始终缺少对具体相互作用的证明。AKLT 模型在双线性项之外加入双二次项后可证有隙，Yarotsky 的稳定性定理只覆盖 AKLT 点的小邻域，延伸不到纯双线性哈密顿量 @@M@@H_L=\sum_j\mathbf S_j\cdot\mathbf S_{j+1}@@；而纯模型既非 frustration-free 又无可解结构，常用有限尺寸判据全部失效。数值与实验证据却很充分：White–Huse 的 DMRG 估计体隙约 @@M@@0.4105@@，准一维材料 CsNiCl@@M@@_3@@ 的中子散射也支持有隙。严格证明因此成为数学物理的著名悬案。
主定理：对偶数 @@M@@L\ge60@@ 的周期环，基态唯一；记 @@M@@\gamma_L=E_1(L)-E_0(L)@@（@@M@@E_1@@ 为下一个不同能量），则
@@M@@D\gamma_L>\frac4{105}\log\frac{80}{79}\quad(L\ge60),\qquad \gamma_L>\frac{\log20}{784}\quad(L\ge2304).@@
因此 @@M@@\Delta_1=\liminf_{L\to\infty,\ L\text{ 偶}}\gamma_L\ge\log(20)/784\approx0.0038>0@@——下界数值远小于物理值 @@M@@0.41@@，但一致为正且完全显式。谱结论对任何满足同样对易关系与 Casimir 规范的自旋 1 矩阵实现同样成立。推论进一步给出：周期基态的任何子列局部极限态 @@M@@\omega@@ 都满足带隙 @@M@@\log(20)/784@@ 的局域激发不等式 @@M@@\omega(A^*[H,A])\ge\gamma\,(\omega(A^*A)-|\omega(A)|^2)@@。
全文枢纽是把同一个平移配分函数 (partition function) @@M@@Z_n(b)=\Tr e^{-b(H_n+anI)}@@ 读两遍。物理读法：它是 Gibbs 权重之和；空间读法：用 Aizenman–Nachtergaele 型有序键展开构造紧自伴的空间迁移算子 (spatial transfer operator) @@M@@X_b@@，使 @@M@@Z_n(b)=\sum_i\lambda_i(b)^n@@。偶数 @@M@@n@@ 时右端是 @@M@@|\lambda_i|^n@@ 的非负和，于是同一配分函数导出两个概率分布，其纯度 (purity) 分别为 @@M@@S(n,b)=Z_{2n}(b)/Z_n(b)^2@@（空间）与 @@M@@T(n,b)=Z_n(2b)/Z_n(b)^2@@（物理）。核心引理：把权重平方再归一，纯度亏损从 @@M@@u@@ 二次收缩到 @@M@@f(u)=u^2/[2(1-u)^2]@@；而平方空间权重恰等于长度加倍，平方物理权重恰等于温度倒数加倍，两条配分函数相消恒等式把两股力量耦合成递推，使两个亏损沿 @@M@@(n,b)\mapsto(2n,2b)@@ 以双指数速度衰减。再用矩的插值不等式填满每个二进区间内部的全部偶数长度。最后回到物理谱：最大 Gibbs 权重超过 @@M@@1/2@@ 迫使基态唯一；激发与基态权重之比被 @@M@@r^{2^j}@@ 压住，取对数即得一致隙 @@M@@\gamma_L>\log(1/r)/b_0@@。
种子是两个有限初始化：@@M@@(n_0,b_0)=(60,105/4)@@（亏损 @@M@@1/8@@）与 @@M@@(2304,784)@@（亏损 @@M@@1/100@@，后者由 @@M@@(36,49/4)@@ 出发经六次舍入更新到达）。有限输入全部是可复现的有理算术：其一，长度 4–12 的短链在恒等、@@M@@P@@ 扭曲与循环旋转三种边界条件下的配分函数区间封闭，附录以条件化 Poisson 多项式与 Fox–Glynn 型估计控制矩阵指数迹；其二，周期矩阵积态 (matrix-product state) 变分向量给出 @@M@@E_0(72)+72a<0@@、@@M@@E_0(120)+120a<0@@，保证单个 Boltzmann 因子大于 @@M@@1@@。利用 @@M@@D_2@@ 扭曲的扇区分解（不变扇区之外的每个空间权重至少出现两次或三次）与”多项式过滤器”（以非负多项式的矩和压制特征值模），即可锁定唯一主导空间特征值，凑齐两个种子所需的纯度。全程没有以任何浮点特征值估计为前提。
本文与姊妹篇同属 OpenAI 的数学成果，主结果暂无 Lean 形式化证明；按 OpenAI 官方声明”未经形式化的结果可能有问题”，宜以社区核验为准。有限计算均为显式有理不等式，附录给出全部数据与可复现流程；姊妹篇（边界场开链）直接调用本文中段的空间谱信息而非仅最终隙，两文相互咬合，共同支撑自旋 1 Haldane 猜想的两种边界形式。
问 1：证明里最关键、最脆弱的一步是什么？
（答：纯度自举（bootstrap）。把平移配分函数读两遍——物理读法得 Gibbs 权重、空间读法得迁移算子特征值的矩——两条读法各导出一个概率分布；权重平方归一后纯度亏损二次收缩，而”平方物理权重=温度倒数加倍、平方空间权重=长度加倍”两条精确恒等式把两股收缩耦合成 (n,b)→(2n,2b) 的双指数递减。任何一个恒等式差一个常数因子，递推就只在渐近意义成立，一致性下界即失效。）
问 2：为什么必须有两个有限初始化”种子”？能绕开吗？
（答：不能。递推只能放大已有的低亏损，起点 (60,105/4)（亏损 1/8）与 (2304,784)（亏损 1/100）是整个论证的边界条件，由短链扭曲配分函数的区间封闭与周期矩阵积态变分估计供给。引言明确这些输入全是显式有理算术、无浮点特征值前提——这正是全文可复核性的支点。）
问 3：为什么只对偶数周期环？奇数环或开链怎么办？
（答：迁移算子的 D₂ 扭曲扇区分解（不变扇区外的权重成对成三出现）依赖长度为偶；奇周期链本身带挫败，偶周期表述是 Haldane 猜想的标准有限体积形式。开链属另一战线：姊妹篇处理带边界场的奇开链，引言指出 Tasaki 指标定理所需的边界假设需要另行论证，两文互相咬合。）
问 4：与 AKLT 和 Yarotsky 相比，真正的新意是什么？
（答：AKLT 在双线性外加双二次项后可证有隙，Yarotsky 的稳定性只覆盖 AKLT 点的小邻域且无通往纯双线性点的有隙路径；Batista–Ortiz 的方案在一阶微扰一步缺一致余项。本文在既非 frustration-free、又无可解结构的纯模型上首次给出一致正隙，且判据（命题 bootstrap）被表述成对同结构哈密顿族可复用的形式。）
问 5：这类 AI 生成证明最可能的出错模式？
（答：有限证书里的区间封闭。附录用条件化 Poisson 多项式与 Fox–Glynn 型估计包住矩阵指数迹，整数运算量大而琐碎，最易出现”舍入方向搞反”或”截断误差低估”这类无声错误；其次是双指数递推与矩插值衔接处二进区间内部偶长度的覆盖是否有洞。声明”无浮点前提”是诚实的，但有理区间本身仍需独立复核。）
问 6：下界 0.0038 与物理值 0.41 差两个数量级，损失在哪？谁需要精确值？
（答：损失在二次收缩从很小的亏损起跑、且只保”一致为正”。论文未讨论如何逼近 0.4105；对数学而言正性本身是分野所在。下游：推论给出任意子列局部极限态的带隙激发不等式，可作后续拓扑指标论证的输入；姊妹篇直接调用本文中段的空间谱信息而非仅最终隙。）
总评
四十余年悬案在纯模型上的首个完整证明，方法（一函数两读+纯度自举）本身即是贡献；最大风险在庞大而有理算术证书的不可见差错，社区独立复算是当务之急。