Optimal Scaling Quantum LinearSystems Solver via Discrete Adiabatic Theorem
Abstract
Recently, several approaches to solving linear systems on a quantum computer have been formulated in terms of the quantum adiabatic theorem for a continuously varying Hamiltonian. Such approaches have enabled nearlinear scaling in the condition number κ of the linear system, without requiring a complicated variabletime amplitude amplification procedure. However, the most efficient of those procedures is still asymptotically suboptimal by a factor of log (κ ). Here, we prove a rigorous form of the adiabatic theorem that bounds the error in terms of the spectral gap for intrinsically discretetime evolutions. In combination with the qubitized quantum walk, our discrete adiabatic theorem gives a speedup for all adiabatic algorithms. Here, we use this combination to develop a quantum algorithm for solving linear systems that is asymptotically optimal, in the sense that the complexity is strictly linear in κ , matching a known lower bound on the complexity. Our O [κ log (1 /ϵ )] complexity is also optimal in terms of the combined scaling in κ and the precision ϵ . Compared to existing suboptimal methods, our algorithm is simpler and easier to implement. Moreover, we determine the constant factors in the algorithm, which would be suitable for determining the complexity in terms of gate counts for specific applications.
 Publication:

PRX Quantum
 Pub Date:
 October 2022
 DOI:
 10.1103/PRXQuantum.3.040303
 arXiv:
 arXiv:2111.08152
 Bibcode:
 2022PRXQ....3d0303C
 Keywords:

 Quantum Physics
 EPrint:
 56 pages, 8 figures