A Quadratic Lower Bound for Algebraic Branching Programs

11/26/2019
by   Prerona Chatterjee, et al.
0

We show that any Algebraic Branching Program (ABP) computing the polynomial ∑_i = 1^n x_i^n has at least Ω(n^2) vertices. This improves upon the lower bound of Ω(nlog n), which follows from the classical result of Baur and Strassen [Str73, BS83], and extends the results in [K19], which showed a quadratic lower bound for homogeneous ABPs computing the same polynomial. Our proof relies on a notion of depth reduction which is reminiscent of similar statements in the context of matrix rigidity, and shows that any small enough ABP computing the polynomial ∑_i=1^n x_i^n can be depth reduced to essentially a homogeneous ABP of the same size which computes the polynomial ∑_i = 1^n x_i^n + ϵ(x_1, ..., x_n), for a structured "error polynomial" ϵ(x_1, ..., x_n). To complete the proof, we then observe that the lower bound in [K19] is robust enough and continues to hold for all polynomials ∑_i = 1^n x_i^n + ϵ(x_1, ..., x_n), where ϵ(x_1, ..., x_n) has the appropriate structure.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/26/2019

A Quadratic Lower Bound for Algebraic Branching Programs and Formulas

We show that any Algebraic Branching Program (ABP) computing the polynom...
research
05/04/2022

Degree-restricted strength decompositions and algebraic branching programs

We analyze Kumar's recent quadratic algebraic branching program size low...
research
08/08/2023

Determinants vs. Algebraic Branching Programs

We show that for every homogeneous polynomial of degree d, if it has det...
research
07/14/2020

Lower Bounds of Algebraic Branching Programs and Layerization

In this paper we improve the lower bound of Chatterjee et al. (ECCC 2019...
research
07/15/2019

Lower Bounding the AND-OR Tree via Symmetrization

We prove a nearly tight lower bound on the approximate degree of the two...
research
09/04/2022

Computing geometric feature sizes for algebraic manifolds

We introduce numerical algebraic geometry methods for computing lower bo...
research
03/11/2022

The spectrum of the Grigoriev-Laurent pseudomoments

Grigoriev (2001) and Laurent (2003) independently showed that the sum-of...

Please sign up or login with your details

Forgot password? Click here to reset