Improved pseudorandom generators from pseudorandom multi-switching lemmas

01/10/2018
by   Rocco A. Servedio, et al.
0

We give the best known pseudorandom generators for two touchstone classes in unconditional derandomization: an ε-PRG for the class of size-M depth-d AC^0 circuits with seed length (M)^d+O(1)·(1/ε), and an ε-PRG for the class of S-sparse F_2 polynomials with seed length 2^O(√( S))·(1/ε). These results bring the state of the art for unconditional derandomization of these classes into sharp alignment with the state of the art for computational hardness for all parameter settings: improving on the seed lengths of either PRG would require breakthrough progress on longstanding and notorious circuit lower bounds. The key enabling ingredient in our approach is a new pseudorandom multi-switching lemma. We derandomize recently-developed multi-switching lemmas, which are powerful generalizations of Håstad's switching lemma that deal with families of depth-two circuits. Our pseudorandom multi-switching lemma---a randomness-efficient algorithm for sampling restrictions that simultaneously simplify all circuits in a family---achieves the parameters obtained by the (full randomness) multi-switching lemmas of Impagliazzo, Matthews, and Paturi [IMP12] and Håstad [Hås14]. This optimality of our derandomization translates into the optimality (given current circuit lower bounds) of our PRGs for AC^0 and sparse F_2 polynomials.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/24/2023

Improved Pseudorandom Generators for 𝖠𝖢^0 Circuits

We show a new PRG construction fooling depth-d, size-m 𝖠𝖢^0 circuits wit...
research
02/21/2018

Non-Malleable Codes for Small-Depth Circuits

We construct efficient, unconditional non-malleable codes that are secur...
research
03/12/2018

Luby--Veličković--Wigderson revisited: Improved correlation bounds and pseudorandom generators for depth-two circuits

We study correlation bounds and pseudorandom generators for depth-two ci...
research
12/01/2021

Ideals, Determinants, and Straightening: Proving and Using Lower Bounds for Polynomial Ideals

We show that any nonzero polynomial in the ideal generated by the r × r ...
research
04/05/2023

Tight Correlation Bounds for Circuits Between AC0 and TC0

We initiate the study of generalized AC0 circuits comprised of negations...
research
09/18/2021

Separating Circuits : Switching Lemmas and Random Restrictions

This was submitted as a final project for CS254B, taught by Li Yang Tan ...
research
08/04/2020

Fractional Pseudorandom Generators from Any Fourier Level

We prove new results on the polarizing random walk framework introduced ...

Please sign up or login with your details

Forgot password? Click here to reset