Fast quantum algorithm for differential equations

Partial differential equations (PDEs) are ubiquitous in science and engineering. Prior quantum algorithms for solving the system of linear algebraic equations obtained from discretizing a PDE have a computational complexity that scales at least linearly with the condition number $\kappa$ of the matrices involved in the computation. For many practical applications, $\kappa$ scales polynomially with the size $N$ of the matrices, rendering a polynomial-in-$N$ complexity for these algorithms. Here we present a quantum algorithm with a complexity that is polylogarithmic in $N$ but is independent of $\kappa$ for a large class of PDEs. Our algorithm generates a quantum state that enables extracting features of the solution. Central to our methodology is using a wavelet basis as an auxiliary system of coordinates in which the condition number of associated matrices is independent of $N$ by a simple diagonal preconditioner. We present numerical simulations showing the effect of the wavelet preconditioner for several differential equations. Our work could provide a practical way to boost the performance of quantum-simulation algorithms where standard methods are used for discretization.

[1]  Qi Zhao,et al.  A theory of quantum differential equation solvers: limitations and fast-forwarding , 2022, ArXiv.

[2]  Di Fang,et al.  Time-marching based quantum solvers for time-dependent linear differential equations , 2022, Quantum.

[3]  H. Goan,et al.  Accurate and Efficient Quantum Computations of Molecular Properties Using Daubechies Wavelet Molecular Orbitals: A Benchmark Study against Experimental Data , 2022, PRX Quantum.

[4]  H. Krovi Improved quantum algorithms for linear and nonlinear differential equations , 2022, Quantum.

[5]  B. Sanders,et al.  Entanglement in quantum field theory via wavelet representations , 2022, Physical Review D.

[6]  Yuan Su Fast-Forwardable Quantum Evolution and Where to Find Them , 2021, Quantum Views.

[7]  Robert R. Nerem,et al.  Tight bound for estimating expectation values from a system of linear equations  , 2021, Physical Review Research.

[8]  J. McClean,et al.  Nearly Optimal Quantum Algorithm for Estimating Multiple Expectation Values. , 2021, Physical review letters.

[9]  Pedro C. S. Costa,et al.  Optimal Scaling Quantum Linear-Systems Solver via Discrete Adiabatic Theorem , 2021, PRX Quantum.

[10]  B. Sanders,et al.  Nearly Optimal Quantum Algorithm for Generating the Ground State of a Free Quantum Field Theory , 2021, PRX Quantum.

[11]  Gregory Beylkin,et al.  On wavelet-based algorithms for solving differential equations , 2021, Wavelets.

[12]  D. Berry,et al.  Fault-Tolerant Quantum Simulations of Chemistry in First Quantization , 2021, PRX Quantum.

[13]  R. Somma,et al.  Fast-forwarding quantum evolution , 2021, Quantum.

[14]  I. Chuang,et al.  Grand Unification of Quantum Algorithms , 2021, PRX Quantum.

[15]  Andrew M. Childs,et al.  High-precision quantum algorithms for partial differential equations , 2020, Quantum.

[16]  Lin Lin,et al.  Optimal polynomial based quantum eigenstate filtering with application to solving quantum linear systems , 2019, Quantum.

[17]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[18]  Lin Lin,et al.  Quantum Linear System Solver Based on Time-optimal Adiabatic Quantum Computing and Quantum Approximate Optimization Algorithm , 2019, ACM Transactions on Quantum Computing.

[19]  Ryan Babbush,et al.  Discontinuous Galerkin discretization for quantum simulation of chemistry , 2019, New Journal of Physics.

[20]  Andrew M. Childs,et al.  Quantum Spectral Methods for Differential Equations , 2019, Communications in Mathematical Physics.

[21]  Seth Lloyd,et al.  Quantum algorithm for nonhomogeneous linear partial differential equations , 2018, Physical Review A.

[22]  Nathan Wiebe,et al.  Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics , 2018, STOC.

[23]  R. Somma,et al.  Quantum Algorithms for Systems of Linear Equations Inspired by Adiabatic Quantum Computing. , 2018, Physical review letters.

[24]  Pedro C. S. Costa,et al.  Quantum algorithm for simulating the wave equation , 2017, Physical Review A.

