Bounded Independence Fools Halfspaces

  • Authors:
  • Ilias Diakonikolas;Parikshit Gopalan;Ragesh Jaiswal;Rocco A. Servedio;Emanuele Viola

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • FOCS '09 Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that any distribution on $\pmo^n$ that is $k$-wise independent fools any halfspace (a.k.a.~threshold) $h : \pmo^n \to \pmo$, i.e., any function of the form $h(x) = \sign(\sum_{i = 1}^n w_i x_i -\theta)$ where the $w_1,\ldots, w_n,\theta$ are arbitrary real numbers, with error $\eps$ for $k = O(\eps^{-2}\log^2(1/\eps))$. Our result is tight up to $\log(1/\eps)$ factors. Using standard constructions of $k$-wise independent distributions, we obtain the first explicit pseudorandom generators $G : \pmo^s \to \pmo^n$ that foolhalfspaces. Specifically, we fool halfspaces with error $\eps$ and seed length $s = k \cdot \log n = O(\log n \cdot \eps^{-2} \log^2(1/\eps))$.Our approach combines classical tools from real approximation theory with structural results on halfspaces by Servedio (Comput.~Complexity2007).