aiqbench analysis
This paper establishes the first nontrivial quantum query lower bounds for triangle listing and multiplicative spanner construction, advancing the theoretical understanding of relational graph problems in the general graph query model. By extending existing recording frameworks to handle bidirectional oracles, the authors demonstrate that listing a constant fraction of triangles requires $\Omega(n^{3/2-o(1)})$ queries, setting new fundamental limits for these specific computational tasks. These results are significant for researchers exploring the inherent complexity of quantum algorithms applied to dense graph structures and their relationship to conjectures like Erdős's girth problem.
Quantum Query Lower Bounds for Triangle-Listing and Spanners
arXiv:2609.37091v1 Announce Type: new Abstract: This paper gives quantum query lower bounds for two relational graph problems, triangle listing and explicit multiplicative spanner construction, in the general graph query model, where quantum adjacency, degree and neighborhood queries are all available in arbitrary superposition. Both results are obtained by reductions via intermediate multi-block search problems. We extend the quantum query recording framework by Zhandry (CRYPTO 2019) and Hamoudi and Magniez (ToCT 2023) to handle a recording architecture for bidirectional oracles and give a generic blockwise soundness framework, which for arbitrary families of local accepting projectors, gives an exact operator-norm characterization of their maximum overlap with the subspace of bounded weight records. Using the intermediate search problems, we exhibit a family of $n$-vertex graphs with $\Theta(n)$ triangles on which listing any constant fraction of the triangles requires $\Omega(n^{3/2-o(1)})$ quantum queries. This is the first nontrivial quantum lower bound for triangle listing, a question raised by Jiang and Peng (ICML 2026). Further, we show that, for every fixed $k\ge 7$, constructing a multiplicative $k$-spanner requires $\Omega(n^{1+\frac{1}{2\mu_k}})$ quantum queries, where $\mu_k=k/3+O(1)$. For $k\in\{7,8\}$ the bound is $\Omega(n^{5/4})$, which matches what would be implied by an unproven instance of the Erd\H{o}s girth conjecture, and for large $k$ the exponent $1+\frac{3}{2k}$ exceeds the $1+\frac{4}{3k}$ implied by the provable high girth dense graphs due to Lazebnik, Ustimenko and Woldar, 1995.
Abstract:This paper gives quantum query lower bounds for two relational graph problems, triangle listing and explicit multiplicative spanner construction, in the general graph query model, where quantum adjacency, degree and neighborhood queries are all available in arbitrary superposition. Both results are obtained by reductions via intermediate multi-block search problems. We extend the quantum query recording framework by Zhandry (CRYPTO 2019) and Hamoudi and Magniez (ToCT 2023) to handle a recording architecture for bidirectional oracles and give a generic blockwise soundness framework, which for arbitrary families of local accepting projectors, gives an exact operator-norm characterization of their maximum overlap with the subspace of bounded weight records. Using the intermediate search problems, we exhibit a family of $n$-vertex graphs with $\Theta(n)$ triangles on which listing any constant fraction of the triangles requires $\Omega(n^{3/2-o(1)})$ quantum queries. This is the first nontrivial quantum lower bound for triangle listing, a question raised by Jiang and Peng (ICML 2026). Further, we show that, for every fixed $k\ge 7$, constructing a multiplicative $k$-spanner requires $\Omega(n^{1+\frac{1}{2\mu_k}})$ quantum queries, where $\mu_k=k/3+O(1)$. For $k\in\{7,8\}$ the bound is $\Omega(n^{5/4})$, which matches what would be implied by an unproven instance of the Erdős girth conjecture, and for large $k$ the exponent $1+\frac{3}{2k}$ exceeds the $1+\frac{4}{3k}$ implied by the provable high girth dense graphs due to Lazebnik, Ustimenko and Woldar, 1995.
arXiv:2609.37091 [quant-ph]
(or arXiv:2609.37091v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.37091 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.
Full text under the publisher's open licence · 309 words
Related coverage

Quantum Computers Speed up Network Analysis by Listing Triangles Faster
Quantum Zeitgeist · Jun 15, 2026
Quantum Algorithms for Triangle Cut Sparsification
arXiv · Jun 8, 2026
Quantum Algorithms for Triangle Cut Sparsification
arXiv · Jun 5, 2026
Improved Quantum Query Bounds for Boolean Matrix Product Verification
arXiv · Oct 1, 2026