Kayal, Neeraj and Limaye, Nutan and Saha, Chandan and Srinivasan, Srikanth
(2014)
*An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas.*
In: 55th Annual IEEE Symposium on Foundations of Computer Science (FOCS), OCT 18-21, 2014, Microsoft Res New England, Philadelphia, PA, pp. 61-70.

PDF
2014_IEEE_Ann_Sym_Fou_Com_Sci61_2014.pdf - Published Version Restricted to Registered users only Download (289kB) | Request a copy |

## Abstract

We show here a 2(Omega(root d.log N)) size lower bound for homogeneous depth four arithmetic formulas. That is, we give an explicit family of polynomials of degree d on N variables (with N = d(3) in our case) with 0, 1-coefficients such that for any representation of a polynomial f in this family of the form f = Sigma(i) Pi(j) Q(ij), where the Q(ij)'s are homogeneous polynomials (recall that a polynomial is said to be homogeneous if all its monomials have the same degree), it must hold that Sigma(i,j) (Number of monomials of Q(ij)) >= 2(Omega(root d.log N)). The above mentioned family, which we refer to as the Nisan-Wigderson design-based family of polynomials, is in the complexity class VNP. Our work builds on the recent lower bound results 1], 2], 3], 4], 5] and yields an improved quantitative bound as compared to the quasi-polynomial lower bound of 6] and the N-Omega(log log (N)) lower bound in the independent work of 7].

Item Type: | Conference Proceedings |
---|---|

Series.: | Annual IEEE Symposium on Foundations of Computer Science |

Publisher: | IEEE |

Additional Information: | Copy right for this article belongs to the IEEE, 345 E 47TH ST, NEW YORK, NY 10017 USA |

Keywords: | Arithmetic circuits; shifted partial derivatives; lower bounds |

Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |

Date Deposited: | 06 Jan 2016 05:44 |

Last Modified: | 06 Jan 2016 05:44 |

URI: | http://eprints.iisc.ac.in/id/eprint/53069 |

### Actions (login required)

View Item |