[论文解读] Quantum Algorithms for Simulating Nuclear Effective Field Theories

James D. Watson, Jacob Bringewatt+4 more|arXiv (Cornell University)|Dec 8, 2023

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文开发并分析了利用量子计算机模拟低能核有效场论（EFT）的量子算法，重点关注无π介子、单π介子交换和动力学π介子EFT。通过利用费米子与玻色子的量子比特编码、对称性利用以及改进的Trotter误差界，作者在量子比特和门操作成本上实现了数量级的降低——尤其在无π介子EFT中表现显著，证明了近期内核体系的量子模拟正日益可行。

ABSTRACT

Quantum computers offer the potential to simulate nuclear processes that are classically intractable. With the goal of understanding the necessary quantum resources to realize this potential, we employ state-of-the-art Hamiltonian-simulation methods, and conduct a thorough algorithmic analysis, to estimate the qubit and gate costs to simulate low-energy effective field theories (EFTs) of nuclear physics. Within the framework of nuclear lattice EFT, we obtain simulation costs for the leading-order pionless and pionful EFTs. For the latter, we consider both static pions represented by a one-pion-exchange potential between the nucleons, and dynamical pions represented by relativistic bosonic fields coupled to non-relativistic nucleons. Within these models, we examine the resource costs for the tasks of time evolution and energy estimation for physically relevant scales. We account for model errors associated with truncating either long-range interactions in the one-pion-exchange EFT or the pionic Hilbert space in the dynamical-pion EFT, and for algorithmic errors associated with product-formula approximations and quantum phase estimation. We find that the pionless EFT is the least costly to simulate, followed by the one-pion-exchange theory, then the dynamical-pion theory. We demonstrate how symmetries of the low-energy nuclear Hamiltonians can be utilized to obtain tighter error bounds. By retaining the locality of nucleonic interactions when mapped to qubits, we achieve reduced circuit depth and substantial parallelization. In the process, we develop new methods to bound the algorithmic error for classes of fermionic number-preserving Hamiltonians, and obtain tighter Trotter error bounds by explicitly computing nested commutators of Hamiltonian terms. Compared to previous estimates for the pionless EFT, our results represent an improvement by several orders of magnitude.

研究动机与目标

• 估算在量子计算机上模拟低能核有效场论（EFT）的量子资源成本——包括量子比特数、门操作数和电路深度。
• 分析并最小化基于乘积公式的时间演化与核哈密顿量的量子相位估计算法中的算法误差。
• 为保持粒子数守恒的费米子与费米子-玻色子哈密顿量推导更紧致的Trotter误差界，以提高模拟精度。
• 展示如何利用核相互作用中的物理对称性与局域性来降低电路深度并实现并行化。
• 在三种EFT模型之间比较模拟成本：无π介子、单π介子交换和动力学π介子EFT，识别出最节省资源的模拟方案。

提出的方法

• 采用Verstraete-Cirac编码将非相对论性核子映射到量子比特，同时保持局域性与粒子数守恒。
• 对玻色子π介子场使用Jordan-Wigner与类似Bravyi-Kitaev的映射，并通过截断到有限Fock空间以减少量子比特数量。
• 应用乘积公式算法（Trotterization）进行时间演化，通过显式计算嵌套对易子来界定Trotter误差。
• 利用半范数与对易子展开，为保持粒子数的哈密顿量推导出模拟误差的解析界。
• 实施量子相位估计算法（QPE）进行能谱分析，对算法误差与模型截断效应进行误差分析。
• 将物理洞察（如旋转不变性与局域性）整合到电路设计中，以最小化深度并最大化并行化。

实验结果

研究问题

• RQ1 在量子计算机上模拟无π介子、单π介子交换与动力学π介子有效场论的量子比特与门操作资源成本是多少？
• RQ2 如何利用低能核哈密顿量中的对称性来收紧误差界并降低电路深度？
• RQ3 对长程相互作用（在OPE-EFT中）或π介子Fock空间（在动力学π介子EFT中）进行截断对模拟精度有何影响？
• RQ4 能否为保持粒子数的费米子与费米子-玻色子哈密顿量推导出更紧致的Trotter误差解析界？
• RQ5 与先前对无π介子EFT的估计相比，算法设计与编码策略的改进如何降低资源成本？

主要发现

• 无π介子EFT的模拟成本最低，其资源估算相比以往工作降低了多个数量级。
• 单π介子交换EFT的资源成本高于无π介子EFT，这是由于存在长程相互作用，但通过优化编码仍具可行性。
• 动力学π介子EFT成本最高，原因在于引入了相对论性π介子场及其与核子的耦合，但其成本仍在容错量子设备的可实现范围内。
• 通过显式计算嵌套对易子，作者获得了比以往方法更紧致的Trotter误差界，尤其在无π介子EFT中p=2时表现显著。
• 采用保持局域性的编码方式降低了电路深度，并显著提升了并行化能力，从而大幅提高了资源效率。
• 本文为所有三种EFT模型提供了明确的误差界，同时考虑了算法误差（Trotterization）与模型误差（截断），且误差界随系统尺寸与相互作用强度的增加而表现良好。