×

Quantum lower bounds by quantum arguments. (English) Zbl 1015.68075

Summary: We propose a new method for proving lower bounds on quantum query algorithms. Instead of a classical adversary that runs the algorithm with one input and then modifies the input, we use a quantum adversary that runs the algorithm with a superposition of inputs. If the algorithm works correctly, its state becomes entangled with the superposition over inputs. We bound the number of queries needed to achieve a sufficient entanglement and this implies a lower bound on the number of queries for the computation. Using this method, we prove two new \(\Omega(\sqrt N)\) lower bounds on computing AND of ORs and inverting a permutation and also provide more uniform proofs for several known lower bounds which have been previously proven via a variety of different techniques.

MSC:

68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

References:

[1] Ambainis, A., A better lower bound for quantum algorithms searching an ordered list, Proceedings of FOCS’99 (1999), p. 352-357
[2] Ambainis, A.; Schulman, L.; Ta-Shma, A.; Vazirani, U.; Wigderson, A., Quantum communication of complexity of sampling, Proceedings of FOCS’98 (1998), p. 342-351
[3] Beals, R.; Buhrman, H.; Cleve, R.; Mosca, M.; de Wolf, R., Quantum lower bounds by polynomials, Proceedings of FOCS’98 (1998), p. 352-361
[4] Bennett, C.; Bernstein, E.; Brassard, G.; Vazirani, U., Strengths and weaknesses of quantum computing, SIAM J. Comput., 26, 1510-1523 (1997) · Zbl 0895.68044
[5] Bose, S.; Rallan, L.; Vedral, V., Communication capacity of quantum information, Phys. Rev. Lett., 85, 5448-5451 (2000) · Zbl 1223.81102
[6] Brassard, G.; Høyer, P.; Tapp, A., Quantum algorithm for the collision problem, ACM SIGACT News (Cryptology Column), 28, 14-19 (1997)
[7] Buhrman, H.; Cleve, R.; de Wolf, R.; Zalka, C., Bounds for small-error and zero-error quantum algorithms, Proceedings of FOCS’99 (1999), p. 358-368
[8] Buhrman, H.; Cleve, R.; Wigderson, A., Quantum vs. classical communication and computation, Proceedings of STOC’98 (1998), p. 63-68 · Zbl 1028.68056
[9] H. Buhrman, C. Durr, M. Heiligman, P. Hoyer, F. Magniez, M. Santha, and R. de Wolf, Quantum algorithms for element distinctness, in Proceedings of CCC’01, pp. 131-137. Also quant-ph/0007061.; H. Buhrman, C. Durr, M. Heiligman, P. Hoyer, F. Magniez, M. Santha, and R. de Wolf, Quantum algorithms for element distinctness, in Proceedings of CCC’01, pp. 131-137. Also quant-ph/0007061. · Zbl 1081.68029
[10] H. Buhrman and R. de Wolf, Communication complexity lower bounds by polynomials, in Proceedings of CCC’01, pp. 120-130. Also cs.CC/9910010.; H. Buhrman and R. de Wolf, Communication complexity lower bounds by polynomials, in Proceedings of CCC’01, pp. 120-130. Also cs.CC/9910010.
[11] Farhi, E.; Gutmann, S., An analog analogue of a digital quantum computation, Phys. Rev. A, 2403-2406 (1996)
[12] Farhi, E.; Goldstone, J.; Gutmann, S.; Sipser, M., A limit on the speed of quantum computation in determining parity, Phys Rev. Lett., 81, 5442-5444 (1998)
[13] Grover, L., A fast quantum mechanical algorithm for database search, Proceedings of the 28th ACM Symposium on Theory of Computing (1996), p. 212-219 · Zbl 0922.68044
[14] L. Grover, How fast can a quantum computer search?, quant-ph/9809029.; L. Grover, How fast can a quantum computer search?, quant-ph/9809029.
[15] Hoyer, P.; Neerbek, J.; Shi, Y., Quantum bounds for ordered searching and sorting, and element distinctness, Lecture Notes in Computer Science, 2076, 346-357 (2001) · Zbl 0987.68041
[16] A. Yu, Kitaev, Quantum measurements and the Abelian stabilizer problem, quant-ph/9511026.; A. Yu, Kitaev, Quantum measurements and the Abelian stabilizer problem, quant-ph/9511026.
[17] Kalyanasundaram, B.; Schnitger, G., The probabilistic communication complexity of set intersection, SIAM J. Discrete Mathematics, 5, 545-557 (1992) · Zbl 0760.68040
[18] A. Nayak and F. Wu, The quantum query complexity of approximating the median and related statistics, in Proceedings of STOC’99, pp. 343-393. Also quant-ph/98104066.; A. Nayak and F. Wu, The quantum query complexity of approximating the median and related statistics, in Proceedings of STOC’99, pp. 343-393. Also quant-ph/98104066. · Zbl 1345.68141
[19] Nissan, N., CREW PRAM and decision trees, SIAM J. Comput., 20, 999-1007 (1991) · Zbl 0737.68028
[20] Razborov, A., On the distributional complexity of disjointness, Theoret. Comput. Sci., 106, 385-390 (1992) · Zbl 0787.68055
[21] Shi, Y., Lower bounds of quantum black-box complexity and degree of approximation polynomials by influence of Boolean variables, Inform. Process. Lett., 75, 79-83 (2000) · Zbl 1339.68093
[22] Shor, P., Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer, SIAM J. Comput., 26, 1484-1509 (1997) · Zbl 1005.11065
[23] Vazirani, U., On the power of quantum computation, Philos. Trans. Roy. Soc. London, Ser. A: Math. Phys. Sci., 356, 1759-1768 (1998)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.