2021/08/04 by Hajime Tanaka, Mohamed Sabri, Renato Portugal · 1 citation
Mathematics · Computer Science · Physics and Astronomy · #math.CO #cs.CC #quant-ph
paper · pdf · doi:10.1007/s11128-022-03417-9
published as Quantum Inf Process 21, 74 (2022) · 12 pages
arxiv created 2021/08/04 · arxiv updated 2022/02/01
Spatial search on graphs is one of the most important algorithmic applications of quantum walks. To show that a quantum-walk-based search is more efficient than a random-walk-based search is a difficult problem, which has been addressed in several ways. Usually, graph symmetries aid in the calculation of the algorithm's computational complexity, and Johnson graphs are an interesting class regarding symmetries because they are regular, Hamilton-connected, vertex- and distance-transitive. In this work, we show that spatial search on Johnson graphs by continuous-time quantum walk achieves the Grover lower bound π√(N)/2 with success probability 1 asymptotically for every fixed diameter, where N is the number of vertices. The proof is mathematically rigorous and can be used for other graph classes.