Abstract:Quantum algorithms for solving linear systems of equations have generated excitement because of the potential speed-ups involved and the importance of solving linear equations in many applications. However, applying these algorithms can be challenging. The Harrow-Hassidim-Lloyd algorithm and improvements thereof require complex subroutines suitable for fault-tolerant hardware such as Hamiltonian simulation, making it ill-suited to current hardware. Variational algorithms, on the other hand, involve expensive optimization loops, which can be prone to barren plateaus and local optima. We describe a quantum algorithm for solving linear systems of equations that avoids these problems. Our algorithm is based on the Woodbury identity, which analytically describes the inverse of a matrix that is a low-rank modification of another (easily-invertible) matrix. This approach only utilizes basic quantum subroutines like the Hadamard test or the swap test, so it is well-suited to current hardware. There is no optimization loop, so barren plateaus and local optima do not present a problem. The low-rank aspect of the identity enables us to efficiently transfer information to and from the quantum computer. This approach can produce accurate results on current hardware. As evidence of this, we estimate an inner product involving the solution of a system of more than 16 million equations with 2% error using IBM's Auckland quantum computer. To our knowledge, no system of equations this large has previously been solved to this level of accuracy on a quantum computer.

Optimal Box Contraction for Solving Linear Systems via Simulated and Quantum Annealing

Optimal box contraction for solving linear systems via simulated and quantum annealing

Convergence Rate of Algorithm for Solving Linear Equations by Quantum Annealing

Convergence rate of algorithms for solving linear equations by quantum annealing

Quantum Linear System Solvers: A Survey of Algorithms and Applications

Hybrid Classical–Quantum Branch-and-Bound Algorithm for Solving Integer Linear Problems

Computing a Sparse Approximate Inverse on Quantum Annealing Machines

Experimental Quantum Computing to Solve Systems of Linear Equations

Optimizing the Optimizer: Decomposition Techniques for Quantum Annealing

Improving the convergence of an iterative algorithm for solving arbitrary linear equation systems using classical or quantum binary optimization

Hybrid classical-quantum branch-and-bound algorithm for solving integer linear problems

QUBO formulations for numerical quantum computing

Solving non-native combinatorial optimization problems using hybrid quantum-classical algorithms

Hybrid Algorithm of Linear Programming Relaxation and Quantum Annealing

A near-term quantum algorithm for solving linear systems of equations based on the Woodbury identity

Quantum Linear System Solver Based on Time-optimal Adiabatic Quantum Computing and Quantum Approximate Optimization Algorithm

Experimental Realization Of Quantum Algorithm For Solving Linear Systems Of Equations

A quantum algorithm for solving systems of nonlinear algebraic equations

Multivariable Optimization: Quantum Annealing & Computation