English

New upper bound on block sensitivity and certificate complexity in terms of sensitivity

Computational Complexity 2013-06-25 v2

Abstract

Sensitivity \cite{CD82,CDR86} and block sensitivity \cite{Nisan91} are two important complexity measures of Boolean functions. A longstanding open problem in decision tree complexity, the "Sensitivity versus Block Sensitivity" question, proposed by Nisan and Szegedy \cite{Nisan94} in 1992, is whether these two complexity measures are polynomially related, i.e., whether bs(f)=O(s(f)O(1))bs(f)=O(s(f)^{O(1)}). We prove an new upper bound on block sensitivity in terms of sensitivity: bs(f)2s(f)1s(f)bs(f) \leq 2^{s(f)-1} s(f). Previously, the best upper bound on block sensitivity was bs(f)(e2π)es(f)s(f)bs(f) \leq (\frac{e}{\sqrt{2\pi}}) e^{s(f)} \sqrt{s(f)} by Kenyon and Kutin \cite{KK}. We also prove that if min{s0(f),s1(f)}\min\{s_0(f),s_1(f)\} is a constant, then sensitivity and block sensitivity are linearly related, i.e. bs(f)=O(s(f))bs(f)=O(s(f)).

Keywords

Cite

@article{arxiv.1306.4466,
  title  = {New upper bound on block sensitivity and certificate complexity in terms of sensitivity},
  author = {Andris Ambainis and Yihan Gao and Jieming Mao and Xiaoming Sun and Song Zuo},
  journal= {arXiv preprint arXiv:1306.4466},
  year   = {2013}
}

Comments

9 pages

R2 v1 2026-06-22T00:36:38.681Z