The final destination of this chapter is a proof of the following theorem due to Mossel, O’Donnell, and Oleszkiewicz **[MOO05a,MOO10]**, first mentioned in Chapter 5.25:

Majority Is Stablest TheoremFix $\rho \in (0,1)$. Let $f : \{-1,1\}^n \to [-1,1]$ have $\mathop{\bf E}[f] = 0$. Then, assuming $\mathbf{MaxInf}[f] \leq \epsilon$, or more generally that $f$ has no $(\epsilon,\epsilon)$-notable coordinates, \[ \mathbf{Stab}_\rho[f] \leq 1 – \tfrac{2}{\pi} \arccos \rho + o_\epsilon(1). \]

Continue reading Chapter 11: Gaussian space and Invariance Principles

## Recent comments

Gautam Kamath: Is $q'$ defined here?Gautam Kamath: On this page, Hölder is displaying for me as H{ö}lder - is t...Ryan O'Donnell: Yes, you're right. This is not a well-written proof by the ...Ryan O'Donnell: Thanks, yes.Ryan O'Donnell: Yep, thanks.Ryan O'Donnell: Yep, thanks.Noam Lifshitz: I think that in exercise 23, it should be $(p,2)$ Hypercontr...