Abstract:Quantum algorithms for linear systems produce the solution state $A^{-1}|b\rangle$ by querying two oracles: $O_A$ that block encodes the coefficient matrix and $O_b$ that prepares the initial state. We present a quantum linear system algorithm making $\mathbf{\Theta}\left(1/\sqrt{p}\right)$ queries to $O_b$, which is optimal in the success probability, and $\mathbf{O}\left(\kappa\log\left(1/p\right)\left(\log\log\left(1/p\right)+\log\left({1}/{\epsilon}\right)\right)\right)$ queries to $O_A$, nearly optimal in all parameters including the condition number and accuracy. Notably, our complexity scaling of initial state preparation holds even when $p$ is not known $\textit{a priori}$. This contrasts with recent results achieving $\mathbf{O}\left(\kappa\log\left({1}/{\epsilon}\right)\right)$ complexity to both oracles, which, while optimal in $O_A$, is highly suboptimal in $O_b$ as $\kappa$ can be arbitrarily larger than $1/\sqrt{p}$. In various applications such as solving differential equations, preparing ground states of operators with real spectra, and estimating and transforming eigenvalues of non-normal matrices, we can further improve the dependence on $p$ using a block preconditioning scheme to nearly match or outperform best previous results based on other methods, which also furnishes an extremely simple quantum linear system algorithm with an optimal query complexity to $O_A$. Underlying our results is a new Variable Time Amplitude Amplification algorithm with Tunable thresholds (Tunable VTAA), which fully characterizes generic nested amplitude amplifications, improves the $\ell_1$-norm input cost scaling of Ambainis to an $\ell_{\frac{2}{3}}$-quasinorm scaling, and admits a deterministic amplification schedule for the quantum linear system problem.

Harrow-Hassidim-Lloyd algorithm without ancilla postselection

A survey on HHL algorithm: From theory to application in quantum machine learning

Enhancing the Harrow-Hassidim-Lloyd (HHL) algorithm in systems with large condition numbers

An Enhanced Hybrid HHL Algorithm

Solving Linear Systems on Quantum Hardware with Hybrid HHL++

The HHL algorithm: Implementation and research directions

Realization Of The Algorithm For System Of Linear Equations In Duality Quantum Computing

Detailed Error Analysis of the HHL Algorithm

Error convergence of quantum linear system solvers

Quantum resources in Harrow-Hassidim-Lloyd algorithm

Quantum linear systems algorithms: a primer

Reconsider HHL algorithm and its related quantum machine learning algorithms

Adapting the HHL algorithm to quantum many-body theory

Quantum Algorithm to Cubic Spline Interpolation

An HHL-based Algorithm for Computing Hitting Probabilities of Quantum Walks

Limitations of the Macaulay matrix approach for using the HHL algorithm to solve multivariate polynomial systems

Efficient Postprocessing Procedure for Evaluating Hamiltonian Expectation Values in Variational Quantum Eigensolver

Digital-analog co-design of the Harrow-Hassidim-Lloyd algorithm

Quantum linear system algorithm with optimal queries to initial state preparation

Step-by-Step HHL Algorithm Walkthrough to Enhance the Understanding of Critical Quantum Computing Concepts

Integrating Quantum Algorithms Into Classical Frameworks: A Predictor-corrector Approach Using HHL