There is some language L computable in time 2First are the complexity class collapses. As always see the Zoo if some class does not look familiar.^{O(n)}such that for some ε>0, every algorithm A computing L uses 2^{εn}space for sufficiently large n.

- ZPP = RP = BPP = P
- MA = AM = NP. In particular Graph Isomorphism and all of statistical zero-knowledge lie in NP∩co-NP.
- S
_{2}P = ZPP^{NP}= BPP^{NP}= P^{NP} - The polynomial-time hierarchy lies in SPP. As a corollary PH
⊆ ⊕P ∩ Mod
_{k}P ∩ C_{=}P ∩ PP ∩ AWPP

_{i}such that

- If φ is not satisfiable then all of the ψ
_{i}are not satisfiable. - If φ is satisfiable then some ψ
_{i}has exactly one satisfying assignment.

This gives a short list containing many Ramsey graphs. We don't
know how to verify a Ramsey graph efficiently so even
though we have the short list we don't know how to create a single
one. Contrast this to the best known deterministic construction that
creates a graph with no clique or independent set of size 2^{(log
n)o(1)}.

We also get essentially optimal extractors. Given an distribution D on
strings of length n where every string has probability at most
2^{-k} and O(log n) additional truly random coins we can
output a distribution on length k strings very close to uniform. The
truly random coins are used both for the seed of the pseudorandom
generator to create the extractor and in applying the extractor
itself.

One also gets polynomial-time computable universal traversal sequences, a path that hits every vertex on any undirected graph on n nodes. The generator will give a polynomial list of sequences but one can just concatenate those sequences. The hardness assumption above won't put the sequence in log space, though we do believe such log-space computable sequences exist. Reingold's proof that we can decide undirected connectivity in logarithm space does not produce a universal traversal sequence though it does give a related exploration sequence.

There are many more implications of full derandomization including other complexity class inclusions, combinatorial constructions and some applications for resource-bounded Kolmogorov complexity.

keep hoping!

ReplyDeleteCan you please give more details on the short list of mostly ramsey graphs. What is "short list" and what is "most"?

ReplyDeleteBy "short" I mean a polynomial (in the size of the graph) long list and by "most" I mean at least one will be Ramsey. A more careful analysis and/or allowing slightly larger independent sets and cliques and "most" would really mean "nearly all".

ReplyDeleteWhere can I find a proof that that assumption indeed implies BPP = P? It is probably a classical paper (or set of papers) but I am not that familiar with complexity theory.

ReplyDeleteI like this survey by Peter Bro Miltersen.

ReplyDeleteCan you please give a reference to the ramsey thing you mentioned

ReplyDeleteref. on the "ramsey thing":

ReplyDeleteone nice survey by Vera Rosta

Possibly start with these and expand the reference graph :).

Extracting randomness using few independent sources

2-source dispersers for sub-polynomial entropy and Ramsey graphs beating the Frankl-Wilson construction

Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors

One can also derandomize Polynomial Identity Testing, which is interesting since the work of Kabanets and Impagliazzo. Derandomization of this implies separating NEXP from P/poly.

ReplyDeleteAlso it is not just all of statistical zero-knowledge lie in NP?co-NP, but also languages having interactive proof of log(n) statistical knowledge complexity will be in NP?co-NP. Languages having interactive proof in which prover sends bounded number of bits will also be in NP?co-NP?

Most notably you can derandomize Sipser's constructions to show that for any set A a subset of strings of length n, for all x in A, KD^poly(x|A) is at most log |A| + log log |A| + O(1).

ReplyDelete