13,345 research outputs found
Quantum Bounded Query Complexity
We combine the classical notions and techniques for bounded query classes
with those developed in quantum computing. We give strong evidence that quantum
queries to an oracle in the class NP does indeed reduce the query complexity of
decision problems. Under traditional complexity assumptions, we obtain an
exponential speedup between the quantum and the classical query complexity of
function classes.
For decision problems and function classes we obtain the following results: o
P_||^NP[2k] is included in EQP_||^NP[k] o P_||^NP[2^(k+1)-2] is included in
EQP^NP[k] o FP_||^NP[2^(k+1)-2] is included in FEQP^NP[2k] o FP_||^NP is
included in FEQP^NP[O(log n)] For sets A that are many-one complete for PSPACE
or EXP we show that FP^A is included in FEQP^A[1]. Sets A that are many-one
complete for PP have the property that FP_||^A is included in FEQP^A[1]. In
general we prove that for any set A there is a set X such that FP^A is included
in FEQP^X[1], establishing that no set is superterse in the quantum setting.Comment: 11 pages LaTeX2e, no figures, accepted for CoCo'9
Separations in Query Complexity Based on Pointer Functions
In 1986, Saks and Wigderson conjectured that the largest separation between
deterministic and zero-error randomized query complexity for a total boolean
function is given by the function on bits defined by a complete
binary tree of NAND gates of depth , which achieves . We show this is false by giving an example of a total
boolean function on bits whose deterministic query complexity is
while its zero-error randomized query complexity is . We further show that the quantum query complexity of the same
function is , giving the first example of a total function
with a super-quadratic gap between its quantum and deterministic query
complexities.
We also construct a total boolean function on variables that has
zero-error randomized query complexity and bounded-error
randomized query complexity . This is the first
super-linear separation between these two complexity measures. The exact
quantum query complexity of the same function is .
These two functions show that the relations and are optimal, up to poly-logarithmic factors. Further
variations of these functions give additional separations between other query
complexity measures: a cubic separation between and , a -power
separation between and , and a 4th power separation between
approximate degree and bounded-error randomized query complexity.
All of these examples are variants of a function recently introduced by
\goos, Pitassi, and Watson which they used to separate the unambiguous
1-certificate complexity from deterministic query complexity and to resolve the
famous Clique versus Independent Set problem in communication complexity.Comment: 25 pages, 6 figures. Version 3 improves separation between Q_E and
R_0 and updates reference
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
A Survey of Quantum Learning Theory
This paper surveys quantum learning theory: the theoretical aspects of
machine learning using quantum computers. We describe the main results known
for three models of learning: exact learning from membership queries, and
Probably Approximately Correct (PAC) and agnostic learning from classical or
quantum examples.Comment: 26 pages LaTeX. v2: many small changes to improve the presentation.
This version will appear as Complexity Theory Column in SIGACT News in June
2017. v3: fixed a small ambiguity in the definition of gamma(C) and updated a
referenc
Improved Bounds on Quantum Learning Algorithms
In this article we give several new results on the complexity of algorithms
that learn Boolean functions from quantum queries and quantum examples.
Hunziker et al. conjectured that for any class C of Boolean functions, the
number of quantum black-box queries which are required to exactly identify an
unknown function from C is ,
where is a combinatorial parameter of the class C. We
essentially resolve this conjecture in the affirmative by giving a quantum
algorithm that, for any class C, identifies any unknown function from C using
quantum black-box
queries.
We consider a range of natural problems intermediate between the exact
learning problem (in which the learner must obtain all bits of information
about the black-box function) and the usual problem of computing a predicate
(in which the learner must obtain only one bit of information about the
black-box function). We give positive and negative results on when the quantum
and classical query complexities of these intermediate problems are
polynomially related to each other.
Finally, we improve the known lower bounds on the number of quantum examples
(as opposed to quantum black-box queries) required for -PAC
learning any concept class of Vapnik-Chervonenkis dimension d over the domain
from to . This new lower bound comes
closer to matching known upper bounds for classical PAC learning.Comment: Minor corrections. 18 pages. To appear in Quantum Information
Processing. Requires: algorithm.sty, algorithmic.sty to buil
Two new results about quantum exact learning
We present two new results about exact learning by quantum computers. First,
we show how to exactly learn a -Fourier-sparse -bit Boolean function from
uniform quantum examples for that function. This
improves over the bound of uniformly random classical
examples (Haviv and Regev, CCC'15). Our main tool is an improvement of Chang's
lemma for the special case of sparse functions. Second, we show that if a
concept class can be exactly learned using quantum membership
queries, then it can also be learned using classical membership queries. This improves the
previous-best simulation result (Servedio and Gortler, SICOMP'04) by a -factor.Comment: v3: 21 pages. Small corrections and clarification
On the uselessness of quantum queries
Given a prior probability distribution over a set of possible oracle
functions, we define a number of queries to be useless for determining some
property of the function if the probability that the function has the property
is unchanged after the oracle responds to the queries. A familiar example is
the parity of a uniformly random Boolean-valued function over ,
for which classical queries are useless. We prove that if classical
queries are useless for some oracle problem, then quantum queries are also
useless. For such problems, which include classical threshold secret sharing
schemes, our result also gives a new way to obtain a lower bound on the quantum
query complexity, even in cases where neither the function nor the property to
be determined is Boolean
- …