On sumsets in ${\Bbb F}_2^n$

TL;DR

This paper refines a result by Green and Tao on sumsets in ${\Bbb F}_2^n$, showing that under certain conditions, a large subspace exists with properties related to the sumset size, using a modified proof technique.

Contribution

It improves the bounds on the size of the subspace in Green and Tao's sumset theorem within ${\Bbb F}_2^n$ using a modified method.

Findings

Existence of a large subspace with controlled sumset properties

Improved bounds on subspace size relative to set size

Method adaptation from Green and Tao's approach

Abstract

Let ${\Bbb F}_2$ be the finite field of two elements, ${\Bbb F}_2^n$ be the vector space of dimension $n$ over ${\Bbb F}_2$. For sets $A,\,B\subseteq{\Bbb F}_2^n$, their sumset is defined as the set of all pairwise sums $a+b$ with $a\in A,\,b\in B$. Ben Green and Terence Tao proved that, let $K\geq 1$, if$A,\,B\subseteq{\Bbb F}_2^n$ and $|A+B|\leq K|A|^{1\over 2}|B|^{1\over 2}$, then there exists a subspace $H\subseteq{\Bbb F}_2^n$ with $$ |H|\gg\exp(-O(\sqrt{K}\log K))|A| $$ and $x,\,y\in{\Bbb F}_2^n$ such that $$ |A\cap(x+H)|^{1\over 2}|B\cap(y+H)|^{1\over 2}\geq{1\over 2K}|H|. $$ In this note, we shall use the method of Green and Tao with some modification to prove that if $$ |H|\gg\exp(-O(\sqrt{K}))|A|, $$ then the above conclusion still holds true.