A Proof of the Kahn-Kalai Conjecture

Abstract

Proving the ``expectation-threshold'' conjecture of Kahn and Kalai, we show that for any increasing property $\mathcal{F}$ on a finite set $X$, $$p_c(\mathcal{F})=O(q(\mathcal{F})\log \ell (\mathcal{F})),$$ where $p_c(\mathcal{F})$ and $q(\mathcal{F})$ are the threshold and ``expectation threshold'' of $\mathcal{F}$, and $\ell (\mathcal{F})$ is the maximum of $2$ and the maximum size of a minimal member of $\mathcal{F}$.