AC^0[p] Lower Bounds Against MCSP via the Coin Problem

Authors Alexander Golovnev, Rahul Ilango, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Avishay Tal



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2019.66.pdf
  • Filesize: 0.52 MB
  • 15 pages

Document Identifiers

Author Details

Alexander Golovnev
  • Harvard University, Cambridge, USA
Rahul Ilango
  • Rutgers University, New Brunswick, USA
Russell Impagliazzo
  • University of California San Diego, USA
Valentine Kabanets
  • Simon Fraser University, Burnaby, Canada
Antonina Kolokolova
  • Memorial University of Newfoundland, St. John’s, Canada
Avishay Tal
  • Stanford University, USA

Acknowledgements

This work was partly carried out while many of the authors were visiting the Simons Institute for the Theory of Computing in association with the DIMACS/Simons Collaboration on Lower Bounds in Computational Complexity, which is conducted with support from the National Science Foundation. We also thank Chris Umans and Ronen Shaltiel for helpful discussions in the early stages of this project (during the Dagstuhl 2018 workshop on "Algebraic Methods in Complexity"). We thank Eric Allender and Shuichi Hirahara for their comments, and special thanks to Eric for pointing us to the paper of Dančik [Vladimir Dančik, 1996] and the discussion of various circuit and formula complexity measures for constant-depth circuit models. We are grateful to our anonymous reviewers for helpful comments on this paper.

Cite AsGet BibTex

Alexander Golovnev, Rahul Ilango, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, and Avishay Tal. AC^0[p] Lower Bounds Against MCSP via the Coin Problem. In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 132, pp. 66:1-66:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.ICALP.2019.66

Abstract

Minimum Circuit Size Problem (MCSP) asks to decide if a given truth table of an n-variate boolean function has circuit complexity less than a given parameter s. We prove that MCSP is hard for constant-depth circuits with mod p gates, for any prime p >= 2 (the circuit class AC^0[p]). Namely, we show that MCSP requires d-depth AC^0[p] circuits of size at least exp(N^{0.49/d}), where N=2^n is the size of an input truth table of an n-variate boolean function. Our circuit lower bound proof shows that MCSP can solve the coin problem: distinguish uniformly random N-bit strings from those generated using independent samples from a biased random coin which is 1 with probability 1/2+N^{-0.49}, and 0 otherwise. Solving the coin problem with such parameters is known to require exponentially large AC^0[p] circuits. Moreover, this also implies that MAJORITY is computable by a non-uniform AC^0 circuit of polynomial size that also has MCSP-oracle gates. The latter has a few other consequences for the complexity of MCSP, e.g., we get that any boolean function in NC^1 (i.e., computable by a polynomial-size formula) can also be computed by a non-uniform polynomial-size AC^0 circuit with MCSP-oracle gates.

Subject Classification

ACM Subject Classification
  • Theory of computation → Circuit complexity
  • Theory of computation → Problems, reductions and completeness
Keywords
  • Minimum Circuit Size Problem (MCSP)
  • circuit lower bounds
  • AC0[p]
  • coin problem
  • hybrid argument
  • MKTP
  • biased random boolean functions

Metrics

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

