Abstract:Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with applications to John-type approximation and sets with small doubling. First we show that if $A \subset \mathbb{Z}$ with $|A+A| \le (1-\epsilon) 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,\epsilon}(|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,\epsilon}(1)$ translates of a $(d-1)$-GAP. We also prove a stability result showing for any $\epsilon,\alpha>0$ that if $A \subset \mathbb{Z}$ with $|A+A| \le (2-\epsilon)2^d|A|$ is non-degenerate then some $A' \subset A$ with $|A'|>(1-\alpha)|A|$ is efficiently covered by either a $(d+1)$-GAP or $O_{\alpha}(1)$ translates of a $d$-GAP. This `dimension-free' bound for approximate covering makes for a stark contrast with exact covering, where the required number of translates grows exponentially with $d$. We further show that if $A \subset \mathbb{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 \subset \mathbb{R}^d$, replacing GAPs by a suitable common generalisation of GAPs and convex bodies. In this setting the non-degeneracy condition holds automatically, so we obtain essentially optimal bounds with no additional assumption on $A$. 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 Variant of Tao's Method with Application to Restricted Sumsets

A generalization of a curious congruence on harmonic sums

Restricted Sumsets and A Conjecture of Lev

A Common Generalization to Theorems on Set Systems with L-intersections

Congruences for Finite Triple Harmonic Sums

Bernoulli Numbers And Congruences For Harmonic Sums

A GENERALISATION OF A THEOREM OF ERDŐS AND NIVEN

Super Congruences Involving Alternating Harmonic Sums

The convergence of an alternating series of Erdős, assuming the Hardy--Littlewood prime tuples conjecture

Restricted sums of subsets of ℤ

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

On two new kinds of restricted sumsets

UNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

Restricted sumsets in multiplicative subgroups

Restricted Sums in A Field

Sum-avoiding sets in groups

Reduction for congruences of partial sums of P-recursive sequences

Locality in Sumsets

A UNIFIED THEORY OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences

A Note on Sun's Conjectures on Apéry-like Sums Involving Lucas Sequences and Harmonic Numbers