Revised: September 12, 2016

Published: September 4, 2017

**Keywords:**complexity theory, Boolean functions, Sensitivity conjecture, sensitivity, degree of Boolean functions, decision tree, communication complexity

**Categories:**complexity theory, Boolean functions, sensitivity, degree of Boolean functions, decision tree, communication complexity, short

**ACM Classification:**F.1.3, F.2.2

**AMS Classification:**68Q17, 68Q15, 68Q25

**Abstract:**
[Plain Text Version]

One of the major outstanding foundational problems about Boolean functions is the *sensitivity conjecture*, which
asserts that the degree of a Boolean function is bounded above by some fixed power of its sensitivity. We propose an attack on the sensitivity conjecture in terms of a novel two-player communication
game. A lower bound of the form $n^{\Omega(1)}$ on the cost of this game would imply the sensitivity conjecture.

To investigate the problem of bounding the cost of the game, three natural (stronger) variants of the question are considered. For two of these variants, protocols are presented that show that the hoped-for lower bound does not hold. These protocols satisfy a certain monotonicity property, and we show that the cost of any monotone protocol satisfies a strong lower bound in the original variant.

There is an easy upper bound of $\sqrt{n}$ on the cost of the game. We also improve slightly on this upper bound. This game and its connection to the sensitivity conjecture was independently discovered by Andy Drucker (arXiv:1706.07890).

A preliminary version of this paper appeared in the Proceedings of the 6th Innovations in Theoretical Computer Science conference, 2015.