4 research outputs found
P-Selectivity, Immunity, and the Power of One Bit
We prove that P-sel, the class of all P-selective sets, is EXP-immune, but is
not EXP/1-immune. That is, we prove that some infinite P-selective set has no
infinite EXP-time subset, but we also prove that every infinite P-selective set
has some infinite subset in EXP/1. Informally put, the immunity of P-sel is so
fragile that it is pierced by a single bit of information.
The above claims follow from broader results that we obtain about the
immunity of the P-selective sets. In particular, we prove that for every
recursive function f, P-sel is DTIME(f)-immune. Yet we also prove that P-sel is
not \Pi_2^p/1-immune
A Counterexample to the Generalized Linial-Nisan Conjecture
In earlier work, we gave an oracle separating the relational versions of BQP
and the polynomial hierarchy, and showed that an oracle separating the decision
versions would follow from what we called the Generalized Linial-Nisan (GLN)
Conjecture: that "almost k-wise independent" distributions are
indistinguishable from the uniform distribution by constant-depth circuits. The
original Linial-Nisan Conjecture was recently proved by Braverman; we offered a
200
by showing that the GLN Conjecture is false, at least for circuits of depth 3
and higher. As a byproduct, our counterexample also implies that Pi2P is not
contained in P^NP relative to a random oracle with probability 1. It has been
conjectured since the 1980s that PH is infinite relative to a random oracle,
but the highest levels of PH previously proved separate were NP and coNP.
Finally, our counterexample implies that the famous results of Linial, Mansour,
and Nisan, on the structure of AC0 functions, cannot be improved in several
interesting respects.Comment: 17 page