The time-marching strategy, which propagates the solution from one time step to the next, is a natural strategy for solving time-dependent differential equations on classical computers, as well as for solving the Hamiltonian simulation problem on quantum computers. For more general linear differential equations, a time-marching based quantum solver can suffer from exponentially vanishing success probability with respect to the number of time steps and is thus considered impractical. We solve this problem by repeatedly invoking a technique called the uniform singular value amplification, and the overall success probability can be lower bounded by a quantity that is independent of the number of time steps. The success probability can be further improved using a compression gadget lemma. This provides a path of designing quantum differential equation solvers that is alternative to those based on quantum linear systems algorithms (QLSA). We demonstrate the performance of the time-marching strategy with a high-order integrator based on the truncated Dyson series. The complexity of the algorithm depends linearly on the amplification ratio, which quantifies the deviation from a unitary dynamics. We prove that the linear dependence on the amplification ratio attains the query complexity lower bound and thus cannot be improved in the worst case. This algorithm also surpasses existing QLSA based solvers in three aspects: (1) the coefficient matrix $A(t)$ does not need to be diagonalizable. (2) $A(t)$ can be non-smooth, and is only of bounded variation. (3) It can use fewer queries to the initial state. Finally, we demonstrate the time-marching strategy with a first-order truncated Magnus series, while retaining the aforementioned benefits. Our analysis also raises some open questions concerning the differences between time-marching and QLSA based methods for solving differential equations.
翻译:将解决方案从一个时间步骤传播到下一个时间步骤的全时战略是解决古典计算机上基于时间的差别方程式以及解决量计算机上汉密尔顿模拟问题的自然战略。对于更一般的线性差别方程式来说,基于时间的量子求解器可能因时间步骤数的指数性消散成功概率而受损,因此被视为不切实际。我们反复使用一个叫作统一单值放大的技术来解决这个问题,总的成功概率可以不受时间步骤数量限制。使用压缩的Gapget Lemmma可以进一步提高成功概率。对于更普遍的线性差别方程式来说,一个基于时间步骤数的量级解算解解方案(QLLSA),我们用一个高排序的拼写组合来显示时间总体战略的性能。它的复杂性只能取决于一个与时间步骤数的偏移率。我们证明,最接近的直线性偏差非GGetgetleg Lemmetreadexexex Q.我们也可以用一个最精确的直线性直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直径直至直径直径直径直径直径直径直径直径直径直径直径直径直至直径直距方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方方</s>