Problems involving arithmetic progressions

Last updated

Problems involving arithmetic progressions are of interest in number theory, [1] combinatorics, and computer science, both from theoretical and applied points of view.

Contents

Largest progression-free subsets

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 number [2] 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.

Arithmetic progressions from prime numbers

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

The sequence of primes numbers contains arithmetic progressions of any length.

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, the longest known arithmetic progression of primes has length 27: [4]

224584605939537911 + 81292139·23#·n, for n = 0 to 26. (23# = 223092870)

As of 2011, the longest known arithmetic progression of consecutive primes has length 10. It was found in 1998. [5] [6] The progression starts with a 93-digit number

100 99697 24697 14247 63778 66555 87969 84032 95093 24689
19004 18036 03417 75890 43417 03348 88215 90672 29719

and has the common difference 210.

Primes in arithmetic progressions

The prime number theorem for arithmetic progressions deals with the asymptotic distribution of prime numbers in an arithmetic progression.

Covering by and partitioning into arithmetic progressions

See also

Notes

  1. Samuel S. Wagstaff, Jr. (1979). "Some Questions About Arithmetic Progressions". American Mathematical Monthly . Mathematical Association of America. 86 (7): 579–582. doi:10.2307/2320590. JSTOR   2320590.
  2. 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.
  3. 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.
  4. Jens Kruse Andersen, Primes in Arithmetic Progression Records. Retrieved on 2020-08-10.
  5. H. Dubner; T. Forbes; N. Lygeros; M. Mizony; H. Nelson; P. Zimmermann, "Ten consecutive primes in arithmetic progression", Math. Comp. 71 (2002), 1323–1328.
  6. the Nine and Ten Primes Project
  7. 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 .
  8. Sloane, N. J. A. (ed.). "SequenceA053732(Number of ways to partition {1,...,n} into arithmetic progressions of length >= 1)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.
  9. Sloane, N. J. A. (ed.). "SequenceA072255(Number of ways to partition {1,2,...,n} into arithmetic progressions...)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.

Related Research Articles

Combinatorics is a branch of mathematics concerning the study of finite or countable discrete structures.

In arithmetic combinatorics, Szemerédi's theorem is a result concerning arithmetic progressions in subsets of the integers. In 1936, Erdős and Turán conjectured that every set of integers A with positive natural density contains a k-term arithmetic progression for every k. Endre Szemerédi proved the conjecture in 1975.

<span class="mw-page-title-main">Endre Szemerédi</span> Hungarian-American mathematician

Endre Szemerédi is a Hungarian-American mathematician and computer scientist, working in the field of combinatorics and theoretical computer science. He has been the State of New Jersey Professor of computer science at Rutgers University since 1986. He also holds a professor emeritus status at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences.

<span class="mw-page-title-main">Klaus Roth</span> British mathematician

Klaus Friedrich Roth was a German-born British mathematician who won the Fields Medal for proving Roth's theorem on the Diophantine approximation of algebraic numbers. He was also a winner of the De Morgan Medal and the Sylvester Medal, and a Fellow of the Royal Society.

<span class="mw-page-title-main">Ben Green (mathematician)</span> British mathematician

Ben Joseph Green FRS is a British mathematician, specialising in combinatorics and number theory. He is the Waynflete Professor of Pure Mathematics at the University of Oxford.

Erdős' conjecture on arithmetic progressions, often referred to as the Erdős–Turán conjecture, is a conjecture in arithmetic combinatorics. It states that if the sum of the reciprocals of the members of a set A of positive integers diverges, then A contains arbitrarily long arithmetic progressions.

<span class="mw-page-title-main">Hillel Furstenberg</span> American-Israeli mathematician

Hillel "Harry" Furstenberg is a German-born American-Israeli mathematician and professor emeritus at the Hebrew University of Jerusalem. He is a member of the Israel Academy of Sciences and Humanities and U.S. National Academy of Sciences and a laureate of the Abel Prize and the Wolf Prize in Mathematics. He is known for his application of probability theory and ergodic theory methods to other areas of mathematics, including number theory and Lie groups.

In number theory, the Green–Tao theorem, proved by Ben Green and Terence Tao in 2004, states that the sequence of prime numbers contains arbitrarily long arithmetic progressions. In other words, for every natural number k, there exist arithmetic progressions of primes with k terms. The proof is an extension of Szemerédi's theorem. The problem can be traced back to investigations of Lagrange and Waring from around 1770.

In number theory, primes in arithmetic progression are any sequence of at least three prime numbers that are consecutive terms in an arithmetic progression. An example is the sequence of primes, which is given by for .

Ergodic Ramsey theory is a branch of mathematics where problems motivated by additive combinatorics are proven using ergodic theory.

In mathematics, arithmetic combinatorics is a field in the intersection of number theory, combinatorics, ergodic theory and harmonic analysis.

<span class="mw-page-title-main">Vitaly Bergelson</span>

Vitaly Bergelson is a mathematical researcher and professor at Ohio State University in Columbus, Ohio. His research focuses on ergodic theory and combinatorics.

The Erdős–Turán conjecture is an old unsolved problem in additive number theory posed by Paul Erdős and Pál Turán in 1941.

In arithmetic combinatorics, the Erdős–Szemerédi theorem states that for every finite set of integers, at least one of , the set of pairwise sums or , the set of pairwise products form a significantly larger set. More precisely, the Erdős–Szemerédi theorem states that there exist positive constants c and such that for any non-empty set

<span class="mw-page-title-main">József Solymosi</span> Hungarian-Canadian mathematician

József Solymosi is a Hungarian-Canadian mathematician and a professor of mathematics at the University of British Columbia. His main research interests are arithmetic combinatorics, discrete geometry, graph theory, and combinatorial number theory.

<span class="mw-page-title-main">Salem–Spencer set</span> Progression-free set of numbers

In mathematics, and in particular in arithmetic combinatorics, a Salem-Spencer set is a set of numbers no three of which form an arithmetic progression. Salem–Spencer sets are also called 3-AP-free sequences or progression-free sets. They have also been called non-averaging sets, but this term has also been used to denote a set of integers none of which can be obtained as the average of any subset of the other numbers. Salem-Spencer sets are named after Raphaël Salem and Donald C. Spencer, who showed in 1942 that Salem–Spencer sets can have nearly-linear size. However a later theorem of Klaus Roth shows that the size is always less than linear.

In arithmetic combinatorics, Behrend's theorem states that the subsets of the integers from 1 to in which no member of the set is a multiple of any other must have a logarithmic density that goes to zero as becomes large. The theorem is named after Felix Behrend, who published it in 1935.

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 .