Open Access
Translator Disclaimer
May 2015 Robust dimension free isoperimetry in Gaussian space
Elchanan Mossel, Joe Neeman
Ann. Probab. 43(3): 971-991 (May 2015). DOI: 10.1214/13-AOP860


We prove the first robust dimension free isoperimetric result for the standard Gaussian measure $\gamma_{n}$ and the corresponding boundary measure $\gamma_{n}^{+}$ in $\mathbb{R} ^{n}$. The main result in the theory of Gaussian isoperimetry (proven in the 1970s by Sudakov and Tsirelson, and independently by Borell) states that if $\gamma_{n}(A)=1/2$ then the surface area of $A$ is bounded by the surface area of a half-space with the same measure, $\gamma_{n}^{+}(A)\leq(2\pi)^{-1/2}$. Our results imply in particular that if $A\subset\mathbb{R} ^{n}$ satisfies $\gamma_{n}(A)=1/2$ and $\gamma_{n}^{+}(A)\leq(2\pi)^{-1/2}+\delta$ then there exists a half-space $B\subset\mathbb{R} ^{n}$ such that $\gamma_{n}(A\Delta B)\leq C\smash{\log^{-1/2}}(1/\delta)$ for an absolute constant $C$. Since the Gaussian isoperimetric result was established, only recently a robust version of the Gaussian isoperimetric result was obtained by Cianchi et al., who showed that $\gamma_{n}(A\Delta B)\le C(n)\sqrt{\delta}$ for some function $C(n)$ with no effective bounds. Compared to the results of Cianchi et al., our results have optimal (i.e., no) dependence on the dimension, but worse dependence on $\delta$.


Download Citation

Elchanan Mossel. Joe Neeman. "Robust dimension free isoperimetry in Gaussian space." Ann. Probab. 43 (3) 971 - 991, May 2015.


Published: May 2015
First available in Project Euclid: 5 May 2015

zbMATH: 1320.60063
MathSciNet: MR3342656
Digital Object Identifier: 10.1214/13-AOP860

Primary: 60E15
Secondary: 26D10 , 60G10 , 68Q87

Keywords: Gaussian measure , Isoperimetric inequalities , majority is stablest , Noise stability

Rights: Copyright © 2015 Institute of Mathematical Statistics


Vol.43 • No. 3 • May 2015
Back to Top