Find the cardinality (denoted by Ak(m)) of the largest subset of {1, 2, ..., m} which contains no progression of k distinct terms. The elements of the forbidden progressions are not required to be consecutive. For example, A4(10) = 8, because {1, 2, 3, 5, 6, 8, 9, 10} has no arithmetic progressions of length 4, while all 9-element subsets of {1, 2, ..., 10} have one.
In 1936, Paul Erdős and Pál Turán posed a question related to this number2 and Erdős set a $1000 prize for an answer to it. The prize was collected by Endre Szemerédi for a solution published in 1975, what has become known as Szemerédi's theorem.
Main article: Primes in arithmetic progression
Szemerédi's theorem states that a set of natural numbers of non-zero upper asymptotic density contains finite arithmetic progressions, of any arbitrary length k.
Erdős made a more general conjecture from which it would follow that
This result was proven by Ben Green and Terence Tao in 2004 and is now known as the Green–Tao theorem.3
See also Dirichlet's theorem on arithmetic progressions.
As of 2020[update], the longest known arithmetic progression of primes has length 27:4
As of 2011, the longest known arithmetic progression of consecutive primes has length 10. It was found in 1998.56 The progression starts with a 93-digit number
and has the common difference 210.
The prime number theorem for arithmetic progressions deals with the asymptotic distribution of prime numbers in an arithmetic progression.
Samuel S. Wagstaff, Jr. (1979). "Some Questions About Arithmetic Progressions". American Mathematical Monthly. 86 (7). Mathematical Association of America: 579–582. doi:10.2307/2320590. JSTOR 2320590. /wiki/Samuel_S._Wagstaff,_Jr. ↩
Erdős, Paul; Turán, Paul (1936). "On some sequences of integers" (PDF). Journal of the London Mathematical Society. 11 (4): 261–264. doi:10.1112/jlms/s1-11.4.261. MR 1574918. /wiki/Paul_Erd%C5%91s ↩
Conlon, David; Fox, Jacob; Zhao, Yufei (2014). "The Green–Tao theorem: an exposition". EMS Surveys in Mathematical Sciences. 1 (2): 249–282. arXiv:1403.2957. doi:10.4171/EMSS/6. MR 3285854. S2CID 119301206. /wiki/David_Conlon ↩
Jens Kruse Andersen, Primes in Arithmetic Progression Records. Retrieved on 2020-08-10. http://primerecords.dk/aprecords.htm ↩
H. Dubner; T. Forbes; N. Lygeros; M. Mizony; H. Nelson; P. Zimmermann, "Ten consecutive primes in arithmetic progression", Math. Comp. 71 (2002), 1323–1328. ↩
the Nine and Ten Primes Project http://members.aon.at/toplicm/cp09.html ↩
Vsevolod F. Lev (2000). "Simultaneous approximations and covering by arithmetic progressions over Fp". Journal of Combinatorial Theory. Series A. 92 (2): 103–118. doi:10.1006/jcta.1999.3034. https://doi.org/10.1006%2Fjcta.1999.3034 ↩
Sloane, N. J. A. (ed.). "Sequence A053732 (Number of ways to partition {1,...,n} into arithmetic progressions of length >= 1)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation. /wiki/Neil_Sloane ↩
Sloane, N. J. A. (ed.). "Sequence A072255 (Number of ways to partition {1,2,...,n} into arithmetic progressions...)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation. /wiki/Neil_Sloane ↩