While the quantum query complexity of k-distinctness is known to be O(n3/4-1/4(2k-1)) for any constant k≥ 4 [Belovs, FOCS 2012], the best previous upper bound on the time complexity was O(n1-1/k). We give a new upper bound of O(n3/4-1/4(2k-1)) on the time complexity, matching the query complexity up to polylogarithmic factors. In order to achieve this upper bound, we give a new technique for designing quantum walk search algorithms, which is an extension of the electric network framework. We also show how to solve the welded trees problem in O(n) queries and O(n2) time using this new technique, showing that the new quantum walk framework can achieve exponential speedups.

, , , , ,
doi.org/10.1145/3564246.3585158
Quantum time-space tradeoff lower bounds , ASC-Q
55th Annual ACM Symposium on Theory of Computing, STOC 2023
,

Jeffery, S., & Zur, S. (2023). Multidimensional quantum walks. In Proceedings of the annual ACM symposium on Theory of Computing (pp. 1125–1130). doi:10.1145/3564246.3585158