analiza aiqbench
This paper establishes a rigorous lower bound for Quantum Linear System (QLS) solvers that explicitly captures the dependence on matrix sparsity ($s$), correcting previous folklore assumptions about query complexity. By proving an $\Omega(\kappa\sqrt{s})$ limit, the work provides a critical theoretical foundation for understanding the fundamental performance limits of quantum algorithms in machine learning and differential equation solving. This result is essential for researchers aiming to optimize QLS solvers and accurately assess their potential advantages over classical methods.
Sparsity-dependent Complexity Lower Bound of Quantum Linear System Solvers
arXiv:2601.16697v2 Announce Type: replace Abstract: Quantum linear system (QLS) solvers are a fundamental class of quantum algorithms used in many potential quantum computing applications, including machine learning and solving differential equations. The performance of quantum algorithms is often measured by their query complexity, which quantifies the number of oracle calls required to access the input. The main parameters determining the complexity of QLS solvers are the condition number $\kappa$ and sparsity $s$ of the linear system, and the target error $\epsilon$. To date, the best known query-complexity lower bound is $\Omega(\kappa\log(1/\epsilon))$, which establishes the optimality of the most recent QLS solvers. The original proof of this lower bound is attributed to Harrow and Kothari, but their result is unpublished. Furthermore, when discussing a more general lower bound including the sparsity $s$ of the linear system, it has become folklore that it should read as $\Omega( \kappa \sqrt{s}\log(1/\epsilon))$. In this work, we establish the rigorous lower bound capturing the sparsity dependence of QLS. We prove the lower bound of $\Omega(\kappa\sqrt{s})$ for any quantum algorithm that solves QLS with constant error. While the dependence on all parameters $\kappa,s,\epsilon$ remains an open problem, our result provides a crucial stepping stone toward the complete characterization of QLS complexity.
Abstract:Quantum linear system (QLS) solvers are a fundamental class of quantum algorithms used in many potential quantum computing applications, including machine learning and solving differential equations. The performance of quantum algorithms is often measured by their query complexity, which quantifies the number of oracle calls required to access the input. The main parameters determining the complexity of QLS solvers are the condition number $\kappa$ and sparsity $s$ of the linear system, and the target error $\epsilon$. To date, the best known query-complexity lower bound is $\Omega(\kappa\log(1/\epsilon))$, which establishes the optimality of the most recent QLS solvers. The original proof of this lower bound is attributed to Harrow and Kothari, but their result is unpublished. Furthermore, when discussing a more general lower bound including the sparsity $s$ of the linear system, it has become folklore that it should read as $\Omega( \kappa \sqrt{s}\log(1/\epsilon))$. In this work, we establish the rigorous lower bound capturing the sparsity dependence of QLS. We prove the lower bound of $\Omega(\kappa\sqrt{s})$ for any quantum algorithm that solves QLS with constant error. While the dependence on all parameters $\kappa,s,\epsilon$ remains an open problem, our result provides a crucial stepping stone toward the complete characterization of QLS complexity.
arXiv:2601.16697 [quant-ph]
(or arXiv:2601.16697v2 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2601.16697 Focus to learn more arXiv-issued DOI via DataCite
Quantum Sci. Technol. 11 035063 (2026)
https://doi.org/10.1088/2058-9565/ae89e0 Focus to learn more DOI(s) linking to related resources
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 · 304 cuvinte
Subiecte conexe
A Near-Optimal Joint Lower Bound for Sparse Quantum Linear System Solvers
arXiv · 22 sept. 2026

Exploding variance of means of exponentials: least-squares to the rescue – Machine Learning Research Blog
francisbach.com · 27 sept. 2026

Researchers set a lower bound for quantum equation solving
Quantum Zeitgeist · 5 aug. 2026
Root-sparsity scaling for Hamiltonian simulation, differential equations and linear-system solvers
arXiv · 5 oct. 2026