Faster quantum-inspired algorithms for solving linear systems
- URL: http://arxiv.org/abs/2103.10309v2
- Date: Sat, 15 Apr 2023 21:53:08 GMT
- Title: Faster quantum-inspired algorithms for solving linear systems
- Authors: Changpeng Shao and Ashley Montanaro
- Abstract summary: We show that there is a classical algorithm that outputs a data structure for $x$ allowing sampling and querying to the entries.
This output can be viewed as a classical analogue to the output of quantum linear solvers.
- Score: 0.05076419064097732
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We establish an improved classical algorithm for solving linear systems in a
model analogous to the QRAM that is used by quantum linear solvers. Precisely,
for the linear system $A\x = \b$, we show that there is a classical algorithm
that outputs a data structure for $\x$ allowing sampling and querying to the
entries, where $\x$ is such that $\|\x - A^{+}\b\|\leq \epsilon \|A^{+}\b\|$.
This output can be viewed as a classical analogue to the output of quantum
linear solvers. The complexity of our algorithm is $\widetilde{O}(\kappa_F^4
\kappa^2/\epsilon^2 )$, where $\kappa_F = \|A\|_F\|A^{+}\|$ and $\kappa =
\|A\|\|A^{+}\|$. This improves the previous best algorithm [Gily{\'e}n, Song
and Tang, arXiv:2009.07268] of complexity $\widetilde{O}(\kappa_F^6
\kappa^6/\epsilon^4)$. Our algorithm is based on the randomized Kaczmarz
method, which is a particular case of stochastic gradient descent. We also find
that when $A$ is row sparse, this method already returns an approximate
solution $\x$ in time $\widetilde{O}(\kappa_F^2)$, while the best quantum
algorithm known returns $\ket{\x}$ in time $\widetilde{O}(\kappa_F)$ when $A$
is stored in the QRAM data structure. As a result, assuming access to QRAM and
if $A$ is row sparse, the speedup based on current quantum algorithms is
quadratic.
Related papers
- Quantum linear system algorithm with optimal queries to initial state preparation [0.0]
Quantum algorithms for linear systems produce the solution state $A-1|brangle$ by querying two oracles.
We present a quantum linear system algorithm making $mathbfThetaleft (1/sqrtpright)$ queries to $O_b$, which is optimal in the success probability.
In various applications such as solving differential equations, we can further improve the dependence on $p$ using a block preconditioning scheme.
arXiv Detail & Related papers (2024-10-23T18:00:01Z) - Quantum spectral method for gradient and Hessian estimation [4.193480001271463]
Gradient descent is one of the most basic algorithms for solving continuous optimization problems.
We propose a quantum algorithm that returns an $varepsilon$-approximation of its gradient with query complexity $widetildeO (1/varepsilon)$.
We also propose two quantum algorithms for Hessian estimation, aiming to improve quantum analogs of Newton's method.
arXiv Detail & Related papers (2024-07-04T11:03:48Z) - A shortcut to an optimal quantum linear system solver [55.2480439325792]
We give a conceptually simple quantum linear system solvers (QLSS) that does not use complex or difficult-to-analyze techniques.
If the solution norm $lVertboldsymbolxrVert$ is known exactly, our QLSS requires only a single application of kernel.
Alternatively, by reintroducing a concept from the adiabatic path-following technique, we show that $O(kappa)$ complexity can be achieved for norm estimation.
arXiv Detail & Related papers (2024-06-17T20:54:11Z) - Quantum speedups for linear programming via interior point methods [1.8434042562191815]
We describe a quantum algorithm for solving a linear program with $n$ inequality constraints on $d$ variables.
Our algorithm speeds up the Newton step in the state-of-the-art interior point method of Lee and Sidford.
arXiv Detail & Related papers (2023-11-06T16:00:07Z) - Do you know what q-means? [50.045011844765185]
Clustering is one of the most important tools for analysis of large datasets.
We present an improved version of the "$q$-means" algorithm for clustering.
We also present a "dequantized" algorithm for $varepsilon which runs in $Obig(frack2varepsilon2(sqrtkd + log(Nd))big.
arXiv Detail & Related papers (2023-08-18T17:52:12Z) - Fast and Practical Quantum-Inspired Classical Algorithms for Solving
Linear Systems [11.929584800629673]
We propose fast and practical quantum-inspired classical algorithms for solving linear systems.
Our main contribution is the application of the heavy ball momentum method to quantum-inspired classical algorithms for solving linear systems.
arXiv Detail & Related papers (2023-07-13T08:46:19Z) - An Optimal Algorithm for Strongly Convex Min-min Optimization [79.11017157526815]
Existing optimal first-order methods require $mathcalO(sqrtmaxkappa_x,kappa_y log 1/epsilon)$ of computations of both $nabla_x f(x,y)$ and $nabla_y f(x,y)$.
We propose a new algorithm that only requires $mathcalO(sqrtkappa_x log 1/epsilon)$ of computations of $nabla_x f(x,
arXiv Detail & Related papers (2022-12-29T19:26:12Z) - Sketching Algorithms and Lower Bounds for Ridge Regression [65.0720777731368]
We give a sketching-based iterative algorithm that computes $1+varepsilon$ approximate solutions for the ridge regression problem.
We also show that this algorithm can be used to give faster algorithms for kernel ridge regression.
arXiv Detail & Related papers (2022-04-13T22:18:47Z) - An improved quantum-inspired algorithm for linear regression [15.090593955414137]
We give a classical algorithm for linear regression analogous to the quantum matrix inversion algorithm.
We show that quantum computers can achieve at most a factor-of-12 speedup for linear regression in this QRAM data structure setting.
arXiv Detail & Related papers (2020-09-15T17:58:25Z) - Streaming Complexity of SVMs [110.63976030971106]
We study the space complexity of solving the bias-regularized SVM problem in the streaming model.
We show that for both problems, for dimensions of $frac1lambdaepsilon$, one can obtain streaming algorithms with spacely smaller than $frac1lambdaepsilon$.
arXiv Detail & Related papers (2020-07-07T17:10:00Z) - Agnostic Q-learning with Function Approximation in Deterministic
Systems: Tight Bounds on Approximation Error and Sample Complexity [94.37110094442136]
We study the problem of agnostic $Q$-learning with function approximation in deterministic systems.
We show that if $delta = Oleft(rho/sqrtdim_Eright)$, then one can find the optimal policy using $Oleft(dim_Eright)$.
arXiv Detail & Related papers (2020-02-17T18:41:49Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.