Document Open Access Logo

An Almost Cubic Lower Bound for Depth Three Arithmetic Circuits

Authors Neeraj Kayal, Chandan Saha, Sébastien Tavenas

PDF
Thumbnail PDF

File

LIPIcs.ICALP.2016.33.pdf
  • Filesize: 0.58 MB
  • 15 pages

Document Identifiers

Author Details

Neeraj Kayal
Chandan Saha
Sébastien Tavenas

Cite AsGet BibTex

Neeraj Kayal, Chandan Saha, and Sébastien Tavenas. An Almost Cubic Lower Bound for Depth Three Arithmetic Circuits. In 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 55, pp. 33:1-33:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.ICALP.2016.33

Abstract

We show an almost cubic lower bound on the size of any depth three arithmetic circuit computing an explicit multilinear polynomial in n variables over any field. This improves upon the previously known quadratic lower bound by Shpilka and Wigderson [CCC, 1999].
Keywords
  • arithmetic circuits
  • depth-3 circuits
  • shifted partials

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, and Nitin Saxena. Jacobian hits circuits: hitting-sets, lower bounds for depth-d occur-k formulas & depth-3 transcendence degree-k circuits. In STOC, pages 599-614, 2012. Google Scholar
  2. Manindra Agrawal and V. Vinay. Arithmetic circuits: A chasm at depth four. In 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pages 67-75, 2008. Google Scholar
  3. W. Baur and V. Strassen. The complexity of partial derivatives. Theoretical Computer Science, 22(3):317-330, 1983. Google Scholar
  4. Peter Bürgisser. Completeness and Reduction in Algebraic Complexity Theory. Springer, 2000. Google Scholar
  5. Suryajith Chillara and Partha Mukhopadhyay. Depth-4 lower bounds, determinantal complexity: A unified approach. In 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France, pages 239-250, 2014. URL: http://dx.doi.org/10.4230/LIPIcs.STACS.2014.239.
  6. Michael A. Forbes and Amir Shpilka. Quasipolynomial-Time Identity Testing of Non-commutative and Read-Once Oblivious Algebraic Branching Programs. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 243-252, 2013. Google Scholar
  7. Hervé Fournier, Nutan Limaye, Guillaume Malod, and Srikanth Srinivasan. Lower bounds for depth 4 formulas computing iterated matrix multiplication. In STOC, pages 128-135, 2014. Google Scholar
  8. Dima Grigoriev and Marek Karpinski. An exponential lower bound for depth 3 arithmetic circuits. In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, Dallas, Texas, USA, May 23-26, 1998, pages 577-582, 1998. Google Scholar
  9. Dima Grigoriev and Alexander A. Razborov. Exponential complexity lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields. In 39th Annual Symposium on Foundations of Computer Science, FOCS'98, November 8-11, 1998, Palo Alto, California, USA, pages 269-278, 1998. Google Scholar
  10. Ankit Gupta, Pritish Kamath, Neeraj Kayal, and Ramprasad Saptharishi. Arithmetic circuits: A chasm at depth three. In Foundations of Computer Science (FOCS), pages 578-587, 2013. Google Scholar
  11. Ankit Gupta, Neeraj Kayal, Pritish Kamath, and Ramprasad Saptharishi. Approaching the chasm at depth four. In Conference on Computational Complexity (CCC), pages 65-73, 2013. Google Scholar
  12. Maurice J. Jansen and Kenneth W. Regan. "Resistant" Polynomials and Stronger Lower Bounds for Depth-Three Arithmetical Formulas. In Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pages 470-481, 2007. Google Scholar
  13. Mark Jerrum and Marc Snir. Some exact complexity results for straight-line computations over semirings. J. ACM, 29(3):874-897, 1982. Google Scholar
  14. Neeraj Kayal. An exponential lower bound for the sum of powers of bounded degree polynomials. Electronic Colloquium on Computational Complexity (ECCC), 19:81, 2012. Google Scholar
  15. Neeraj Kayal, Nutan Limaye, Chandan Saha, and Srikanth Srinivasan. An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas. In Foundations of Computer Science (FOCS), pages 61-70, 2014. Google Scholar
  16. Neeraj Kayal and Chandan Saha. Lower Bounds for Depth Three Arithmetic Circuits with small bottom fanin. In Conference on Computational Complexity, pages 158-208, 2015. Google Scholar
  17. Neeraj Kayal and Chandan Saha. Multi-k-ic depth three circuit lower bound. In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), volume 30, pages 527-539, 2015. Google Scholar
  18. Neeraj Kayal, Chandan Saha, and Ramprasad Saptharishi. A super-polynomial lower bound for regular arithmetic formulas. In STOC, pages 146-153, 2014. Google Scholar
  19. Neeraj Kayal, Chandan Saha, and Sébastien Tavenas. On the size of homogeneous and of depth four formulas with low individual degree. Electronic Colloquium on Computational Complexity (ECCC), 22:181, 2015. Google Scholar
  20. Pascal Koiran. Arithmetic circuits: The chasm at depth four gets wider. Theor. Comput. Sci., 448:56-65, 2012. Google Scholar
  21. Mrinal Kumar and Ramprasad Saptharishi. An exponential lower bound for homogeneous depth-5 circuits over finite fields. CoRR, abs/1507.00177, 2015. URL: http://arxiv.org/abs/1507.00177.
  22. Mrinal Kumar and Shubhangi Saraf. On the power of homogeneous depth 4 arithmetic circuits. In Proceedings of the Symposium on Foundations of Computer Science (FOCS), pages 364-373, 2014. Google Scholar
  23. Mrinal Kumar and Shubhangi Saraf. Arithmetic circuits with locally low algebraic rank. Electronic Colloquium on Computational Complexity (ECCC), 22:194, 2015. Google Scholar
  24. Mrinal Kumar and Shubhangi Saraf. Sums of products of polynomials in few variables : lower bounds and polynomial identity testing. Electronic Colloquium on Computational Complexity (ECCC), 22:71, 2015. Google Scholar
  25. Nutan Limaye, Guillaume Malod, and Srikanth Srinivasan. Lower bounds for non-commutative skew circuits. Electronic Colloquium on Computational Complexity (ECCC), 22:22, 2015. Google Scholar
  26. Meena Mahajan. Algebraic complexity classes. CoRR, abs/1307.3863, 2013. URL: http://arxiv.org/abs/1307.3863.
  27. Guillaume Malod and Natacha Portier. Characterizing Valiant’s algebraic complexity classes. J. Complex., 24(1):16-38, 2008. Google Scholar
  28. Noam Nisan. Lower bounds for non-commutative computation (extended abstract). In STOC, pages 410-418, 1991. Google Scholar
  29. Noam Nisan and Avi Wigderson. Lower bounds on arithmetic circuits via partial derivatives. Computational Complexity, 6(3):217-234, 1996. Google Scholar
  30. Ran Raz. Separation of multilinear circuit and formula size. Theory of Computing, 2(1):121-135, 2006. Google Scholar
  31. Ran Raz. Multi-linear formulas for permanent and determinant are of super-polynomial size. J. ACM, 56(2), 2009. Google Scholar
  32. Ran Raz. Elusive functions and lower bounds for arithmetic circuits. Theory of Computing, 6(1):135-177, 2010. Google Scholar
  33. Ran Raz. Tensor-rank and lower bounds for arithmetic formulas. In Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pages 659-666, 2010. Google Scholar
  34. Ran Raz and Amir Yehudayoff. Balancing syntactically multilinear arithmetic circuits. Computational Complexity, 17(4):515-535, 2008. Google Scholar
  35. Ran Raz and Amir Yehudayoff. Lower Bounds and Separations for Constant Depth Multilinear Circuits. Computational Complexity, 18(2):171-207, 2009. Google Scholar
  36. A. Shpilka and A. Wigderson. Depth-3 arithmetic circuits over fields of characteristic zero. Computational Complexity, 10(1):1-27, 2001. Google Scholar
  37. Amir Shpilka. Affine projections of symmetric polynomials. In Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pages 160-171, 2001. Google Scholar
  38. Amir Shpilka and Avi Wigderson. Depth-3 arithmetic formulae over fields of characteristic zero. In IEEE Conference on Computational Complexity, pages 87-, 1999. Available at URL: http://eccc.hpi-web.de/report/1999/023/.
  39. Amir Shpilka and Amir Yehudayoff. Arithmetic circuits: A survey of recent results and open questions. Foundations and Trends in Theoretical Computer Science, 5(3-4):207-388, 2010. Google Scholar
  40. V. Strassen. Die Berechnungskomplexität von elementarsymmetrischen Funktionen und von Interpolationskoeffizienten. Numerische Mathematik, 20:238–251, 1973. Google Scholar
  41. Sébastien Tavenas. Improved bounds for reduction to depth 4 and depth 3. In MFCS, pages 813-824, 2013. Google Scholar
  42. L. G. Valiant. Completeness Classes in Algebra. In STOC'79: Proceedings of the eleventh annual ACM symposium on Theory of computing, pages 249-261, New York, NY, USA, 1979. ACM Press. Google Scholar
  43. L.\hspace0.04cmG. Valiant, S. Skyum, S. Berkowitz, and C. Rackoff. Fast parallel computation of polynomials using few processors. SIAM Journal on Computing, 12(4):641-644, 1983. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact