• DocumentCode
    2722860
  • Title

    Extractors for Circuit Sources

  • Author

    Viola, Emanuele

  • Author_Institution
    Coll. of Comput. & Inf. Sci., Northeastern Univ., Boston, MA, USA
  • fYear
    2011
  • fDate
    22-25 Oct. 2011
  • Firstpage
    220
  • Lastpage
    229
  • Abstract
    We obtain the first deterministic extractors for sources generated (or sampled) by small circuits of bounded depth. Our main results are: (1) We extract k(k/nd)O(1) bits with exponentially small error from n-bit sources of min-entropy k that are generated by functions f : {0,1} → {0,1}n where each output bit depends on ≤ d input bits. In particular, we extract from NC sources, corresponding to d = O(1). (2) We extract k(k/n1+γ)O(1) bits with super-polynomially small error from ri-bit sources of min-entropy k that are generated by poly(n)-size ACO circuits, for any γ >; 0. As our starting point, we revisit the connection by Trevisan and Vadhan (FOCS 2000) between circuit lower bounds and extractors for sources generated by circuits. We note that such extractors (with very weak parameters) are equivalent to lower bounds for generating distributions (FOCS 2010; with Lovett, CCC 2011). Building on those bounds, we prove that the sources in (1) and (2) are (close to) a convex combination of high-entropy "bit-block" sources. Introduced here, such sources are a special case of affine ones. As extractors for (1) and (2) one can use the extractor for low-weight affine sources by Rao (CCC 2009). Along the way, we exhibit an explicit boolean function b : {0,1}n → {0,1} such that poly(n)-size ACO circuits cannot generate the distribution (Y, b(Y)), solving a problem about the complexity of distributions. Independently, De and Watson (RANDOM 2011) obtain a result similar to (1) in the special case d = o(lg n).
  • Keywords
    Boolean functions; circuit complexity; computational complexity; equivalent circuits; minimum entropy methods; ACO circuits; circuit lower bounds; convex combination; deterministic extractors; distribution complexity; explicit boolean function; exponentially small error; high entropy bit block source; min-entropy; source generation; superpolynomially small error; Boolean functions; Complexity theory; Entropy; Hamming weight; Input variables; Random variables; Vectors; circuit source; extractor; local; sampling; the complexity of distributions small-depth circuit; weak randomness source;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science (FOCS), 2011 IEEE 52nd Annual Symposium on
  • Conference_Location
    Palm Springs, CA
  • ISSN
    0272-5428
  • Print_ISBN
    978-1-4577-1843-4
  • Type

    conf

  • DOI
    10.1109/FOCS.2011.20
  • Filename
    6108172