References

  1. Eric Allender. Arithmetic Circuits and Counting Complexity Classes. In Jan Krajicek, editor, Complexity of Computations and Proofs, Quaderni di Matematica, volume 13, pages 33-72. Seconda Universita di Napoli, 2004. Google Scholar
  2. Eric Allender, Harry Buhrman, Michal Koucký, Dieter van Melkebeek, and Detlef Ronneburger. Power from Random Strings. SIAM J. Comput., 35(6):1467-1493, 2006. URL: http://dx.doi.org/10.1137/050628994.
  3. Eric Allender and Bireswar Das. Zero Knowledge and Circuit Minimization. In Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, pages 25-32, 2014. URL: http://dx.doi.org/10.1007/978-3-662-44465-8_3.
  4. Eric Allender, Lisa Hellerstein, Paul McCabe, Toniann Pitassi, and Michael E. Saks. Minimizing Disjunctive Normal Form Formulas and AC^0 Circuits Given a Truth Table. SIAM J. Comput., 38(1):63-84, 2008. URL: http://dx.doi.org/10.1137/060664537.
  5. Eric Allender and Shuichi Hirahara. New Insights on the (Non-)Hardness of Circuit Minimization and Related Problems. In Kim G. Larsen, Hans L. Bodlaender, and Jean-François Raskin, editors, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, volume 83 of LIPIcs, pages 54:1-54:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. URL: http://dx.doi.org/10.4230/LIPIcs.MFCS.2017.54.
  6. Eric Allender, Dhiraj Holden, and Valentine Kabanets. The Minimum Oracle Circuit Size Problem. In 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany, pages 21-33, 2015. URL: http://dx.doi.org/10.4230/LIPIcs.STACS.2015.21.
  7. Marco L. Carmosino, Russell Impagliazzo, Valentine Kabanets, and Antonina Kolokolova. Learning Algorithms from Natural Proofs. In 31st Conference on Computational Complexity, CCC 2016, May 29 to June 1, 2016, Tokyo, Japan, pages 10:1-10:24, 2016. Google Scholar
  8. Stephen A. Cook. A Taxonomy of Problems with Fast Parallel Algorithms. Information and Control, 64(1-3):2-21, 1985. URL: http://dx.doi.org/10.1016/S0019-9958(85)80041-3.
  9. Vladimir Dančik. Complexity of Boolean functions over bases of unbounded fan-in gates. Information Processing Letters, 57:31-34, 1996. Google Scholar
  10. Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, and Guy N. Rothblum. Verifying and decoding in constant depth. In David S. Johnson and Uriel Feige, editors, Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pages 440-449. ACM, 2007. URL: http://dx.doi.org/10.1145/1250790.1250855.
  11. Shuichi Hirahara and Rahul Santhanam. On the Average-Case Complexity of MCSP and Its Variants. In CCC, pages 7:1-7:20, 2017. URL: http://dx.doi.org/10.4230/LIPIcs.CCC.2017.7.
  12. Shuichi Hirahara and Osamu Watanabe. Limits of Minimum Circuit Size Problem as Oracle. In 31st Conference on Computational Complexity, CCC, pages 18:1-18:20, 2016. URL: http://dx.doi.org/10.4230/LIPIcs.CCC.2016.18.
  13. John M. Hitchcock and A. Pavan. On the NP-Completeness of the Minimum Circuit Size Problem. In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS, pages 236-245, 2015. URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2015.236.
  14. Russell Impagliazzo, Valentine Kabanets, and Ilya Volkovich. The Power of Natural Properties as Oracles. In Rocco A. Servedio, editor, 33rd Computational Complexity Conference, CCC 2018, June 22-24, 2018, San Diego, CA, USA, volume 102 of LIPIcs, pages 7:1-7:20. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. URL: http://dx.doi.org/10.4230/LIPIcs.CCC.2018.7.
  15. Russell Impagliazzo, Valentine Kabanets, and Avi Wigderson. In search of an easy witness: exponential time vs. probabilistic polynomial time. J. Comput. Syst. Sci., 65(4):672-694, 2002. URL: http://dx.doi.org/10.1016/S0022-0000(02)00024-7.
  16. Stasys Jukna. Boolean Function Complexity - Advances and Frontiers, volume 27 of Algorithms and combinatorics. Springer, 2012. URL: http://dx.doi.org/10.1007/978-3-642-24508-4.
  17. Valentine Kabanets and Jin-yi Cai. Circuit minimization problem. In STOC, pages 73-79, 2000. URL: https://eccc.weizmann.ac.il/report/1999/045/.
  18. Nutan Limaye, Karteek Sreenivasaiah, Srikanth Srinivasan, Utkarsh Tripathi, and S. Venkitesh. The Coin Problem in Constant Depth: Sample Complexity and Parity Gates. arXiv preprint, 2018. URL: http://arxiv.org/abs/1809.04092.
  19. Oleg B. Lupanov. On the synthesis of switching circuits. Doklady Akademii Nauk SSSR, 119(1):23-26, 1958. English translation in Soviet Mathematics Doklady. Google Scholar
  20. Oleg B. Lupanov. Complexity of formula realization of functions of logical algebra. Problemy Kibernetiki, 3:782-811, 1962. Google Scholar
  21. Oleg B. Lupanov. On a certain approach to the synthesis of control systems - the principle of local coding. Problemy Kibernetiki, 14:31-110, 1965. (in Russian). Google Scholar
  22. Colin McDiarmid. On the method of bounded differences, pages 148-–188. London Mathematical Society Lecture Note Series. Cambridge University Press, 1989. URL: http://dx.doi.org/10.1017/CBO9781107359949.008.
  23. Cody Murray and R. Ryan Williams. Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP. In Ilias Diakonikolas, David Kempe, and Monika Henzinger, editors, Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June 25-29, 2018, pages 890-901. ACM, 2018. URL: http://dx.doi.org/10.1145/3188745.3188910.
  24. Cody D. Murray and R. Ryan Williams. On the (Non) NP-Hardness of Computing Circuit Complexity. Theory of Computing, 13(1):1-22, 2017. URL: http://dx.doi.org/10.4086/toc.2017.v013a004.
  25. Igor C. Oliveira and Rahul Santhanam. Conspiracies between learning algorithms, circuit lower bounds, and pseudorandomness. In Proceedings of the 32nd Computational Complexity Conference, page 18. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. Google Scholar
  26. Nicholas Pippenger. Information theory and the complexity of boolean functions. Mathematical systems theory, 10:129-167, 1976. Google Scholar
  27. Alexander A. Razborov. Lower bounds on the size of bounded depth circuits over a complete basis with logical addition. Math. Notes, 41(4):333-338, 1987. Google Scholar
  28. Alexander A. Razborov and Steven Rudich. Natural Proofs. J. Comput. Syst. Sci., 55(1):24-35, 1997. URL: http://dx.doi.org/10.1006/jcss.1997.1494.
  29. Ronen Shaltiel and Emanuele Viola. Hardness Amplification Proofs Require Majority. SIAM J. Comput., 39(7):3122-3154, 2010. URL: http://dx.doi.org/10.1137/080735096.
  30. Claude E. Shannon. The synthesis of two-terminal switching circuits. Bell System Tech. J., 28:59-98, 1949. Google Scholar
  31. Roman Smolensky. Algebraic Methods in the Theory of Lower Bounds for Boolean Circuit Complexity. In Proceedings of the 19th Annual ACM Symposium on Theory of Computing (STOC), pages 77-82, 1987. Google Scholar
  32. Ryan Williams. Nonuniform ACC Circuit Lower Bounds. J. ACM, 61(1):2:1-2:32, 2014. URL: http://dx.doi.org/10.1145/2559903.
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