How to Get More Mileage from Randomness Extractors

Let C be a class of distributions over {0, 1}
ⁿ
. A deterministic randomness extractor for C is a function E : {0, 1}
ⁿ
rarr {0, 1}
^m
such that for any X in C the distribution E(X) is statistically close to the uniform distribution. A long line of research deals with explicit constructions of such extractors for various classes C while trying to maximize m. In this paper we give a general transformation that transforms a deterministic extractor E that extracts "few" bits into an extractor E' that extracts "almost all the bits present in the source distribution". More precisely, we prove a general theorem saying that if E and C satisfy certain properties, then we can transform E into an extractor E'. Our methods build on (and generalize) a technique of Gabizon, Raz and Shaltiel (FOCS 2004) that present such a transformation for the very restricted class C of "oblivious bit-fixing sources". Loosely speaking the high level idea is to find properties of E and C which allow "recycling" the output of E so that it can be "reused" to operate on the source distribution. An obvious obstacle is that the output of E is correlated with the source distribution. Using our transformation we give an explicit construction of a two-source extractor E : {0, 1}
ⁿ
times {0, 1}
ⁿ
rarr {0, 1}
^m
such that for every two independent distributions X
₁
and X
₂
over {0, 1}
ⁿ
with min-entropy at least k = (1/2 + delta)n, E(X
₁
, X
₂
) is epsi-close to the uniform distribution on m = 2k - C
_delta
log(1/epsi) bits. This result is optimal except for the precise constant C
_delta
and improves previous results by Chor and Goldreich (SICOMP 1988), Vazirani (Combinatorica 1987) and Dodis et al. (RANDOM 2004). We also give explicit constructions of extractors for samplable distributions that extract many bits even out of "low-entropy" samplable distributions. This improves some previous results by Trevisan and Vadhan (FOCS 2000)