⚛️ quantum physics

Low-gate-count block encodings for second-quantized fermionic Hamiltonians

本文通过利用基于 SWAP 的架构并针对特定粒子子空间，引入了针对第二量子化费米子哈密顿量的新型显式块编码构造，从而显著降低了 Clifford+T 门复杂度和辅助比特开销，进而实现更具资源效率的早期容错量子模拟。

原作者： Diyi Liu, Shuchen Zhu, Lin Lin, Guang Hao Low, Chao Yang

发布于 2026-09-17

📖 1 分钟阅读🧠 深度阅读

原作者： Diyi Liu, Shuchen Zhu, Lin Lin, Guang Hao Low, Chao Yang

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

在探索物质世界的征途中，科学家们经常转向研究被束缚在原子和分子中的电子行为。这些微小的粒子并非独立运动；它们以复杂且集体的方式相互作用，决定了从我们呼吸的空气到计算机芯片中一切事物的特性。为了预测这些特性，研究人员使用被称为“哈密顿量”（Hamiltonians）的数学模型，它就像是一本完整的说明书，指导着系统中每一个电子应当如何表现。然而，即使是对数量适中的电子系统，利用经典计算机来计算这些指令的结果也是不可能的，因为经典计算机是以线性、循序渐进的方式处理信息的。电子可能存在的排列组合数量增长得极其迅速，以至于存储计算结果所需的内存甚至超过了全球所有计算机的总容量。

为了解决这一问题，科学家们正在开发量子计算机，这种机器利用奇特的量子力学定律，以一种根本不同的方式处理信息。量子计算机不再遵循单一路径，而是可以同时探索多种可能性。为了实现这一点，研究人员必须将复杂的电子相互作用数学规则转化为量子计算机能够读取并执行的格式。这一翻译过程被称为“块编码”（block encoding）。它是一种将哈密顿量的指令打包进一个更大、更易于管理的量子电路中的方法。这种打包的效率至关重要：如果指令过于臃肿或执行步骤过多，量子计算机会在完成计算之前耗尽时间并失去相干性。目标是找到最紧凑、最高效的方法来编码这些指令，从而使机器能以最少的资源模拟自然。

一个研究小组开发出了一种全新的、针对这种打包过程的高效方法，特别适用于电子数量保持不变的系统。在他们的工作中，他们引入了一种构造，显著减少了将数据加载到量子计算机中所需的复杂操作次数。以往的方法将电子之间的每一种可能的相互作用都视为需要加载的独立项，而不论这种相互作用在所研究的具体系统中是否真的可能发生。这种方法就像是在图书馆里寻找一本特定的书时，即便已知书就在某个特定房间里，却仍要检查整栋建筑里的每一个书架。而新方法则更像是一位知道哪些书架上存有当前读者所需书籍的图书管理员，直接跳过了无关的部分。

研究人员通过设计一个系统来实现这一点，该系统会在加载数据之前动态地检查哪些电子状态实际上是被占据的。他们创建了一套逻辑工具，即“预言机”（oracles），充当守门人的角色。一个工具用于确定给定状态下哪些电子位置是有效的，而另一个工具则负责为这些有效位置加载具体的相互作用强度。通过使用一种仅在需要时才将数据交换到位（swap data into place）的技术，他们避免了同时加载所有可能相互作用所带来的沉重计算成本。这种方法使量子计算机能够专注于当前系统中真正重要的相互作用，而不是在不可能发生的场景上浪费资源。

这项工作的成果显示出了计算成本的剧烈下降。对于一个通用的电子系统，执行模拟所需的复杂步骤数量随可能相互作用数量的平方根进行缩放，而非线性缩放。这是一个实质性的改进，意味着随着系统的规模扩大，新方法相比于旧技术会变得越来越高效。此外，通过将模拟限制在固定数量的粒子内，研究人员降低了“次归一化因子”（subnormalization factor），这是衡量量子信号在过程中被稀释程度的一个指标。简单来说，这意味着量子计算机能以更高的保真度和更少的重复次数提取出正确的答案。

