Roth's theorem on arithmetic progressions is a result in additive combinatorics concerning the existence of arithmetic progressions in subsets of the natural numbers. It was first proven by Klaus Roth in 1953. Roth's theorem is a special case of Szemerédi's theorem for the case k = 3 {\displaystyle k=3} .
Statement A subset A of the natural numbers is said to have positive upper density if
lim sup n → ∞ | A ∩ { 1 , 2 , 3 , … , n } | n > 0 {\displaystyle \limsup _{n\to \infty }{\frac {|A\cap \{1,2,3,\dotsc ,n\}|}{n}}>0} . Roth's theorem on arithmetic progressions (infinite version): A subset of the natural numbers with positive upper density contains a 3-term arithmetic progression. An alternate, more qualitative, formulation of the theorem is concerned with the maximum size of a Salem–Spencer set which is a subset of [ N ] = { 1 , … , N } {\displaystyle [N]=\{1,\dots ,N\}} . Let r 3 ( [ N ] ) {\displaystyle r_{3}([N])} be the size of the largest subset of [ N ] {\displaystyle [N]} which contains no 3-term arithmetic progression.
Roth's theorem on arithmetic progressions (finitary version): r 3 ( [ N ] ) = o ( N ) . {\displaystyle r_{3}([N])=o(N).}
Improving upper and lower bounds on r 3 ( [ N ] ) {\displaystyle r_{3}([N])} is still an open research problem.
History The first result in this direction was Van der Waerden's theorem in 1927, which states that for sufficiently large N, coloring the integers 1 , … , n {\displaystyle 1,\dots ,n} with r {\displaystyle r} colors will result in a k {\displaystyle k} term arithmetic progression. Later on in 1936 Erdős and Turán conjectured a much stronger result that any subset of the integers with positive density contains arbitrarily long arithmetic progressions. In 1942, Raphaël Salem and Donald C. Spencer provided a construction of a 3-AP-free set (i.e. a set with no 3-term arithmetic progressions) of size N e O ( log N / log log N ) {\displaystyle {\frac {N}{e^{O(\log N/\log \log N)}}}} , disproving an additional conjecture of Erdős and Turán that r 3 ( [ N ] ) = N 1 − δ {\displaystyle r_{3}([N])=N^{1-\delta }} for some δ > 0 {\displaystyle \delta >0} . In 1953, Roth partially resolved the initial conjecture by proving they must contain an arithmetic progression of length 3 using Fourier analytic methods. Eventually, in 1975, Szemerédi proved Szemerédi's theorem using combinatorial techniques, resolving the original conjecture in full.
Proof techniques The original proof given by Roth used Fourier analytic methods. Later on another proof was given using Szemerédi's regularity lemma.
Proof sketch via Fourier analysis In 1953, Roth used Fourier analysis to prove an upper bound of r 3 ( [ N ] ) = O ( N log log N ) {\displaystyle r_{3}([N])=O\left({\frac {N}{\log \log N}}\right)} . Below is a sketch of this proof. Define the Fourier transform of a function f : Z → C {\displaystyle f:\mathbb {Z} \rightarrow \mathbb {C} } to be the function f ^ : [ 0 , 1 ) → C {\displaystyle {\widehat {f}}:[0,1)\rightarrow \mathbb {C} } satisfying
f ^ ( θ ) = ∑ x ∈ Z f ( x ) e ( − x θ ) {\displaystyle {\widehat {f}}(\theta )=\sum _{x\in \mathbb {Z} }f(x)e(-x\theta )} , where e ( t ) = e 2 π i t {\displaystyle e(t)=e^{2\pi it}} . Let A {\displaystyle A} be a 3-AP-free subset of { 1 , … , N } {\displaystyle \{1,\dots ,N\}} . The proof proceeds in 3 steps.
Show that a A {\displaystyle A} admits a large Fourier coefficient. Deduce that there exists a sub-progression of { 1 , … , N } {\displaystyle \{1,\dots ,N\}} such that A {\displaystyle A} has a density increment when restricted to this subprogression. Iterate Step 2 to obtain an upper bound on | A | {\displaystyle |A|} .
Step 1 For functions, f , g , h : Z → C , {\displaystyle f,g,h:\mathbb {Z} \rightarrow \mathbb {C} ,} define
Λ ( f , g , h ) = ∑ x , y ∈ Z f ( x ) g ( x + y ) h ( x + 2 y ) {\displaystyle \Lambda (f,g,h)=\sum _{x,y\in \mathbb {Z} }f(x)g(x+y)h(x+2y)}
Counting Lemma Let f , g : Z → C {\displaystyle f,g:\mathbb {Z} \rightarrow \mathbb {C} } satisfy ∑ n ∈ Z | f ( n ) | 2 , ∑ n ∈ Z | g ( n ) | 2 ≤ M {\displaystyle \sum _{n\in \mathbb {Z} }|f(n)|^{2},\sum _{n\in \mathbb {Z} }|g(n)|^{2}\leq M} . Define Λ 3 ( f ) = Λ ( f , f , f ) {\displaystyle \Lambda _{3}(f)=\Lambda (f,f,f)} . Then | Λ 3 ( f ) − Λ 3 ( g ) | ≤ 3 M ‖ f − g ^ ‖ ∞ {\displaystyle |\Lambda _{3}(f)-\Lambda _{3}(g)|\leq 3M\|{\widehat {f-g}}\|_{\infty }} .
The counting lemma tells us that if the Fourier Transforms of f {\displaystyle f} and g {\displaystyle g} are "close", then the number of 3-term arithmetic progressions between the two should also be "close." Let α = | A | / N {\displaystyle \alpha =|A|/N} be the density of A {\displaystyle A} . Define the functions f = 1 A {\displaystyle f=\mathbf {1} _{A}} (i.e the indicator function of A {\displaystyle A} ), and g = α ⋅ 1 [ N ] {\displaystyle g=\alpha \cdot \mathbf {1} _{[N]}} . Step 1 can then be deduced by applying the Counting Lemma to f {\displaystyle f} and g {\displaystyle g} , which tells us that there exists some θ {\displaystyle \theta } such that
| ∑ n = 1 N ( 1 A − α ) ( n ) e ( θ n ) | ≥ α 2 10 N {\displaystyle \left|\sum _{n=1}^{N}(1_{A}-\alpha )(n)e(\theta n)\right|\geq {\frac {\alpha ^{2}}{10}}N} .
Step 2 Given the θ {\displaystyle \theta } from step 1, we first show that it's possible to split up [ N ] {\displaystyle [N]} into relatively large subprogressions such that the character x ↦ e ( x θ ) {\displaystyle x\mapsto e(x\theta )} is roughly constant on each subprogression.
Lemma 1: Let 0 < η < 1 , θ ∈ R {\displaystyle 0<\eta <1,\theta \in \mathbb {R} } . Assume that N > C η − 6 {\displaystyle N>C\eta ^{-6}} for a universal constant C {\displaystyle C} . Then it is possible to partition [ N ] {\displaystyle [N]} into arithmetic progressions P i {\displaystyle P_{i}} with length N 1 / 3 ≤ | P i | ≤ 2 N 1 / 3 {\displaystyle N^{1/3}\leq |P_{i}|\leq 2N^{1/3}} such that sup x , y ∈ P i | e ( x θ ) − e ( y θ ) | < η {\displaystyle \sup _{x,y\in P_{i}}|e(x\theta )-e(y\theta )|<\eta } for all i {\displaystyle i} . Next, we apply Lemma 1 to obtain a partition into subprogressions. We then use the fact that θ {\displaystyle \theta } produced a large coefficient in step 1 to show that one of these subprogressions must have a density increment:
Lemma 2: Let A {\displaystyle A} be a 3-AP-free subset of [ N ] {\displaystyle [N]} , with | A | = α N {\displaystyle |A|=\alpha N} and N > C α − 12 {\displaystyle N>C\alpha ^{-12}} . Then, there exists a sub progression P ⊂ [ N ] {\displaystyle P\subset [N]} such that | P | ≥ N 1 / 3 {\displaystyle |P|\geq N^{1/3}} and | A ∩ P | ≥ ( α + α 2 / 40 ) | P | {\displaystyle |A\cap P|\geq (\alpha +\alpha ^{2}/40)|P|} .
Step 3 We now iterate step 2. Let a t {\displaystyle a_{t}} be the density of A {\displaystyle A} after the t {\displaystyle t} th iteration. We have that α 0 = α , {\displaystyle \alpha _{0}=\alpha ,} and α t + 1 ≥ α + α 2 / 40. {\displaystyle \alpha _{t+1}\geq \alpha +\alpha ^{2}/40.} First, see that α {\displaystyle \alpha } doubles (i.e. reach T {\displaystyle T} such that α T ≥ 2 α 0 {\displaystyle \alpha _{T}\geq 2\alpha _{0}} ) after at most 40 / α + 1 {\displaystyle 40/\alpha +1} steps. We double α {\displaystyle \alpha } again (i.e reach α T ≥ 4 α 0 {\displaystyle \alpha _{T}\geq 4\alpha _{0}} ) after at most 20 / α + 1 {\displaystyle 20/\alpha +1} steps. Since α ≤ 1 {\displaystyle \alpha \leq 1} , this process must terminate after at most O ( 1 / α ) {\displaystyle O(1/\alpha )} steps. Let N t {\displaystyle N_{t}} be the size of our current progression after t {\displaystyle t} iterations. By Lemma 2, we can always continue the process whenever N t ≥ C α t − 12 , {\displaystyle N_{t}\geq C\alpha _{t}^{-12},} and thus when the process terminates we have that N t ≤ C α t − 12 ≤ C α − 12 . {\displaystyle N_{t}\leq C\alpha _{t}^{-12}\leq C\alpha ^{-12}.} Also, note that when we pass to a subprogression, the size of our set decreases by a cube root. Therefore
N ≤ N t 3 t ≤ ( C α − 12 ) 3 O ( 1 / α ) = e e O ( 1 / α ) . {\displaystyle N\leq N_{t}^{3^{t}}\leq (C\alpha ^{-12})^{3^{O(1/\alpha )}}=e^{e^{O(1/\alpha )}}.}
Therefore α = O ( 1 / log log N ) , {\displaystyle \alpha =O(1/\log \log N),} so | A | = O ( N log log N ) , {\displaystyle |A|=O\left({\frac {N}{\log \log N}}\right),} as desired. ◼ {\displaystyle \blacksquare }
Unfortunately, this technique does not generalize directly to larger arithmetic progressions to prove Szemerédi's theorem. An extension of this proof eluded mathematicians for decades until 1998, when Timothy Gowers developed the field of higher-order Fourier analysis specifically to generalize the above proof to prove Szemerédi's theorem.
Proof sketch via graph regularity From the Szemerédi regularity lemma and counting lemma one obtains the graph removal lemma, and as a corollary the following: Diamond-free Lemma. Any graph G {\displaystyle G} on n {\displaystyle n} vertices in which every edge lies in precisely one unique triangle has o ( n 2 ) {\displaystyle o(n^{2})} edges.
Application to Roth’s theorem First note that a set A ⊆ { 1 , … , N } {\displaystyle A\subseteq \{1,\dots ,N\}} has a 3-term arithmetic progression iff its reduction modulo M := 2 N + 1 {\displaystyle M:=2N+1} does. Fix A ⊆ { 1 , … , N } {\displaystyle A\subseteq \{1,\dots ,N\}} with no 3-term AP. Construct a tripartite graph G {\displaystyle G} with parts X , Y , Z {\displaystyle X,Y,Z} , each a copy of Z / M Z {\displaystyle \mathbb {Z} /M\mathbb {Z} } . Add edges as follows:
x ∈ X {\displaystyle x\in X} to y ∈ Y {\displaystyle y\in Y} if y − x ∈ A {\displaystyle y-x\in A} ;
y ∈ Y {\displaystyle y\in Y} to z ∈ Z {\displaystyle z\in Z} if z − y ∈ A {\displaystyle z-y\in A} ;
z ∈ Z {\displaystyle z\in Z} to x ∈ X {\displaystyle x\in X} if ( x − z ) / 2 ∈ A {\displaystyle (x-z)/2\in A} (since 2 is invertible mod M {\displaystyle M} ). If x , y , z {\displaystyle x,y,z} form a triangle, then
y − x , x − z 2 , z − y ∈ A {\displaystyle y-x,\ {\frac {x-z}{2}},\ z-y\in A} . These three numbers form an arithmetic progression in that order with step ( x + z − 2 y ) / 2 {\displaystyle (x+z-2y)/2} . Because A {\displaystyle A} has no nontrivial 3-term AP, they are equal, so ( x + z − 2 y ) / 2 = 0 {\displaystyle (x+z-2y)/2=0} . Therefore, if we fix any two vertices of G {\displaystyle G} connected by an edge, every triangle extending this edge must satisfy x + z − 2 y = 0 {\displaystyle x+z-2y=0} , yielding a unique choice of the third vertex. Furthermore, such a choice guarantees the existence of the other two edges in that triangle. Thus, the diamond-free lemma applies, and e ( G ) = o ( ( 3 M ) 2 ) = o ( N 2 ) {\displaystyle e(G)=o((3M)^{2})=o(N^{2})} . Notice now, that each element a ∈ A {\displaystyle a\in A} contributes exactly one edge for each vertex in a part: for instance, for every x ∈ X {\displaystyle x\in X} , there is exactly one y ∈ Y {\displaystyle y\in Y} such that y − x ≡ a ( mod M ) {\displaystyle y-x\equiv a{\pmod {M}}} , so a {\displaystyle a} gives exactly M {\displaystyle M} edges between X {\displaystyle X} and Y {\displaystyle Y} . The same holds for the other two pairs, hence e ( G ) = 3 | A | M {\displaystyle e(G)=3|A|M} . Consequently,
| A | = e ( G ) 3 M = o ( N 2 ) 3 ( 2 N + 1 ) = o ( N ) {\displaystyle |A|={\frac {e(G)}{3M}}={\frac {o(N^{2})}{3(2N+1)}}=o(N)}
proving Roth’s theorem.
Extensions and generalizations Szemerédi's theorem resolved the original conjecture and generalized Roth's theorem to arithmetic progressions of arbitrary length. Since then it has been extended in multiple fashions to create new and interesting results. Furstenberg and Katznelson used ergodic theory to prove a multidimensional version and Leibman and Bergelson extended it to polynomial progressions as well. Most recently, Green and Tao proved the Green–Tao theorem which says that the prime numbers contain arbitrarily long arithmetic progressions. Since the prime numbers are a subset of density 0, they introduced a "relative" Szemerédi theorem which applies to subsets with density 0 that satisfy certain pseudorandomness conditions. Later on Conlon, Fox, and Zhao strengthened this theorem by weakening the necessary pseudorandomness condition. In 2020, Bloom and Sisask proved that any set A {\displaystyle A} such that ∑ n ∈ A 1 n {\displaystyle \sum _{n\in A}{\frac {1}{n}}} diverges must contain arithmetic progressions of length 3; this is the first non-trivial case of another conjecture of Erdős postulating that any such set must in fact contain arbitrarily long arithmetic progressions.
Improving bounds
There has also been work done on improving the bound in Roth's theorem. The bound from the original proof of Roth's theorem showed that
r 3 ( [ N ] ) ≤ c ⋅ N log log N {\displaystyle r_{3}([N])\leq c\cdot {\frac {N}{\log \log N}}}
for some constant c {\displaystyle c} . Over the years this bound has been continually lowered by Szemerédi, Heath-Brown, Bourgain, and Sanders. The current (July 2020) best bound is due to Bloom and Sisask who have shown the existence of an absolute constant c>0 such that
r 3 ( [ N ] ) ≤ N ( log N ) 1 + c . {\displaystyle r_{3}([N])\leq {\frac {N}{(\log N)^{1+c}}}.}
In February 2023 a preprint (later published) by Kelley and Meka gave a new bound of:
r 3 ( [ N ] ) ≤ 2 − Ω ( ( log N ) 1 / 12 ) ⋅ N {\displaystyle r_{3}([N])\leq 2^{-\Omega ((\log N)^{1/12})}\cdot N} . Four days later, Bloom and Sisask published a preprint giving an exposition of the result (later published), simplifying the argument and yielding some additional applications. Several months later, Bloom and Sisask obtained a further improvement to r 3 ( [ N ] ) ≤ exp ( − c ( log N ) 1 / 9 ) N {\displaystyle r_{3}([N])\leq \exp(-c(\log N)^{1/9})N} , and stated (without proof) that their techniques can be used to show r 3 ( [ N ] ) ≤ exp ( − c ( log N ) 5 / 41 ) N {\displaystyle r_{3}([N])\leq \exp(-c(\log N)^{5/41})N} . In a 2026 preprint, Raghavan reported further improved bounds, proving:
| A | ≤ exp ( − c log ( N ) 1 / 6 log log ( N ) − 1 / 6 ) N {\displaystyle |A|\leq \exp(-c\log(N)^{1/6}\log \log(N)^{-1/6})N} . There has also been work done on the other end, constructing the largest set with no 3-term arithmetic progressions. The best construction has barely been improved since 1946 when Behrend improved on the initial construction by Salem and Spencer and proved
r 3 ( [ N ] ) ≥ N exp ( − c log N ) {\displaystyle r_{3}([N])\geq N\exp(-c{\sqrt {\log N}})} . Due to no improvements in over 70 years, it is conjectured that Behrend's set is asymptotically very close in size to the largest possible set with no 3-term progressions. If correct, the Kelley-Meka bound will prove this conjecture.
Roth's theorem in finite fields As a variation, we can consider the analogous problem over finite fields. Consider the finite field F 3 n {\displaystyle \mathbb {F} _{3}^{n}} , and let r 3 ( F 3 n ) {\displaystyle r_{3}(\mathbb {F} _{3}^{n})} be the size of the largest subset of F 3 n {\displaystyle \mathbb {F} _{3}^{n}} which contains no 3-term arithmetic progression. This problem is actually equivalent to the cap set problem, which asks for the largest subset of F 3 n {\displaystyle \mathbb {F} _{3}^{n}} such that no 3 points lie on a line. The cap set problem can be seen as a generalization of the card game Set. In 1982, Brown and Buhler were the first to show that r 3 ( F 3 n ) = o ( 3 n ) . {\displaystyle r_{3}(\mathbb {F} _{3}^{n})=o(3^{n}).} In 1995, Roy Mesuhlam used a similar technique to the Fourier-analytic proof of Roth's theorem to show that r 3 ( F 3 n ) = O ( 3 n n ) . {\displaystyle r_{3}(\mathbb {F} _{3}^{n})=O\left({\frac {3^{n}}{n}}\right).} This bound was improved to O ( 3 n / n 1 + ϵ ) {\displaystyle O(3^{n}/n^{1+\epsilon })} in 2012 by Bateman and Katz. In 2016, Ernie Croot, Vsevolod Lev, Péter Pál Pach, Jordan Ellenberg and Dion Gijswijt developed a new technique based on the polynomial method to prove that r 3 ( F 3 n ) = O ( 2.756 n ) {\displaystyle r_{3}(\mathbb {F} _{3}^{n})=O(2.756^{n})} . The best known lower bound is 2.2202 n {\displaystyle 2.2202^{n}} , discovered in December 2023 by Google DeepMind researchers using a large language model (LLM).
Roth's theorem with popular differences Another generalization of Roth's theorem shows that for positive density subsets, there not only exists a 3-term arithmetic progression, but that there exist many 3-APs all with the same common difference.
Roth's theorem with popular differences: For all ϵ > 0 {\displaystyle \epsilon >0} , there exists some n 0 = n 0 ( ϵ ) {\displaystyle n_{0}=n_{0}(\epsilon )} such that for every n > n 0 {\displaystyle n>n_{0}} and A ⊂ F 3 n {\displaystyle A\subset \mathbb {F} _{3}^{n}} with | A | = α 3 n , {\displaystyle |A|=\alpha 3^{n},} there exists some y ≠ 0 {\displaystyle y\neq 0} such that | { x : x , x + y , x + 2 y ∈ A } | ≥ ( α 3 − ϵ )