arXiv++ Combinatorics

We prove that every set $A\subset\mathbb{Z}/p\mathbb{Z}$ with $\mathbb{E}_x\min(1_A*1_A(x),t)\le(2+δ)t\mathbb{E}_x 1_A(a)$ is very close to an arithmetic progression. Here $p$ stands for a large prime and $δ,t$ are small real numbers. This shows that the Vosper theorem is stable in the case of a single set.