New bounds in Balog-Szemerédi-Gowers theorem (Q2400084): Difference between revisions

Let \(A\) be a finite set in a commutative group. Write \(E(A)\) for the number of solutions of \(x+y=x'+y'\) with \(x,y,x',y'\in A\) and \(\kappa=E(A)/ | A| ^3\). The Balog-Szemerédi-Gowers theorem asserts that if \(\kappa\) is not too small, then \(A\) contains a large subset with a small doubling. This paper improves the known estimates of this kind as follows. \begin{itemize}\item[(1)] There is an \(A'\subset A\) such that \( | A'| \gg \kappa| A| \) and \( | A'-A'| \ll \kappa^{-4} | A'| \). \item[(2)] There are \(A', B' \subset A\) such that \( | A'|, | B'| \gg \kappa^{3/4} (\log (1/\kappa))^ {-5/4} | A| \) and \( | A'-B'| \ll \kappa^{-7/2} (\log (1/\kappa))^{5/2} (| A'| | B'|) ^ {1/2} \).\end{itemize}