On the resolution of the sensitivity conjecture

Abstract

The sensitivity conjecture is a long-standing problem in theoretical computer science that seeks to fit the sensitivity of a Boolean function into a unified framework formed by the other complexity measures of Boolean functions, such as block sensitivity and certificate complexity. After more than thirty years of attacks on this conjecture, Hao Huang (2019) gave a very succinct proof of the conjecture. In this survey, we explore the ideas that inspired the proof of this conjecture by an exposition of four papers that had the most impact on the conjecture. We also discuss progress on further research directions that the conjecture leads us to.