Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization
Offered By: Association for Computing Machinery (ACM) via YouTube
Course Description
Overview
Explore a conference talk delving into strong average-case circuit lower bounds derived from non-trivial derandomization. Gain insights into circuit lower bounds, AC circuits, and circuit analysis problems. Discover the algorithmic method and subsequent developments in the field. Examine the concept of derandomization, including pseudorandom generators fooling AC[2]. Learn about the work on strong average-case circuit lower bounds for ACC, including hardness amplification attempts, circuit analysis of approximate sum, and the final proof. Conclude with an overview of new developments in this area of computational complexity theory.
Syllabus
Intro
Motivation 1: Circuit Lower Bounds
AC circuits
AC [6] circuits
Circuit Analysis Problems
Algorithmic Method
Subsequent Developments
Motivation 2: Derandomization
Pseudorandom Generators Fooling AC [2]?
This Work: Strong Average-Case Circuit Lower Bounds for ACC
First Attempt: Hardness Amplification
Still, Step I...?
Circuit Analysis of Approximate Sum
Hardness Amplification via Approximate Sum
The Final Proof
New Developments
Taught by
Association for Computing Machinery (ACM)
Related Courses
Randomized Methods in ComplexityIndian Institute of Technology Kanpur via Swayam Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization - Lijie Chen
Institute for Advanced Study via YouTube Expander Graph Application 2: Derandomization - Lecture 16c of CS Theory Toolkit
Ryan O'Donnell via YouTube High-Precision Estimation of Random Walks in Small Space
IEEE via YouTube Nearly Optimal Pseudorandomness From Hardness
IEEE via YouTube