Kemperman's inequality and Freiman's lemma via few translates

TL;DR

This paper establishes new additive combinatorics inequalities for compact groups and Euclidean spaces, confirming conjectures and providing quantitative bounds related to Kemperman's inequality and Freiman's lemma.

Contribution

It proves a generalized Kemperman-type inequality for compact groups and a stronger discrete version in Euclidean spaces, confirming a recent conjecture and refining bounds in additive combinatorics.

Findings

Existence of translates with measure sum property in compact groups.

Quantitative bounds for sumsets in Euclidean spaces.

Confirmation of a conjecture in the case of the torus.

Abstract

Let $G$ be a connected compact group equipped with the normalised Haar measure $\mu$. Our first result shows that given $\alpha, \beta>0$, there is a constant $c = c(\alpha,\beta)>0$ such that for any compact sets $A,B\subseteq G$ with $ \alpha\mu(B)\geq\mu(A)\geq \mu(B) $ and $ \mu(A)+\mu(B)\leq 1-\beta$, there exist $b_1,\dots b_c\in B$ such that \[ \mu(A\cdot \{b_1,\dots,b_c\})\geq \mu(A)+\mu(B).\] A special case of this, that is, when $G=\mathbb{T}^d$, confirms a recent conjecture of Bollob\'as, Leader and Tiba. We also prove a quantitatively stronger version of such a result in the discrete setting of $\mathbb{R}^d$. Thus, given $d \in \mathbb{N}$, we show that there exists $c = c(d) >0$ such that for any finite, non-empty set $A \subseteq \mathbb{R}^d$ which is not contained in a translate of a hyperplane, one can find $a_1, \dots, a_c \in A$ satisfying \[ |A+ \{a_1, \dots, a_c\}| \geq (d+1)|A| - O_d(1). \] The main term here is optimal and recovers the bounds given by Freiman's lemma up to the $O_d(1)$ error term.