Ben Green's Open Problem 50
Let be a set of density . Does contain a coset of some subspace of dimension at least ?
More precisely: does there exist an absolute constant such that for all and all nonempty with density , the sumset contains a coset of some subspace of dimension at least ?
The sumset is defined as , using the pointwise
scalar multiplication notation 10 • A where • denotes the iterated addition of a set.
Note: We model as Fin n → ZMod 2, which is an -dimensional vector space
over .