[论文解读] An efficient and accurate quantum algorithm for the Dirac equation

Jeffrey Yepez|ArXiv.org|Oct 11, 2002

Quantum Computing Algorithms and Architecture参考文献 1被引用 11

一句话总结

本论文提出了一种新颖的量子算法，用于在立方晶格上使用量子格气方法模拟三维狄拉克方程，仅使用两量子比特门，并在量子比特数量上实现线性计算复杂度。通过使碰撞和输运操作对称化，该方法确保了幺正性与二阶精度的演化，从而实现了在量子计算机上对多体相对论量子系统的高效模拟。

ABSTRACT

An efficient quantum algorithm for the many-body three-dimensional Dirac equation is presented. Its computational complexity is dominantly linear in the number of qubits used to spatially resolve the 4-spinor wave function.

研究动机与目标

• 开发一种适用于量子计算的幺正、高效且精确的多体三维狄拉克方程量子算法。
• 解决先前离散模型（如Bialynicki-Birula和Succi的模型）中存在的首阶收敛性和亚晶格解耦问题。
• 在量子计算机上，通过二次量子化框架实现对外部势场中相对论性费米子的可扩展模拟。
• 通过使用对称化演化算符实现二阶空间精度，同时保持幺正性和粒子数守恒。

提出的方法

• 该算法在立方晶格上采用量子格气模型，离散时间演化由局部碰撞和输运步骤组成。
• 通过使用两量子比特幺正算符 $ \hat{X}_{\alpha\beta} $ 和 $ \hat{Y}_{\alpha\beta} $ 实现每个晶格点上的旋量旋转，确保幺正性和粒子数守恒。
• 输运通过类似交换的算符 $ \hat{S}_{\mu\nu} $ 实现，用于沿正交方向在相邻晶格点之间移动量子比特态。
• 引入对称化演化算符 $ \tilde{E}E e^{-\Delta t^2} $ 以实现二阶空间精度，降低截断误差。
• 该方法通过使用产生和湮灭算符重新表述为二次量子化形式，以处理具有 $ 4L^3 $ 个量子比特的多体情况。
• 由于每个节点和位置的运算成本固定，计算复杂度随量子比特数线性增长，即 $ C \sim \mathcal{O}(Q) $。

实验结果

研究问题

• RQ1 能否构建一种幺正且二阶精度的三维狄拉克方程量子算法，避免先前模型的首阶收敛问题？
• RQ2 如何在保持幺正性和粒子数守恒的前提下，将量子格气模型扩展到多体情况？
• RQ3 在高精度下模拟狄拉克方程所需的最小门数和复杂度是多少？
• RQ4 能否通过采用对称化演化方案解决先前模型中的棋盘亚晶格问题？

主要发现

• 通过使用对称化演化算符 $ \tilde{E}E e^{-\Delta t^2} $，该算法实现了二阶空间精度，显著优于早期模型的首阶收敛性能。
• 计算复杂度随量子比特数 $ Q = 4L^3 $ 线性增长，改进版本每节点的运算量为 $ \rho_c = 13 $ 和 $ \rho_s = 24 $，证实了高效的缩放性能。
• 该方法仅使用两量子比特量子门，且守恒粒子数，因此适用于近场量子硬件的直接实现。
• 位置 $ \vec{x} $ 处的波函数概率计算为 $ P(\vec{x}) = \sum_{i=1}^4 \langle \Psi' | \hat{n}_{\alpha+i} | \Psi' \rangle $，确保了正确的物理可观测量。
• 该算法具有幺正性，且避免了像 Bialynicki-Birula 模型那样使用非幺正矩阵的任意晶格划分。
• 通过图1的数值验证确认，对称化方案的精度显著优于标准方案。