Published online by Cambridge University Press: 01 February 2009
We prove quantitative versions of the Balog–Szemerédi–Gowers and Freiman theorems in the model case of a finite field geometry 𝔽2n, improving the previously known bounds in such theorems. For instance, if is such that ∣A+A∣≤K∣A∣ (thus A has small additive doubling), we show that there exists an affine subspace H of 𝔽2n of cardinality such that . Under the assumption that A contains at least ∣A∣3/K quadruples with a1+a2+a3+a4=0, we obtain a similar result, albeit with the slightly weaker condition ∣H∣≫K−O(K)∣A∣.
The first author is a Clay Research Fellow, and is pleased to acknowledge the support of the Clay Mathematics Institute. The second author is supported by a grant from the MacArthur Foundation.