Observations on Symmetric Circuits

07/15/2020
by   Christian Engels, et al.
0

We study symmetric arithmetic circuits and improve on lower bounds given by Dawar and Wilsenach (ArXiv 2020). Their result showed an exponential lower bound of the permanent computed by symmetric circuits. We extend this result to show a simpler proof of the permanent lower bound and show that a large class of polynomials have exponential lower bounds in this model. In fact, we prove that all polynomials that contain at least one monomial of the permanent have exponential size lower bounds in the symmetric computation model. We also show super-polynomial lower bounds for smaller groups. We support our conclusion that the group is much more important than the polynomial by showing that on a random process of choosing polynomials, the probability of not encountering a super-polynomial lower bound is exponentially low.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/05/2023

Top-Down Lower Bounds for Depth-Four Circuits

We present a top-down lower-bound method for depth-4 boolean circuits. I...
research
01/04/2023

New Lower Bounds against Homogeneous Non-Commutative Circuits

We give several new lower bounds on size of homogeneous non-commutative ...
research
01/23/2019

On the Power of Symmetric Linear Programs

We consider families of symmetric linear programs (LPs) that decide a pr...
research
03/08/2019

Stronger Lower Bounds for Online ORAM

Oblivious RAM (ORAM), introduced in the context of software protection b...
research
07/23/2021

Lower Bounds for Symmetric Circuits for the Determinant

Dawar and Wilsenach (ICALP 2020) introduce the model of symmetric arithm...
research
04/24/2018

Lower Bounds for Special Cases of Syntactic Multilinear ABPs

Algebraic Branching Programs(ABPs) are standard models for computing pol...
research
11/30/2017

Exponential lower bounds on spectrahedral representations of hyperbolicity cones

The Generalized Lax Conjecture asks whether every hyperbolicity cone is ...

Please sign up or login with your details

Forgot password? Click here to reset