[论文解读] Quantum Algorithms for Fermionic Quantum Field Theories

Stephen P. Jordan, Keith S. M. Lee+1 more|arXiv (Cornell University)|Apr 28, 2014

Particle physics theoretical and experimental studies参考文献 35被引用 60

一句话总结

本文提出了一种用于模拟1+1维自旋子量子场论中费米子量子场论的相对论性散射振幅的量子算法，具体针对质量化的Gross-Neveu模型。该算法通过使用Bravyi-Kitaev量子比特编码将量子模拟技术适配于费米子，利用威尔逊项处理费米子简并问题，并采用改进的绝热态制备方法制备粒子态，实现在能量和精度上的多项式时间复杂度——为高效模拟标准模型迈出了关键一步。

ABSTRACT

Extending previous work on scalar field theories, we develop a quantum algorithm to compute relativistic scattering amplitudes in fermionic field theories, exemplified by the massive Gross-Neveu model, a theory in two spacetime dimensions with quartic interactions. The algorithm introduces new techniques to meet the additional challenges posed by the characteristics of fermionic fields, and its run time is polynomial in the desired precision and the energy. Thus, it constitutes further progress towards an efficient quantum algorithm for simulating the Standard Model of particle physics.

研究动机与目标

• 开发一种能够高效模拟费米子量子场论中散射振幅的量子算法，该类理论相较于玻色子理论具有独特的挑战。
• 解决费米子特有的问题，如反对易关系、费米子简并以及在量子模拟框架中对非平凡态制备的需求。
• 将先前针对标量场理论（如φ⁴理论）的量子算法扩展至费米子系统，同时保持多项式时间复杂度。
• 实现对束缚态和多粒子散射过程的模拟，这些过程在经典计算中难以实现高精度模拟。
• 提供一种可扩展、高效的量子模拟框架，适用于其他质量化的费米子场理论，且仅需极少修改。

提出的方法

• 使用Bravyi-Kitaev量子比特编码表示费米子占据数，确保在量子比特希尔伯特空间中正确实现反对易关系。
• 应用改进的绝热态制备协议：首先绝热地开启耦合，然后通过源项创建粒子激发，避免了为校正动力学相位而进行的反向时间演化。
• 在格点作用量中引入威尔逊项以消除费米子简并，并证明其可在基态制备过程中实现。
• 采用两种不同的测量程序：(1) 绝热演化回到自由理论并测量动量模式占据数算符；(2) 测量局域空间区域的电荷以探测带电束缚态。
• 利用Suzuki-Trotter公式实现时间演化，尽管存在费米子反对易关系，仍实现了时间与格点数目上的准线性缩放。
• 采用三步态制备流程：(1) 绝热制备自由费米子真空态，(2) 绝热开启相互作用，(3) 通过源项驱动激发粒子态。

实验结果

研究问题

• RQ1 能否设计一种量子算法，高效模拟费米子量子场论（如质量化的Gross-Neveu模型）中的相对论性散射振幅？
• RQ2 如何在不引入指数级开销的前提下，正确地在量子计算机上编码和模拟费米子反对易关系？
• RQ3 将先前针对玻色子φ⁴理论的算法适配至费米子系统时，需在态制备和测量方面进行哪些修改？
• RQ4 该算法能否处理束缚态和多粒子散射过程，特别是在绝热波包方法失效的情况下？
• RQ5 在探测费米子理论中的束缚态时，局域电荷测量与动量模式测量相比有何优劣？

主要发现

• 该算法在能量、格点数目和期望精度方面均实现多项式时间复杂度，使得在高精度或强耦合条件下相比经典方法实现指数级加速。
• 改进的绝热态制备方法避免了对交错反向时间演化的依赖，简化了协议，并使束缚态的模拟成为可能，而此前的方法在该情形下会失效。
• 威尔逊项可被整合入算法以解决费米子简并问题，且与绝热态制备兼容。
• 局域电荷测量可探测带电束缚态，而动量模式占据数测量对未束缚态有效，但对空间局域的束缚态则完全不敏感。
• 对于方形窗函数，电荷涨落随格点间距对数发散；而对于高斯窗函数，其行为按1/(mR)缩放，表明在平滑处理下具有受控行为。
• 该算法可推广至其他质量化的费米子场理论，仅需少量修改，且保持多项式复杂度。