2,508 research outputs found
Uselessness for an Oracle Model with Internal Randomness
We consider a generalization of the standard oracle model in which the oracle
acts on the target with a permutation selected according to internal random
coins. We describe several problems that are impossible to solve classically
but can be solved by a quantum algorithm using a single query; we show that
such infinity-vs-one separations between classical and quantum query
complexities can be constructed from much weaker separations.
We also give conditions to determine when oracle problems---either in the
standard model, or in any of the generalizations we consider---cannot be solved
with success probability better than random guessing would achieve. In the
oracle model with internal randomness where the goal is to gain any nonzero
advantage over guessing, we prove (roughly speaking) that quantum queries
are equivalent in power to classical queries, thus extending results of
Meyer and Pommersheim.Comment: 18 pages. v2. shortened, presentation improved, same result
On the Impossibility of Probabilistic Proofs in Relativized Worlds
We initiate the systematic study of probabilistic proofs in relativized worlds, where the goal is to understand, for a given oracle, the possibility of "non-trivial" proof systems for deterministic or nondeterministic computations that make queries to the oracle.
This question is intimately related to a recent line of work that seeks to improve the efficiency of probabilistic proofs for computations that use functionalities such as cryptographic hash functions and digital signatures, by instantiating them via constructions that are "friendly" to known constructions of probabilistic proofs. Informally, negative results about probabilistic proofs in relativized worlds provide evidence that this line of work is inherent and, conversely, positive results provide a way to bypass it.
We prove several impossibility results for probabilistic proofs relative to natural oracles. Our results provide strong evidence that tailoring certain natural functionalities to known probabilistic proofs is inherent
Immunity and Simplicity for Exact Counting and Other Counting Classes
Ko [RAIRO 24, 1990] and Bruschi [TCS 102, 1992] showed that in some
relativized world, PSPACE (in fact, ParityP) contains a set that is immune to
the polynomial hierarchy (PH). In this paper, we study and settle the question
of (relativized) separations with immunity for PH and the counting classes PP,
C_{=}P, and ParityP in all possible pairwise combinations. Our main result is
that there is an oracle A relative to which C_{=}P contains a set that is
immune to BPP^{ParityP}. In particular, this C_{=}P^A set is immune to PH^{A}
and ParityP^{A}. Strengthening results of Tor\'{a}n [J.ACM 38, 1991] and Green
[IPL 37, 1991], we also show that, in suitable relativizations, NP contains a
C_{=}P-immune set, and ParityP contains a PP^{PH}-immune set. This implies the
existence of a C_{=}P^{B}-simple set for some oracle B, which extends results
of Balc\'{a}zar et al. [SIAM J.Comp. 14, 1985; RAIRO 22, 1988] and provides the
first example of a simple set in a class not known to be contained in PH. Our
proof technique requires a circuit lower bound for ``exact counting'' that is
derived from Razborov's [Mat. Zametki 41, 1987] lower bound for majority.Comment: 20 page
Quantum algorithms for highly non-linear Boolean functions
Attempts to separate the power of classical and quantum models of computation
have a long history. The ultimate goal is to find exponential separations for
computational problems. However, such separations do not come a dime a dozen:
while there were some early successes in the form of hidden subgroup problems
for abelian groups--which generalize Shor's factoring algorithm perhaps most
faithfully--only for a handful of non-abelian groups efficient quantum
algorithms were found. Recently, problems have gotten increased attention that
seek to identify hidden sub-structures of other combinatorial and algebraic
objects besides groups. In this paper we provide new examples for exponential
separations by considering hidden shift problems that are defined for several
classes of highly non-linear Boolean functions. These so-called bent functions
arise in cryptography, where their property of having perfectly flat Fourier
spectra on the Boolean hypercube gives them resilience against certain types of
attack. We present new quantum algorithms that solve the hidden shift problems
for several well-known classes of bent functions in polynomial time and with a
constant number of queries, while the classical query complexity is shown to be
exponential. Our approach uses a technique that exploits the duality between
bent functions and their Fourier transforms.Comment: 15 pages, 1 figure, to appear in Proceedings of the 21st Annual
ACM-SIAM Symposium on Discrete Algorithms (SODA'10). This updated version of
the paper contains a new exponential separation between classical and quantum
query complexit
Exponential Quantum Speed-ups are Generic
A central problem in quantum computation is to understand which quantum
circuits are useful for exponential speed-ups over classical computation. We
address this question in the setting of query complexity and show that for
almost any sufficiently long quantum circuit one can construct a black-box
problem which is solved by the circuit with a constant number of quantum
queries, but which requires exponentially many classical queries, even if the
classical machine has the ability to postselect.
We prove the result in two steps. In the first, we show that almost any
element of an approximate unitary 3-design is useful to solve a certain
black-box problem efficiently. The problem is based on a recent oracle
construction of Aaronson and gives an exponential separation between quantum
and classical bounded-error with postselection query complexities.
In the second step, which may be of independent interest, we prove that
linear-sized random quantum circuits give an approximate unitary 3-design. The
key ingredient in the proof is a technique from quantum many-body theory to
lower bound the spectral gap of local quantum Hamiltonians.Comment: 24 pages. v2 minor correction
Quantum Query Algorithms are Completely Bounded Forms
We prove a characterization of -query quantum algorithms in terms of the
unit ball of a space of degree- polynomials. Based on this, we obtain a
refined notion of approximate polynomial degree that equals the quantum query
complexity, answering a question of Aaronson et al. (CCC'16). Our proof is
based on a fundamental result of Christensen and Sinclair (J. Funct. Anal.,
1987) that generalizes the well-known Stinespring representation for quantum
channels to multilinear forms. Using our characterization, we show that many
polynomials of degree four are far from those coming from two-query quantum
algorithms. We also give a simple and short proof of one of the results of
Aaronson et al. showing an equivalence between one-query quantum algorithms and
bounded quadratic polynomials.Comment: 24 pages, 3 figures. v2: 27 pages, minor changes in response to
referee comment
- …