结果族 275：QMA-hardness of continuum Coulomb energy · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
化学家问计算机：”这个分子的基态能量是多少？”本文回答：这问题难得有道理——即使把原子核钉在精确的有理数坐标上、只要求个位数的精度，判断能量高低也是 QMA 难的：连量子计算机都未必能高效搞定，经典多项式算法更别想通吃。这是”连续空间电子结构难算”的第一个完整证明。
关键词卡片
看个具体例子
构造里的数字都能精确写下来。每个格点放”主核＋弱次核”，把井的能量微调到恰为 −1/2（孤立氢核的 1s 基态）；同位排斥由氢轨道 @@M@@\phi=\pi^{-1/2}e^{-|y|}@@ 精确积分：
@@M@@DU=\iint\frac{\phi^2(y)\,\phi^2(y')}{|y-y'|}\,dy\,dy'\ =\ \frac58 .@@
主核电荷取 @@M@@Z_*=\lfloor\sum_{j\le 4D}D^j/j!\rfloor@@（截断的指数级数），可指数大但位长仍是多项式；归约输出的阈隙 @@M@@b-a\ge 1@@：YES 与 NO 的能量差至少为 1，绝非擦边判断。
为什么值得关心
它补上了 O’Gorman 等人 2022 年明确留下的缺口：不再需要”给定有限轨道基”，难度在真正的连续空间成立——量子化学的难是根深蒂固的难。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”化学家问计算机要分子基态能量”的场景先换算成对象与操作：对象是在三维空间中运动的一群电子，它们被钉死在指定位置上的带正电原子核吸引、彼此互相排斥；操作是让电子在一切允许的量子状态里取能量最低者。要问的是：判断”最低能量是低还是高”这件事，在最坏情形下有多难——答案是连量子计算机都未必高效搞定。
第二级台阶
用本科术语精确化：分子由库仑哈密顿量 H 描述——电子动能、电子与核的吸引、电子间排斥三项之和，作用于反对称的平方可积波函数空间；其谱下确界 E₀ 即基态能量的严格定义。计算复杂性类 QMA 指那些”凭量子证明、被量子验证者高效核查”的问题；说一个判定问题是 QMA 难，即任何 QMA 问题都能高效翻译成它。承诺问题指输入事先保证答案属于两种情形之一（能量至多 a、或至少 b），只须分辨。
第三级台阶
定理在此语境陈述：原子核位于互异有理坐标、核电荷以二进制编码（允许指数大但位长多项式）、电子数按一元编码、精度只要求输入长度的倒数时，判定 E₀ 至多 a 还是至少 b 是 QMA 难的，归约为确定性经典多项式时间，且可输出阈隙至少 1 的实例。”电荷二进制编码”挡住了本文构造所必需的指数大核场；”不给轨道基、不给磁场”确保难度属于真实物理算符而非外加数据；”不主张属于 QMA”则把结论严格限制在难度一侧。核心障碍——投影只给上界、必须排除一切被省略的连续低能态——正是前人留下的缺口。
本文证明：在三维空间逼近分子电子的库仑能谱下确界（spectral infimum）@@M@@E_0@@ 是 QMA 难的，即使原子核位于互异有理位置、电子数按一元编码、精度只要求 @@M@@L^{-1}@@。归约是确定性多项式时间的，输出的核电荷可以指数大（二进制编码下位长仍多项式），阈隙至少 1。这补上了有限轨道基结果留下已久的”全连续空间”缺口。
分子基态能量本质上有多难算？复杂性理论早有拼图：Liu–Christandl–Verstraete（2007）证明有限模 @@M@@N@@-可表示性问题 QMA 完全；Schuch–Verstraete（2009）证明带局部磁场的 Hubbard 模型 QMA 完全，并用人工设计的标量与自旋相关势场给出连续实现；O’Gorman 等（2022）证明在输入中”给定有限轨道基”的前提下电子结构 QMA 完全。但真实分子的外场只能由正点电荷核生成，而投影到轨道基只给出变分上界 @@M@@\inf\Spec H\le\min\Spec(PHP)@@——它无法把 NO 实例的下界传递给全算子 @@M@@H@@。要证明连续情形的硬度，必须同时排除一切被省略连续态的更低能量，这正是 O’Gorman 等人在其文第 V 节明确提出的未决问题。
定理 1（主定理）：考虑原子单位下的电子哈密顿量
@@M@@DH(R,Z,N)=-\frac12\sum_{\ell=1}^N\Delta_{x_\ell}-\sum_{\ell=1}^N\sum_{\alpha=1}^M\frac{Z_\alpha}{|x_\ell-R_\alpha|}+\sum_{\ell<k}\frac1{|x_\ell-x_k|}@@
作用于含自旋的全反对称连续空间 @@M@@\bigwedge^N L^2(\mathbb{R}^3;\mathbb{C}^2)@@（极小化遍及所有自旋扇区，不提供轨道基、磁场或额外外势）。输入为互异有理位置 @@M@@R_\alpha\in\mathbb{Q}^3@@、二进制编码的正整数电荷 @@M@@Z_\alpha@@、一元编码的电子数 @@M@@N@@ 与有理阈值 @@M@@a<b@@（@@M@@b-a\ge L^{-1}@@）。判定 @@M@@E_0=\inf\Spec H@@ 满足 YES（@@M@@E_0\le a@@）还是 NO（@@M@@E_0\ge b@@）的承诺问题（promise problem），在确定性经典多项式时间多一归约下是 QMA 难的；归约还可输出阈隙 @@M@@b-a\ge1@@ 的实例。文中不主张该问题属于 QMA，也不施加电中性、固定元素或核间距承诺。
归约先从 Cubitt–Montanaro–Piddock 的方晶格海森堡模型（Heisenberg model）QMA 完全源问题出发（带符号有理权重、空间稀疏、权重多项式有界）；再用 Piddock–Montanaro 单态介导子（singlet mediator）把带符号键换成全正键——每条源边配一对强束缚的辅助自旋，弱耦合经二阶微扰（Schrieffer–Wolff 型，文中证明显式误差 @@M@@27V^3/\sqrt\Delta@@）在单态子空间还原原符号的交换；接着把正交换实现为半满排斥 Hubbard 模型的超交换（superexchange，Anderson 1959）：一次跳跃必造成一个双占位与一个空位，激发能恰为 @@M@@U@@，二阶效应给出 @@M@@\frac{t^2}{U}(h^s_{ij}-I)@@，其中同位排斥 @@M@@U=\iint\phi^2\phi^2/|y-y'|\,dy\,dy'=\frac58@@ 由氢轨道 @@M@@\phi=\pi^{-1/2}e^{-|y|}@@ 精确积出。各异的跳跃强度由”接触几何”实现：所有位点放在 @@M@@\mathbb{Q}(\sqrt3)^3@@ 中，使任两位点距离恰为 1（接触）或至少 @@M@@\sqrt2@@；关键引理给出接触长度方程组的显式线性右逆（位移范数 @@M@@\le 6m\max|d_{ij}|@@），即微小位移可彼此独立地一阶调节每条键长，且无绕格回路的相容性条件。
连续实现取尺度 @@M@@Z_*\asymp e^D@@（@@M@@D@@ 为源尺寸的固定多项式）。在伸缩坐标 @@M@@y=Z_*x@@ 下，每格点放一个电荷近 @@M@@Z_*@@ 的主核与一个弱次核，孤立井基态接近氢轨道；次核位移 @@M@@\rho_i\in[1,4]@@ 单调调节井能，经压缩映射把所有井调到 @@M@@-1/2@@，误差 @@M@@e^{-1.01D}@@。难点是跳跃幅度仅 @@M@@e^{-D}@@ 量级，绝对精度无意义：作者证明相对尾部估计 @@M@@\psi_i(y)=\pi^{-1/2}e^{-r_i+F_i(y)}(1+O(\varepsilon_{\rm rel}))@@（@@M@@F_i@@ 为封顶远程场的射线原函数），把跳跃化为显式正积分 @@M@@T_{ij}@@，并满足位移定律 @@M@@T_{ij}(X)/T_{ij}(X^0)=e^{-u_{ij}\cdot(s_j-s_i)}(1+O(\cdot))@@——位移按对数规律设定跳跃。配套的认证谕示用分级多项式 Ritz 空间（Melenk–Babuška 型单位分解）以指数精度包络单井特征值：矩阵为精确有理数、条件数由 Hadamard 行列式界控制、库仑核经一致收敛二项级数计算、特征值用精确惯性计数二分，位复杂度对 @@M@@D,m,B@@ 均多项式。
最后做全态排除：正交化轨域模式上的单粒子矩阵以误差 @@M@@\delta_1@@ 逼近 Hubbard 跳跃矩阵；IMS 局部化（Simon）在整个单粒子补空间给出固定隙；维数无关的费米 Hardy 估计控制电子间排斥；对补空间配方（square completion）使耦合以二次方进入能量，泄漏仅 @@M@@e^{-1.2D}@@；压缩库仑作用与 @@M@@U\sum_i n_{i\uparrow}n_{i\downarrow}@@ 之差 @@M@@O(m^5/D)@@。收尾取 @@M@@D=A(n+2)^K@@、@@M@@Z_*=\lfloor\sum_{j\le4D}D^j/j!\rfloor@@（截断指数级数，避免与超越数精确比较），经仿射阈值映射同时保持 YES 与 NO，输出阈隙恰 @@M@@\frac12Z_*\alpha\delta_s\ge1@@。
本文与姊妹篇（单位核电荷版）同日出稿：二者共享同一源问题与”单态介导子＋超交换＋接触布局”的有限框架，但连续实现完全不同——姊妹篇用连续电荷密度与多项式尺度，本文用指数大电荷与指数精度认证计算；两文互不引用对方定理，从两条路线独立印证同一结论（单位电荷版蕴含更大的二进制电荷输入类的硬度）。据任务元信息，本篇主结果尚无 Lean 形式化证明；OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。
问 1：证明里最要害、最脆弱的一步是什么？
答：第 4 节的连续排除。投影变分只给上界 inf Spec H ≤ min Spec(PHP)，NO 实例的下界必须对全空间证：IMS 局部化给单粒子补空间固定隙，维数无关的费米 Hardy 估计控电子间排斥，对补空间配方使耦合二次方进入、泄漏仅 e^{−1.2D}。任何一处指数被 Z* 放大后失手，硬度即塌。跳跃的相对尾部估计（封顶远程场、位移按对数规律设定跳跃）是第二承重点——绝对精度只有 e^{−D} 量级，无意义。
问 2：为什么二进制电荷编码是本质假设？
答：构造需要尺度 Z*≈e^D 的主核来压缩氢轨道井；引言明言”把指数大电荷拆成单位核不会给出多项式规模输出”。姊妹篇（单位电荷版）走完全不同的连续电荷密度路线实现同一硬度，但那不使用本文定理。论文明言不主张有界电荷下的硬度。
问 3：与已有工作相比真正的新意是什么？
答：O’Gorman 等 2022 年的 QMA 完全性要求”给定有限轨道基”作为输入——投影无法传递 NO 下界是其文第 V 节自认的缺口；Schuch–Verstraete 2009 的连续实现用人工设计的标量与自旋相关势场，不是真实分子仅有的正点电荷核外场。本文首次在纯正点电荷核、全反对称连续空间上闭合排除论证。
问 4：阈隙 b−a≥1 是”分子有谱隙”吗？
答：不是，且论文特意澄清（表 1 后）：这只是承诺精度，不主张谱隙、不主张下确界处有离散特征值、也不主张基态可高效制备。核排斥按 clamped-nuclei 电子能量惯例省略。引用时把”精度 1”夸成”谱隙 1”是常见误读。
问 5：归约的执行顺序有什么讲究？
答：第 1.3 节末强调：先用显式封顶库仑场的正积分定主核位置、再取整定整数电荷、最后才调次核使井能到 −1/2——代理场不涉及未知轨道或次核位移，替代界在整个调谐方盒上一致，相对轨道估计对每个调好的输出都适用。若顺序颠倒（先调核后定位置），均匀性论证会循环；这是 AI 生成证明最容易默默写错的地方。
问 6：认证谕示那部分为什么必要？
答：归约须是确定性多项式时间，输出每个数据的位长都得多项式；分级多项式 Ritz 空间（Melenk–Babuška 型单位分解）以指数精度包络单井特征值，矩阵为精确有理数、条件数由 Hadamard 行列式界控制、特征值用精确惯性计数二分。没有它，”井能恰为 −1/2”只是数学断言而非可执行归约。
问 7：谁会用到？
答：电子结构与量子计算复杂性交叉社区：它宣告”连续空间分子能量判定”没有高效通用算法（除非 QMA=经典多项式时间）；认证特征值计算与远距氢井隧穿的相对校准也是独立的数学工具。结合姊妹篇与离化数定理（严格结合蕴含 N≤Z_tot+CM），构成对”分子问题难在哪”的分层回答。
总评
把悬置多年的”全连续空间电子结构硬度”缺口用指数电荷路线补上，且归约显式可执行；最大风险在指数小误差经 Z* 放大后的常数级核对与构造顺序的均匀性，暂无形式化证明，宜按论文自带的证书逐步复核。