analiza aiqbench
The paper proves a worst-case lower bound showing that the quartic gap between quantum and best-known dequantized classical algorithms for linear algebra is tight, up to a logarithmic factor. This settles, for this query model, how much of the apparent quantum advantage survives classical "dequantization" with sampling and query access. Readers should note that the result is a worst-case query-complexity separation, not a demonstration of practical speedups on real hardware or real datasets.
The Quartic Gap Between Quantum and Dequantized Algorithms for Linear Algebra Is Tight
arXiv:2610.42069v1 Announce Type: new Abstract: Quantum algorithms for linear algebra that access a matrix $A$ through quantum random access memory (QRAM) prepare quantum states proportional to the solutions of linear systems and related problems. Dequantized classical algorithms, when given sampling and query access to $A$, return sampling and query access to an approximate solution. Both kinds of algorithms use a number of queries that is polynomial in the normalized Frobenius norm $\rho=\|A\|_F/\|A\|$ and does not directly depend on the dimension. For linear systems at fixed condition number and accuracy, quantum algorithms use $\widetilde O(\rho)$ queries, whereas the best dequantized algorithms use $\widetilde O(\rho^4)$. We prove that this quartic gap is tight in the worst case, up to a logarithmic factor. For every constant $\kappa_0>1$, we construct dense linear systems with condition number at most $\kappa_0$ for which sampling from the solution within a sufficiently small constant total variation distance requires $\Omega(\rho^4/\log\rho)$ classical queries but only $\Theta(\rho)$ quantum queries. The same separation holds, for errors below smaller thresholds, for positive-definite systems, least squares, ridge regression, matrix powers and square roots, imaginary-time and real-time Hamiltonian evolution, and sampling from the top principal component. Our results therefore show that many quantum algorithms for linear algebra, achieve a near-quartic speedup in the worst case, over classical algorithms with sampling and query access. All of these classical lower bounds follow from the same framework, which is based on a lower bound for sampling from distributions that depend on a fixed set of Fourier coefficients of an unknown Boolean function.
Abstract:Quantum algorithms for linear algebra that access a matrix $A$ through quantum random access memory (QRAM) prepare quantum states proportional to the solutions of linear systems and related problems. Dequantized classical algorithms, when given sampling and query access to $A$, return sampling and query access to an approximate solution. Both kinds of algorithms use a number of queries that is polynomial in the normalized Frobenius norm $\rho=\|A\|_F/\|A\|$ and does not directly depend on the dimension. For linear systems at fixed condition number and accuracy, quantum algorithms use $\widetilde O(\rho)$ queries, whereas the best dequantized algorithms use $\widetilde O(\rho^4)$. We prove that this quartic gap is tight in the worst case, up to a logarithmic factor. For every constant $\kappa_0>1$, we construct dense linear systems with condition number at most $\kappa_0$ for which sampling from the solution within a sufficiently small constant total variation distance requires $\Omega(\rho^4/\log\rho)$ classical queries but only $\Theta(\rho)$ quantum queries. The same separation holds, for errors below smaller thresholds, for positive-definite systems, least squares, ridge regression, matrix powers and square roots, imaginary-time and real-time Hamiltonian evolution, and sampling from the top principal component. Our results therefore show that many quantum algorithms for linear algebra, achieve a near-quartic speedup in the worst case, over classical algorithms with sampling and query access. All of these classical lower bounds follow from the same framework, which is based on a lower bound for sampling from distributions that depend on a fixed set of Fourier coefficients of an unknown Boolean function.
Quantum Physics (quant-ph); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
arXiv:2610.42069 [quant-ph]
(or arXiv:2610.42069v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2610.42069 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Text integral sub licența deschisă a publicației · 352 cuvinte
Subiecte conexe

On the quantum computational complexity of classical linear dynamics with geometrically local interactions: Dequantization and universality
Quantum Journal · 3 aug. 2026
A Quantum-Inspired Dequantization Method for Diagonally Weighted Matrix Functions: Application to Learning with Optimized Random Features
arXiv · 11 sept. 2026
Quantum Advantage in Topological Data Analysis via Mayer Homology
arXiv · 24 sept. 2026
Ground state energy estimation and preparation by the truncated power method
arXiv · 6 oct. 2026