Author:
Hintum Peter,Keevash Peter
Abstract
Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with several applications to John-type approximation and stability of sets with small doubling. One highlight shows that if $A \sub \mb{Z}$ with $|A+A| \le (1-\eps) 2^d |A|$ is non-degenerate then $A$ is covered by $O(2^d)$ translates of a $d$-dimensional generalised arithmetic progression ($d$-GAP) $P$ with $|P| \le O_{d,\eps}(|A|)$; thus we obtain one of the polynomial bounds required by PFR, under the non-degeneracy assumption that $A$ is not efficiently covered by $O_{d,\eps}(1)$ translates of a $(d-1)$-GAP. We also prove a stability result showing for any $\eps,\aA>0$ that if $A \sub \mb{Z}$ with $|A+A| \le (2-\eps)2^d|A|$ is non-degenerate then some $A' \sub A$ with $|A'|>(1-\aA)|A|$ is efficiently covered by either a $(d+1)$-GAP or $O_{\aA}(1)$ translates of a $d$-GAP. This `dimension-free' bound for approximate covering makes for a surprising contrast with exact covering, where the required number of translates not only grows with $d$, but does so exponentially. Another highlight shows that if $A \sub \mb{Z}$ is non-degenerate with $|A+A| \le (2^d + \ell)|A|$ and $\ell \le 0.1 \cdot 2^d$ then $A$ is covered by $\ell+1$ translates of a $d$-GAP $P$ with $|P| \le O_d(|A|)$; this is tight, in that $\ell+1$ cannot be replaced by any smaller number. The above results also hold for $A \sub \mb{R}^d$, replacing GAPs by a suitable common generalisation of GAPs and convex bodies, which we call generalised convex progressions. In this setting the non-degeneracy condition holds automatically, so we obtain essentially optimal bounds with no additional assumption on $A$. Here we show that if $A\subset\mathbb{R}^k$ satisfies $|\frac{A+A}{2}|\leq (1+\delta)|A|$ with $\delta\in(0,1)$, then $\exists A'\subset A$ with $|A'|\geq (1-\delta)|A|$ so that $|\co(A')|\leq O_{k,1-\delta}(|A|)$. This is a dimensionally independent sharp stability result for the Brunn-Minkowski inequality for equal sets, which hints towards a possible analogue for the Pr\'ekopa-Leindler inequality. These results are all deduced from a unifying theory, in which we introduce a new intrinsic structural approximation of any set, which we call the `additive hull', and develop its theory via a refinement of Freiman's theorem with additional separation properties. A further application that will be published separately is a proof of Ruzsa's Discrete Brunn-Minkowski Conjecture \cite{Ruzsaconjecture}.
Reference41 articles.
1. Ben Barber, Joshua Erde, Peter Keevash, and Alexander Roberts. Isoperimetric stability in lattices. Forthcoming in the Proceedings of the American Mathematical Society, 2023+.
2. Yuri Bilu. The (α + 2β)-inequality on a torus. Journal of the London Mathematical Society, 57(3):513-528, 1998.
3. Yuri Bilu. Structure of sets with small sumset. Astérisque, 258(xi):77-108, 1999.
4. Pablo Candela and Anne De Roton. On sets with small sumset in the circle. The Quarterly Journal of Mathematics, 70(1):49-69, 2019.
5. Pablo Candela, Diego González-Sánchez, and David Joseph Grynkiewicz. A step towards the 3k − 4 conjecture in Z/pZ and an application to m-sum-free sets. Acta Mathematica Universitatis Comenianae, 88(3):521-525, 2019.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Locality in sumsets;Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications;2023