## Abstract

Let C be a class of distributions over {0, 1}^{n}. A deterministic randomness extractor for C is a function E : {0, 1}^{n} → {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}^{n} × (0, 1}^{n} → {0, 1}^{m} such that for every two independent distributions X_{1} and X_{2} over {0, 1}^{n} with min-entropy at least k = (1/2 + δ)n, E(X_{1}, X_{2}) is ε-close to the uniform distribution on m = 2k - C_{δ} log(1/ε) bits. This result is optimal except for the precise constant C_{δ} 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).

Original language | English |
---|---|

Title of host publication | Proceedings - Twenty-First Annual IEEE Conference on Computational Complexity, CCC 2006 |

Pages | 46-60 |

Number of pages | 15 |

DOIs | |

State | Published - 2006 |

Event | 21st Annual IEEE Conference on Computational Complexity, CCC 2006 - Prague, Czech Republic Duration: 16 Jul 2006 → 20 Jul 2006 |

### Publication series

Name | Proceedings of the Annual IEEE Conference on Computational Complexity |
---|---|

Volume | 2006 |

ISSN (Print) | 1093-0159 |

### Conference

Conference | 21st Annual IEEE Conference on Computational Complexity, CCC 2006 |
---|---|

Country/Territory | Czech Republic |

City | Prague |

Period | 16/07/06 → 20/07/06 |

## ASJC Scopus subject areas

- Software
- Theoretical Computer Science
- Computational Mathematics