Nearly Optimal Pseudorandomness From Hardness
Dean Doron, Dana Moshkovitz, Justin Oh, David Zuckerman
Abstract
Existing proofs that deduce BPP = P from circuit lower bounds convert randomized algorithms into deterministic algorithms with a large polynomial slowdown. We convert randomized algorithms into deterministic ones with little slowdown. Specifically, assuming exponential lower bounds against randomized single-valued nondeterministic (SVN) circuits, we convert any randomized algorithm over inputs of length n running in time t ≥ n to a deterministic one running in time t2+αfor an arbitrarily small constant . Such a slowdown is nearly optimal, as, under complexity-theoretic assumptions, there are problems with an inherent quadratic derandomization slowdown. We also convert any randomized algorithm that errs rarely into a deterministic algorithm having a similar running time (with pre-processing). The latter derandomization result holds under weaker assumptions, of exponential lower bounds against deterministic SVN circuits. Our results follow from a new, nearly optimal, explicit pseudorandom generator fooling circuits of size s with seed length (1 + α)log s, under the assumption that there exists a function f ϵ E that requires randomized SVN circuits of size at least 2(1-α')n, where. α=O(α'). The construction uses, among other ideas, a new connection between pseudoentropy generators and locally list recoverable codes.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 010eac21-d20b-4109-b055-38789c369c08Cited by top-tier papers11
- Hardness vs Randomness, Revised: Uniform, Non-Black-Box, and Instance-WiseLijie Chen, Roei TellFOCS 2021 · 18 citations
- When Arthur Has Neither Random Coins Nor Time to Spare: Superfast Derandomization of Proof SystemsLijie Chen, Roei TellSTOC 2023 · 10 citations
- Opening Up the Distinguisher: A Hardness to Randomness Approach for BPL=L That Uses Properties of BPLDean Doron, Edward Pyne, Roei TellSTOC 2024 · 5 citations
- Explicit Codes for Poly-Size Circuits and Functions That Are Hard to Sample on Low Entropy DistributionsRonen Shaltiel, Jad SilbakSTOC 2024 · 5 citations
- Extractors for Samplable Distributions with Low Min-EntropyMarshall Ball, Ronen Shaltiel, Jad SilbakSTOC 2025 · 5 citations
Related papers
- Simple and fast derandomization from very hard functions: eliminating randomness at almost no costLijie Chen, Roei TellSTOC 2021 · 3 citations
- On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds: Extended AbstractLijie Chen, Ron D. Rothblum, Roei Tell, Eylon YogevFOCS 2020 · 6 citations
- Derandomization vs Refutation: A Unified Framework for Characterizing DerandomizationLijie Chen, Roei Tell, Ryan WilliamsFOCS 2023 · 8 citations
- On the Complexity of Avoiding Heavy ElementsZhenjian Lu, Igor C. Oliveira, Hanlin Ren, Rahul SanthanamFOCS 2024 · 2 citations
- Extractors for Samplable Distributions from the Two-Source Extractor RecipeJustin Oh, Ronen ShaltielSTOC 2026 · 2 citations
