Polylogarithmic Independence Can Fool DNF Formulas

  • Authors:
  • Louay M. J. Bazzi

  • Affiliations:
  • -

  • Venue:
  • FOCS '07 Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that any k-wise independent probability measure on {0, 1}^n can {\text{O}}(\sqrt {m^{2.2} 2^{ - \sqrt {k/10} } } )-fool any boolean function computable by an m-clauses DNF (or CNF) formula on n variables. Thus, for each constante 0, there is a constantc 0 such that any boolean function computable by anm-clauses DNF (or CNF) formula can be {\text{m}}^{ - e} e-fooled by any c\log ^2 m-wise probability measure. This resolves, asymptotically and up to a logm factor, the depth-2 circuits case of a conjecture due to Linial and Nisan (1990). The result is equivalent to a new characterization of DNF (or CNF) formulas by low degree polynomials. It implies a similar statement for probability measures with the small bias property. Using known explicit constructions of small probability spaces having the limited independence property or the small bias property, we directly obtain a large class of explicit PRG's of {\text{O}}(\log ^2 m\log n) -seed length for m-clauses DNF (or CNF) formulas on n variables, improving previously known seed lengths.