Quantum Complexities of Ordered Searching, Sorting, and Element Distinctness
We consider the quantum complexities of the following three problems: searching an ordered list, sorting an un-ordered list, and deciding whether the numbers in a list are all distinct. Letting N be the number of elements in the input list, we prove a lower bound of 1/π(ln(N) - 1) accesses to the list elements for ordered searching, a lower bound of Ω(N logN) binary comparisons for sorting, and a lower bound of Ω(√N logN) binary comparisons for element distinctness. The previously best known lower bounds are 1/12 log2(N) - O(1) due to Ambainis, Ω(N), and Ω(√N), respectively. Our proofs are based on a weighted all-pairs inner product argument.
In addition to our lower bound results, we give a quantum algorithm for ordered searching using roughly 0:631 log2(N) oracle accesses. Our algorithm uses a quantum routine for traversing through a binary search tree faster than classically, and it is of a nature very different from a faster algorithm due to Farhi, Goldstone, Gutmann, and Sipser.
KeywordsQuantum Algorithm Query Operator Binary Search Tree Quantum Search Quantum Complexity
Unable to display preview. Download preview PDF.
- 1.Ambainis, A.: A better lower bound for quantum algorithms searching an ordered list. Proc. of 40th IEEE FOCS (1999) 352–357Google Scholar
- 2.Ambainis, A.: Quantum lower bounds by quantum arguments. Proc. of 32nd ACM STOC (2000) 636–643Google Scholar
- 3.Beals, R., Buhrman, H., Cleve, R., Mosca, M., DE Wolf, R.: Quantum lower bounds by polynomials. Proc. of 39th IEEE FOCS (1998) 352–361Google Scholar
- 7.Brassard, G., Høyer, P., Mosca, M., Tapp, A.: Quantum amplitude amplification and estimation. quant-ph/0005055, 2000Google Scholar
- 8.Buhrman, H., Dürr, C., Heiligman, M., Høyer, P., Magniez, F., Santha, M., DE Wolf, R.: Quantum algorithms for element distinctness. Proc. of 16th IEEE Computational Complexity (2001) (to appear)Google Scholar
- 11.Farhi, E., Goldstone, J., Gutmann, S., Sipser, M.: A limit on the speed of quantum computation for insertion into an ordered list. quant-ph/9812057, 1998Google Scholar
- 12.Farhi, E., Goldstone, J., Gutmann, S., Sipser, M.: Invariant quantum algorithms for insertion into an ordered list. quant-ph/9901059, 1999Google Scholar
- 15.Jozsa, R., Schlienz, J.: Distinguishability of states and von Neumann entropy. Phys. Rev. A 62 (2000) 012301Google Scholar
- 17.Vedral, V.: The role of relative entropy in quantum information theory. quant-ph/0102094, 2001Google Scholar