Reduced basis algorithm for solving nonlinear differential equations on quantum computers
量子计算机上求解非线性微分方程的约化基算法
Monica Lăcătuş, Matthias Möller, Sauro Succi
AI总结 提出约化基算法(RBA),通过时间离散化、组合多项式更新映射并构建线性RBA算子,精确再现多步非线性动力学,将量子计算资源需求降至对数级别。
详情
随着量子计算向科学计算应用发展,非线性微分方程仍是一个核心挑战,因为量子演化本质上是线性的。在这项工作中,我们引入了一种用于多项式非线性常微分方程(ODE)和空间离散偏微分方程(PDE)的约化基算法(RBA)。在时间离散化后,该方法组合了$m$个时间步上产生的多项式更新映射,识别出该组合映射中出现的约化单项式基,并构建一个线性RBA算子,其作用可精确恢复$m$步非线性动力学。因此,在所选的离散更新规则层面,该方法除了时间离散化误差外,不引入额外的近似误差。量子比特数需求由约化单项式基的大小决定。对于一个$n$维、次数$p>1$的多项式ODE系统,在全基场景下,提升后的寄存器最多需要$q_m^{\mathrm{ODE}} = O(nm\log p)$个量子比特。对于在$N^D$网格点上离散的PDE,基于局部性的构造最多需要$q_m^{\mathrm{PDE}} = O(D\log N + n m^{D+1}\log p)$个量子比特。因此,对网格大小的依赖保持对数级别,而非线性开销由局部约化基大小控制。主要计算负担从量子计算机转移到经典预处理步骤,在该步骤中为所选时间步窗口构建约化单项式基和RBA算子。通过在Lorenz系统和一维Burgers方程上的数值测试,我们验证了RBA精确再现了相应的离散时间非线性动力学,同时揭示了时间步组合、约化基增长和局部性之间的权衡。
As quantum computing moves toward scientific computing applications, nonlinear differential equations remain a central challenge since quantum evolution is intrinsically linear. In this work, we introduce a reduced basis algorithm (RBA) for polynomial nonlinear ordinary differential equations (ODEs) and spatially discretized partial differential equations (PDEs). After time discretization, the method composes the resulting polynomial update map over $m$ timesteps, identifies the reduced monomial basis appearing in this composed map, and constructs a linear RBA operator whose action recovers the exact $m$-timestep nonlinear dynamics. Thus, at the level of the chosen discrete update rule, the method introduces no additional approximation error beyond the time discretization error. The qubit number requirement is governed by the size of the reduced monomial basis. For an $n$-dimensional polynomial ODE system of degree $p>1$, the lifted register requires at most $q_m^{\mathrm{ODE}} = O(nm\log p)$ qubits in the full basis scenario. For PDEs discretized on $N^D$ grid points, a locality-based construction requires at most $q_m^{\mathrm{PDE}} = O(D\log N + n m^{D+1}\log p)$ qubits. Hence, the dependence on the grid size remains logarithmic, while the nonlinear overhead is controlled by local reduced basis size. The main computational burden is moved from the quantum computer to a classical preprocessing step, where the reduced monomial basis and RBA operator are constructed for the chosen timestep window. Through numerical tests on the Lorenz system and the one-dimensional Burgers equation, we verify that the RBA reproduces the corresponding discrete time nonlinear dynamics exactly, while exposing the trade-off between timestep composition, reduced basis growth, and locality.