English

Quantum property testing in sparse directed graphs

Quantum Physics 2025-11-27 v3 Data Structures and Algorithms

Abstract

We initiate the study of quantum property testing in sparse directed graphs, and more particularly in the unidirectional model, where the algorithm is allowed to query only the outgoing edges of a vertex. In the classical unidirectional model, the problem of testing kk-star-freeness, and more generally kk-source-subgraph-freeness, is almost maximally hard for large kk. We prove that this problem has almost quadratic advantage in the quantum setting. Moreover, we show that this advantage is nearly tight, by showing a quantum lower bound using the method of dual polynomials on an intermediate problem for a new, property testing version of the kk-collision problem that was not studied before. To illustrate that not all problems in graph property testing admit such a quantum speedup, we consider the problem of 33-colorability in the related undirected bounded-degree model, when graphs are now undirected. This problem is maximally hard to test classically, and we show that also quantumly it requires a linear number of queries.

Keywords

Cite

@article{arxiv.2410.05001,
  title  = {Quantum property testing in sparse directed graphs},
  author = {Simon Apers and Frédéric Magniez and Sayantan Sen and Dániel Szabó},
  journal= {arXiv preprint arXiv:2410.05001},
  year   = {2025}
}

Comments

34 pages. Minor updates from previous version