English

Luby--Veli\v{c}kovi\'c--Wigderson revisited: Improved correlation bounds and pseudorandom generators for depth-two circuits

Computational Complexity 2018-03-14 v1

Abstract

We study correlation bounds and pseudorandom generators for depth-two circuits that consist of a SYM\mathsf{SYM}-gate (computing an arbitrary symmetric function) or THR\mathsf{THR}-gate (computing an arbitrary linear threshold function) that is fed by SS AND\mathsf{AND} gates. Such circuits were considered in early influential work on unconditional derandomization of Luby, Veli\v{c}kovi\'c, and Wigderson [LVW93], who gave the first non-trivial PRG with seed length 2O(log(S/ε))2^{O(\sqrt{\log(S/\varepsilon)})} that ε\varepsilon-fools these circuits. In this work we obtain the first strict improvement of [LVW93]'s seed length: we construct a PRG that ε\varepsilon-fools size-SS {SYM,THR}AND\{\mathsf{SYM},\mathsf{THR}\} \circ\mathsf{AND} circuits over {0,1}n\{0,1\}^n with seed length 2O(logS)+polylog(1/ε), 2^{O(\sqrt{\log S })} + \mathrm{polylog}(1/\varepsilon), an exponential (and near-optimal) improvement of the ε\varepsilon-dependence of [LVW93]. The above PRG is actually a special case of a more general PRG which we establish for constant-depth circuits containing multiple SYM\mathsf{SYM} or THR\mathsf{THR} gates, including as a special case {SYM,THR}AC0\{\mathsf{SYM},\mathsf{THR}\} \circ \mathsf{AC^0} circuits. These more general results strengthen previous results of Viola [Vio06] and essentially strengthen more recent results of Lovett and Srinivasan [LS11]. Our improved PRGs follow from improved correlation bounds, which are transformed into PRGs via the Nisan--Wigderson "hardness versus randomness" paradigm [NW94]. The key to our improved correlation bounds is the use of a recent powerful \emph{multi-switching} lemma due to H{\aa}stad [H{\aa}s14].

Keywords

Cite

@article{arxiv.1803.04553,
  title  = {Luby--Veli\v{c}kovi\'c--Wigderson revisited: Improved correlation bounds and pseudorandom generators for depth-two circuits},
  author = {Rocco A. Servedio and Li-Yang Tan},
  journal= {arXiv preprint arXiv:1803.04553},
  year   = {2018}
}