Learning algorithms from natural proofs

ML Carmosino, R Impagliazzo… - 31st Conference on …, 2016 - drops.dagstuhl.de
Abstract Based on Hastad's (1986) circuit lower bounds, Linial, Mansour, and Nisan (1993)
gave a quasipolytime learning algorithm for AC^ 0 (constant-depth circuits with AND, OR …

Hardness magnification for natural problems

IC Oliveira, R Santhanam - 2018 IEEE 59th Annual Symposium …, 2018 - ieeexplore.ieee.org
We show that for several natural problems of interest, complexity lower bounds that are
barely non-trivial imply super-polynomial or even exponential lower bounds in strong …

Hardness magnification near state-of-the-art lower bounds

IC Oliveira, J Pich, R Santhanam - Theory of Computing, 2021 - ora.ox.ac.uk
This article continues the development of hardness magnification, an emerging area that
proposes a new strategy for showing strong complexity lower bounds by reducing them to a …

Shrinkage of De Morgan formulae by spectral techniques

A Tal - 2014 IEEE 55th Annual Symposium on Foundations of …, 2014 - ieeexplore.ieee.org
We give a new and improved proof that the shrinkage exponent of De Morgan formulae is 2.
Namely, we show that for any Boolean function f:{0, 1} n→{0, 1}, setting each variable out of …

Super-linear gate and super-quadratic wire lower bounds for depth-two and depth-three threshold circuits

DM Kane, R Williams - Proceedings of the forty-eighth annual ACM …, 2016 - dl.acm.org
In order to formally understand the power of neural computing, we first need to crack the
frontier of threshold circuits with two and three layers, a regime that has been surprisingly …

Pseudorandom generators for width-3 branching programs

R Meka, O Reingold, A Tal - Proceedings of the 51st Annual ACM …, 2019 - dl.acm.org
We construct pseudorandom generators of seed length Õ (log (n)· log (1/є)) that є-fool
ordered read-once branching programs (ROBPs) of width 3 and length n. For unordered …

Pseudorandom generators for read-once branching programs, in any order

MA Forbes, Z Kelley - 2018 IEEE 59th Annual Symposium on …, 2018 - ieeexplore.ieee.org
A central question in derandomization is whether randomized logspace (RL) equals
deterministic logspace (L). To show that RL= L, it suffices to construct explicit pseudorandom …

On the average-case complexity of MCSP and its variants

S Hirahara, R Santhanam - 32nd Computational Complexity …, 2017 - drops.dagstuhl.de
We prove various results on the complexity of MCSP (Minimum Circuit Size Problem) and
the related MKTP (Minimum Kolmogorov Time-Bounded Complexity Problem):* We observe …

Hitting sets for multilinear read-once algebraic branching programs, in any order

MA Forbes, R Saptharishi, A Shpilka - … of the forty-sixth annual ACM …, 2014 - dl.acm.org
We give deterministic black-box polynomial identity testing algorithms for multilinear read-
once oblivious algebraic branching programs (ROABPs), in n O (log2 n) time. Further, our …

New PRGs for Unbounded-Width/Adaptive-Order Read-Once Branching Programs

L Chen, X Lyu, A Tal, H Wu - 50th International Colloquium on …, 2023 - drops.dagstuhl.de
We give the first pseudorandom generators with sub-linear seed length for the following
variants of read-once branching programs (roBPs): 1) First, we show there is an explicit PRG …