Robust Quantum Algorithms with epsilon-Biased Oracles

This paper considers the quantum query complexity of e-biased oracles that return the correct value with probability only 1/2 + e. In particular, we show a quantum algorithm to compute N-bit OR functions with $O(\sqrt{N}/{\varepsilon})$ queries to e-biased oracles. This improves the known upper bound of $O(\sqrt{N}/{\varepsilon}^2)$ and matches the known lower bound; we answer the conjecture raised by the paper [1] affirmatively. We also show a quantum algorithm to cope with the situation in which we have no knowledge about the value of e. This contrasts with the corresponding classical situation, where it is almost hopeless to achieve more than a constant success probability without knowing the value of e.

[1]  Andris Ambainis,et al.  Quantum lower bounds by quantum arguments , 2000, STOC '00.

[2]  Richard Cleve,et al.  A Quantum Goldreich-Levin Theorem with Cryptographic Applications , 2002, STACS.

[3]  G. Brassard,et al.  Quantum Amplitude Amplification and Estimation , 2000, quant-ph/0005055.

[4]  Ronald de Wolf,et al.  Quantum Search on Bounded-Error Inputs , 2003, ICALP.

[5]  Kazuo Iwama,et al.  General Bounds for Quantum Biased Oracles , 2005 .

[6]  Masaki Nakanishi,et al.  Robust Quantum Algorithms with $\eps$-Biased Oracles , 2006 .

[7]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[8]  Gilles Brassard,et al.  Tight bounds on quantum searching , 1996, quant-ph/9605034.

[9]  Frédéric Magniez,et al.  Quantum algorithms for element distinctness , 2000, Proceedings 16th Annual IEEE Conference on Computational Complexity.

[10]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[11]  Andris Ambainis Quantum Walk Algorithm for Element Distinctness , 2004, FOCS.

[12]  Yaoyun Shi,et al.  Quantum lower bounds for the collision and the element distinctness problems , 2001, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[13]  Ronald de Wolf,et al.  Quantum lower bounds by polynomials , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[14]  Eli Upfal,et al.  Computing with Noisy Information , 1994, SIAM J. Comput..

[15]  Andris Ambainis,et al.  Quantum Search of Spatial Regions , 2005, Theory Comput..

[16]  Ronald de Wolf,et al.  Robust Polynomials and Quantum Algorithms , 2005, STACS.