Skip to main navigation Skip to search Skip to main content

Extractors for Samplable Distributions with Polynomially Small Min-Entropy

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Trevisan and Vadhan (FOCS 2000) introduced the notion of (seedless) extractors for samplable distributions. They showed that under a very strong complexity theoretic hardness assumption (specifically, that there exists a problem in E= DTIME (2O(n)) that cannot be computed by size 2 Ω(n) circuits that have an oracle to Σ 6P) there are extractors for samplable distributions with large min-entropy of k=(1-γ) . n, for some small constant γ >0. Recently, Ball, Shaltiel and Silbak (STOC 2025) were able to reduce the min-entropy threshold to k=n 1-γ. Ball et al., point out that their approach does not work for k <sqrt n (and this holds even for stronger hardness assumptions, in which 6 is replaced with any other constant). In this paper, we show how to further reduce the minentropy threshold to k=n 0.34< sqrt n under the same hardness assumption used by Trevisan and Vadhan. More generally, for every positive integer i ≥ 2, and every α > 1 i, we construct an extractor for samplable distributions with min-entropy k=n α, under a hardness assumption in which 6 is replaced with i+3 (the aforementioned result is a obtained for i = 3). We also provide a multiplicative version of our extractors (under a stronger hardness assumption) addressing an open problem of Ball et al. Our work builds on the approach of Ball et al., who reduced the task of constructing extractors for samplable distributions with min-entropy k, to the task of constructing errorless condensers for samplable distributions with min-entropy k. Our main technical contribution is a new construction of errorless condensers for samplable distributions with k=n α under the hardness assumption stated above, improving upon the minentropy threshold achieved in Ball et al. (which cannot achieve k< sqrt n). Our insight is that the technique used by Ball et al. to reduce the task of constructing extractors to that of constructing errorless condensers, can itself be used to construct errorless condensers for polynomially small min-entropy when combined with 'win-win analysis' approaches that are inspired by some early work on seeded extractors and dispersers. In order to do this, we adapt these approaches from the information theoretic scenario of seeded extractors and dispersers to the computational scenario of errorless condensers for samplable distributions. Index Terms-Randomness extractors, Samplable distributions. In memory of Luca Trevisan. Research supported by ISF grant 1006/23. This research is also co-funded by the European Union (ERC, NFITSC, 101097959). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.

Original languageEnglish
Title of host publicationProceedings - 2025 IEEE 66th Annual Symposium on Foundations of Computer Science, FOCS 2025
PublisherIEEE Computer Society
Pages934-946
Number of pages13
ISBN (Electronic)9798331571320
DOIs
StatePublished - 2025
Event66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025 - Sydney, Australia
Duration: 14 Dec 202517 Dec 2025

Publication series

NameProceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
ISSN (Print)0272-5428

Conference

Conference66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025
Country/TerritoryAustralia
CitySydney
Period14/12/2517/12/25

Bibliographical note

Publisher Copyright:
© 2025 IEEE.

Keywords

  • hardness vs. randomness
  • randomness extractors
  • samplable distributions

ASJC Scopus subject areas

  • General Computer Science

Fingerprint

Dive into the research topics of 'Extractors for Samplable Distributions with Polynomially Small Min-Entropy'. Together they form a unique fingerprint.

Cite this