New bounds for Szemeredi's Theorem, I: Progressions of length 4 in finite field geometries

Journal article

Let F be a fixed finite field of characteristic at least 5. Let G = F^n be the n-dimensional vector space over F, and write N := |G|. We show that if A is a subset of G with size at least c_F N(log N)^{-c}, for some absolute constant c > 0 and some c_F > 0, then A contains four distinct elements in arithmetic progression. This is equivalent, in the usual notation of additive combinatorics, to the assertion that r_4(G) <<_F N(log N)^{-c}.

Authors: Green, B; Tao, T

• Journal: Proceedings of the London Mathematical Society
• Volume: 98
• Issue: 2
• Pages: 365-392
• Publication date: 2005-09-23
• DOI: 10.1112/plms/pdn030
• EISSN: 1460-244X
• ISSN: 0024-6115
• Keywords: math.NT; math.CO