2 research outputs found
The zero-error randomized query complexity of the pointer function
The pointer function of G{\"{o}}{\"{o}}s, Pitassi and Watson
\cite{DBLP:journals/eccc/GoosP015a} and its variants have recently been used to
prove separation results among various measures of complexity such as
deterministic, randomized and quantum query complexities, exact and approximate
polynomial degrees, etc. In particular, the widest possible (quadratic)
separations between deterministic and zero-error randomized query complexity,
as well as between bounded-error and zero-error randomized query complexity,
have been obtained by considering {\em
variants}~\cite{DBLP:journals/corr/AmbainisBBL15} of this pointer function.
However, as was pointed out in \cite{DBLP:journals/corr/AmbainisBBL15}, the
precise zero-error complexity of the original pointer function was not known.
We show a lower bound of on the zero-error
randomized query complexity of the pointer function on bits;
since an upper bound is already known
\cite{DBLP:conf/fsttcs/MukhopadhyayS15}, our lower bound is optimal up to a
factor of \polylog\, n
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