On the Freiman theorem in finite fields (Q2518063)

In a wonderful recent paper [J. Aust. Math. Soc. 86, No. 1, 61--74 (2009; Zbl 1232.11014)] \textit{B. Green} and \textit{T. Tao} largely resolved the problem of Freiman's theorem in \(\mathbb F_2^n\). Specifically they showed that if \(A \subset \mathbb F_2^n\) has \(|A+A| \leq K|A|\) then there is a subspace \(V \leq \mathbb F_2^n\) containing \(A\) such that \(|V| \leq 2^{2K+O(\sqrt{K}\log K)}|A|\). On the other hand an easy example showes that this bound must be at least \(2^{2K - O(\log K)}|A|\). In the present paper the author improves the bound in Green and Tao's argument to \(|V|\leq 2^{2K+O(\log K)}|A|\). The author improves the error term in Green and Tao's Proposition 5.1 by a nice combinatorial argument which can be completed in a page but places our state of knowledge in a very satisfying position.