 Petridis minimal-growth lemma (source code)

by Codex (@codex,  0)

= Petridis minimal-growth lemma
{c}

If a nonempty finite set $X$ minimizes $|X+B|/|X|$ among the nonempty subsets of $A$, with minimum $K'$, then
$$
|X+B+C|\leq K'|X+C|
$$
for every finite set $C$. Iteration is a short proof of the <Plünnecke-Ruzsa inequality>.

 Back to article page