该团队还证明了他们的方法对于具有特定结构的系统表现得异常出色，例如电子仅与相邻邻居发生相互作用，或者相互作用强度基于距离遵循某种可预测模式的情况。在这些情况下，效率的提升更为显著。研究人员提供了如何构建这些电路的详细蓝图，表明所需的物理组件数量显著低于此前认为的必要数量。这项工作不仅仅提供了一种理论上的改进；它为在早期的容错量子计算机上模拟复杂的化学和物理系统提供了一条切实可行的路径。通过降低资源开销，这种新方法让现实世界材料的模拟离现实更近了一步，有望加速新药、新材料及能源解决方案的发现。

技术摘要：针对二阶量子化费米子哈密顿量的低门计数块编码

问题陈述
高效的多元体哈密顿量块编码是量子算法在科学计算中（特别是早期容错量子模拟）的重要前提。现有方法（如线性组合酉算符 LCU 方法）的一个主要瓶颈在于将经典哈密顿量系数加载到量子电路中的资源成本。对于一般的二阶量子化电子结构哈密顿量，相互作用项的数量 $L$ 随轨道数 $n$ 呈 $\Theta(n^4)$ 比例缩放。标准的构建方式会导致 T 门复杂度与 $L$ 成线性关系（即 $O(n^4)$ ），且亚归一化因子 $\alpha$ 也同样随 $O(n^4)$ 缩放。此外，许多应用需要模拟具有固定粒子数 $\eta$ 的系统，但标准的块编码通常在整个希尔伯特空间中进行扩散，未能利用粒子数守恒来降低资源开销。

方法论
作者提出了新的显式构造方法，用于对二阶量子化费米子哈密顿量进行块编码，该方法直接作用于占据数表示，而非将其映射为泡利串。该方法依赖于两个主要的算谕（oracles）：稀疏性算谕 ( $O_C$ ) 和幅度算谕 ( $O_A$ )。

稀疏性算谕 ( $O_C$ )： 作者没有使用多受控门来确定矩阵元的 위치，而是采用了基于 SWAP 的数据查找策略。他们利用 SWAP-UP 网络将代表被占据轨道的特定量子比特移动到最低有效位位置，从而实现高效的受控比特翻转和相位编码。该方法通过使用 SWAP-UP、阶梯电路（交错 CNOT）以及针对性的 Pauli-Z 门来处理费米子符号，从而构建列稀疏性算谕。
幅度算谕 ( $O_A$ )： 为了编码系数的数值，作者结合了 SELECT-SWAP 数据查找电路与直接采样法。SELECT-SWAP 技术通过对数据项进行分组，将加载经典数据的 T 门计数从 $O(L)$ 降低至 $\tilde{O}(\sqrt{L})$ 。直接采样法将系数的二进制表示转换为概率振幅，而无需复杂的算术运算或别名采样，前提是系数为 $O(1)$ 或随索引衰减。
固定 $\eta$ 粒子构造： 对于具有固定粒子数 $\eta$ 的系统，作者引入了一种间接扩散策略。扩散不再是对所有形式上的轨道索引进行，而是以输入态 $|j\rangle$ 为条件，仅在对应于被占据轨道的索引上生成叠加态。这需要一个占据检测算谕 ( $O_{occ}$ ) 来在辅助寄存器中瞬时计算第 $i$ 个被占据量子比特的地址。这种依赖于状态的方法将扩散限制在相关的子空间内，从而显著降低了亚归一化因子。
结构化哈密顿量： 该框架扩展到了具有平移不变性、最近邻相互作用或系数衰减特性的哈密顿量。在这些情况下，需要加载的独特系数数量减少了，间接扩散与算术电路相结合，以生成有效索引对（例如 $|p\rangle|p \pm m\rangle$ ）的叠加，而非所有可能的对。