[25]  Craig Gidney,et al.  Halving the cost of quantum addition , 2017, Quantum.

[26]  D. Cerná,et al.  A diagonal preconditioner for singularly perturbed problems , 2017 .

[27]  D. Aharonov,et al.  Fast-forwarding of Hamiltonians and exponentially precise measurements , 2016, Nature Communications.

[28]  G. Evenbly,et al.  Entanglement Renormalization and Wavelets. , 2016, Physical review letters.

[29]  Ashley Montanaro,et al.  Quantum algorithms and the finite element method , 2015, 1512.05903.

[30]  Andrew M. Childs,et al.  Quantum Algorithm for Systems of Linear Equations with Exponentially Improved Dependence on Precision , 2015, SIAM J. Comput..

[31]  Roland Pabel,et al.  Adaptive Wavelet Methods for Variational Formulations of Nonlinear Elliptic PDEs on Tensor-Product Domains , 2015 .

[32]  Robert J. Harrison,et al.  MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation , 2015, SIAM J. Sci. Comput..

[33]  Sukhwinder Singh,et al.  Multiscale quantum simulation of quantum field theory using wavelets , 2014, 1412.0750.

[34]  F. Bulut,et al.  Wavelets in field theory , 2013, 1301.6570.

[35]  B. D. Clader,et al.  Preconditioned quantum linear system algorithm. , 2013, Physical review letters.

[36]  Andris Ambainis,et al.  Variable time amplitude amplification and quantum algorithms for linear algebra problems , 2012, STACS.

[37]  Nathan Wiebe,et al.  Hamiltonian simulation using linear combinations of unitary operations , 2012, Quantum Inf. Comput..

[38]  Dominic W. Berry,et al.  High-order quantum algorithm for solving linear differential equations , 2010, ArXiv.

[39]  A. Harrow,et al.  Quantum algorithm for linear systems of equations. , 2008, Physical review letters.

[40]  I. Kassal,et al.  Polynomial-time quantum algorithm for the simulation of chemical dynamics , 2008, Proceedings of the National Academy of Sciences.

[41]  E. Knill,et al.  Optimal quantum measurements of expectation values of observables , 2006, quant-ph/0607019.

[42]  R. Cleve,et al.  Efficient Quantum Algorithms for Simulating Sparse Hamiltonians , 2005, quant-ph/0508139.

[43]  R. Mathar Chebyshev series expansion of inverse polynomials , 2004, math/0403344.

[44]  Daniel A. Spielman,et al.  Exponential algorithmic speedup by a quantum walk , 2002, STOC '03.

[45]  W. Dahmen Wavelet methods for PDEs — some recent developments , 2001 .

[46]  G. Brassard,et al.  Quantum Amplitude Amplification and Estimation , 2000, quant-ph/0005055.

[47]  Colin P. Williams,et al.  Quantum Wavelet Transforms: Fast Algorithms and Complete Circuits , 1998, QCQC.

[48]  P. Høyer Efficient Quantum Transforms , 1997, quant-ph/9702028.

[49]  H. Terasaka,et al.  Incomplete Discrete Wavelet Transform and its Application to a Poisson Equation Solver , 1996 .

[50]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[51]  J. Shewchuk An Introduction to the Conjugate Gradient Method Without the Agonizing Pain , 1994 .

[52]  S. Jaffard Wavelet methods for fast resolution of elliptic problems , 1992 .

[53]  I. Daubechies,et al.  Biorthogonal bases of compactly supported wavelets , 1992 .

[54]  Stéphane Mallat,et al.  A Wavelet Tour of Signal Processing - The Sparse Way, 3rd Edition , 2008 .

[55]  Ronald R. Coifman,et al.  Adaptive solution of multidimensional PDEs via tensor product wavelet decomposition , 2008 .

[56]  Wolfgang Dahmen,et al.  Adaptive wavelet methods for elliptic operator equations: Convergence rates , 2001, Math. Comput..

[57]  GermanyNumerische Mathematik,et al.  Multilevel Preconditioning , 1992 .

[58]  G. Beylkin,et al.  On the representation of operators in bases of compactly supported wavelets , 1992 .