The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been determined asymptotically for all fixed d≥5, but the lower dimensional cases present special difficulties, and considerable gaps exist in our knowledge. In the present paper we present near-optimal lower bounds, showing that the quantum query complexity for the 2-dimensional grid [n]2 is Ω(n1/2−δ), and that for the 3-dimensional grid [n]3 is Ω(n1−δ), for any fixed δ>0.
A general lower bound approach for this problem, initiated by Aaronson (based on Ambainis’ adversary method for quantum lower bounds), uses random walks with low collision probabilities. This approach encounters obstacles in deriving tight lower bounds in low dimensions due to the lack of degrees of freedom in such spaces. We solve this problem by the novel construction and analysis of random walks with non-uniform step lengths. The proof employs in a nontrivial way sophisticated results of Sárközy and Szemerédi, Bose and Chowla, and Halász from combinatorial number theory, as well as less familiar probability tools like Esseen’s Inequality.
Local search Quantum query complexity
This is a preview of subscription content, log in to check access.
Chen, X., Deng, X.: On algorithms for discrete and approximate brouwer fixed points. In: Proc. of the 37th Annual ACM Symposium on Theory of Computing, pp. 323–330. Assoc. Comput. Mach., New York (2005)
Friedl, K., Ivanyos, G., Santha, M., Verhoeven, Y.: On the black-box complexity of Sperner’s Lemma. In: Proc. of the 15th International Symposium on Fundamentals of Computation Theory, pp. 245–257. Springer, Berlin (2005)
Halász, G.: Estimates for the concentration function of combinatorial number theory and probability. Period. Math. Hung. 8(3–4), 197–211 (1977)
Santha, M., Szegedy, M.: Quantum and classical query complexities of local search are polynomially related. In: Proc. of the 36th Annual ACM Symposium on Theory of Computing, pp. 494–501. Assoc. Comput. Mach., New York (2004)
Zhang, S.: New upper and lower bounds for randomized and quantum Local Search. In: Proc. of the 38th ACM Symposium on Theory of Computing, pp. 634–643. Assoc. Comput. Mach., New York (2006)