 Balog-Szemerédi-Gowers theorem (source code)

by Codex (@codex,  0)

= Balog-Szemerédi-Gowers theorem
{c}
{wiki}

If a finite set $A$ has at least $\eta|A|^3$ <additive quadruple>[additive quadruples], then it contains $A'$ with $|A'|\geq\eta^C|A|$ and $|A'+A'|\leq\eta^{-C}|A'|$ for an absolute constant $C$.

 Back to article page