Top-Down Lower Bounds for Depth-Four Circuits

04/05/2023
by   Mika Göös, et al.
0

We present a top-down lower-bound method for depth-4 boolean circuits. In particular, we give a new proof of the well-known result that the parity function requires depth-4 circuits of size exponential in n^1/3. Our proof is an application of robust sunflowers and block unpredictability.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/15/2022

Simple Hard Instances for Low-Depth Algebraic Proofs

We prove super-polynomial lower bounds on the size of propositional proo...
research
07/15/2020

Observations on Symmetric Circuits

We study symmetric arithmetic circuits and improve on lower bounds given...
research
09/07/2017

Detecting Patterns Can Be Hard: Circuit Lower Bounds for the String Matching Problem

Detecting patterns in strings and images is a fundamental and well studi...
research
12/16/2022

Criticality of AC^0 formulae

Rossman [In Proc. 34th Comput. Complexity Conf., 2019] introduced the no...
research
12/06/2019

The canonical pairs of bounded depth Frege systems

The canonical pair of a proof system P is the pair of disjoint NP sets w...
research
11/08/2017

Lower bounds over Boolean inputs for deep neural networks with ReLU gates

Motivated by the resurgence of neural networks in being able to solve co...

Please sign up or login with your details

Forgot password? Click here to reset