In
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Math ...
, primes in arithmetic progression are any
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...
of at least three
prime number
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only way ...
s that are consecutive terms in an
arithmetic progression
An arithmetic progression or arithmetic sequence () is a sequence of numbers such that the difference between the consecutive terms is constant. For instance, the sequence 5, 7, 9, 11, 13, 15, . . . is an arithmetic progression with a common differ ...
. An example is the sequence of primes (3, 7, 11), which is given by
for
.
According to the
Green–Tao theorem 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 arith ...
, there exist
arbitrarily long sequences of primes in arithmetic progression. Sometimes the phrase may also be used about primes which belong to an arithmetic progression which also contains composite numbers. For example, it can be used about primes in an arithmetic progression of the form
, where ''a'' and ''b'' are
coprime
In mathematics, two integers and are coprime, relatively prime or mutually prime if the only positive integer that is a divisor of both of them is 1. Consequently, any prime number that divides does not divide , and vice versa. This is equival ...
which according to
Dirichlet's theorem on arithmetic progressions
In number theory, Dirichlet's theorem, also called the Dirichlet prime number theorem, states that for any two positive coprime integers ''a'' and ''d'', there are infinitely many primes of the form ''a'' + ''nd'', where ''n'' is al ...
contains infinitely many primes, along with infinitely many composites.
For
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
''k'' ≥ 3, an AP-''k'' (also called PAP-''k'') is any sequence of ''k'' primes in arithmetic progression. An AP-''k'' can be written as ''k'' primes of the form ''a''·''n'' + ''b'', for fixed integers ''a'' (called the common difference) and ''b'', and ''k'' consecutive integer values of ''n''. An AP-''k'' is usually expressed with ''n'' = 0 to ''k'' − 1. This can always be achieved by defining ''b'' to be the first prime in the arithmetic progression.
Properties
Any given arithmetic progression of primes has a finite length. In 2004,
Ben J. Green
Ben Joseph Green FRS (born 27 February 1977) is a British mathematician, specialising in combinatorics and number theory. He is the Waynflete Professor of Pure Mathematics at the University of Oxford.
Early life and education
Ben Green was ...
and
Terence Tao
Terence Chi-Shen Tao (; born 17 July 1975) is an Australian-American mathematician. He is a professor of mathematics at the University of California, Los Angeles (UCLA), where he holds the James and Carol Collins chair. His research includes ...
settled an old
conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1 ...
by proving the
Green–Tao theorem 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 arith ...
: The primes contain
arbitrarily long arithmetic progressions. It follows immediately that there are infinitely many AP-''k'' for any ''k''.
If an AP-''k'' does not begin with the prime ''k'', then the common difference is a multiple of the
primorial
In mathematics, and more particularly in number theory, primorial, denoted by "#", is a function from natural numbers to natural numbers similar to the factorial function, but rather than successively multiplying positive integers, the function ...
''k''# = 2·3·5·...·''j'', where ''j'' is the largest prime ≤ ''k''.
:''Proof'': Let the AP-''k'' be ''a''·''n'' + ''b'' for ''k'' consecutive values of ''n''. If a prime ''p'' does not divide ''a'', then
modular arithmetic
In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his bo ...
says that ''p'' will divide every ''pth term of the arithmetic progression. (From H.J. Weber, Cor.10 in ``Exceptional Prime Number Twins, Triplets and Multiplets," arXiv:1102.3075
ath.NT See also Theor.2.3 in ``Regularities of Twin, Triplet and Multiplet Prime Numbers," arXiv:1103.0447
ath.NT Global J.P.A.Math 8(2012), in press.) If the AP is prime for ''k'' consecutive values, then ''a'' must therefore be divisible by all primes ''p'' ≤ ''k''.
This also shows that an AP with common difference ''a'' cannot contain more consecutive prime terms than the value of the smallest prime that does not divide ''a''.
If ''k'' is prime then an AP-''k'' can begin with ''k'' and have a common difference which is only a multiple of (''k''−1)# instead of ''k''#. (From H. J. Weber, ``Less Regular Exceptional and Repeating Prime Number Multiplets," arXiv:1105.4092
ath.NT Sect.3.) For example, the AP-3 with primes and common difference 2# = 2, or the AP-5 with primes and common difference 4# = 6. It is conjectured that such examples exist for all primes ''k''. , the largest prime for which this is confirmed is ''k'' = 19, for this AP-19 found by Wojciech Iżykowski in 2013:
:19 + 4244193265542951705·17#·n, for ''n'' = 0 to 18.
It follows from widely believed conjectures, such as
Dickson's conjecture In number theory, a branch of mathematics, Dickson's conjecture is the conjecture stated by that for a finite set of linear forms , , ..., with , there are infinitely many positive integers for which they are all prime, unless there is a congruen ...
and some variants of the
prime k-tuple conjecture, that if ''p'' > 2 is the smallest prime not dividing ''a'', then there are infinitely many AP-(''p''−1) with common difference ''a''. For example, 5 is the smallest prime not dividing 6, so there is expected to be infinitely many AP-4 with common difference 6, which is called a
sexy prime
In number theory, sexy primes are prime numbers that differ from each other by 6. For example, the numbers 5 and 11 are both sexy primes, because both are prime and .
The term "sexy prime" is a pun stemming from the Latin word for six: .
I ...
quadruplet. When ''a'' = 2, ''p'' = 3, it is the
twin prime conjecture
A twin prime is a prime number that is either 2 less or 2 more than another prime number—for example, either member of the twin prime pair (41, 43). In other words, a twin prime is a prime that has a prime gap of two. Sometimes the term ''twin pr ...
, with an "AP-2" of 2 primes (''b'', ''b'' + 2).
Minimal primes in AP
We minimize the last term.
Largest known primes in AP
For prime ''q'', ''q''# denotes the
primorial
In mathematics, and more particularly in number theory, primorial, denoted by "#", is a function from natural numbers to natural numbers similar to the factorial function, but rather than successively multiplying positive integers, the function ...
2·3·5·7·...·''q''.
, the longest known AP-''k'' is an AP-27. Several examples are known for AP-26. The first to be discovered was found on April 12, 2010 by Benoît Perichon on a
PlayStation 3
The PlayStation 3 (PS3) is a home video game console developed by Sony Interactive Entertainment, Sony Computer Entertainment. The successor to the PlayStation 2, it is part of the PlayStation brand of consoles. It was first released on Novemb ...
with software by Jarosław Wróblewski and Geoff Reynolds, ported to the PlayStation 3 by Bryan Little, in a distributed
PrimeGrid
PrimeGrid is a volunteer computing project that searches for very large (up to world-record size) prime numbers whilst also aiming to solve long-standing mathematical conjectures. It uses the Berkeley Open Infrastructure for Network Computing ...
project:
:43142746595714191 + 23681770·23#·''n'', for ''n'' = 0 to 25. (23# = 223092870)
By the time the first AP-26 was found the search was divided into 131,436,182 segments by
PrimeGrid
PrimeGrid is a volunteer computing project that searches for very large (up to world-record size) prime numbers whilst also aiming to solve long-standing mathematical conjectures. It uses the Berkeley Open Infrastructure for Network Computing ...
[John]
''AP26 Forum''
Retrieved 2013-10-20. and processed by 32/64bit CPUs,
Nvidia
Nvidia CorporationOfficially written as NVIDIA and stylized in its logo as VIDIA with the lowercase "n" the same height as the uppercase "VIDIA"; formerly stylized as VIDIA with a large italicized lowercase "n" on products from the mid 1990s to ...
CUDA
CUDA (or Compute Unified Device Architecture) is a parallel computing platform and application programming interface (API) that allows software to use certain types of graphics processing units (GPUs) for general purpose processing, an approach ...
GPUs, and
Cell microprocessor
Cell is a multi-core microprocessor microarchitecture that combines a general-purpose PowerPC core of modest performance with streamlined coprocessing elements which greatly accelerate multimedia and vector processing applications, as well as m ...
s around the world.
Before that, the record was an AP-25 found by Raanan Chermoni and Jarosław Wróblewski on May 17, 2008:
:6171054912832631 + 366384·23#·''n'', for ''n'' = 0 to 24. (23# = 223092870)
The AP-25 search was divided into segments taking about 3 minutes on
Athlon 64
The Athlon 64 is a ninth-generation, AMD64-architecture microprocessor produced by Advanced Micro Devices (AMD), released on September 23, 2003. It is the third processor to bear the name '' Athlon'', and the immediate successor to the Athlon ...
and Wróblewski reported "I think Raanan went through less than 10,000,000 such segments" (this would have taken about 57 cpu years on Athlon 64).
The earlier record was an AP-24 found by Jarosław Wróblewski alone on January 18, 2007:
:468395662504823 + 205619·23#·''n'', for ''n'' = 0 to 23.
For this Wróblewski reported he used a total of 75 computers: 15 64-bit
Athlon
Athlon is the brand name applied to a series of x86-compatible microprocessors designed and manufactured by Advanced Micro Devices (AMD). The original Athlon (now called Athlon Classic) was the first seventh-generation x86 processor and the fi ...
s, 15 dual core 64-bit
Pentium D
Pentium D is a range of desktop 64-bit x86-64 processors based on the NetBurst microarchitecture, which is the dual-core variant of the Pentium 4 manufactured by Intel. Each CPU comprised two dies, each containing a single core, residing next to ...
805, 30 32-bit Athlons 2500, and 15
Duron
Duron is a line of budget x86-compatible microprocessors manufactured by AMD. Released on June 19, 2000 as a lower-cost offering to complement AMD's then mainstream performance Athlon processor line, it also competed with rival chipmaker In ...
s 900.
The following table shows the largest known AP-''k'' with the year of discovery and the number of
decimal digits in the ending prime. Note that the largest known AP-''k'' may be the end of an AP-(''k''+1). Some record setters choose to first compute a large set of primes of form ''c''·''p''#+1 with fixed ''p'', and then search for AP's among the values of ''c'' that produced a prime. This is reflected in the expression for some records. The expression can easily be rewritten as ''a''·''n'' + ''b''.
Consecutive primes in arithmetic progression
Consecutive primes in arithmetic progression refers to at least three ''consecutive'' primes which are consecutive terms in an arithmetic progression. Note that unlike an AP-''k'', all the other numbers between the terms of the progression must be composite. For example, the AP-3 does not qualify, because 5 is also a prime.
For an integer ''k'' ≥ 3, a CPAP-''k'' is ''k'' consecutive primes in arithmetic progression. It is conjectured there are arbitrarily long CPAP's. This would imply infinitely many CPAP-''k'' for all ''k''. The middle prime in a CPAP-3 is called a
balanced prime In number theory, a balanced prime is a prime number with equal-sized prime gaps above and below it, so that it is equal to the arithmetic mean of the nearest primes above and below. Or to put it algebraically, given a prime number p_n, where is i ...
. The largest known has 15004 digits.
The first known CPAP-10 was found in 1998 by Manfred Toplic in the
distributed computing
A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another from any system. Distributed computing is a field of computer sci ...
project CP10 which was organized by Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony and Paul Zimmermann. This CPAP-10 has the smallest possible common difference, 7# = 210. The only other known CPAP-10 as of 2018 was found by the same people in 2008.
If a CPAP-11 exists then it must have a common difference which is a multiple of 11# = 2310. The difference between the first and last of the 11 primes would therefore be a multiple of 23100. The requirement for at least 23090 composite numbers between the 11 primes makes it appear extremely hard to find a CPAP-11. Dubner and Zimmermann estimate it would be at least 10
12 times harder than a CPAP-10.
[Manfred Toplic]
''The nine and ten primes project''
Retrieved on 2007-06-17.
Minimal consecutive primes in AP
The first occurrence of a CPAP-''k'' is only known for ''k'' ≤ 6 .
Largest known consecutive primes in AP
The table shows the largest known case of ''k'' consecutive primes in arithmetic progression, for ''k'' = 3 to 10.
''x''
''d'' is a ''d''-digit number used in one of the above records to ensure a small factor in unusually many of the required composites between the primes.
''x''106 = 115376 22283279672627497420 78637565852209646810 56709682233916942487 50925234318597647097 08315833909447378791
''x''153 = 9656383640115 03965472274037609810 69585305769447451085 87635040605371157826 98320398681243637298 57205796522034199218 09817841129732061363 55565433981118807417 = ''x''253 % 379#
''x''253 = 1617599298905 320471304802538356587398499979 836255156671030473751281181199 911312259550734373874520536148 519300924327947507674746679858 816780182478724431966587843672 408773388445788142740274329621 811879827349575247851843514012 399313201211101277175684636727
See also
*
Cunningham chain
In mathematics, a Cunningham chain is a certain sequence of prime numbers. Cunningham chains are named after mathematician A. J. C. Cunningham. They are also called chains of nearly doubled primes.
Definition
A Cunningham chain of the first ki ...
*
Szemerédi's theorem
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''-t ...
*
PrimeGrid
PrimeGrid is a volunteer computing project that searches for very large (up to world-record size) prime numbers whilst also aiming to solve long-standing mathematical conjectures. It uses the Berkeley Open Infrastructure for Network Computing ...
*
Problems involving arithmetic progressions
Problems involving arithmetic progressions are of interest in number theory,
combinatorics, and computer science, both from theoretical and applied points of view.
Largest progression-free subsets
Find the cardinality (denoted by ''A'k''(''m' ...
Notes
References
*Chris Caldwell
''The Prime Glossary: arithmetic sequence''''The Top Twenty: Arithmetic Progressions of Primes''an
''The Top Twenty: Consecutive Primes in Arithmetic Progression'' all from the
Prime Pages The PrimePages is a website about prime numbers maintained by Chris Caldwell at the University of Tennessee at Martin.
The site maintains the list of the "5,000 largest known primes", selected smaller primes of special forms, and many "top twenty" ...
.
*
*Jarosław Wróblewski
''How to search for 26 primes in arithmetic progression?''*
P. Erdős and P. Turán, On some sequences of integers, J. London Math. Soc. 11 (1936), 261–264.
{{Prime number classes
Prime numbers