论文标题
耗散非线性微分方程的有效量子算法
Efficient quantum algorithm for dissipative nonlinear differential equations
论文作者
论文摘要
非线性微分方程模拟了各种现象,但众所周知难以解决。尽管对线性微分方程的有效量子算法已经进行了广泛的研究,但对于非线性情况,量子力学的线性类似于类似的进步。尽管有这种障碍,但我们开发了一种用于耗散二次$ n $二维的普通微分方程的量子算法。 Assuming $R < 1$, where $R$ is a parameter characterizing the ratio of the nonlinearity and forcing to the linear dissipation, this algorithm has complexity $T^2 q~\mathrm{poly}(\log T, \log n, \log 1/ε)/ε$, where $T$ is the evolution time, $ε$ is the allowed error, and $q$ measures decay of the solution.这是对以前最佳量子算法的指数改进,其复杂性在$ t $中的指数呈指数级。尽管指数衰减排除了效率,但尽管存在耗散,驱动的方程仍可以避免此问题。我们的算法使用Carleman线性化方法,为此我们提供了一种新颖的收敛定理。此方法将非线性微分方程的系统映射到线性微分方程的无限二维系统,我们使用正向Euler方法和量子线性系统算法对其进行离散,截断和求解。我们还为一般二次微分方程的量子算法的最差量子复杂性提供了一个下限,这表明该问题对于$ r \ ge \ sqrt {2} $是棘手的。最后,我们讨论了潜在的应用程序,表明在现实的流行病学模型中可以满足$ r <1 $的条件,并提供了数值证据,即该方法可以描述一个流体动力学模型,即使是较大的$ r $值。
Nonlinear differential equations model diverse phenomena but are notoriously difficult to solve. While there has been extensive previous work on efficient quantum algorithms for linear differential equations, the linearity of quantum mechanics has limited analogous progress for the nonlinear case. Despite this obstacle, we develop a quantum algorithm for dissipative quadratic $n$-dimensional ordinary differential equations. Assuming $R < 1$, where $R$ is a parameter characterizing the ratio of the nonlinearity and forcing to the linear dissipation, this algorithm has complexity $T^2 q~\mathrm{poly}(\log T, \log n, \log 1/ε)/ε$, where $T$ is the evolution time, $ε$ is the allowed error, and $q$ measures decay of the solution. This is an exponential improvement over the best previous quantum algorithms, whose complexity is exponential in $T$. While exponential decay precludes efficiency, driven equations can avoid this issue despite the presence of dissipation. Our algorithm uses the method of Carleman linearization, for which we give a novel convergence theorem. This method maps a system of nonlinear differential equations to an infinite-dimensional system of linear differential equations, which we discretize, truncate, and solve using the forward Euler method and the quantum linear system algorithm. We also provide a lower bound on the worst-case complexity of quantum algorithms for general quadratic differential equations, showing that the problem is intractable for $R \ge \sqrt{2}$. Finally, we discuss potential applications, showing that the $R < 1$ condition can be satisfied in realistic epidemiological models and giving numerical evidence that the method may describe a model of fluid dynamics even for larger values of $R$.