Geometric stability via information theory

DOI10.19086/DA.784MaRDI QIDQ2826226zbMATH OpenOpenAlexFDO

Authors David Ellis, Guy Kindler, Ehud Friedgut, Amir Yehudayoff

Publication date 10 October 2016

Published in Discrete Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1510.00258

zbMATH Keywords

geometric stabilityinformation theoryLoomis-Whitney inequalityuniform cover inequality

Mathematics Subject Classification ID

Extremal combinatorics (05D99) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07) Information theory (general) (94A15) Measures of information, entropy (94A17)

Abstract: 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.

Review text

Stable versions of the Loomis-Whitney inequality and of the Uniform cover inequality as well as of other results, such as an edge-isoperimetric inequality in the lattice \(\mathbb{L}^d\) are provided by means of an information theoretic approach, showing that when they are close to being tight, the body in question is close in symmetric difference to a box. The authors show that their results are best possible up to constant factors depending solely on the dimension. A comprehensive review of the existing literature on the matter is provided in the preliminary section and the paper closes with two conjectures regarding the dependence on the dimension of some of the results.

Recommendations

• scientific article; zbMATH DE number 480229
• Stability results for some geometric inequalities and their functional versions
• L_ Loomis-Whitney inequalities
• Stability Properties of Geometric Inequalities
• The dual Loomis–Whitney inequality

Cites work

• A mass transportation approach to quantitative isoperimetric inequalities
• A note on the Sobolev inequality
• A Parallel Repetition Theorem
• A quasi-stability result for dictatorships in S_n
• A selection principle for the sharp quantitative isoperimetric inequality
• A stability result for balanced dictatorships in S_n
• An inequality related to the isoperimetric inequality
• Best constants in Young's inequality, its converse, and its generalization to more than three functions
• Boolean functions with low average sensitivity depend on few coordinates
• Convex geometry and functional analysis
• Edge-isoperimetric inequalities in the grid
• Erdős-Ko-Rado theorem with conditions on the maximal degree
• How to compress interactive communication
• scientific article; zbMATH DE number 3262986 (Why is no real title available?)
• Hypergraphs, entropy, and inequalities
• Improved interpolation inequalities, relative entropy and fast diffusion equations
• On the measure of intersecting families, uniqueness and stability
• Projections of Bodies and Hereditary Properties of Hypergraphs
• Projections, entropy and sumsets
• Sets of finite perimeter and geometric variational problems. An introduction to geometric measure theory
• Some intersection theorems for ordered sets and graphs
• The sharp quantitative isoperimetric inequality

Cited in

(7)

• A proof of a Loomis-Whitney type inequality via optimal transport
• Measure concentration and the weak Pinsker property
• Inequalities on Projected Volumes
• Multi-variate correlation and mixtures of product measures.
• Isoperimetric stability in lattices
• Typical structure of sparse exponential random graph models
• On the reverse Loomis-Whitney inequality

This page was built for publication: Geometric stability via information theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2826226)