Better Pseudorandom Generators from Milder Pseudorandom Restrictions Raghu Meka (IAS) Parikshit Gopalan, Omer Reingold (MSR-SVC) Luca Trevian (Stanford),

Slides:



Advertisements
Similar presentations
Walk the Walk: On Pseudorandomness, Expansion, and Connectivity Omer Reingold Weizmann Institute Based on join works with Michael Capalbo, Kai-Min Chung,
Advertisements

Quantum t-designs: t-wise independence in the quantum world Andris Ambainis, Joseph Emerson IQC, University of Waterloo.
How to Solve Longstanding Open Problems In Quantum Computing Using Only Fourier Analysis Scott Aaronson (MIT) For those who hate quantum: The open problems.
Parikshit Gopalan Georgia Institute of Technology Atlanta, Georgia, USA.
Hardness Amplification within NP against Deterministic Algorithms Parikshit Gopalan U Washington & MSR-SVC Venkatesan Guruswami U Washington & IAS.
On the Complexity of Parallel Hardness Amplification for One-Way Functions Chi-Jen Lu Academia Sinica, Taiwan.
Unconditional Weak derandomization of weak algorithms Explicit versions of Yao s lemma Ronen Shaltiel, University of Haifa :
PRG for Low Degree Polynomials from AG-Codes Gil Cohen Joint work with Amnon Ta-Shma.
Pseudorandomness from Shrinkage David Zuckerman University of Texas at Austin Joint with Russell Impagliazzo and Raghu Meka.
Pseudorandom Generators for Polynomial Threshold Functions 1 Raghu Meka UT Austin (joint work with David Zuckerman)
Deterministic Extractors for Small Space Sources Jesse Kamp, Anup Rao, Salil Vadhan, David Zuckerman.
Linear-Degree Extractors and the Inapproximability of Max Clique and Chromatic Number David Zuckerman University of Texas at Austin.
Pseudorandom Generators from Invariance Principles 1 Raghu Meka UT Austin.
Pseudorandomness from Shrinkage David Zuckerman University of Texas at Austin Joint with Russell Impagliazzo and Raghu Meka.
Extracting Randomness David Zuckerman University of Texas at Austin.
Derandomization & Cryptography Boaz Barak, Weizmann Shien Jin Ong, MIT Salil Vadhan, Harvard.
Approximate List- Decoding and Hardness Amplification Valentine Kabanets (SFU) joint work with Russell Impagliazzo and Ragesh Jaiswal (UCSD)
Talk for Topics course. Pseudo-Random Generators pseudo-random bits PRG seed Use a short “ seed ” of very few truly random bits to generate a long string.
Simple extractors for all min- entropies and a new pseudo- random generator Ronen Shaltiel Chris Umans.
DNF Sparsification and Counting Raghu Meka (IAS, Princeton) Parikshit Gopalan (MSR, SVC) Omer Reingold (MSR, SVC)
Massive Online Teaching to Bounded Learners Brendan Juba (Harvard) Ryan Williams (Stanford)
Using Nondeterminism to Amplify Hardness Emanuele Viola Joint work with: Alex Healy and Salil Vadhan Harvard University.
Time vs Randomness a GITCS presentation February 13, 2012.
Yi Wu (CMU) Joint work with Parikshit Gopalan (MSR SVC) Ryan O’Donnell (CMU) David Zuckerman (UT Austin) Pseudorandom Generators for Halfspaces TexPoint.
Derandomization: New Results and Applications Emanuele Viola Harvard University March 2006.
Constant Degree, Lossless Expanders Omer Reingold AT&T joint work with Michael Capalbo (IAS), Salil Vadhan (Harvard), and Avi Wigderson (Hebrew U., IAS)
Arithmetic Hardness vs. Randomness Valentine Kabanets SFU.
Derandomizing LOGSPACE Based on a paper by Russell Impagliazo, Noam Nissan and Avi Wigderson Presented by Amir Rosenfeld.
CS151 Complexity Theory Lecture 8 April 22, 2015.
GOING DOWN HILL: MORE EFFICIENT PSEUDORANDOM GENERATORS FROM ANY ONE-WAY FUNCTION Joint with Iftach Haitner and Salil Vadhan Omer Reingold&
In a World of BPP=P Oded Goldreich Weizmann Institute of Science.
CS151 Complexity Theory Lecture 9 April 27, 2004.
Computational Entropy Joint works with Iftach Haitner (Tel Aviv), Thomas Holenstein (ETH Zurich), Omer Reingold (MSR-SVC), Hoeteck Wee (George Washington.
Pseudorandom Generators for Combinatorial Shapes 1 Parikshit Gopalan, MSR SVC Raghu Meka, UT Austin Omer Reingold, MSR SVC David Zuckerman, UT Austin.
Pseudorandomness Emanuele Viola Columbia University April 2008.
Why Extractors? … Extractors, and the closely related “Dispersers”, exhibit some of the most “random-like” properties of explicitly constructed combinatorial.
On Constructing Parallel Pseudorandom Generators from One-Way Functions Emanuele Viola Harvard University June 2005.
Pseudorandom Generators and Typically-Correct Derandomization Jeff Kinne, Dieter van Melkebeek University of Wisconsin-Madison Ronen Shaltiel University.
Using Nondeterminism to Amplify Hardness Emanuele Viola Joint work with: Alex Healy and Salil Vadhan Harvard University.
On Constructing Parallel Pseudorandom Generators from One-Way Functions Emanuele Viola Harvard University June 2005.
Polynomials Emanuele Viola Columbia University work partially done at IAS and Harvard University December 2007.
Amplification and Derandomization Without Slowdown Dana Moshkovitz MIT Joint work with Ofer Grossman (MIT)
My Favorite Ten Complexity Theorems of the Past Decade II Lance Fortnow University of Chicago.
Umans Complexity Theory Lectures Lecture 17: Natural Proofs.
Pseudorandom generators for group products Michal Koucký Institute of Mathematics, Prague Prajakta Nimbhorkar Pavel Pudlák IMSC, Chenai IM, Prague IMSC,
RANDOMNESS VS. MEMORY: Prospects and Barriers Omer Reingold, Microsoft Research and Weizmann With insights courtesy of Moni Naor, Ran Raz, Luca Trevisan,
Pseudorandom Bits for Constant-Depth Circuits with Few Arbitrary Symmetric Gates Emanuele Viola Harvard University June 2005.
Pseudo-random generators Talk for Amnon ’ s seminar.
Error-Correcting Codes and Pseudorandom Projections Luca Trevisan U.C. Berkeley.
Comparing Notions of Full Derandomization Lance Fortnow NEC Research Institute With thanks to Dieter van Melkebeek.
Technion Haifa Research Labs Israel Institute of Technology Underapproximation for Model-Checking Based on Random Cryptographic Constructions Arie Matsliah.
Umans Complexity Theory Lecturess Lecture 11: Randomness Extractors.
Pseudorandomness: New Results and Applications Emanuele Viola IAS April 2007.
Umans Complexity Theory Lectures Lecture 9b: Pseudo-Random Generators (PRGs) for BPP: - Hardness vs. randomness - Nisan-Wigderson (NW) Pseudo- Random Generator.
Complexity Theory and Explicit Constructions of Ramsey Graphs Rahul Santhanam University of Edinburgh.
Derandomization & Cryptography
Coding, Complexity and Sparsity workshop
Igor Carboni Oliveira University of Oxford
Pseudorandomness when the odds are against you
Tight Fourier Tails for AC0 Circuits
Pseudo-derandomizing learning and approximation
Linear sketching with parities
K-wise vs almost K-wise permutations, and general group actions
Linear sketching with parities
DNF Sparsification and Counting
Emanuele Viola Harvard University June 2005
On Derandomizing Algorithms that Err Extremely Rarely
On Probabilistic Time versus Alternating Time
Emanuele Viola Harvard University October 2005
Pseudorandomness: New Results and Applications
Presentation transcript:

Better Pseudorandom Generators from Milder Pseudorandom Restrictions Raghu Meka (IAS) Parikshit Gopalan, Omer Reingold (MSR-SVC) Luca Trevian (Stanford), Salil Vadhan (Harvard)

Can we generate random bits?

Pseudorandom Generators Stretch bits to fool a class of “test functions” F

Can we generate random bits? Complexity theory, algorithms, streaming Strong positive evidence: hardness vs randomness – NW94, IW97, … Unconditionally? Duh.

Can we generate random bits? Restricted models: bounded depth circuits (AC0), bounded space algorithms Nis91, Bazzi09, B10, … Nis90, NZ93, INW94, …

ReferenceSeed-length Nisan 91 LVW 93 Bazzi 09 DETT 10 PRGs for AC0

PRGs for Small-space ReferenceSeed-length Nisan 90, INW 94 Lu 01 BRRY10, BV10, KNP11, De11

This Work PRGs with polynomial small error

Why Small Error? Because we “should” be able to Symptomatic: const. error for large depth implies poly. error for smaller depth Applications: algorithmic derandomizations, complexity lowerbounds

This Work Generic new technique: iterative application of mild random restrictions. 1. PRG for comb. rectangles with seed. 2. PRG for read-once CNFs with seed. 3. HSG for width 3 branching programs with seed.

Combinatorial Rectangles Applications: Number theory, analysis, integration, hardness amplification

PRGs for Comb. Rectangles Small set preserving volume Volume of rectangle ~ Fraction of positive PRG points

Thm: PRG for comb. rectangles with seed. PRGs for Combinatorial Rectangles ReferenceSeed-length EGLNV92 LLSZ93 ASWZ96 Lu01

Read-Once CNFs Each variable appears at most once Thm: PRG for read-once CNFs with seed.

This Talk Comb. Rectangles similar but different Thm: PRG for read-once CNFs with seed.

Outline 1.Main generator: mild (pseudo)random restrictions. 2.Interlude: Small-bias spaces, Tribes 3.Analysis: variance dampening, approximating symmetric functions. The “real” stuff happens here.

Random Restrictions Switching lemma – Ajt83, FSS84, Has86 * ** ***** *

Problem: No strong derandomized switching lemmas. PRGs from Random Restrictions AW85: Use “pseudorandom restrictions”. * ********

* * * Mild Psedorandom Restrictions Restrict half the bits (pseudorandomly). * * * “Simplification”: Can be fooled by small-bias spaces. * * *

Thm: PRG for read-once CNFs with seed. Full Generator Construction Pick half using almost k-wise * * * * Small-bias * * Small-bias * Small-bias

Outline 1.Main generator: mild (pseudo)- random restrictions. 2.Interlude: Small-bias spaces, Tribes 3.Analysis: variance dampening, approximating symmetric functions.

Toy example: Tribes Read-once CNF and a Comb. Rectangle

Small-bias Spaces

The “real” stuff happens here. Outline 1.Main generator: mild (pseudo)- random restrictions. 2.Interlude: Small-bias spaces, Tribes 3.Analysis: variance dampening, approximating symmetric functions.

Analysis Sketch Pick half using almost k-wise * * * * Small-bias * * Small-bias * Small-bias * * * * Uniform

Main idea: Average over uniform to study “bias function”. First try: fix uniform bits (averaging argument) Problem: still Tribes Pick half using almost k-wise * * * Analysis for Tribes * * * Pick exactly half from each clause White = small-bias Yellow = uniform * * *

Fooling Bias Functions Fix a read-once CNF f. Want: Define bias function: False if we fixed X!

Fooling Bias Functions Let

Fooling Bias Functions “Variance dampening”: makes things work. (Without “dampening”)

Fooling Bias Functions

An Inequality for Symmetric Polynomials Lem : Proof uses Newton-Girard identities. Comes from variance dampening.

Summary 1.Main generator: mild (pseudo)- random restrictions. 2.Small-bias spaces and Tribes 3.Analysis: variance dampening, approximating sym. functions. PRG for RCNFs Combinatorial rectangles similar but different

Open Problems Q: Use techniques for other classes? Small-space?

Thank you “The best throw of the die is to throw it away” -