结果族 268：The spin-one Haldane gap · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
不围成环，把自旋 1 的磁铁珠拉成一条直线，再在两端各压一块同样大小的小磁铁（边界磁场 h=3/5）。论文证明：这条开链翻越基态的能量门槛也有一致下界，不随链长消失。这块拼图一到位，Tasaki 的拓扑定理立即启动，判定这条链处于”非平凡拓扑相”。
关键词卡片
看个具体例子
取 h=3/5、链长 2L+1（L≥960）：定理断言 E₁−E₀>log10/392≈0.0059，基态唯一。场强 3/5 不大不小，是证明里恰好合用的固定选择——两端加同样的场，正是为了让最不安分的端点”听话”。对无穷长的极限态，Tasaki 指标算出来是 −1——好比给这条链发了一张”拓扑非平凡”的身份证。
为什么值得关心
它补上了 Tasaki 指标定理所缺的一致谱隙假设，使”纯自旋 1 海森堡链处于非平凡拓扑相”第一次成为严格定理。开链端点是数值模拟里最不安分的部分，如今也被管住了；并与姊妹篇的周期环结果相互咬合，同一套方法两头通吃。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”拉直的磁铁珠链、两端各压一块小磁铁”说的是：对象是一条不首尾相连的自旋 1 链，操作是在两个端点各加同一方向的固定磁场，把最不安分的端点”管住”；要问的仍是那道能量门槛——把链从最安稳的状态扰动出来，代价会不会随链变长而消失。
第二级台阶
用本科术语精确化：希尔伯特空间是奇数份三维空间的张量积；哈密顿量取相邻自旋内积之和（开链，端点间不相连），再减去场强 h 乘两端自旋的 z 分量。谱隙为前两个本征值（计重数）之差。关键的证明工具是配分函数：物理读法是玻尔兹曼权重之和；空间读法中，反场开链的配分函数恰为迁移算子幂与边界向量的配对——一个二次型而非迹。
第三级台阶
定理在固定场 h=3/5 的语境下陈述：凡链长 2L+1、L 不小于 960，谱隙一致大于 log(10)/392，且由纯度论证顺带得到基态单重。三个设定各有用意：奇数开链是 Tasaki 拓扑框架的原生形式；两端同场保证有限体积基态唯一（Tasaki 引理 1）；场值取 3/5 是证明中恰好合用的固定选择。结论随后接入拓扑：这些边界遴选基态的任何子列局部极限都满足带同样隙常数的局域激发不等式，Tasaki 指标为 −1——纯自旋 1 海森堡链的非平凡拓扑性由此成为定理。
证明了奇数长度开边界自旋 1 海森堡链在两端加同一固定磁场 @@M@@h=3/5@@ 时谱隙一致大于 @@M@@\log(10)/392@@（@@M@@L\ge960@@），从而验证了 Tasaki 拓扑指标定理的隙假设，并推出边界遴选无穷体积基态势的 Tasaki 指标为 @@M@@-1@@。
Haldane 猜想的整数自旋一侧不仅有”有隙”一面，还有拓扑一面：自旋 1 链的基态被认为处于非平凡的对称性保护拓扑相 (symmetry-protected topological phase)，先后由 string order（den Nijs–Rommelse）、隐对称破缺（Kennedy–Tasaki）、矩阵积态指标（Pollmann 等）与 Ogata 的反射指标等诊断刻画。Tasaki 在 2025 年的工作中把它化为精确命题：奇数长开链两端加相同磁场 @@M@@h>0@@ 的模型基态唯一（其引理 1），若隙对一切充分大的 @@M@@L@@ 一致为正（其假设 2），则边界遴选的无穷体积态的局域扭转指标必为 @@M@@-1@@。缺的正是那个一致隙：White–Huse 数值表明自由端存在等效自旋 1/2 自由度，端点行为需要专门估计，且边界向量随温度变化，周期链的集中估计无法直接移植。本文对固定场 @@M@@h=3/5@@ 补上了这块缺口。
定理：对 @@M@@(\mathbb{C}^3)^{\otimes(2L+1)}@@ 上的开链哈密顿量
@@M@@DH_L(h)=\sum_{j=-L}^{L-1}\mathbf S_j\cdot\mathbf S_{j+1}-h\,(S^z_{-L}+S^z_L),@@
取 @@M@@h=3/5@@，则
@@M@@DE_1(L,3/5)-E_0(L,3/5)>\frac{\log 10}{392}\qquad(L\ge960).@@
推论（拓扑结论）：由这些有限体积唯一基态沿子列取局部极限得到的”边界遴选”态 @@M@@\omega@@ 在均匀 @@M@@z@@ 轴旋转与反射下不变，满足带隙 @@M@@\gamma_*=\log(10)/392@@ 的局域激发不等式，且 Tasaki 指标 @@M@@\operatorname{Ind}(\omega)=-1@@。这在该对称性框架下严格确立了纯自旋 1 海森堡链的非平凡拓扑性。
出发点是姊妹篇的空间迁移算子 @@M@@X_b@@：周期配分函数是 @@M@@\Tr X_b^n@@，而两端磁场反号的开链（”反场链”）配分函数是边界配对 (boundary pairing) @@M@@Y_n(b)=\langle v_b,X_b^nv_b\rangle@@，偶数 @@M@@n@@ 时是绝对特征值的正加权矩；把右端边界向量作 @@M@@\pi@@ 旋转（@@M@@U_P@@）即得同场链的配分函数 @@M@@Y_n^{\rm s}@@，奇数长度也可用。先从姊妹篇的有限周期证书（@@M@@b_0=49/4@@：谱分解为不变扇区 @@M@@J@@ 与三个全同扇区 @@M@@N@@，主导特征值 @@M@@\lambda_0\in(.999,\,1.00139)@@，次级比 @@M@@\rho_0<.874@@）出发，用耦合纯度递推证明：在二进尺度 @@M@@(n_j,b_j)@@ 上 @@M@@X_{b_j}@@ 有唯一、为正、被旋转群逐点固定的主导特征值，亏损双指数衰减，且相继温度的主导值满足 @@M@@\lambda_{j+1}\le\lambda_j^2@@ 及配套下界。
新难点在边界：@@M@@Y_n@@ 中每个本征空间的贡献按与 @@M@@v_{b_j}@@ 的重叠 @@M@@c_j=\|P_jv_{b_j}\|^2@@ 加权，而 @@M@@v_b@@ 随温度改变，周期集中估计到此失效。解法是双轨递推：同时跟踪边界矩落在主导线之外的份额 @@M@@e_k(j)@@ 与反场链的物理 Gibbs 纯度 @@M@@A(m,j)=Y_m(b_{j+1})/Y_m(b_j)^2@@。温度间转移引理用残差压缩因子 @@M@@\rho_{j+1}^{\,m-k}@@ 与跨温度的配分函数相消恒等式，由旧温度的重叠推出新温度的重叠严格为正——不预设下一温度有任何重叠。种子由四个变分能量（长度 @@M@@m=34,78,142,240@@ 的矩阵积态试验向量）与至多六格的热矩证书给出，从 @@M@@(34,b_0)@@ 传到 @@M@@(142,b_2)@@，再经舍入递推把三个亏损全部纳入 @@M@@x_5=.01@@、@@M@@x_{j+1}=10x_j^2@@ 的双指数轨道。最后，主导线的旋转不变性使同场配对 @@M@@Y_n^{\rm s}(b_j)/\lambda_j^n@@ 被同一残差控制，覆盖二进区间内每个（含奇数）长度；物理纯度 @@M@@\ge1-4x_j@@ 给出基态唯一及 @@M@@e^{-b_j(E_1-E_0)}<10^{-2^{j-5}}@@，代入 @@M@@b_j=392\cdot2^{j-5}@@ 取对数即得 @@M@@\log(10)/392@@，而区间 @@M@@[M_j,2M_j]@@（@@M@@M_5=1920@@）铺满一切 @@M@@n\ge1920@@，恰对应 @@M@@L\ge960@@。
主结果暂无 Lean 形式化证明，按 OpenAI 官方声明”未经形式化的结果可能有问题”，以社区核验为准。本文与偶周期姊妹篇深度耦合：空间迁移算子、扇区谱界、主导特征值与纯度递推均引自该文的中间结果（其推论 5.6），两文合计同时确立周期隙与边界隙；有限证书全为有理不等式，附录用 80 项截断的指数封闭 @@M@@T_{80}(t)\le e^t\le T_{80}(t)+2t^{81}/81!@@ 逐条验证，无浮点前提。
问 1：证明里最关键、最脆弱的一步是什么？
（答：边界重叠难题的”双轨递推”。开链配分函数是边界配对 ⟨v_b, X_b^n v_b⟩，各本征空间的贡献按与 v_b 的重叠加权，而 v_b 随温度变化——周期链的集中估计到这一步直接失效。解法是同时跟踪”边界矩落到主导线之外的份额”与”反场链的物理 Gibbs 纯度”两个量，让它们在长度与温度同步翻倍时一起改进，且不预设下一温度有非零重叠。若温度间转移引理的残差压缩因子 ρ^{m−k} 失控，整个递推链断裂。）
问 2：为什么偏偏是 h=3/5？别的场强行不行？
（答：Tasaki 框架只需某个固定 h>0；3/5 是证明里恰好合用的选择，落在有限证书（长度 34–240 的变分能量与热矩）能启动递推的位置。定理只对这一个值陈述；多大区间内的 h 也有同样结论，论文未讨论。）
问 3：与 Tasaki 2025 及姊妹篇相比，真正的新意是什么？
（答：Tasaki 的指标定理把”非平凡拓扑相”化为两条假设——基态唯一（其引理 1）与一致隙（其假设 2）——后者正是缺口；本文补上它，指标 −1 随之落地。相对姊妹篇（周期环），本文不是简单移植：它调用后者中段的空间谱信息（推论 5.6），并新增边界向量的温度依赖这一周期情形没有的障碍。）
问 4：奇数长度、二进覆盖这些设定是否留下了漏洞？
（答：结论节用”符号边界比较”引理把偶矩的控制借旋转不变的主导线传到同场链的一切更长长度（含奇数），再靠区间 [M_j,2M_j]、M₅=1920 的二进铺盖覆盖一切 n≥1920。覆盖本身无缝，但要求主导特征值被 U_P 逐点固定且符号为正——这是从周期篇继承的谱事实，也是最值得独立复核的输入。）
问 5：这类 AI 生成证明最可能的出错模式？
（答：有限证书与舍入方向。附录用 80 项截断的指数封闭逐条验证变分能量与热矩，声明全部有限小数是精确有理数；此类算术最易出的错是”区间端点取反”。其次是乘积不等式（如 2x_j+26x_j²≤4x_j）这类看似平凡的合并，一旦常数略错，最终 log(10)/392 的数字就站不住。）
问 6：下游推论是什么，谁会用到？
（答：拓扑结论——边界遴选极限态的局域激发不等式与 Tasaki 指标 −1，严格确立纯自旋 1 海森堡链处于非平凡对称性保护拓扑相。对称性保护拓扑相、量子信息与数学物理共同体均可引用；它与周期姊妹篇合计同时封住 Haldane 猜想的两种边界形式。）
总评
它把 Tasaki 拓扑定理缺的最后一块基石（一致隙）用全新的双轨递补齐，是”有隙性”通向”拓扑性”的严格通道；最大风险与姊妹篇同源——依赖其谱输入且自身证书繁重，均待独立核验。