A stability result for the cube edge isoperimetric inequality

Abstract

We prove the following stability version of the edge isoperimetric inequality for the cube: any subset of the cube with average boundary degree within $K$ of the minimum possible is $\epsilon$-close to a union of $L$ disjoint cubes, where $L\le L(K,\epsilon )$ is independent of the dimension. This extends a stability result of Ellis, and can viewed as a dimension-free version of Friedgut's junta theorem.

12 pages