Comparative Computational Strength of Quantum Oracles

Abstract

It is an established fact that for many of the interesting problems quantum algorithms based on queries of the standard oracle bring no significant improvement in comparison to known classical algorithms. It is conceivable that there are other oracles of algorithmic importance acting in a less intuitive fashion to which such limitations do not apply. Thus motivated this article suggests a broader understanding towards what a general quantum oracle is. We propose a general definition of a quantum oracle and give a classification of quantum oracles based on the behavior of the eigenvalues and eigenvectors of their queries. Our aim is to determine the computational characteristics of a quantum oracle in terms of these eigenvalues and eigenvectors. Within this framework we attempt to describe the class of quantum oracles that are efficiently simulated by the standard oracle and compare the computational strength of different kinds of quantum oracles by an adversary argument using trigonometric polynomials.