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

Publication date 6 July 2023

Abstract: Let

G

be a connected compact group equipped with the normalised Haar measure

m u

. Our first result shows that given

, there is a constant

such that for any compact sets

A, B s u b s e t e q G

with

a l p h a m u (B) g e q m u (A) g e q m u (B)

and

, there exist

b_{1}, d o t s b_{c} i n B

such that [ mu(Acdot {b_1,dots,b_c})geq mu(A)+mu(B).] A special case of this, that is, when

G = m a t h b b 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

m a t h b b R^{d}

. Thus, given

d i n m a t h b b N

, we show that there exists

c = c (d) > 0

such that for any finite, non-empty set

A s u b s e t e q m a t h b b R^{d}

which is not contained in a translate of a hyperplane, one can find

a_{1}, d o t s, a_{c} i n 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.

This page was built for publication: Kemperman's inequality and Freiman's lemma via few translates

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