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 language | English |
|---|---|
| Title of host publication | Proceedings - 2025 IEEE 66th Annual Symposium on Foundations of Computer Science, FOCS 2025 |
| Publisher | IEEE Computer Society |
| Pages | 934-946 |
| Number of pages | 13 |
| ISBN (Electronic) | 9798331571320 |
| DOIs | |
| State | Published - 2025 |
| Event | 66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025 - Sydney, Australia Duration: 14 Dec 2025 → 17 Dec 2025 |
Publication series
| Name | Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS |
|---|---|
| ISSN (Print) | 0272-5428 |
Conference
| Conference | 66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025 |
|---|---|
| Country/Territory | Australia |
| City | Sydney |
| Period | 14/12/25 → 17/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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver