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.

The General Apple Property and Boolean terms in Integral Bounded Residuated Lattice-ordered Commutative Monoids

Generalized Bosbach and Riečan states based on relative negations in residuated lattices

Bi-intermediate logics of trees and co-trees

Subreducts and Subvarieties of PBZ*--lattices

Loop restricted existential rules and first-order rewritability for query answering

Propositional Logics for the Lawvere Quantale

Ordinal and Horizontal Sums Constructing PBZ*-lattices

The Jacobson Radical of a Propositional Theory

Almost minimal varieties of commutative residuated lattices

A Generalization of the Łoś-Tarski Preservation Theorem

Involutive Commutative Residuated Lattice without Unit: Logics and Decidability

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

NECESSARY AND SUFFICIENT CONDITIONS FOR G-STRUCTURES WITH LOGICAL RELATIONS TO FORM BOUNDED LATTICES IN RECONSTRUCTABILITY ANALYSIS

Locality in Sumsets

Boolean Abstractions for Realizability Modulo Theories (Extended version)

Finite model property of pretransitive analogues of (w)K4 and GL

Relating ample and biample topological categories with Boolean restriction and range semigroups

Boolean Algebras, Generalized Abelian Rings, And Grothendieck Groups

A New Type of Generalized One-Sided Concept Lattices and Its Knowledge Reduction

Varieties of Bounded K-lattices

A characterization of Continuous Logic by using quantale-valued logics