On the Probabilistic Degree of an n-Variate Boolean Function

Authors Srikanth Srinivasan, S. Venkitesh



PDF
Thumbnail PDF

File

LIPIcs.APPROX-RANDOM.2021.42.pdf
  • Filesize: 0.78 MB
  • 20 pages

Document Identifiers

Author Details

Srikanth Srinivasan
  • Department of Computer Science, Aarhus University, Aarhus, Denmark
S. Venkitesh
  • Department of Mathematics, IIT Bombay, Mumbai, India

Cite AsGet BibTex

Srikanth Srinivasan and S. Venkitesh. On the Probabilistic Degree of an n-Variate Boolean Function. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 207, pp. 42:1-42:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.42

Abstract

Nisan and Szegedy (CC 1994) showed that any Boolean function f:{0,1}ⁿ → {0,1} that depends on all its input variables, when represented as a real-valued multivariate polynomial P(x₁,…,x_n), has degree at least log n - O(log log n). This was improved to a tight (log n - O(1)) bound by Chiarelli, Hatami and Saks (Combinatorica 2020). Similar statements are also known for other Boolean function complexity measures such as Sensitivity (Simon (FCT 1983)), Quantum query complexity, and Approximate degree (Ambainis and de Wolf (CC 2014)). In this paper, we address this question for Probabilistic degree. The function f has probabilistic degree at most d if there is a random real-valued polynomial of degree at most d that agrees with f at each input with high probability. Our understanding of this complexity measure is significantly weaker than those above: for instance, we do not even know the probabilistic degree of the OR function, the best-known bounds put it between (log n)^{1/2-o(1)} and O(log n) (Beigel, Reingold, Spielman (STOC 1991); Tarui (TCS 1993); Harsha, Srinivasan (RSA 2019)). Here we can give a near-optimal understanding of the probabilistic degree of n-variate functions f, modulo our lack of understanding of the probabilistic degree of OR. We show that if the probabilistic degree of OR is (log n)^c, then the minimum possible probabilistic degree of such an f is at least (log n)^{c/(c+1)-o(1)}, and we show this is tight up to (log n)^{o(1)} factors.

Subject Classification

ACM Subject Classification
  • Theory of computation → Probabilistic computation
  • Theory of computation → Circuit complexity
  • Theory of computation → Complexity classes
  • Theory of computation → Pseudorandomness and derandomization
Keywords
  • truly n-variate
  • Boolean function
  • probabilistic polynomial
  • probabilistic degree

Metrics

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

