loading...
Quantum Lower Bounds by Polynomials
Palo Alto, California November 08-November 11
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.1998.74348539th Annual Symposium on Foundations ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Robert Beals, University of Arizona
Richard Cleve, University of Calgary
Michele Mosca, University of Oxford
Ronald de Wolf, CWI and University of Amsterdam
We examine the number T of queries that a quantum network requires to compute several Boolean functions on {0,1}^N in the black-box model. We show that, in the black-box model, the exponential quantum speed-up obtained for partial functions (i.e. problems involving a promise on the input) by Deutsch and Jozsa and by Simon cannot be obtained for any total function: if a quantum algorithm computes some total Boolean function f with bounded-error using T black-box queries then there is a classical deterministic algorithm that computes f exactly with O(T^6) queries. We also give asymptotically tight characterizations of T for all symmetric f in the exact, zero-error, and bounded-error settings. Finally, we give new precise bounds for AND, OR, and PARITY. Our results are a quantum extension of the so-called polynomial method, which has been successfully applied in classical complexity theory, and also a quantum extension of results by Nisan about a polynomial relationship between randomized and deterministic decision tree complexity.
Index Terms:
Quantum computation, Complexity theory, Decision trees, Black-box computation
Citation:
Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, Ronald de Wolf, "Quantum Lower Bounds by Polynomials," focs, pp.352, 39th Annual Symposium on Foundations of Computer Science, 1998
Usage of this product signifies your acceptance of the Terms of Use.