2-Source dispersers for n°(1) entropy, and ramsey graphs beating the frankl-wilson construction

Boaz Barak, Anup Rao, Ronen Shaltiel, Avi Wigderson

Research output: Contribution to journalArticlepeer-review

Abstract

The main result of this paper is an explicit disperser for two independent sources on n bits, each of min-entropy k = 2logβn, where β < 1 is some absolute constant. Put differently, setting N = 2n and K = 2k, we construct an explicit N×N Boolean matrix for whichno K×K sub-matrix is monochromatic. Viewed as the adjacency matrix of a bipartite graph, this gives an explicit construction of a bipartite K-Ramsey graph of 2N vertices.This improves the previous bound of k=o(n) of Barak, Kindler,Shaltiel, Sudakov and Wigderson. As a corollary, we get a constructionof a 2n°(1) (nonbipartite) Ramsey graph of 2n vertices, signiβcantly improving the previous bound of 2Õ(√n) due to Frankl and Wilson.We also give a construction of a new independent sources extractor that can extract from a constant number of sources of polynomially small minentropy with exponentially small error. This improves independent sources extractor of Rao, which only achieved polynomially small error.Our dispersers combineideas and constructions from several previous works in the area together with some new ideas. In particular, we rely on the extractors of Raz and Bourgain as well as an improved version of the extractorof Rao. A key ingredient that allowsus to beat the barrier of k = √n is a new and more complicated variant of the challenge-response mechanism of Barak et al. that allows us to locate the min-entropy concentrations in a source of low min-entropy.

Original languageEnglish
Pages (from-to)1483-1544
Number of pages62
JournalAnnals of Mathematics
Volume176
Issue number3
DOIs
StatePublished - 2012

ASJC Scopus subject areas

  • Statistics and Probability
  • Statistics, Probability and Uncertainty

Fingerprint

Dive into the research topics of '2-Source dispersers for n°(1) entropy, and ramsey graphs beating the frankl-wilson construction'. Together they form a unique fingerprint.

Cite this