On top fan-in vs formal degree for depth-3 arithmetic circuits

04/10/2018
by   Mrinal Kumar, et al.
0

We show that over the field of complex numbers, every homogeneous polynomial of degree d can be approximated (in the border complexity sense) by a depth-3 arithmetic circuit of top fan-in at most d+1. This is quite surprising since there exist homogeneous polynomials P on n variables of degree 2, such that any depth-3 arithmetic circuit computing P must have top fan-in at least Ω(n). As an application, we get a new tradeoff between the top fan-in and formal degree in an approximate analog of the celebrated depth reduction result of Gupta, Kamath, Kayal and Saptharishi [GKKS13]. Formally, we show that if a degree d homogeneous polynomial P can be computed by an arithmetic circuit of size s, then for every t ≤ d, P is in the border of a depth-3 circuit of top fan-in s^O(t) and formal degree s^O(d/t). To the best of our knowledge, the upper bound on the top fan-in in the original proof of [GKKS13] is always at least s^O(√(d)), regardless of the formal degree.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/15/2018

Arithmetic Circuits with Locally Low Algebraic Rank

In recent years, there has been a flurry of activity towards proving low...
research
03/06/2019

Closure of VP under taking factors: a short and simple proof

In this note, we give a short, simple and almost completely self contain...
research
06/24/2022

Arithmetic Circuits, Structured Matrices and (not so) Deep Learning

This survey presents a necessarily incomplete (and biased) overview of r...
research
10/24/2017

On the Polynomial Parity Argument Complexity of the Combinatorial Nullstellensatz

The complexity class PPA consists of NP-search problems which are reduci...
research
05/29/2021

Verified Quadratic Virtual Substitution for Real Arithmetic

This paper presents a formally verified quantifier elimination (QE) algo...
research
04/15/2020

Learning sums of powers of low-degree polynomials in the non-degenerate case

We develop algorithms for writing a polynomial as sums of powers of low ...
research
12/09/2019

Approximating the Determinant of Well-Conditioned Matrices by Shallow Circuits

The determinant can be computed by classical circuits of depth O(log^2 n...

Please sign up or login with your details

Forgot password? Click here to reset