资料快照：2026-10-07 · 中文研究导读

下载本页 Markdown下载整套资料 ZIP

275｜连续库仑电子问题的 QMA 困难性：困难确实来自物理模型本身

官方问题族 275；本版含 2 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：adc7f1241b42，核对日期：2026-10-07。

A. 历史背景与问题

量子化学通常先选有限轨道基，再求多电子基态。一般局域量子哈密顿量的基态能量问题已与 QMA 复杂性紧密联系，但这不自动说明现实形式的连续库仑系统同样困难：构造性下界可能依赖人工自旋耦合、外磁场或额外势。

QMA 可理解为量子版的可验证证明类：验证者是多项式时间量子计算机，证明可以是量子态。一个问题 QMA-hard，意味着所有 QMA 问题都能在规定的多项式时间归约下转成它。它表达最坏情形的困难程度，不是一项无条件的“永远无法计算”定理。

Schuch–Verstraete 的工作已揭示电子结构计算与密度泛函的复杂性限制。本族进一步把限制定位到不预先截断轨道、不附加其他控制势的连续库仑哈密顿量。

B. 稿件结论

令 Ra∈Q3R_a\in\mathbb Q^3 为彼此不同的固定核位置，电子有两个自旋态。在整个反对称连续 Hilbert 空间中研究

E0=inf⁡σ ⁣[∑i=1N(−12Δi−∑a=1MZa∣xi−Ra∣)+∑i<j1∣xi−xj∣].E_0=\inf\sigma\!\left[ \sum_{i=1}^N\left(-\frac12\Delta_i -\sum_{a=1}^M\frac{Z_a}{|x_i-R_a|}\right) +\sum_{i<j}\frac1{|x_i-x_j|}\right].

输入还含阈值 a<ba<b，承诺 E0≤aE_0\le a 或 E0≥bE_0\ge b，要求区分两种情形。阈值字母 aa 在这里与核位置下标无关。

第一篇允许以二进制编码的正整数核电荷，因此数值大小可以很大但描述位数仍为多项式。第二篇加强为所有核电荷都等于一，核数和电子数都是多项式，坐标为多项式位长有理数，仍声称该判定问题 QMA-hard。归约是确定性经典多项式时间的，输出阈值间隔甚至可达到 b−a≥1b-a\ge1，按原文原子单位计量。

没有给定外磁场、有限轨道基或额外外势；对所有自旋扇区取能量下确界。也不假设输入形成稳定结合分子，因此严谨表述是“谱下确界”，不保证总有正规化基态实现它。

C. 为什么这个结果对物理有用

困难性归约通常把抽象的量子计算问题编码进具有受控低能有效动力学的连续电子系统，并需要证明高轨道、长程相互作用和其他自旋态不能破坏编码。去掉人为的轨道截断后，这种控制就是连接复杂性定理与真实哈密顿量形式的关键。

**潜在积极影响：**为量子化学算法设定正确目标：寻找有用结构、可控近似及典型材料中的有效方法，而不期待一个对所有几何构型都高效、精确的通用算法。它也有助于设计有理论难度保证的模拟基准。

边界：“所有核电荷一”不等于归约实例都是通常条件下的稳定氢分子；其几何尺度、精度及电子数仍可经过精细编码。最坏情形不能直接推断某个日常材料难算，也不否定量子计算在许多化学任务上的加速。稿件声称的是 QMA-hard，本报告不额外把整个连续问题升级为已证明属于 QMA 的 QMA-complete 问题。

原稿及配套材料

返回总览 · 来源与核验记录