Definition 1.20 (gamma-popular differences). Given A⊆G and γ>0, let

Pγ={x∈G:|A∩(x+A)|≥γ|A|}

be the set of γ-popular differences of A.