Learning algorithms from natural proofs
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 …
gave a quasipolytime learning algorithm for AC^ 0 (constant-depth circuits with AND, OR …
Hardness magnification for natural problems
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 …
barely non-trivial imply super-polynomial or even exponential lower bounds in strong …
Hardness magnification near state-of-the-art lower bounds
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 …
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 …
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
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 …
frontier of threshold circuits with two and three layers, a regime that has been surprisingly …
Pseudorandom generators for width-3 branching programs
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 …
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 …
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 …
the related MKTP (Minimum Kolmogorov Time-Bounded Complexity Problem):* We observe …
Hitting sets for multilinear read-once algebraic branching programs, in any order
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 …
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
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 …
variants of read-once branching programs (roBPs): 1) First, we show there is an explicit PRG …