Abstract:Given a linear system of equations $A\boldsymbol{x}=\boldsymbol{b}$, quantum linear system solvers (QLSSs) approximately prepare a quantum state $|\boldsymbol{x}\rangle$ for which the amplitudes are proportional to the solution vector $\boldsymbol{x}$. Asymptotically optimal QLSSs have query complexity $O(\kappa \log(1/\varepsilon))$, where $\kappa$ is the condition number of $A$, and $\varepsilon$ is the approximation error. However, runtime guarantees for existing optimal and near-optimal QLSSs do not have favorable constant prefactors, in part because they rely on complex or difficult-to-analyze techniques like variable-time amplitude amplification and adiabatic path-following. Here, we give a conceptually simple QLSS that does not use these techniques. If the solution norm $\lVert\boldsymbol{x}\rVert$ is known exactly, our QLSS requires only a single application of kernel reflection (a straightforward extension of the eigenstate filtering (EF) technique of previous work) and the query complexity of the QLSS is $(1+O(\varepsilon))\kappa \ln(2\sqrt{2}/\varepsilon)$. If the norm is unknown, our method allows it to be estimated up to a constant factor using $O(\log\log(\kappa))$ applications of kernel projection (a direct generalization of EF) yielding a straightforward QLSS with near-optimal $O(\kappa \log\log(\kappa)\log\log\log(\kappa)+\kappa\log(1/\varepsilon))$ total complexity. Alternatively, by reintroducing a concept from the adiabatic path-following technique, we show that $O(\kappa)$ complexity can be achieved for norm estimation, yielding an optimal QLSS with $O(\kappa\log(1/\varepsilon))$ complexity while still avoiding the need to invoke the adiabatic theorem. Finally, we compute an explicit upper bound of $56\kappa+1.05\kappa \ln(1/\varepsilon)+o(\kappa)$ for the complexity of our optimal QLSS.

On the complexity of IQML algorithms

Joint Estimation of Channel and I/Q Imbalance in Massive MIMO: A Two-Timescale Optimization Approach

A Low Complexity Near Maximum Likelihood VBLAST Algorithm for MIMO Systems.

On Sampling Algorithms in Multilevel QR Factorization Method for Magnetoquasistatic Analysis of Integrated Circuits over Multilayered Lossy Substrates

Performance Analysis of the Gaussian Quasi-Maximum Likelihood Approach for Independent Vector Analysis

A shortcut to an optimal quantum linear system solver

Spurious Solution of the Maximum Likelihood Approach to Ica

Complexity Analysis of Regularization Methods for Implicitly Constrained Least Squares

A Covariance-Free Strictly Complex-Valued Relevance Vector Machine for Reducing the Order of Linear Time-Invariant Systems

On the Weighting Method for Mixed Least Squares–total Least Squares Problems

An Inexact Feasible Quantum Interior Point Method for Linearly Constrained Quadratic Optimization

Quantum generalized least squares method in system identification

A Computational Study of Using Black-box QR Solvers for Large-scale Sparse-dense Linear Least Squares Problems

Efficient Use of Quantum Linear System Algorithms in Inexact Infeasible IPMs for Linear Optimization

Integral Quadratic Constraints with Infinite-Dimensional Channels

A New Implementation of LSMR Algorithm for the Quaternionic Least Squares Problem

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

On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers

Computation of the Maximal Invariant Set of Linear Systems with Quasi-Smooth Nonlinear Constraints.

Computation of the Maximum Likelihood estimator in low-rank Factor Analysis