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.

Optimal Trace Distance and Fidelity Estimations for Pure Quantum States

Sample-Optimal Quantum Estimators for Pure-State Trace Distance and Fidelity via Samplizer

Fast Quantum Algorithms for Trace Distance Estimation

Quantum Algorithm for Fidelity Estimation

Estimating distinguishability measures on quantum computers

Direct Fidelity Estimation for Generic Quantum States

New Quantum Algorithms for Computing Quantum Entropies and Distances

Optimal fidelity estimation for density matrix

Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems

Sample-Optimal Tomography of Quantum States

Fidelity Estimation of Entangled Measurements with Local States

Efficient fidelity estimation: Alternative derivation and related applications

Asymptotically Optimal Quantum Amplitude Estimation by Generalized Qubitization

Quantum state tomography based on infidelity estimation

Fidelity estimation of quantum states on a silicon photonic chip

Quantum linear system algorithm with optimal queries to initial state preparation

Scalable Experimental Bounds for Dicke and GHZ States Fidelities

Quantum state preparation with optimal T-count

Experimental Optimal Verification of Entangled States Using Local Measurements

Versatile fidelity estimation with confidence