Robustly Separating the Arithmetic Monotone Hierarchy via Graph Inner-Product

Authors Arkadev Chattopadhyay, Utsab Ghosal, Partha Mukhopadhyay



PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2022.12.pdf
  • Filesize: 0.76 MB
  • 20 pages

Document Identifiers

Author Details

Arkadev Chattopadhyay
  • TIFR, Mumbai, India
Utsab Ghosal
  • Chennai Mathematical Institute, India
Partha Mukhopadhyay
  • Chennai Mathematical Institute, India

Acknowledgements

We thank the anonymous reviewers for their feedback.

Cite AsGet BibTex

Arkadev Chattopadhyay, Utsab Ghosal, and Partha Mukhopadhyay. Robustly Separating the Arithmetic Monotone Hierarchy via Graph Inner-Product. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 250, pp. 12:1-12:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.FSTTCS.2022.12

Abstract

We establish an ε-sensitive hierarchy separation for monotone arithmetic computations. The notion of ε-sensitive monotone lower bounds was recently introduced by Hrubeš [Pavel Hrubeš, 2020]. We show the following: - There exists a monotone polynomial over n variables in VNP that cannot be computed by 2^o(n) size monotone circuits in an ε-sensitive way as long as ε ≥ 2^(-Ω(n)). - There exists a polynomial over n variables that can be computed by polynomial size monotone circuits but cannot be computed by any monotone arithmetic branching program (ABP) of n^o(log n) size, even in an ε-sensitive fashion as long as ε ≥ n^(-Ω(log n)). - There exists a polynomial over n variables that can be computed by polynomial size monotone ABPs but cannot be computed in n^o(log n) size by monotone formulas even in an ε-sensitive way, when ε ≥ n^(-Ω(log n)). - There exists a polynomial over n variables that can be computed by width-4 polynomial size monotone arithmetic branching programs (ABPs) but cannot be computed in 2^o(n^{1/d}) size by monotone, unbounded fan-in formulas of product depth d even in an ε-sensitive way, when ε ≥ 2^(-Ω(n^{1/d})). This yields an ε-sensitive separation of constant-depth monotone formulas and constant-width monotone ABPs. The novel feature of our separations is that in each case the polynomial exhibited is obtained from a graph inner-product polynomial by choosing an appropriate graph topology. The closely related graph inner-product Boolean function for expander graphs was invented by Hayes [Thomas P. Hayes, 2011], also independently by Pitassi [Toniann Pitassi, 2009], in the context of best-partition multiparty communication complexity.

Subject Classification

ACM Subject Classification
  • Theory of computation → Algebraic complexity theory
Keywords
  • Algebraic Complexity
  • Discrepancy
  • Lower Bounds
  • Monotone Computations

Metrics

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

