On sumsets in F2n
Let F2 be the finite field of two elements, F2n be the vector space of dimension n over F2. For sets A,B⊆F2n, their sumset is defined as the set of all pairwise sums a+b with a∈A,b∈B. Ben Green and Terence Tao proved that, let K≥1, ifA,B⊆F2n and ∣A+B∣≤K∣A∣21∣B∣21, then there exists a subspace H⊆F2n with ∣H∣≫exp(−O(KlogK))∣A∣ and x,y∈F2n such that ∣A∩(x+H)∣21∣B∩(y+H)∣21≥2K1∣H∣. In this note, we shall use the method of Green and Tao with some modification to prove that if ∣H∣≫exp(−O(K))∣A∣, then the above conclusion still holds true.