1,071 research outputs found
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
Discrete-Query Quantum Algorithm for NAND Trees
This is a comment on the article “A Quantum Algorithm for the Hamiltonian NAND Tree” by Edward Farhi, Jeffrey Goldstone, and Sam Gutmann, Theory of Computing 4 (2008) 169--190. That paper gave a quantum algorithm for evaluating NAND trees with running time O(√N) in the Hamiltonian query model. In this note, we point out that their algorithm can be converted into an algorithm using N^[1/2 + o(1)] queries in the conventional (discrete) quantum query model
A lower bound on the quantum query complexity of read-once functions
We establish a lower bound of on the bounded-error
quantum query complexity of read-once Boolean functions, providing evidence for
the conjecture that is a lower bound for all Boolean
functions. Our technique extends a result of Ambainis, based on the idea that
successful computation of a function requires ``decoherence'' of initially
coherently superposed inputs in the query register, having different values of
the function. The number of queries is bounded by comparing the required total
amount of decoherence of a judiciously selected set of input-output pairs to an
upper bound on the amount achievable in a single query step. We use an
extension of this result to general weights on input pairs, and general
superpositions of inputs.Comment: 12 pages, LaTe
DNF Sparsification and a Faster Deterministic Counting Algorithm
Given a DNF formula on n variables, the two natural size measures are the
number of terms or size s(f), and the maximum width of a term w(f). It is
folklore that short DNF formulas can be made narrow. We prove a converse,
showing that narrow formulas can be sparsified. More precisely, any width w DNF
irrespective of its size can be -approximated by a width DNF with
at most terms.
We combine our sparsification result with the work of Luby and Velikovic to
give a faster deterministic algorithm for approximately counting the number of
satisfying solutions to a DNF. Given a formula on n variables with poly(n)
terms, we give a deterministic time algorithm
that computes an additive approximation to the fraction of
satisfying assignments of f for \epsilon = 1/\poly(\log n). The previous best
result due to Luby and Velickovic from nearly two decades ago had a run-time of
.Comment: To appear in the IEEE Conference on Computational Complexity, 201
Towards Better Separation between Deterministic and Randomized Query Complexity
We show that there exists a Boolean function which observes the following
separations among deterministic query complexity , randomized zero
error query complexity and randomized one-sided error query
complexity : and
. This refutes the conjecture made by Saks
and Wigderson that for any Boolean function ,
. This also shows widest separation between
and for any Boolean function. The function was defined by
G{\"{o}}{\"{o}}s, Pitassi and Watson who studied it for showing a separation
between deterministic decision tree complexity and unambiguous
non-deterministic decision tree complexity. Independently of us, Ambainis et al
proved that different variants of the function certify optimal (quadratic)
separation between and , and polynomial separation between
and . Viewed as separation results, our results are subsumed
by those of Ambainis et al. However, while the functions considerd in the work
of Ambainis et al are different variants of , we work with the original
function itself.Comment: Reference adde
- …