On isoperimetric stability

DOI10.19086/DA.3699MaRDI QIDQ4645039zbMATH OpenOpenAlexFDO

Authors Vsevolod F. Lev

Publication date 9 January 2019

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/1709.05539

Mathematics Subject Classification ID

Asymptotic enumeration (05A16) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Subgroups of abelian groups (20K27)

Abstract: We show that a non-empty subset of an abelian group with a small edge boundary must be large; in particular, if $A$ and $S$ are finite, non-empty subsets of an abelian group such that $S$ is independent, and the edge boundary of $A$ with respect to $S$ does not exceed $(1-gamma)|S||A|$ with a real $gammain(0,1]$, then $|A|ge{4}^{(1-1/d)gamma|S|}$, where $d$ is the smallest order of an element of $S$. Here the constant $4$ is best possible. As a corollary, we derive an upper bound for the size of the largest independent subset of the set of popular differences of a finite subset of an abelian group. For groups of exponent $2$ and $3$, our bound translates into a sharp estimate for the additive dimension of the popular difference set. We also prove, as an auxiliary result, the following estimate of possible independent interest: if $Asubsetmathbb{Z}^n$ is a finite, non-empty downset then, denoting by $w(a)$ the number of non-zero components of the vector $ainA$, we have [frac1{|A|} sum_{ain A} w(a) le frac12, log_2 |A|.]

Recommendations

• The independence number of a subset of an abelian group
• Asymptotically tight bounds on subset sums
• A quadratic lower bound for subset sums
• On the structure of subsets of the discrete cube with small edge boundary
• Counting sumsets and differences in an abelian group.

Cites work

• An Average Set Size Theorem
• Edge-isoperimetric problem for Cayley graphs and generalized Takagi functions
• Sets with large additive energy and symmetric sets

Cited in

(6)

• On stability of isometric mappings
• The properties of solutions of a class of isoperimetric problems of stability optimization
• On the stability of the polygonal isoperimetric inequality
• scientific article; zbMATH DE number 1302651 (Why is no real title available?)
• scientific article; zbMATH DE number 1061203 (Why is no real title available?)
• Stability in the Isoperimetric Problem for Convex or Nearly Spherical Domains in R n

This page was built for publication: On isoperimetric stability

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