Loading AI tools
On the existence of arithmetic progressions in subsets of the natural numbers From Wikipedia, the free encyclopedia
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.[1] Roth's theorem is a special case of Szemerédi's theorem for the case .
A subset A of the natural numbers is said to have positive upper density if
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 . Let be the size of the largest subset of which contains no 3-term arithmetic progression.
Roth's theorem on arithmetic progressions (finitary version): .
Improving upper and lower bounds on is still an open research problem.
The first result in this direction was Van der Waerden's theorem in 1927, which states that for sufficiently large N, coloring the integers with colors will result in a term arithmetic progression.[2]
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 ,[3] disproving an additional conjecture of Erdős and Turán that for some .[4]
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.
The original proof given by Roth used Fourier analytic methods. Later on another proof was given using Szemerédi's regularity lemma.
In 1953, Roth used Fourier analysis to prove an upper bound of . Below is a sketch of this proof.
Define the Fourier transform of a function to be the function satisfying
where .
Let be a 3-AP-free subset of . The proof proceeds in 3 steps.
For functions, define
Counting Lemma Let satisfy . Define . Then .
The counting lemma tells us that if the Fourier Transforms of and are "close", then the number of 3-term arithmetic progressions between the two should also be "close." Let be the density of . Define the functions (i.e the indicator function of ), and . Step 1 can then be deduced by applying the Counting Lemma to and , which tells us that there exists some such that
Given the from step 1, we first show that it's possible to split up into relatively large subprogressions such that the character is roughly constant on each subprogression.
Lemma 1: Let . Assume that for a universal constant . Then it is possible to partition into arithmetic progressions with length such that for all .
Next, we apply Lemma 1 to obtain a partition into subprogressions. We then use the fact that produced a large coefficient in step 1 to show that one of these subprogressions must have a density increment:
Lemma 2: Let be a 3-AP-free subset of , with and . Then, there exists a sub progression such that and .
We now iterate step 2. Let be the density of after the th iteration. We have that and First, see that doubles (i.e. reach such that ) after at most steps. We double again (i.e reach ) after at most steps. Since , this process must terminate after at most steps.
Let be the size of our current progression after iterations. By Lemma 2, we can always continue the process whenever and thus when the process terminates we have that Also, note that when we pass to a subprogression, the size of our set decreases by a cube root. Therefore
Therefore so as desired.
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.[5]
Below is an outline of a proof using the Szemerédi regularity lemma.
Let be a graph and . We call an -regular pair if for all with , one has .
A partition of is an -regular partition if
Then the Szemerédi regularity lemma says that for every , there exists a constant such that every graph has an -regular partition into at most parts.
We can also prove that triangles between -regular sets of vertices must come along with many other triangles. This is known as the triangle counting lemma.
Triangle Counting Lemma: Let be a graph and be subsets of the vertices of such that are all -regular pairs for some . Let denote the edge densities respectively. If , then the number of triples such that form a triangle in is at least
- .
Using the triangle counting lemma and the Szemerédi regularity lemma, we can prove the triangle removal lemma, a special case of the graph removal lemma.[6]
Triangle Removal Lemma: For all , there exists such that any graph on vertices with less than or equal to triangles can be made triangle-free by removing at most edges.
This has an interesting corollary pertaining to graphs on vertices where every edge of lies in a unique triangle. In specific, all of these graphs must have edges.
Take a set with no 3-term arithmetic progressions. Now, construct a tripartite graph whose parts are all copies of . Connect a vertex to a vertex if . Similarly, connect with if . Finally, connect with if .
This construction is set up so that if form a triangle, then we get elements that all belong to . These numbers form an arithmetic progression in the listed order. The assumption on then tells us this progression must be trivial: the elements listed above are all equal. But this condition is equivalent to the assertion that is an arithmetic progression in . Consequently, every edge of lies in exactly one triangle. The desired conclusion follows.
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[7] used ergodic theory to prove a multidimensional version and Leibman and Bergelson[8] 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[9][10] strengthened this theorem by weakening the necessary pseudorandomness condition. In 2020, Bloom and Sisask[11] proved that any set such that 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.
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
for some constant . Over the years this bound has been continually lowered by Szemerédi,[12] Heath-Brown,[13] Bourgain,[14][15] and Sanders.[16][17] The current (July 2020) best bound is due to Bloom and Sisask[11] who have showed the existence of an absolute constant c>0 such that
In February 2023 a preprint[18][19] (later published[20]) by Kelley and Meka gave a new bound of:
.
Four days later, Bloom and Sisask published a preprint giving an exposition of the result[21] (later published[22]), simplifying the argument and yielding some additional applications. Several months later, Bloom and Sisask obtained a further improvement to , and stated (without proof) that their techniques can be used to show .[23]
There has also been work done on the other end, constructing the largest set with no three-term arithmetic progressions. The best construction has barely been improved since 1946 when Behrend[24] improved on the initial construction by Salem and Spencer and proved
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 three-term progressions.[11] If correct, the Kelley-Meka bound will prove this conjecture.
As a variation, we can consider the analogous problem over finite fields. Consider the finite field , and let be the size of the largest subset of which contains no 3-term arithmetic progression. This problem is actually equivalent to the cap set problem, which asks for the largest subset of 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[25] were the first to show that In 1995, Roy Mesuhlam[26] used a similar technique to the Fourier-analytic proof of Roth's theorem to show that This bound was improved to in 2012 by Bateman and Katz.[27]
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 .[28][29][30]
The best known lower bound is , discovered in December 2023 by Google DeepMind researchers using a large language model (LLM).[31]
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 , there exists some such that for every and with there exists some such that
If is chosen randomly from then we would expect there to be progressions for each value of . The popular differences theorem thus states that for each with positive density, there is some such that the number of 3-APs with common difference is close to what we would expect.
This theorem was first proven by Green in 2005,[32] who gave a bound of where is the tower function. In 2019, Fox and Pham recently improved the bound to [33]
A corresponding statement is also true in for both 3-APs and 4-APs.[34] However, the claim has been shown to be false for 5-APs.[35]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.