[论文解读] Quantum algorithm for nonlinear differential equations

Seth Lloyd, Giacomo De Palma+6 more|arXiv (Cornell University)|Nov 12, 2020

Quantum Computing Algorithms and Architecture参考文献 4被引用 24

一句话总结

本文提出了一种用于求解非线性微分方程的量子算法，通过将系统状态编码到量子寄存器中，并利用多个纠缠副本通过非线性薛定谔方程近似来模拟多项式非线性项，从而在经典方法上实现指数级加速。该算法在积分时间上呈二次方缩放，在状态空间维度上呈对数缩放，能够高效求解高维问题，如纳维-斯托克斯方程和等离子体流体动力学。

ABSTRACT

Quantum computers are known to provide an exponential advantage over classical computers for the solution of linear differential equations in high-dimensional spaces. Here, we present a quantum algorithm for the solution of nonlinear differential equations. The quantum algorithm provides an exponential advantage over classical algorithms for solving nonlinear differential equations. Potential applications include the Navier-Stokes equation, plasma hydrodynamics, epidemiology, and more.

研究动机与目标

• 开发一种量子算法，为非线性微分方程的求解提供相对于经典求解器的指数级优势。
• 通过使用稳定、多副本的方法，克服先前量子方法在非线性方程求解中资源呈指数增长的问题。
• 利用近场量子计算机高效模拟高维非线性系统，如流体动力学和等离子体模型。
• 通过利用稀疏可计算张量和稳定数值积分技术，确保算法的可扩展性和准确性。
• 将量子微分方程求解器的应用范围从线性系统扩展到包含物理上相关非线性动力学的系统。

提出的方法

• 将非线性微分方程的状态向量编码为维度为 d 的希尔伯特空间中的量子态。
• 使用初始量子态的多个副本，通过非线性薛定谔方程近似来模拟多项式非线性项。
• 实现一个作用于 n 个系统副本的哈密顿量，其相互作用由表示非线性动力学的稀疏张量 F 定义。
• 应用 Trotter-Suzuki 分解来模拟多副本系统的时间演化，近似有效单系统动力学。
• 通过要求副本数 n 与积分时间 T 呈二次方缩放，确保精度，利用 1/n 缩放实现误差抑制。
• 在多副本系统上应用量子线性微分方程求解器，以高效模拟非线性动力学。

实验结果

研究问题

• RQ1 尽管非线性性对标准量子线性求解器构成挑战，该量子算法能否在求解非线性微分方程时实现指数级加速？
• RQ2 在仅使用多个副本上线性操作的量子框架中，如何高效地编码和模拟微分方程中的非线性性？
• RQ3 该算法在积分时间和状态空间维度上的资源缩放特性如何？是否可以超越指数级缩放？
• RQ4 在长时间模拟中，该算法所采用的平均场近似在何种条件下仍保持有效？
• RQ5 该方法能否应用于具有稀疏、可计算相互作用张量的物理上相关的非线性方程，如纳维-斯托克斯方程或玻尔兹曼方程？

主要发现

• 该量子算法通过在状态空间维度 d 上呈对数缩放、在积分时间 t 上呈二次方缩放，实现了相对于经典求解器的指数级加速。
• 所需量子资源的数量（包括副本数）与积分时间 T 呈二次方缩放，避免了先前方法的指数级资源增长。
• 当副本数 n 显著大于 Trotter 步数 T 时，该算法能保持精度，确保误差按 1/n 比例抑制。
• 由于局域相互作用和守恒定律，该方法适用于具有稀疏、可计算张量 F 的方程，如纳维-斯托克斯方程、等离子体流体动力学方程和玻尔兹曼方程。
• 通过使用量子傅里叶变换和量子奇异值变换等技术进行量子后处理，该算法可提取功率谱和主成分等特征。
• 与先前因每步丢弃副本而导致资源呈指数级增长的非线性方程量子算法相比，该方法表现更优。