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

  • Authors:
  • Boaz Barak;Anup Rao;Ronen Shaltiel;Avi Wigderson

  • Affiliations:
  • Princeton University, Princeton, NJ;University of Texas at Austin, Austin, TX;University of Haifa, Haifa, Israel;Institute for Advanced Study, Princeton, NJ

  • Venue:
  • Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The main result of this paper is an explicit disperser for two independent sources on n bits, each of entropy k=no(1). Put differently, setting N=2n and K=2k, we construct explicit N x N Boolean matrices for which no K x K submatrix is monochromatic. Viewed as adjacency matrices of bipartite graphs, this gives an explicit construction of K-Ramsey bipartite graphs of size N.This greatly improves the previous bound of k=o(n) of Barak, Kindler, Shaltiel, Sudakov and Wigderson [4]. It also significantly improves the 25-year record of k = Õ (√n) on the special case of Ramsey graphs, due to Frankl and Wilson [9].The construction uses (besides "classical" extractor ideas) almost all of the machinery developed in the last couple of years for extraction from independent sources, including:Bourgain's extractor for 2 independent sources of some entropy rate Raz's extractor for 2 independent sources, one of which has any entropy rate 1/2 [18]Rao's extractor for 2 independent block-sources of entropy nΩ (1) [17]The "Challenge-Response" mechanism for detecting "entropy concentration" of [4].The main novelty comes in a bootstrap procedure which allows the Challenge-Response mechanism of [4] to be used with sources of less and less entropy, using recursive calls to itself. Subtleties arise since the success of this mechanism depends on restricting the given sources, and so recursion constantly changes the original sources. These are resolved via a new construct, in between a disperser and an extractor, which behaves like an extractor on sufficiently large subsources of the given ones.This version is only an extended abstract, please see the full version, available on the authors' homepages, for more details.