Abstract
Gaussian noise stability results have recently played an important role in proving results in hardness of approximation in computer science and in the study of voting schemes in social choice. We prove a new Gaussian noise stability result generalizing an isoperimetric result by Borell on the heat kernel and derive as applications:

An optimality result for majority in the context of Condorcet voting.

A proof of a conjecture on “cosmic coin tossing” for low influence functions.
We also discuss a Gaussian noise stability conjecture which may be viewed as a generalization of the “Double Bubble” theorem and show that it implies:

A proof of the “Plurality is Stablest Conjecture”.

That the FriezeJerrum SDP for MAXqCUT achieves the optimal approximation factor assuming the Unique Games Conjecture.
Similar content being viewed by others
References
K. Arrow, A difficulty in the theory of social welfare, Journal of Political Economy 58 (1950), 328–346.
P. Austrin, Balanced Max 2Sat might not be the hardest, in Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, 2007, pp. 189–197.
P. Austrin, Towards sharp inapproximability for any 2CSP, in 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), Providence, RI, USA, Proceedings, 2007, pp. 307–317.
C. Borell, Geometric bounds on the OrnsteinUhlenbeck velocity process, Probability Theory and Related Fields 70 (1985), 1–13.
A. Burchard and M. Schmuckenschlager, Comparison theorems for exit times, Geometric and Functional Analysis 11 (2001), 651–692.
S. Chawla, R. Krauthgamer, R. Kumar, Y. Rabani and D. Sivakumar, On the hardness of approximating multicut and sparsestcut, in CCC’ 05: Proceedings of the 20th Annual IEEE Conference on Computational Complexity, IEEE Computer Society, Washington, DC, 2005, pp. 144–153
J. Corneli, I. Corwin, Y. Xu, S. Hurder, V. Sesum, E. Adams, D. Davis, M. Lee, R. Pettit and N. Hoffman, Double bubbles in gauss space and spheres, Houston Journal of Mathematics 34 (2008), 181–204.
E. de Klerk, D. V. Pasechnik and J. P. Warners, On approximate graph colouring and maxkcut algorithms based on the thetafunction, Journal of Combinatorial Optimization 8 (2004), 267–294.
I. Dinur, E. Mossel and O. Regev, Conditional hardness for approximate coloring, in Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, 2006, pp. 344–353.
R. Dobrushin, P. Groeneboom and M. Ledoux, Lectures on Probability Theory and Statistics, Volume 71648 of Lecture Notes in Mathematics, Lectures from the 24th SaintFlour Summer School held July 7–23, 1994, (P. Bernard, eds.), SpringerVerlag, Berlin, 1996.
R. Durrett, Probability: Theory and Examples, Duxbury Advanced Series, 2005.
A. Frieze and M. Jerrum, Improved approximation algorithms for MAXkCUT and MAXBISECTION, in Integer Programming and Combinatorial Optimization, Volume 920, (Egon Balas and Jens Clausen, eds.), Springer, Berlin, 1995, pp. 1–13.
M. Goemans and D. Williamson, Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming, Journal of the Association for Computing Machinery 42 (1995), 1115–1145.
V. Guruswami, R. Manokaran and P. Raghavendra, Beating the random ordering is hard: Inapproximability of maximum acyclic subgraph, in FOCS’ 08: Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society, Washington, DC, 2008, pp. 573–582.
J. Håstad, Some optimal inapproximability results, in Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC), May 1997, pp. 1–10.
M. Hutchings, F. Morgan, M. Ritor and A. Ros, Proof of the double bubble conjecture, Annals of Mathematics 155 (2002), 459–489.
S. Janson, Gaussian Hilbert Spaces, Volume 129 of Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, 1997.
G. Kalai, A Fouriertheoretic perspective on the Concordet paradox and Arrow’s theorem, Advances in Applied Mathematics 29 (2002), 412–426.
G. Kalai, Social indeterminacy, Econometrica 72 (2004), 1565–1581.
S. Khot, On the power of unique 2prover 1round games, in STOC’ 02: Proceedings of the Thirtyfourth Annual ACM, Symposium on Theory of Computing, ACM New York, 2002, pp. 767–775.
S. Khot, G. Kindler, E. Mossel and R. O’Donnell, Optimal inapproximability results for maxcut and other 2variable csps? in 45th Symposium on Foundations of Computer Science (FOCS 2004), Rome, Italy, Proceedings, 2004, pp. 146–154.
S. Khot, G. Kindler, E. Mossel and R. O’Donnell, Optimal inapproximability results for maxcut and other 2variable csps? SIAM Journal on Computing 37 (2007), 319–357.
S. Khot and O. Regev, Vertex cover might be hard to approximate to within 2−ɛ, in 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), Aarhus, Denmark, 2003, pp. 379–388.
S. Khot and N. Vishnoi, The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l1, in 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), Pittsburgh, PA, USA, 2005, pp. 53–62.
C. Morpurgo, Sharp inequalities for functional integrals and traces of conformally invariant operators, Duke Mathematical Journal 114 (2002), 477–453.
E. Mossel, Gaussian bounds for noise correlation of functions, Geometric and Functional Analysis 19 (2010), 1713–1756.
E. Mossel and R. O’Donnell, Coin flipping from a cosmic source: On error correction of truly random bits, Random Structures Algorithms 26 (2005), 418–436.
E. Mossel, R. O’Donnell and K. Oleszkiewicz, Noise stability of functions with low influences: invariance and optimality (extended abstract), in 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23–25 October 2005, Pittsburgh, PA, USA, Proceedings, IEEE Computer Society, 2005, pp. 21–30.
E. Mossel, R. O’Donnell and K. Oleszkiewicz, Noise stability of functions with low influences: invariance and optimality, Annals of Mathematics 171 (2010), 295–341.
E. Mossel, R. O’Donnell, O. Regev, J. E. Steif and B. Sudakov, Noninteractive correlation distillation, inhomogeneous Markov chains, and the reverse BonamiBeckner inequality, Israel Journal of Mathematics 154 (2006), 299–336.
R. O’Donnell and Y. Wu, An optimal SDP algorithm for MaxCut, and equally optimal Long Code tests, in Proceedings of the 40th Annual Symposium on Theory of Computing (STOC) Victoria, British Columbia, Canada, 2008, pp. 335–344.
P. Raghavendra, Optimal algorithms and inapproximability results for every CSP? in Proceedings of the 40th Annual Symposium on Theory of Computing (STOC) Victoria, British Columbia, Canada, 2008, pp. 245–254.
V. I. Rotar’, Limit theorems for multilinear forms and quasipolynomial functions, Theory of Probability and its Applications 20 (1975), 512–532.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by an Alfred Sloan fellowship in Mathematics, by NSF CAREER grant DMS0548249 (CAREER), by DOD ONR grant (N00140710506), by BSF grant 2004105, by ISF grant 1300/08, by a Minerva Foundation grant and by ERC Marie Curie Grant 2008 239317.
Rights and permissions
About this article
Cite this article
Isaksson, M., Mossel, E. Maximally stable Gaussian partitions with discrete applications. Isr. J. Math. 189, 347–396 (2012). https://doi.org/10.1007/s1185601101817
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1185601101817