An improvement to the Kelley-Meka bounds on three-term arithmetic progressions

Thomas F. Bloom,Olof Sisask
2023-09-06
Abstract:In a recent breakthrough Kelley and Meka proved a quasipolynomial upper bound for the density of sets of integers without non-trivial three-term arithmetic progressions. We present a simple modification to their method that strengthens their conclusion, in particular proving that if $A\subset\{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then \[\lvert A\rvert \leq \exp(-c(\log N)^{1/9})N\] for some $c>0$.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the maximum density of integer sets without non - trivial three - term arithmetic progressions. Specifically, the goal of the paper is to improve the quasi - polynomial upper bound for integer sets without non - trivial three - term arithmetic progressions proposed by Kelley and Meka in 2023. ### Problem Background In additive combinatorics, a central problem is to determine the size of the largest subset without three - term arithmetic progressions. Previous research has given different upper - bound estimates: - **Behrend** [1] proposed a lower bound, showing that there exists a set without three - term arithmetic progressions with a size of \(\exp(-c' (\log N)^{1/2}) N\). - **Kelley and Meka** [10] recently made a breakthrough, proving that the maximum density of such a set is \(\exp(-c (\log N)^{1/12}) N\). ### Main Contributions of the Paper By improving Kelley and Meka's method, this paper further optimizes this upper bound. Specifically, the paper proves that if \(A\subseteq \{1,\ldots, N\}\) does not contain non - trivial three - term arithmetic progressions, then its maximum density can be more strictly bounded as: \[ |A|\leq \exp(-c (\log N)^{1/9}) N \] where \(c > 0\) is some constant. ### Key Points of Improvement The key to the paper lies in the improvement of "almost - periodicity". By more efficiently replacing the almost - periodic factors with factors with more algebraic structure, the authors are able to reduce the influence of the error terms, thus obtaining a tighter upper bound. ### Other Applications In addition to the main results, the paper also shows the applications of these improved methods in other related problems, such as: - The size of sets without three - term arithmetic progressions in the finite field \(F_q^n\); - Improvements on the length of arithmetic progressions; - And applications in Ramsey theory. ### Summary In general, through minor modifications to Kelley and Meka's method, this paper significantly improves the upper bound of the maximum density of integer sets without three - term arithmetic progressions and shows the broad application potential of these improvements in other fields.