English

On the resolution of the sensitivity conjecture

Combinatorics 2020-11-05 v3 Computational Complexity

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.

Cite

@article{arxiv.1912.05406,
  title  = {On the resolution of the sensitivity conjecture},
  author = {Rohan Karthikeyan and Siddharth Sinha and Vallabh Patil},
  journal= {arXiv preprint arXiv:1912.05406},
  year   = {2020}
}

Comments

25 pages; added new section on open problems, typos corrected, submitted for publication

R2 v1 2026-06-23T12:42:55.265Z