The Composition Complexity of Majority

Authors Victor Lecomte, Prasanna Ramakrishnan, Li-Yang Tan



PDF
Thumbnail PDF

File

LIPIcs.CCC.2022.19.pdf
  • Filesize: 0.88 MB
  • 26 pages

Document Identifiers

Author Details

Victor Lecomte
  • Stanford University, CA, USA
Prasanna Ramakrishnan
  • Stanford University, CA, USA
Li-Yang Tan
  • Stanford University, CA, USA

Acknowledgements

Li-Yang thanks Xi Chen, Rocco Servedio, and Erik Waingarten for numerous discussions about this problem.

Cite AsGet BibTex

Victor Lecomte, Prasanna Ramakrishnan, and Li-Yang Tan. The Composition Complexity of Majority. In 37th Computational Complexity Conference (CCC 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 234, pp. 19:1-19:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.CCC.2022.19

Abstract

We study the complexity of computing majority as a composition of local functions: Maj_n = h(g_1,…,g_m), where each g_j: {0,1}ⁿ → {0,1} is an arbitrary function that queries only k ≪ n variables and h: {0,1}^m → {0,1} is an arbitrary combining function. We prove an optimal lower bound of m ≥ Ω(n/k log k) on the number of functions needed, which is a factor Ω(log k) larger than the ideal m = n/k. We call this factor the composition overhead; previously, no superconstant lower bounds on it were known for majority. Our lower bound recovers, as a corollary and via an entirely different proof, the best known lower bound for bounded-width branching programs for majority (Alon and Maass '86, Babai et al. '90). It is also the first step in a plan that we propose for breaking a longstanding barrier in lower bounds for small-depth boolean circuits. Novel aspects of our proof include sharp bounds on the information lost as computation flows through the inner functions g_j, and the bootstrapping of lower bounds for a multi-output function (Hamming weight) into lower bounds for a single-output one (majority).

Subject Classification

ACM Subject Classification
  • Theory of computation → Circuit complexity
Keywords
  • computational complexity
  • circuit lower bounds

Metrics

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

References

  1. Miklós Ajtai. Σ₁¹-formulae on finite structures. Annals of Pure and Applied Logic, 24(1):1-48, 1983. Google Scholar
  2. Noga Alon and Wolfgang Maass. Meanders, ramsey theory and lower bounds for branching programs. In 27th Annual Symposium on Foundations of Computer Science (SFCS 1986), pages 410-417. IEEE, 1986. Google Scholar
  3. Kazuyuki Amano and Masafumi Yoshida. Depth two (n-2)-majority circuits for n-majority. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 101(9):1543-1545, 2018. Google Scholar
  4. László Babai, Pavel Pudlák, Vojtech Rödl, and Endre Szemerédi. Lower bounds to the complexity of symmetric boolean functions. Theoretical Computer Science, 74(3):313-323, 1990. Google Scholar
  5. Ravi B Boppana. The average sensitivity of bounded-depth circuits. Information processing letters, 63(5):257-261, 1997. Google Scholar
  6. Christian Engels, Mohit Garg, Kazuhisa Makino, and Anup Rao. On expressing majority as a majority of majorities. SIAM Journal on Discrete Mathematics, 34(1):730-741, 2020. Google Scholar
  7. Merrick Furst, James Saxe, and Michael Sipser. Parity, circuits, and the polynomial-time hierarchy. In Proceedings of the 22nd IEEE Annual Symposium on Foundations of Computer Science, pages 260-270, 1981. Google Scholar
  8. Dmitry Gavinsky, Or Meir, Omri Weinstein, and Avi Wigderson. Toward better formula lower bounds: an information complexity approach to the krw composition conjecture. In Proceedings of the forty-sixth annual ACM symposium on Theory of computing, pages 213-222, 2014. Google Scholar
  9. Oded Goldreich and Avishay Tal. Matrix rigidity of random toeplitz matrices. computational complexity, 27(2):305-350, 2018. Google Scholar
  10. Oded Goldreich and Avishay Tal. On constant-depth canonical boolean circuits for computing multilinear functions. In Computational Complexity and Property Testing, pages 306-325. Springer, 2020. Google Scholar
  11. Oded Goldreich and Avi Wigderson. On the size of depth-three boolean circuits for computing multilinear functions. In Computational Complexity and Property Testing, pages 41-86. Springer, 2020. Google Scholar
  12. Johan Håstad. Computational Limitations for Small Depth Circuits. MIT Press, Cambridge, MA, 1986. Google Scholar
  13. Johan Hastad, Stasys Jukna, and Pavel Pudlák. Top-down lower bounds for depth 3 circuits. In Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, pages 124-129. IEEE, 1993. Google Scholar
  14. Pavel Hrubes, Sivaramakrishnan Natarajan Ramamoorthy, Anup Rao, and Amir Yehudayoff. Lower bounds on balancing sets and depth-2 threshold circuits. In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019. Google Scholar
  15. Pavel Hrubes and Anup Rao. Circuits with medium fan-in. In 30th Conference on Computational Complexity (CCC 2015). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015. Google Scholar
  16. Stasys Jukna. Boolean function complexity: advances and frontiers, volume 5. Springer, 2012. Google Scholar
  17. Maria Klawe, Wolfgang J Paul, Nicholas Pippenger, and Mihalis Yannakakis. On monotone formulae with restricted depth. In Proceedings of the sixteenth annual ACM symposium on Theory of computing, pages 480-487, 1984. Google Scholar
  18. Alexander S Kulikov and Vladimir V Podolskii. Computing majority by constant depth majority circuits with low fan-in gates. Theory of Computing Systems, 63(5):956-986, 2019. Google Scholar
  19. Hanno Lefmann, Pavel Pudlák, and Petr Savicky. On sparse parity check matrices. Designs, Codes and Cryptography, 12(2):107-130, 1997. Google Scholar
  20. Or Meir and Avi Wigderson. Prediction from partial information and hindsight, with application to circuit lower bounds. computational complexity, 28(2):145-183, 2019. Google Scholar
  21. Edward I Nechiporuk. A boolean function. Engl. transl. in Sov. Phys. Dokl., 10:591-593, 1966. Google Scholar
  22. Ilan Newman and Avi Wigderson. Lower bounds on formula size of boolean functions using hypergraph entropy. SIAM Journal on Discrete Mathematics, 8(4):536-542, 1995. Google Scholar
  23. Ramamohan Paturi, Pavel Pudlák, Michael E Saks, and Francis Zane. An improved exponential-time algorithm for k-sat. Journal of the ACM (JACM), 52(3):337-364, 2005. Google Scholar
  24. Ramamohan Paturi, Pavel Pudlák, and Francis Zane. Satisfiability coding lemma. In Proceedings 38th Annual Symposium on Foundations of Computer Science, pages 566-574. IEEE, 1997. Google Scholar
  25. Gleb Posobin. Computing majority with low-fan-in majority queries. arXiv preprint, 2017. URL: http://arxiv.org/abs/1711.10176.
  26. Alexander A Razborov. Lower bounds for deterministic and nondeterministic branching programs. In International Symposium on Fundamentals of Computation Theory, pages 47-60. Springer, 1991. Google Scholar
  27. Alexander A Razborov and Steven Rudich. Natural proofs. Journal of Computer and System Sciences, 55(1):24-35, 1997. Google Scholar
  28. Benjamin Rossman. The average sensitivity of bounded-depth formulas. computational complexity, 27(2):209-223, 2018. Google Scholar
  29. Srikanth Srinivasan. Personal communication, 2015. Google Scholar
  30. Leslie G Valiant. Exponential lower bounds for restricted monotone circuits. In Proceedings of the fifteenth annual ACM symposium on Theory of computing, pages 110-117, 1983. Google Scholar
  31. Guy Wolfovitz. The complexity of depth-3 circuits computing symmetric boolean functions. Information Processing Letters, 100(2):41-46, 2006. Google Scholar
  32. Andrew Yao. Separating the polynomial-time hierarchy by oracles. In Proceedings of the 26th Annual Symposium on Foundations of Computer Science, pages 1-10, 1985. 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