References

  1. Josh Alman, Timothy M. Chan, and R. Ryan Williams. Polynomial representations of threshold functions and algorithmic applications. In Irit Dinur, editor, IEEE 57th Annual Symposium on Foundations of Computer Science, FOCS 2016, 9-11 October 2016, Hyatt Regency, New Brunswick, New Jersey, USA, pages 467-476. IEEE Computer Society, 2016. URL: https://doi.org/10.1109/FOCS.2016.57.
  2. Josh Alman and Ryan Williams. Probabilistic polynomials and hamming nearest neighbors. In 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pages 136-150, 2015. URL: https://doi.org/10.1109/FOCS.2015.18.
  3. Noga Alon and Joel H. Spencer. The Probabilistic Method, Third Edition. Wiley-Interscience series in discrete mathematics and optimization. Wiley, 2008. ISBN: 978-0-470-17020-5. Google Scholar
  4. Andris Ambainis and Ronald de Wolf. How low can approximate degree and quantum query complexity be for total boolean functions? Comput. Complex., 23(2):305-322, 2014. URL: https://doi.org/10.1007/s00037-014-0083-2.
  5. James Aspnes, Richard Beigel, Merrick L. Furst, and Steven Rudich. The expressive power of voting polynomials. Comb., 14(2):135-148, 1994. URL: https://doi.org/10.1007/BF01215346.
  6. Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, and Ronald de Wolf. Quantum lower bounds by polynomials. J. ACM, 48(4):778-797, 2001. URL: https://doi.org/10.1145/502090.502097.
  7. R. Beigel, N. Reingold, and D. Spielman. The perceptron strikes back. In [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference, pages 286-291, 1991. URL: https://doi.org/10.1109/SCT.1991.160270.
  8. Richard Beigel. The polynomial method in circuit complexity. In Proceedings of the Eigth Annual Structure in Complexity Theory Conference, San Diego, CA, USA, May 18-21, 1993, pages 82-95. IEEE Computer Society, 1993. URL: https://doi.org/10.1109/SCT.1993.336538.
  9. Mark Braverman. Polylogarithmic independence fools AC^0 circuits. J. ACM, 57(5):28:1-28:10, 2010. URL: https://doi.org/10.1145/1754399.1754401.
  10. Harry Buhrman and Ronald de Wolf. Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci., 288(1):21-43, 2002. URL: https://doi.org/10.1016/S0304-3975(01)00144-X.
  11. Marco L. Carmosino, Russell Impagliazzo, Valentine Kabanets, and Antonina Kolokolova. Learning algorithms from natural proofs. In Ran Raz, editor, 31st Conference on Computational Complexity, CCC 2016, May 29 to June 1, 2016, Tokyo, Japan, volume 50 of LIPIcs, pages 10:1-10:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. URL: https://doi.org/10.4230/LIPIcs.CCC.2016.10.
  12. Xi Chen, Igor Carboni Oliveira, Rocco A. Servedio, and Li-Yang Tan. Near-optimal small-depth lower bounds for small distance connectivity. In Daniel Wichs and Yishay Mansour, editors, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, June 18-21, 2016, pages 612-625. ACM, 2016. URL: https://doi.org/10.1145/2897518.2897534.
  13. John Chiarelli, Pooya Hatami, and Michael E. Saks. An asymptotically tight bound on the number of relevant variables in a bounded degree boolean function. Comb., 40(2):237-244, 2020. URL: https://doi.org/10.1007/s00493-019-4136-7.
  14. Alexander Golovnev, Alexander S. Kulikov, and R. Ryan Williams. Circuit depth reductions. In James R. Lee, editor, 12th Innovations in Theoretical Computer Science Conference, ITCS 2021, January 6-8, 2021, Virtual Conference, volume 185 of LIPIcs, pages 24:1-24:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPIcs.ITCS.2021.24.
  15. Lov K. Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, STOC '96, page 212–219, New York, NY, USA, 1996. Association for Computing Machinery. URL: https://doi.org/10.1145/237814.237866.
  16. Prahladh Harsha and Srikanth Srinivasan. On polynomial approximations to AC⁰. Random Structures & Algorithms, 54(2):289-303, 2019. URL: https://doi.org/10.1002/rsa.20786.
  17. Johan Håstad, Benjamin Rossman, Rocco A. Servedio, and Li-Yang Tan. An average-case depth hierarchy theorem for boolean circuits. J. ACM, 64(5):35:1-35:27, 2017. URL: https://doi.org/10.1145/3095799.
  18. Hao Huang. Induced subgraphs of hypercubes and a proof of the sensitivity conjecture. Annals of Mathematics, 190(3):949-955, 2019. URL: https://doi.org/10.4007/annals.2019.190.3.6.
  19. Adam R. Klivans and Rocco A. Servedio. Learning DNF in time 2^Õ(n^1/3). J. Comput. Syst. Sci., 68(2):303-318, 2004. URL: https://doi.org/10.1016/j.jcss.2003.07.007.
  20. N. Nisan. Crew prams and decision trees. In Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, STOC '89, page 327–335, New York, NY, USA, 1989. Association for Computing Machinery. URL: https://doi.org/10.1145/73007.73038.
  21. Noam Nisan and Mario Szegedy. On the degree of boolean functions as real polynomials. Comput. Complex., 4:301-313, 1994. URL: https://doi.org/10.1007/BF01263419.
  22. Ryan O'Donnell. Analysis of Boolean Functions. Cambridge University Press, USA, 2014. URL: https://doi.org/10.1017/CBO9781139814782.
  23. A. A. Razborov. Lower bounds on the dimension of schemes of bounded depth in a complete basis containing the logical addition function. Mat. Zametki, 41(4):598-607, 623, 1987. Google Scholar
  24. Alexander Schrijver. Theory of linear and integer programming. John Wiley & Sons, 1998. ISBN: 978-0-471-98232-6. Google Scholar
  25. Hans Ulrich Simon. A Tight Ω(log log n)-Bound on the Time for Parallel RAM’s to Compute Nondegenerated Boolean Functions. Inf. Control., 55(1-3):102-106, 1982. URL: https://doi.org/10.1016/S0019-9958(82)90477-6.
  26. Roman Smolensky. Algebraic methods in the theory of lower bounds for boolean circuit complexity. In Alfred V. Aho, editor, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987, New York, New York, USA, pages 77-82. ACM, 1987. URL: https://doi.org/10.1145/28395.28404.
  27. Jun Tarui. Probabilistic polynomials, AC⁰ functions and the polynomial-time hierarchy. Theoretical Computer Science, 113(1):167-183, 1993. URL: https://doi.org/10.1016/0304-3975(93)90214-E.
  28. Emanuele Viola. New lower bounds for probabilistic degree and AC⁰ with parity gates. Electron. Colloquium Comput. Complex., 27:15, 2020. URL: https://eccc.weizmann.ac.il/report/2020/015.
  29. R. Ryan Williams. Faster all-pairs shortest paths via circuit complexity. SIAM J. Comput., 47(5):1965-1985, 2018. URL: https://doi.org/10.1137/15M1024524.
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