结果族 269：Uniform Laughlin gap and stability under bounded scalar disorder · 学科：Mathematical physics · 验证状态：主结果已 Lean 形式化
球面上的电子们跳一支有严格规矩的舞：任何两个靠得太近（相对角动量为 1）就要付一份”罚金”。Laughlin 舞步是唯一不挨罚的跳法。悬置四十年的问题是：换任何别的跳法，至少得付多少钱？论文证明：至少 1/25 份，而且这份罚金下限不随电子数变化——它就是保护量子霍尔态的那道谱隙。
关键词卡片
看个具体例子
定理的数字版：对充分大的磁通 Q，在整个 Fock 空间上 @@M@@H_Q^2\ \ge\ \frac{4616733319001}{10^{14}}\,H_Q\ >\ \frac{1}{25}\,H_Q@@，故能谱含于 @@M@@\{0\}\cup[\tfrac{1}{25},\infty)@@。
翻译成人话：在磁通 Q=3(N−1) 处，零能态恰好只有 Laughlin 波函数一个；任何别的波函数能量至少 0.04。1/25 看似很小，要紧的是它与电子数、磁通大小统统无关——这正是”一致谱隙”的含金量。顺带地，同一不等式还给出电荷隙与中性隙的比较，并能转移到平面情形。
为什么值得关心
球面 Laughlin 谱隙猜想自 1985 年以来只有数值证据，本文给出首个完整证明，是分数量子霍尔严格理论的里程碑，也是同族无序稳定性定理的基石。
已 Lean 形式化
第一级台阶
导读里”带罚金的舞步”说的是：对象是球面上一批被强磁场锁进最低能层的电子；规则是任何一对靠得太近——相对角动量为一——就付一份罚金。Laughlin 舞步是唯一完全不挨罚的跳法；悬置的问题是：换任何别的跳法，至少得付多少钱，且这份下限会不会随电子数增多而缩水。
第二级台阶
用本科术语精确化：单粒子空间是自旋表示——齐次多项式空间，维数随磁通数增长；多体空间取其反对称张量幂（费米统计）。哈密顿量是所有电子对的投影算子之和，每对系数为一、不做任何随系统大小的重标度。谱隙即零能基态与一切激发态的能量落差。证明的主战场是 Fock 空间：把零个、一个、两个直至所有粒子数的态空间直和成一个大空间，哈密顿量也随之直和；不等式”哈密顿量平方不小于常数乘哈密顿量”等价于谱只能落在零或常数之上。
第三级台阶
定理在整个 Fock 空间上陈述：取略大于 1/25 的显式有理常数，对每个略小的 γ 存在磁通阈值，凡磁通超过阈值，上述不等式在全 Fock 空间成立，且阈值与粒子数无关。在 Laughlin 磁通处零模唯一（ Laughlin 线），不等式随即转成基态谱隙下界 1/25；附带还得到电荷隙与中性隙的比较以及平面情形的移植。假设的分量在”满相互作用”：辅助比较算子只碰有限个轨道模，但哈密顿量本身从不截断——这正是与细柱、细环上截断赝势已有结果的分野。
正面解决球面费米 Laughlin 谱隙猜想：满 @@M@@V_1@@ 相互作用、1/3 填充下，Laughlin 态之上的谱隙对所有充分大系统至少 @@M@@1/25@@；更强的 Fock 空间不等式 @@M@@H_Q^2\ge\gamma H_Q@@（@@M@@\gamma>1/25@@）与粒子数无关。
1983 年 Laughlin 给出分数量子霍尔效应 1/3 填充态的显式波函数；Haldane 的球面几何与赝势（pseudopotential）给出极简的父哈密顿量：每对电子在相对角动量（relative angular momentum）1 时付出能量一。其精确零模早已知晓，但谱隙猜想——正谱的一致下界——要求控制与零模正交的所有竞争态，这一直是悬案：Haldane 与 Rezayi 1985 年的有限尺寸研究只提供数值证据，Girvin–MacDonald–Platzman 的密度波变分发只给上界。此前严格的一致谱隙仅见于细柱、细环几何上的截断赝势（Nachtergaele–Warzel–Young、Warzel–Young）；本文处理的是膨胀球面上的满（未截断）相互作用，正是 Rougerie 综述中记录的球面谱隙猜想。
设 @@M@@U_Q@@ 为球面上带 @@M@@Q@@ 个磁通量子的最低朗道能级（lowest Landau level），即自旋 @@M@@Q/2@@ 表示；哈密顿量 @@M@@H_{N,Q}=\sum_{i<j}P_{ij}^{(1)}@@，每对系数为一、不做任何依赖 @@M@@N@@ 或 @@M@@Q@@ 的重标度。把它直和延拓成 Fock 空间 @@M@@\mathcal F_Q@@ 上的 @@M@@H_Q@@。主定理：取 @@M@@\gamma_*=\frac{4616733319001}{10^{14}}>\frac1{25}@@，对每个 @@M@@0<\gamma<\gamma_*@@ 存在 @@M@@Q_\gamma@@，使得 @@M@@Q\ge Q_\gamma@@ 时在整个 @@M@@\mathcal F_Q@@ 上有 @@M@@H_Q^2\ge\gamma H_Q@@，阈值与粒子数无关，谱因而含于 @@M@@\{0\}\cup[\gamma,\infty)@@。推论：在 Laughlin 磁通 @@M@@Q=3(N-1)@@ 处零模唯一，恰为 @@M@@\Psi_{\mathrm L,N}=\prod_{i<j}(u_iv_j-u_jv_i)^3@@，故 @@M@@H_{N,Q}\ge\frac1{25}(I-P_{\mathrm L,N})@@，即通常意义的基态谱隙至少 @@M@@1/25@@。文中还导出固定磁通下电荷隙（charge gap）与中性隙的比较 @@M@@\Delta_N\ge N/[25(N-1)]@@，并把结果转移到平面情形，证明 Rougerie 综述 Conjecture A.1 的费米三次情形。
证明 @@M@@H^2-\gamma H\ge0@@ 是通向谱隙的经典路线（Knabe 型判据）。先把 @@M@@H_Q^2@@ 正规序展开为二、三、四体项，再与一个显式正算子 @@M@@\mathcal K_Q=(2Q-1)\int_{SU(2)}\sum_{\rho=1}^7F_\rho(g)^\dagger F_\rho(g)\,dg@@ 比较：每个 @@M@@F_\rho@@ 是对湮灭算子与”灭三生一”算子的指定线性组合，辅助算子只涉及有限个轨道模，哈密顿量本身从不截断。先由旋转对称把比较约化到固定自旋块：三体块有显式谱，尾部贡献收敛于 @@M@@61/4096@@。四体块是真正的难点——把相互作用对耦合到另一对的自旋扇区会产生同一总自旋的多份拷贝，它们的外积（wedge）图像可能线性相关，极限 Gram 矩阵有核，正定性无法靠连续性转移。作者先用七行有理数据证书直接验证极限块上的有限不等式，再解决转移问题：在固定的 25 个轨道模上作精确的对角变量代换 @@M@@\Delta_Q@@，把有限磁通的湮灭子精确改写为极限形式，使一切误差都被局部对能量控制，相对误差 @@M@@\rho_Q\to0@@；模外粒子只是旁观者，局域不等式经张量积恒等延拓到整个 Fock 空间。另一巧妙观察是先对正交的最高向量求和、再作外积，用 Bessel 不等式一次性处理所有等价自旋拷贝，把四体误差压到 @@M@@1222\varepsilon@@（@@M@@\varepsilon=3\times10^{-6}@@）。各项合账得 @@M@@H_Q^2\ge\mathcal K_Q+(\gamma_*-o(1))H_Q@@，全部误差与收敛阈值均与粒子数无关。最后用基于高斯引理与唯一分解的初等整除论证证明 Laughlin 磁通处核恰为 Laughlin 线，把 Fock 不等式转成基态谱隙；并借助 Lemm–Nachtergaele–Warzel–Young 的递归谱关系推出电荷隙比较。
主结果已 Lean 形式化（见结果族文档 lean/docs/269.md），是本族的基石；姊妹篇《Uniform Stability of the Spherical Laughlin Gap》以本文的一致 Fock 谱隙为无微扰输入，证明无序稳定性并把本文的四体比较强化为保留块版本。文中阈值均为存在性常数，未给出显式磁通下限。按 OpenAI 官方声明，未经形式化的结果可能有问题——本篇主结果已有形式化背书，姊妹篇则仍待社区核验。
问 1：证明里最关键、最脆弱的一步是什么？
（答：四体块的转移。把相互作用对耦合到另一对的自旋扇区会产生同一总自旋的多份拷贝，其外积图像在磁通趋于无穷的极限下可线性相关——极限 Gram 矩阵有核，正定性无法靠连续性直接继承。作者的解法是固定 25 个轨道模上作精确对角变量代换，把有限磁通湮灭子精确改写为极限形式，一切误差都用局部对能量控制成相对误差。若误差只是范数阶而不随零模消失，随粒子数增长的空间会让一致性破产——论文明言”增长的多粒子空间上小的范数误差是不够的”。）
问 2：为什么证 H²≥γH 而不直接分析谱？
（答：这是通向隙的经典路线（Knabe 型判据）：H² 的正规序展开出二、三、四体项，可与一个显式正算子（七组旋转平均的湮灭子组合的平方和）逐块比价。直接谱分析在无穷维、无平移对称的球面模型上没有抓手。）
问 3：与已有工作相比真正的新意是什么？
（答：此前严格一致谱隙仅见于细柱、细环几何上的截断赝势（Nachtergaele–Warzel–Young、Warzel–Young），靠不变子空间；本文是膨胀球面上满（未截断）V₁ 相互作用的第一个证明，正面解决 Haldane–Rezayi 1985 年以来悬置的球面谱隙猜想，并证得 Rougerie 综述 Conjecture A.1 的费米三次情形（含平面移植）。）
问 4：Lean 形式化覆盖了什么，没覆盖什么？
（答：主结果——Fock 不等式与 1/25 谱隙——已有 Lean 形式化背书，这在 AI 生成证明中是最高可信等级。但阈值是存在性的：论文明确不给显式磁通下限，也不给有限球上的端点系数；七行有理数据证书的算术流程与转移引理的细节是否全部进入形式化范围，宜查核形式化文档。）
问 5：1/25 这个数有多”真”？
（答：它是证书算术的自然副产品而非优化值，远小于变分上界（Girvin–MacDonald–Platzman 密度波）所暗示的物理隙；论文的价值在一致正性而非数值锐度。文中另给出电荷隙与中性隙比较 Δ_N≥N/[25(N−1)]，随 N 趋于 1/25，说明常数在两个不同隙概念间通用。）
问 6：下游推论或谁会用到它？
（答：姊妹篇《Uniform Stability of the Spherical Laughlin Gap》以本文一致 Fock 隙为无微扰输入并强化其四体比较为保留块版本；分数量子霍尔严格理论（响应、拓扑序、能隙重构）都以此为基础输入。它是整族结果的承重墙。）
总评
四十年谱隙猜想的完整解决且主结果已有形式化背书，是本批结果中可信度最高者；残余风险在证书算术与转移引理的未经形式化细节，以及存在性阈值带来的可复算缺口。