Sensitivity Versus Certificate Complexity of Boolean Functions

  • Andris Ambainis
  • Krišjānis Prūsis
  • Jevgēnijs VihrovsEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9691)


Sensitivity, block sensitivity and certificate complexity are basic complexity measures of Boolean functions. The famous sensitivity conjecture claims that sensitivity is polynomially related to block sensitivity. However, it has been notoriously hard to obtain even exponential bounds. Since block sensitivity is known to be polynomially related to certificate complexity, an equivalent of proving this conjecture would be showing that the certificate complexity is polynomially related to sensitivity. Previously, it has been shown that \(bs(f) \le C(f) \le 2^{s(f)-1} s(f) - (s(f)-1)\). In this work, we give a better upper bound of \(bs(f) \le C(f) \le \max \left( 2^{s(f)-1}\left( s(f)-\frac{1}{3}\right) , s(f)\right) \) using a recent theorem limiting the structure of function graphs. We also examine relations between these measures for functions with 1-sensitivity \(s_1(f)=2\) and arbitrary 0-sensitivity \(s_0(f)\).


  1. 1.
    Ambainis, A., Bavarian, M., Gao, Y., Mao, J., Sun, X., Zuo, S.: Tighter relations between sensitivity and other complexity measures. In: Esparza, J., Fraigniaud, P., Husfeldt, T., Koutsoupias, E. (eds.) ICALP 2014. LNCS, vol. 8572, pp. 101–113. Springer, Heidelberg (2014)Google Scholar
  2. 2.
    Ambainis, A., Prūsis, K., Vihrovs, J.: Sensitivity versus certificate complexity of Boolean functions. CoRR, abs/1503.07691 (2016)Google Scholar
  3. 3.
    Ambainis, A., Sun, X.: New separation between \(s(f)\) and \(bs(f)\). CoRR, abs/1108.3494 (2011)Google Scholar
  4. 4.
    Ambainis, A., Vihrovs, J.: Size of sets with small sensitivity: a generalization of simon’s lemma. In: Jain, R., Jain, S., Stephan, F. (eds.) TAMC 2015. LNCS, vol. 9076, pp. 122–133. Springer, Heidelberg (2015)Google Scholar
  5. 5.
    Beals, R., Buhrman, H., Cleve, R., Mosca, M., de Wolf, R.: Quantum lower bounds by polynomials. J. ACM 48(4), 778–797 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Buhrman, H., de Wolf, R.: Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci. 288(1), 21–43 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Cook, S., Dwork, C., Reischuk, R.: Upper and lower time bounds for parallel random access machines without simultaneous writes. SIAM J. Comput. 15, 87–97 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Gilmer, J., Koucký, M., Saks, M.E.: A communication game related to the sensitivity conjecture. CoRR, abs/1511.07729 (2015)Google Scholar
  9. 9.
    Gopalan, P., Nisan, N., Servedio, R.A., Talwar, K., Wigderson, A.: Smooth Boolean functions are easy: Efficient algorithms forlow-sensitivity functions. In: Proceedings of the 2016 ACM Conference on Innovations inTheoretical Computer Science, ITCS 2016, pp. 59–70. ACM, New York, NY, USA (2016)Google Scholar
  10. 10.
    Hatami, P., Kulkarni, R., Pankratov, D.: Variations on the sensitivity conjecture. In: Number 4 in Graduate Surveys. Theory of Computing Library (2011)Google Scholar
  11. 11.
    Kenyon, C., Kutin, S.: Sensitivity, block sensitivity, and \(\ell \)-block sensitivity of Boolean functions. Inf. Comput. 189(1), 43–53 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Lin, C., Zhang, S.: Sensitivity conjecture and log-rank conjecture for functions with small alternating numbers. CoRR, abs/1602.06627 (2016)Google Scholar
  13. 13.
    Nisan, N.: CREW PRAMS and decision trees. In: Proceedings of the Twenty-first Annual ACM Symposium on Theory of Computing, STOC 1989, pp. 327–335. ACM, New York, NY, USA (1989)Google Scholar
  14. 14.
    Rubinstein, D.: Sensitivity vs. block sensitivity of Boolean functions. Combinatorica 15(2), 297–299 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Simon, H.-U.: A tight \(\varOmega (\log \log N)\)-bound on the time for parallel RAM’s to compute nondegenerated Boolean functions. In: Karpinski, M. (ed.) FCT 1983. LNCS, vol. 158, pp. 439–444. Springer, London (1983)CrossRefGoogle Scholar
  16. 16.
    Virza, M.: Sensitivity versus block sensitivity of Boolean functions. Inf. Process. Lett. 111(9), 433–435 (2011)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Andris Ambainis
    • 1
  • Krišjānis Prūsis
    • 1
  • Jevgēnijs Vihrovs
    • 1
    Email author
  1. 1.Faculty of ComputingUniversity of LatviaRīgaLatvia

Personalised recommendations