Abstract:SIAM Journal on Computing, Ahead of Print. We propose a new approach to the hardness-to-randomness framework and to the [math] conjecture. Classical results rely on nonuniform hardness assumptions to construct derandomization algorithms that work in the worst case, or rely on uniform hardness assumptions to construct derandomization algorithms that work only in the average case. In both types of results, the derandomization algorithm is "black-box" and uses the standard approach based on pseudorandom generators (PRGs). In this work we present results that closely relate new and natural uniform hardness assumptions to worst-case derandomization of [math], where the algorithms underlying the latter derandomization are non-black-box. In our main result, we show that [math] if the following holds: There exists a multi-output function computable by logspace-uniform circuits of polynomial size and depth [math] that cannot be computed by uniform probabilistic algorithms in time [math], for some universal constant [math], on almost all inputs. The required failure on "almost all inputs" is stronger than the standard requirement of failing on one input of each length; however, the same assumption without the depth restriction on [math] is necessary for the conclusion. This suggests a potential equivalence between worst-case derandomization of [math] of any form (i.e., not necessarily by a black-box algorithm) and the existence of efficiently computable functions that are hard for probabilistic algorithms on almost all inputs. In our second result, we introduce a new and uniform hardness-to-randomness tradeoff for the setting of superfast average-case derandomization; prior to this work, superfast average-case derandomization was known only under nonuniform hardness assumptions. In an extreme instantiation of our new tradeoff, under appealing uniform hardness assumptions and if one-way functions exist, we show that for every polynomial [math] and constant [math] it holds that [math], where the "[math]" prefix means that no polynomial-time algorithm can find, with nonnegligible probability, an input on which the deterministic simulation errs. Technically, our approach is to design targeted PRGs and hitting-set generators (HSGs), as introduced by Goldreich [In a world of [math], in Studies in Complexity and Cryptography, Lecture Notes in Comput. Sci. 6650, Springer, 2011, pp. 191–232]. Our targeted PRGs/HSGs "produce randomness from the input," as suggested by Goldreich and Wigderson [Proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM), 2002, pp. 209–223], and our analysis of these targeted PRGs/HSGs relies on non-black-box versions of the reconstruction procedure of Impagliazzo and Wigderson [Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science (FOCS), 1998, pp. 734–743]. Our main reconstruction procedure crucially relies on the ideas underlying the proof system of Goldwasser, Kalai, and Rothblum [J. ACM, 62 (2015), 27].

Pseudorandomness, symmetry, smoothing: I

Pseudorandomness, symmetry, smoothing: II

Consistency of invariance-based randomization tests

Hardness vs. Randomness, Revised: Uniform, Non-Black-Box, and Instance-wise

Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers

Smoothing of binary codes, uniform distributions, and applications

On small densities defined without pseudorandomness

Locally Sampleable Uniform Symmetric Distributions

Tilted Hardy paradoxes for device-independent randomness extraction

Distribution Testing Under the Parity Trace

Smoothing Linear Codes by Rényi Divergence and Applications to Security Reduction

Asymptotic symmetry and group invariance for randomization

Derandomized Non-Abelian Homomorphism Testing in Low Soundness Regime

The Sample Complexity of Smooth Boosting and the Tightness of the Hardcore Theorem

On the Vulnerability of Fairness Constrained Learning to Malicious Noise

Weak randomness in device independent quantum key distribution and the advantage of using high dimensional entanglement

Certified Adversarial Robustness Under the Bounded Support Set.

Balancing the edge effect and dimension of spectral spatial statistics under irregular sampling with applications to isotropy testing

Randomness and lowness notions via open covers

Simple Binary Hypothesis Testing under Local Differential Privacy and Communication Constraints

Adversarial Risk and Robustness: General Definitions and Implications for the Uniform Distribution