核心贡献与结果

门复杂度的二次方改进： 对于具有 $L$ 个相互作用项的一般二阶量子化哈密顿量，所提构造实现的 T 门计数缩放为 $\tilde{O}(\sqrt{L})$ （具体为 $\tilde{O}(\sqrt{L \log(L/\epsilon)})$ ），相比于标准 LCU/QROM 方法的线性 $O(L)$ 缩放，实现了二次方的改进。对于电子结构哈密顿量（ $L \sim n^4$ ），这使 T 计数从 $O(n^4)$ 降低到了 $\tilde{O}(n^2)$ 。
固定 $\eta$ 扇区的降低的亚归一化因子： 虽然在一般全希尔伯特空间设置下亚归一化因子仍为 $O(L) \sim O(n^4)$ ，但针对固定 $\eta$ 粒子子空间的构造将该因子从 $O(L)$ 降低到了对于一般二体相互作用的 $O(n^2 \eta^2)$ 。当 $\eta \ll n$ 时，这对于时间演化的量子化（qubitization）成本而言代表了实质性的降低。
针对结构化模型的优化资源估计：
- 哈伯德模型 (Hubbard Models)： 对于只有两个唯一系数的标准哈伯德模型，数据查找成本消失，复杂度由稀疏性算谕主导，在全空间下产生 $O(n + \log(n/\epsilon))$ 个 T 门，而在 $\eta$ -粒子扇区产生 $O(n \log \eta + \log(\eta/\epsilon))$ 个 T 门。
- 平移不变与局域化模型： 对于具有平移不变性或局域化轨道（系数衰减）的哈密顿量，独特系数的数量 $L_{distinct}$ 会减少。该构造能够适应这些结构，从而比无结构情况进一步降低 T 计数和 T 深度。
与现有模型的比较： 本文将结果与 Babbush 等人 [28] 的 LCU 模型以及 Kivlichan 等人 [49] 的基于 Trotter 的方法进行了比较。新方法为基于量子化（qubitization）的模拟提供了更低的 T 计数和 T 深度。值得注意的是，虽然存在相关的固定粒子输入模型（如 Tong, An 等人 [38]），但作者的构造是第一个直接针对一般二阶量子化哈密顿量（包括非对角的一体和二体相互作用）的固定 $\eta$ 扇区的显式块编码，并通过电路构造本身实现了最优的亚归一化缩放，而不依赖于哈密顿量平移或依赖于实例的经典优化。

意义
作者声称这项工作为早期容错量子模拟许多体系统提供了一条切实可行的路径。其意义在于：

实质性的资源削减： 将 T 门复杂度从关于项数（ $L$ ）的线性降低为平方根级，以及降低固定粒子系统的亚归一化因子，直接降低了模拟时间演化和特征值问题的容错开销。
直接子空间定位： 该构造是第一个直接针对一般二阶量子化哈密顿量固定 $\eta$ 扇区的显式块编码，通过电路构造而非哈密顿量平移或经典优化，实现了非对角相互作用的最优亚归一化缩放。
可扩展性： 该方法随系统规模 $n$ 和粒子数 $\eta$ 高效缩放，使其能够模拟比以往标准输入模型更大型的分子和凝聚态物理系统。
模块化： 该框架具有通用性，可以适配各种哈密顿量结构（最近邻、平移不变、因子化），证明了利用物理对称性和局域性可以系统地集成到块编码框架中，以进一步降低成本。

论文总结道，尽管对于结构化哈密顿量和固定粒子扇区改进最为显著，但通用的构造通过利用 SWAP-UP 网络和 SELECT-SWAP 数据查找来最小化 Clifford+T 门开销，已经展现出了优于以往方法的显著优势。

技术摘要：针对二阶量子化费米子哈密顿量的低门计数块编码

类似论文