⚛️ quantum physics

Impact of molecular orbital localization on quantum computational resources for Hamiltonian simulation: A benchmark study of hydrogen chain systems

这项研究表明，对于大规模氢链量子模拟，将 Pipek-Mezey 定域分子轨道与基于算符定域性的哈密顿量截断相结合，通过将所需的量子门计数从相对于基于系数截断的正则分子轨道的多项式增长降低为多对数增长，从而提供了显著的指数级优势。

原作者： Kenji Sugisaki, Yuhei Tachi, Masayoshi Terabe, Hiroyuki Tezuka

发布于 2026-08-06

📖 1 分钟阅读🧠 深度阅读

原作者： Kenji Sugisaki, Yuhei Tachi, Masayoshi Terabe, Hiroyuki Tezuka

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象这样一个未来：计算机不再仅仅是计算数字，而是能够模拟现实本身的织面，让我们能够通过观察屏幕上原子的舞动来设计新药或超强材料。这就是量子计算的承诺，该领域旨在解决当今超级计算机也无法处理的复杂问题。为了实现这一目标，科学家需要将分子中电子那种混乱、混沌的行为，转化为量子计算机能够理解的语言。这种语言涉及“轨道”，它们就像是电子栖息的特定“社区”。

传统上，科学家使用“正则”轨道（canonical orbitals），它们就像是一张全市范围的地图，每个社区都与其他所有社区通过一张巨大的、纠缠在一起的网络相连。虽然这种方式很精确，但这个网络极其难以导航，需要消耗大量的数字资源来进行模拟。然而，还有另一种方法：“局域化”轨道（localized orbitals）。请将其想象成社区地图，你只需要关心紧邻的房屋；至于城市另一侧房屋之间的相互作用，由于过于微弱，完全可以忽略不计。量子化学未来的核心问题在于：哪种地图能让这项工作变得更容易？我们在忽略微弱连接时，又能在不破坏模拟的前提下忽略多少？

这篇题为《分子轨道局域化对哈密顿量模拟中量子计算资源的影响》的论文，正是深入探讨了这一问题，并在一维氢原子链上进行了测试。研究人员 Kenji Sugisaki 及其团队试图观察：选择哪种轨道图（纠缠的网络还是局域化的社区地图）以及采用何种忽略微弱连接的策略，会如何影响运行模拟所需的“量子门”（即量子计算机必须执行的基本步骤）的数量。他们发现，对于纠缠的网络图，根据连接的“响度”（系数大小）来忽略连接效果最好；但对于局域化的社区图，根据“距离”（局域性）来忽略连接才是“金钥匙”。

研究结果表明，效率存在巨大差异。当使用传统的纠缠网络图时，模拟更长的氢原子链所需的步骤会呈爆炸式增长，就像一条向上冲刺的多项式曲线。然而，当他们切换到局域化的社区图并忽略远距离连接时，步骤的增长则要缓慢得多，几乎像是一条平缓的曲线。具体而言，对于包含 100 个氢原子的链，局域化方法表明计算成本以“多项式对数级”（一种增长非常缓慢的速率）增长，而传统方法则是以“多项式级”（一种快得多的、更陡峭的增长方式）增长。

团队利用从 8 到 100 个原子的氢链模拟了这些场景。他们发现，虽然局域化地图最初似乎需要管理更多的连接，但由于能够切断远距离的相互作用，对于更大的系统，它实际上只需要更少的量子门就能达到极高的精度（具体而言，保真度达到 0.99 或更高）。他们估计，对于传统方法，忽略连接的阈值需要随着链的增长而剧烈下降；但对于局域化方法，其“距离”限制仅需增加得非常缓慢。这表明，对于大规模化学模拟，使用结合了基于距离切割的局域化轨道，可能是使这些计算在未来量子计算机上变得可行的关键，有望将一项可能需要“兆量级”（megaquop）机器才能完成的任务，转变为更易于处理的任务。

技术摘要：分子轨道定域化对哈密顿量模拟量子计算资源的影响

问题陈述
尽管已有大量研究致力于优化量子模拟算法（如 Trotter 化、量子比特化）和压缩策略（如张量超收缩、QCELS），但对于分子轨道基组的选择如何影响量子计算资源，关注相对较少。在传统的量子化学中，源自 Hartree–Fock (HF) 理论的正则分子轨道 (CMOs) 是离域的，这导致二阶量子化哈密顿量中存在“全对全”的耦合。这种离域性使得量子门的需求量巨大。相反，定域分子轨道 (LMOs) 被广泛用于经典电子结构方法中，以利用空间局域性，即远离的轨道之间的相互作用可以忽略不计。本研究旨在解决的核心问题是：轨道定域化是否也能同样降低基于 Trotter 分解方法的量子哈密顿量模拟的复杂度和资源需求。

