Geometric stability via information theory

The Loomis-Whitney inequality, and the more general Uniform Cover inequality, bound the volume of a body in terms of a product of the volumes of lower-dimensional projections of the body. In this paper, we prove stability versions of these inequalities, showing that when they are close to being tight, the body in question is close in symmetric difference to a 'box'. Our results are best possible up to a constant factor depending upon the dimension alone. Our approach is information theoretic. We use our stability result for the Loomis-Whitney inequality to obtain a stability result for the edge-isoperimetric inequality in the infinite $d$-dimensional lattice. Namely, we prove that a subset of $\mathbb{Z}^d$ with small edge-boundary must be close in symmetric difference to a $d$-dimensional cube. Our bound is, again, best possible up to a constant factor depending upon $d$ alone.

[1]  Ehud Friedgut,et al.  Boolean Functions With Low Average Sensitivity Depend On Few Coordinates , 1998, Comb..

[2]  K. Ball.  Chapter 4 – Convex Geometry and Functional Analysis , 2001 .

[3]  G. Toscani,et al.  Improved interpolation inequalities, relative entropy and fast diffusion equations , 2011, Annales de l'Institut Henri Poincaré C, Analyse non linéaire.

[4]  K. Ball,et al.  Stability of some versions of the Prékopa–Leindler inequality , 2009, 0909.3742.

[5]  Béla Bollobás,et al.  Edge-isoperimetric inequalities in the grid , 1991, Comb..

[6]  Béla Bollobás,et al.  Projections, entropy and sumsets , 2007, Comb..

[7]  H. Whitney,et al.  An inequality related to the isoperimetric inequality , 1949 .

[8]  G. Bianchi,et al.  A note on the Sobolev inequality , 1991 .

[9]  G. P. Leonardi,et al.  A Selection Principle for the Sharp Quantitative Isoperimetric Inequality , 2010, Archive for Rational Mechanics and Analysis.

[10]  David Ellis,et al.  Stability for t-intersecting families of permutations , 2008, J. Comb. Theory, Ser. A.

[11]  Ran Raz,et al.  A parallel repetition theorem , 1995, STOC '95.

[12]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[13]  B. Bollobás,et al.  Projections of Bodies and Hereditary Properties of Hypergraphs , 1995 .

[14]  Ehud Friedgut,et al.  Hypergraphs, Entropy, and Inequalities , 2004, Am. Math. Mon..

[15]  Yuval Filmus,et al.  A quasi-stability result for dictatorships in Sn , 2012, Comb..

[16]  N. Fusco,et al.  The sharp quantitative isoperimetric inequality , 2008 .

[17]  David Ellis,et al.  A stability result for balanced dictatorships in Sn , 2012, Random Struct. Algorithms.

[18]  Ehud Friedgut,et al.  On the measure of intersecting families, uniqueness and stability , 2008, Comb..

[19]  J. Radhakrishnan.  Entropy and Counting ∗ , 2001 .

[20]  Fan Chung Graham,et al.  Some intersection theorems for ordered sets and graphs , 1986, J. Comb. Theory, Ser. A.

[21]  Xi Chen,et al.  How to compress interactive communication , 2010, STOC '10.

[22]  A. Figalli,et al.  A mass transportation approach to quantitative isoperimetric inequalities , 2010 .

[23]  F. Maggi.  Sets of Finite Perimeter and Geometric Variational Problems: An Introduction to Geometric Measure Theory , 2012 .

[24]  E. Lieb,et al.  Best Constants in Young's Inequality, Its Converse, and Its Generalization to More than Three Functions , 1976 .

[25]  Peter Frankl,et al.  Erdös-Ko-Rado theorem with conditions on the maximal degree , 1987, J. Comb. Theory, Ser. A.