References

  1. Noga Alon, Mrinal Kumar, and Ben Lee Volk. Unbalancing sets and an almost quadratic lower bound for syntactically multilinear arithmetic circuits. Comb., 40(2):149-178, 2020. URL: https://doi.org/10.1007/s00493-019-4009-0.
  2. Vikraman Arvind, Pushkar S. Joglekar, and Srikanth Srinivasan. On lower bounds for constant-width arithmetic circuits. In 20th International Symposium on Algorithms and Computation (ISAAC), pages 637-646. Springer-LNCS, 2009. Google Scholar
  3. Vikraman Arvind and S. Raja. Some lower bound results for set-multilinear arithmetic computations. Chic. J. Theor. Comput. Sci., 2016, 2016. URL: http://cjtcs.cs.uchicago.edu/articles/2016/6/contents.html.
  4. Arkadev Chattopadhyay, Rajit Datta, Utsab Ghosal, and Partha Mukhopadhyay. Monotone complexity of spanning tree polynomial re-visited. In Mark Braverman, editor, 13th Innovations in Theoretical Computer Science Conference, ITCS 2022, January 31 - February 3, 2022, Berkeley, CA, USA, volume 215 of LIPIcs, pages 39:1-39:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. URL: https://doi.org/10.4230/LIPIcs.ITCS.2022.39.
  5. Arkadev Chattopadhyay, Rajit Datta, and Partha Mukhopadhyay. Lower bounds for monotone arithmetic circuits via communication complexity. In Samir Khuller and Virginia Vassilevska Williams, editors, STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21-25, 2021, pages 786-799. ACM, 2021. URL: https://doi.org/10.1145/3406325.3451069.
  6. Benny Chor and Oded Goldreich. Unbiased bits from sources of weak randomness and probabilistic communication complexity. SIAM J. Comput., 17(2):230-261, 1988. URL: https://doi.org/10.1137/0217015.
  7. Zeev Dvir, Guillaume Malod, Sylvain Perifel, and Amir Yehudayoff. Separating multilinear branching programs and formulas. In 44th ACM Symposium on Theory of Computing (STOC), pages 615-624. ACM, 2012. Google Scholar
  8. Thomas P. Hayes. Separating the k-party communication complexity hierarchy: An application of the zarankiewicz problem. Discrete Mathematics & Theoretical Computer Science, 13(4):15-22, 2011. Google Scholar
  9. Shlomo Hoory, Nathan Linial, and Avi Wigderson. Expander graphs and their applications. Bull. Amer. Math. Soc., 43:439-561, 2006. Google Scholar
  10. Pavel Hrubes and Amir Yehudayoff. Homogeneous formulas and symmetric polynomials. Comput. Complex., 20(3):559-578, 2011. URL: https://doi.org/10.1007/s00037-011-0007-3.
  11. Pavel Hrubes and Amir Yehudayoff. On isoperimetric profiles and computational complexity. In Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi, editors, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, volume 55 of LIPIcs, pages 89:1-89:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. URL: https://doi.org/10.4230/LIPIcs.ICALP.2016.89.
  12. Pavel Hrubeš. On ε-sensitive monotone computations. Computational Complexity, 29(2):6, 2020. URL: https://doi.org/10.1007/s00037-020-00196-6.
  13. Balagopal Komarath, Anurag Pandey, and C.S. Rahul. Graph homomorphism polynomials: Algorithms and complexity. In to appear in the 49th International Colloquium on Automata, Languages and Programming (ICALP), LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. Google Scholar
  14. Eyal Kushilevitz and Noam Nisan. Communication Complexity. Cambridge University Press, USA, 2006. Google Scholar
  15. Noam Nisan and Avi Wigderson. Lower bounds on arithmetic circuits via partial derivatives. Comput. Complex., 6(3):217-234, 1997. URL: https://doi.org/10.1007/BF01294256.
  16. Toniann Pitassi. Best-partition multiparty communication complexity. Manuscript online at http://www.cs.toronto.edu/~toni/Courses/CommComplexity/Papers/bestpartition.ps, 2009. Course notes for Foundations of Communication Complexity, Fall 2009.
  17. Ramprasad Saptharishi. A survey of lower bounds in arithmetic circuit complexity. Manuscript online at https://github.com/dasarpmar/lowerbounds-survey/releases/download/v9.0.3/fancymain.pdf, 2021. A selection of lower bounds in arithmatic circuit complexity.
  18. Srikanth Srinivasan. Strongly exponential separation between monotone VP and monotone VNP. ACM Trans. Comput. Theory, 12(4):23:1-23:12, 2020. URL: https://doi.org/10.1145/3417758.
  19. Leslie G. Valiant. Completeness classes in algebra. In Michael J. Fischer, Richard A. DeMillo, Nancy A. Lynch, Walter A. Burkhard, and Alfred V. Aho, editors, Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA, pages 249-261. ACM, 1979. URL: https://doi.org/10.1145/800135.804419.
  20. Leslie G. Valiant. Negation is powerless for boolean slice functions. SIAM J. Comput., 15(2):531-535, 1986. URL: https://doi.org/10.1137/0215037.
  21. Amir Yehudayoff. Separating monotone VP and VNP. In Moses Charikar and Edith Cohen, editors, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26, 2019, pages 425-429. ACM, 2019. URL: https://doi.org/10.1145/3313276.3316311.
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