skip to main content
article

Lower Bounds for Depth-Three Arithmetic Circuits with small bottom fanin

Published: 01 June 2016 Publication History

Abstract

Shpilka & Wigderson (IEEE conference on computational complexity, vol 87, 1999) had posed the problem of proving exponential lower bounds for (nonhomogeneous) depth-three arithmetic circuits with bounded bottom fanin over a field $${{\mathbb{F}}}$$F of characteristic zero. We resolve this problem by proving a $${N^{\Omega(\frac{d}{\tau})}}$$NΩ(d ) lower bound for (nonhomogeneous) depth-three arithmetic circuits with bottom fanin at most $${\tau}$$ computing an explicit $${N}$$N-variate polynomial of degree $${d}$$d over $${{\mathbb{F}}}$$F. Meanwhile, Nisan & Wigderson (Comp Complex 6(3):217---234, 1997) had posed the problem of proving super-polynomial lower bounds for homogeneous depth-five arithmetic circuits. Over fields of characteristic zero, we show a lower bound of $${N^{\Omega(\sqrt{d})}}$$NΩ(d) for homogeneous depth-five circuits (resp. also for depth-three circuits) with bottom fanin at most $${N^{\mu}}$$Nμ, for any fixed$${\mu < 1}$$μ<1. This resolves the problem posed by Nisan and Wigderson only partially because of the added restriction on the bottom fanin (a general homogeneous depth-five circuit has bottom fanin at most $${N}$$N).

References

[1]
Manindra Agrawal &amp; V. Vinay (2008). Arithmetic Circuits: A Chasm at Depth Four. In 49th Annual IEEE Symposium on Foundations of Computer Science , 67-75.
[2]
Noga Alon (2009). Perturbed Identity Matrices Have High Rank: Proof and Applications. Combinatorics, Probability &amp; Computing 18 (1-2), 3-15.
[3]
Suman K. Bera &amp; Amit Chakrabarti (2015). A Depth-Five Lower Bound for Iterated Matrix Multiplication. In 30th Conference on Computational Complexity, CCC 2015, June 17-19, 2015, Portland, Oregon, USA , 183-197.
[4]
Paul Erdös (1930-1932). Beweis eines Satzes von Tschebyschef. Acta Sci. Math. (Szeged) 5 , 194-198.
[5]
Hervé Fournier, Nutan Limaye, Guillaume Malod &amp; Srikanth Srinivasan (2014). Lower bounds for depth 4 formulas computing iterated matrix multiplication. In 46th ACM Symposium on Theory of Computing (STOC 2014) , 128-135.
[6]
Dima Grigoriev &amp; Marek Karpinski (1998). An Exponential Lower Bound for Depth 3 Arithmetic Circuits. In 30th ACM Symposium on Theory of Computing , 577-582. URL http://doi.acm.org/10.1145/276698.276872.
[7]
Dima Grigoriev &amp; Alexander A. Razborov (2000). Exponential Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions over Finite Fields. Appl. Algebra Eng. Commun. Comput. 10 (6), 465-487.
[8]
Ankit Gupta, Pritish Kamath, Neeraj Kayal &amp; Ramprasad Saptharishi (2013a). Arithmetic Circuits: A Chasm at Depth Three. In IEEE Symposium on Foundations of Computer Science , 578-587.
[9]
Ankit Gupta, Neeraj Kayal, Pritish Kamath &amp; Ramprasad Saptharishi (2013b). Approaching the chasm at depth four. In 2013 IEEE Conference on Computational Complexity , 65-73.
[10]
G. H. Hardy &amp; S. Ramanujan (1918). Asymptotic formulae in Combinatory Analysis. Proceedings of the London Mathematical Society s2-17 (1), 75-115.
[11]
Neeraj Kayal (2012). An exponential lower bound for the sum of powers of bounded degree polynomials. Electronic Colloquium on Computational Complexity 19 , 81.
[12]
Neeraj Kayal, Nutan Limaye, Chandan Saha &amp; Srikanth Srinivasan (2014a). An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas. In 55th Annual Symposium on Foundations of Computer Science (FOCS 2014), Philadelphia, PA, USA, October 18-21, 2014 , 61-70.
[13]
Neeraj Kayal, Nutan Limaye, Chandan Saha &amp; Srikanth Srinivasan (2014b). Super-polynomial lower bounds for depth-4 homogeneous arithmetic formulas. In 46th ACM Symposium on Theory of Computing (STOC 2014) , 119-127.
[14]
Neeraj Kayal &amp; Chandan Saha (2015). Lower Bounds for Sums of Products of Low arity Polynomials. Electronic Colloquium on Computational Complexity 22 , 73. URL http://eccc.hpi-web.de/report/2015/073.
[15]
Neeraj Kayal, Chandan Saha &amp; Ramprasad Saptharishi (2014c). A superpolynomial lower bound for regular arithmetic formulas. In 46th ACM Symposium on Theory of Computing (STOC 2014) , 146-153.
[16]
Pascal Koiran (2012). Arithmetic Circuits: The Chasm at Depth Four Gets Wider. Theoretical Computer Science 448 , 56-65.
[17]
Mrinal Kumar &amp; Shubhangi Saraf (2014a). On the Power of Homogeneous Depth 4 Arithmetic Circuits. In 55th Annual Symposium on Foundations of Computer Science (FOCS 2014), Philadelphia, PA, USA, October 18-21, 2014 , 364-373.
[18]
Mrinal Kumar &amp; Shubhangi Saraf (2014b). Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits. In International Colloquium on Automata, Languages and Programming (1) , 751-762.
[19]
Mrinal Kumar &amp; Shubhangi Saraf (2015). Sums of products of polynomials in few variables : lower bounds and polynomial identity testing. Electronic Colloquium on Computational Complexity 22 , 71. URL http://eccc.hpi-web.de/report/2015/071.
[20]
D.E. Littlewood (1950). The Theory of Group Characters and Matrix Representations of Groups . Ams Chelsea Publishing. AMS Chelsea Pub., 2nd edition.
[21]
Noam Nisan &amp; Avi Wigderson (1997). Lower Bounds on Arithmetic Circuits Via Partial Derivatives. Computational Complexity 6 (3), 217-234. Available at http://www.math.ias.edu/~avi/PUBLICATIONS/MYPAPERS/NW96/final.pdf.
[22]
Ran Raz &amp; Amir Yehudayoff (2009). Lower Bounds and Separations for Constant Depth Multilinear Circuits. Computational Complexity 18 (2), 171-207.
[23]
H. J. Ryser (1963). Combinatorial Mathematics. Math. Assoc. of America 14 .
[24]
Ramprasad Saptharishi (2014). Personal Communication.
[25]
Amir Shpilka (2001). Lower Bounds for Small Depth Arithmetic and Boolean Circuits . Ph.D. thesis, The Hebrew University.
[26]
Amir Shpilka &amp; Avi Wigderson (1999). Depth-3 Arithmetic Formulae over Fields of Characteristic Zero. In IEEE Conference on Computational Complexity , 87-. Available at http://eccc.hpi-web.de/report/1999/023/.
[27]
Amir Shpilka &amp; Avi Wigderson (2001). Depth-3 arithmetic circuits over fields of characteristic zero. Computational Complexity 10 (1), 1-27.
[28]
Amir Shpilka &amp; Amir Yehudayoff (2010). Arithmetic Circuits: A survey of recent results and open questions. Foundations and Trends in Theoretical Computer Science 5 , 207-388. ISSN 1551-305X. URL http://dx.doi.org/10. 1561/0400000039.
[29]
Sébastien Tavenas (2013). Improved Bounds for Reduction to Depth 4 and Depth 3. In International Symposium on Mathematical Foundations of Computer Science , 813-824.

Cited By

View all
  1. Lower Bounds for Depth-Three Arithmetic Circuits with small bottom fanin

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image Computational Complexity
      Computational Complexity  Volume 25, Issue 2
      June 2016
      255 pages

      Publisher

      Birkhauser Verlag

      Switzerland

      Publication History

      Published: 01 June 2016

      Author Tags

      1. 68Q15
      2. 68Q17
      3. Arithmetic circuits
      4. depth three
      5. lower bounds

      Qualifiers

      • Article

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 06 Nov 2024

      Other Metrics

      Citations

      Cited By

      View all

      View Options

      View options

      Get Access

      Login options

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media