方法论
作者使用一维线性氢链系统 ( $H_n$ ) 进行基准测试研究，其中 $n$ 范围为 8 到 100 个原子，原子间距为 1.0 Å。研究对比了两种轨道表示形式：

CMOs： 标准的 Hartree–Fock 正则轨道。
LMOs： 根据其相对空间位置重新排序的 Pipek–Mezey 定域轨道。

哈密顿量使用 Jordan–Wigner (JW) 变换构建。作者研究了两种不同的哈密顿量截断策略，以减少项的数量：

基于算符系数的截断 ( $c_{thre}$ )： 丢弃绝对值低于阈值的项。
基于算符局域性的截断 ( $k_{max}$ )： 丢弃算符局域性 $k$ （Pauli 串中非单位算符 Pauli 算符的数量）超过阈值的项。对于双电子项，局域性定义基于一个 $\alpha$ 电子和一个 $\beta$ 电子的激发，以避免自旋偏差。

准确性通过计算与未截断参考计算（小规模链使用 Full-CI，大规模链使用 DMRG）之间的基态能量误差 ( $\Delta E$ ) 和保真度 ( $F$ ) 来评估。作者通过拟合截断阈值与保真度之间的关系，得到了估计实现高保真度（ $F \geq 0.99$ ）所需的阈值。随后，这些估计的阈值被用于投影高达 $H_{100}$ 规模的量子门计数（Clifford 门、CNOT 门和非-Clifford $R_z$ 门）。

主要贡献与结果

每种基组的最优截断策略：
- 对于 基于 CMO 的 展开，基于系数的截断 ( $c_{thre}$ ) 是有效的。即使使用宽松的阈值，基态能量误差和保真度仍接近理想值，因为 CMO 的离域性质意味着高局域性项对于描述波函数通常是必要的。
- 对于 基于 LMO 的 展开，基于局域性的截断 ( $k_{max}$ ) 更为优越。基于系数的截断对 LMO 而言会立即失效，导致精度迅速下降。然而，基于局域性的截断即使在较低的 $k_{max}$ 值下也能保持高保真度，因为 LMO 基组中空间分离的轨道之间相关性很弱。
截断阈值的缩放：
- 为了维持 $F \geq 0.99$ ，CMO 的系数阈值按 $c_{thre} \propto n^{-2.07}$ 缩放。
- 对于 LMOs，所需的局域性阈值 $k_{max}$ 与系统规模呈对数多项式关系，具体为 $k_{max} \propto (\log n)^{1.86}$ 。
量子门资源估计：
- CMO 基组： 用于哈密顿量模拟的量子门数量随系统规模呈多项式增长，具体为 $O(n^4)$ 到 $O(n^5)$ 。虽然截断降低了前因子，但并未改变多项式缩放阶数。
- LMO 基组： 当结合基于局域性的截断时，门计数呈对数多项式增长，具体为 $O((\log n)^{12})$ 到 $O((\log n)^{14})$ 。
- CNOT 门： 在 CMO 基组中，许多高局域性项在截断后依然存在，导致高 CNOT 计数。在 LMO 基组中，截断将哈密顿量限制在低局域性项，从而抑制了 CNOT 门的增长。对于 $n \geq 50$ ，尽管 LMO 基组由于破坏了点群对称性而最初拥有更多的哈密顿量项，但基于 LMO 的方法所需的 CNOT 门比基于 CMO 的方法更少。
编码比较：
- 研究还比较了 Jordan–Wigner (JW) 和 Bravyi–Kitaev (BK) 编码。虽然 BK 将 CMOs 的 CNOT 缩放从 $O(n^5)$ 降低到 $O(n^4 \log n)$ ，但其产生的门计数与基于 LMO 的方法仍然相当。此外，由于 Pauli 串中 Pauli-X/Y 项的数量是变化的，BK 会增加单比特 Clifford 门的数量。

意义与主张
本文声称，轨道表示的选择及其相应的截断策略是决定大规模量子化学模拟可行性的关键因素。作者得出结论，对于基于 Trotter 的哈密顿量模拟，利用 LMOs 结合基于算符局域性的截断策略，相比传统的 CMO 方法具有显著的指数级优势。具体而言，从门需求的从多项式缩放到对数多项式缩放的转变，表明 LMOs 可以使未来容错量子计算机模拟更大规模的分子系统成为可能。

作者指出，虽然本研究侧重于算符局域性与空间距离直接相关的 1D 氢链，但其发现为基组设计策略提供了有用的指导。他们建议，对于复杂的 3D 分子，基于距离的截断可能比严格基于局域性的截断更为合适，但利用轨道定域性的普遍原则仍然是降低计算成本的一个极具前景的方向。该研究还强调，态制备仍然是一个潜在的瓶颈，为了进行完整的端到端成本评估，需要对态制备进行进一步的资源估计。

技术摘要：分子轨道定域化对哈密顿量模拟量子计算资源的影响

类似论文