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.

Orthonormalized Eigenstates of the Quantum Operator Ak and Their Nonclassical Properties.

Orthonormalization Eigenstates of Akand Their Quantum Statistical Characters

Higher-Order Squeezing Properties of One Class of Eigenstates

Properties of the States Generated by the Excitations on A Q-Coherent State

Lower- versus higher-order nonclassicalities for a coherent superposed quantum state

Coherent states for ladder operators of general order related to exceptional orthogonal polynomials

Defining coherent states: why must they be eigenstates of the annihilation operator?

The High-order Squeezing of Orthonormalization Eigenstates of a 4

Superposition of Generalized Q-Coherent States of the Non-harmonicOscillator and Their Nonclassical Properties

Nonclassical Property of Inverse Coordinate Operator Excited Coherent States

Quantum linear system algorithm with optimal queries to initial state preparation

Approximate orthogonality of permutation operators, with application to quantum information

Normal and anti-normal ordered expressions for annihilation and creation operators

Quantum statistics properties of coherent states associated with q-analogue bosom inverse operators

Detecting nonclassicality and non-Gaussianity of a coherent superposed quantum state

Quantum $k$-uniform states from quantum orthogonal arrays

Physics Of A Kind Of Normally Ordered Gaussian Operators In Quantum Optics

The Quantum Statistical Properties of A Class of Superposed Q-Deformed Generalized Coherent States

Lower-vs-Higher Order Non-classicality of Photon-added Bell-type Entangled Coherent States

Uniform Asymptotics of Orthogonal Polynomials Arising from Coherent States

New Angular Momentum State Via the Bosonic Operator Realization and Its Nonclassical Property