Chen's theorem

Last updated
The statue of Chen Jingrun at Xiamen University. Chen Jing-run.JPG
The statue of Chen Jingrun at Xiamen University.

In number theory, Chen's theorem states that every sufficiently large even number can be written as the sum of either two primes, or a prime and a semiprime (the product of two primes).

Contents

It is a weakened form of Goldbach's conjecture, which states that every even number is the sum of two primes.

History

The theorem was first stated by Chinese mathematician Chen Jingrun in 1966, [1] with further details of the proof in 1973. [2] His original proof was much simplified by P. M. Ross in 1975. [3] Chen's theorem is a giant step towards the Goldbach's conjecture, and a remarkable result of the sieve methods.

Chen's theorem represents the strengthening of a previous result due to Alfréd Rényi, who in 1947 had shown there exists a finite K such that any even number can be written as the sum of a prime number and the product of at most K primes. [4] [5]

Variations

Chen's 1973 paper stated two results with nearly identical proofs. [2] :158 His Theorem I, on the Goldbach conjecture, was stated above. His Theorem II is a result on the twin prime conjecture. It states that if h is a positive even integer, there are infinitely many primes p such that p+h is either prime or the product of two primes.

Ying Chun Cai proved the following in 2002: [6]

There exists a natural number N such that every even integer n larger than N is a sum of a prime less than or equal to n0.95and a number with at most two prime factors.

Tomohiro Yamada claimed a proof of the following explicit version of Chen's theorem in 2015: [7]

Every even number greater than can be represented as the sum of a prime and a product of at most two primes.

In 2022, Matteo Bordignon found multiple errors in Yamada's proof, and provided an alternative proof for a lower bound: [8]

Every even number greater than can be represented as the sum of a prime and a square-free number with at most two prime factors.

Also in 2022, Bordignon and Valeriia Starichkova [9] showed that the bound can be lowered to assuming the Generalized Riemann hypothesis (GRH) for Dirichlet L-functions. In 2024, Bordignon and Starichkova [10] improved this result by lowering the bound to .

Related Research Articles

<span class="mw-page-title-main">Prime number</span> Number divisible only by 1 or itself

A prime number 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 ways of writing it as a product, 1 × 5 or 5 × 1, involve 5 itself. However, 4 is composite because it is a product (2 × 2) in which both numbers are smaller than 4. Primes are central in number theory because of the fundamental theorem of arithmetic: every natural number greater than 1 is either a prime itself or can be factorized as a product of primes that is unique up to their order.

<span class="mw-page-title-main">Goldbach's conjecture</span> Even integers as sums of two primes

Goldbach's conjecture is one of the oldest and best-known unsolved problems in number theory and all of mathematics. It states that every even natural number greater than 2 is the sum of two prime numbers.

In mathematics, a Fermat number, named after Pierre de Fermat (1607–1665), the first known to have studied them, is a positive integer of the form: where n is a non-negative integer. The first few Fermat numbers are: 3, 5, 17, 257, 65537, 4294967297, 18446744073709551617, ....

<span class="mw-page-title-main">Goldbach's weak conjecture</span> Solved conjecture about prime numbers

In number theory, Goldbach's weak conjecture, also known as the odd Goldbach conjecture, the ternary Goldbach problem, or the 3-primes problem, states that

The Riemann hypothesis is one of the most important conjectures in mathematics. It is a statement about the zeros of the Riemann zeta function. Various geometrical and arithmetical objects can be described by so-called global L-functions, which are formally similar to the Riemann zeta-function. One can then ask the same question about the zeros of these L-functions, yielding various generalizations of the Riemann hypothesis. Many mathematicians believe these generalizations of the Riemann hypothesis to be true. The only cases of these conjectures which have been proven occur in the algebraic function field case.

<span class="mw-page-title-main">Algebraic number theory</span> Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

<span class="mw-page-title-main">Bertrand's postulate</span> Existence of a prime number between any number and its double

In number theory, Bertrand's postulate is the theorem that for any integer , there exists at least one prime number with

In mathematics, the Weil conjectures were highly influential proposals by André Weil. They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

<span class="mw-page-title-main">Analytic number theory</span> Exploring properties of the integers with complex analysis

In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Dirichlet L-functions to give the first proof of Dirichlet's theorem on arithmetic progressions. It is well known for its results on prime numbers and additive number theory.

<span class="mw-page-title-main">Chen Jingrun</span> Chinese number theorist

Chen Jingrun, also known as Jing-Run Chen, was a Chinese mathematician who made significant contributions to number theory, including Chen's theorem and the Chen prime.

In mathematics, Schinzel's hypothesis H is one of the most famous open problems in the topic of number theory. It is a very broad generalization of widely open conjectures such as the twin prime conjecture. The hypothesis is named after Andrzej Schinzel.

Legendre's conjecture, proposed by Adrien-Marie Legendre, states that there is a prime number between and for every positive integer . The conjecture is one of Landau's problems (1912) on prime numbers, and is one of many open problems on the spacing of prime numbers.

Euclid's theorem is a fundamental statement in number theory that asserts that there are infinitely many prime numbers. It was first proven by Euclid in his work Elements. There are several proofs of the theorem.

<span class="mw-page-title-main">Perfect power</span> Positive integer that is an integer power of another positive integer

In mathematics, a perfect power is a natural number that is a product of equal natural factors, or, in other words, an integer that can be expressed as a square or a higher integer power of another integer greater than one. More formally, n is a perfect power if there exist natural numbers m > 1, and k > 1 such that mk = n. In this case, n may be called a perfect kth power. If k = 2 or k = 3, then n is called a perfect square or perfect cube, respectively. Sometimes 0 and 1 are also considered perfect powers.

In number theory, Vinogradov's theorem is a result which implies that any sufficiently large odd integer can be written as a sum of three prime numbers. It is a weaker form of Goldbach's weak conjecture, which would imply the existence of such a representation for all odd integers greater than five. It is named after Ivan Matveyevich Vinogradov, who proved it in the 1930s. Hardy and Littlewood had shown earlier that this result followed from the generalized Riemann hypothesis, and Vinogradov was able to remove this assumption. The full statement of Vinogradov's theorem gives asymptotic bounds on the number of representations of an odd integer as a sum of three primes. The notion of "sufficiently large" was ill-defined in Vinogradov's original work, but in 2002 it was shown that 101346 is sufficiently large. Additionally numbers up to 1020 had been checked via brute force methods, thus only a finite number of cases to check remained before the odd Goldbach conjecture would be proven or disproven. In 2013, Harald Helfgott proved Goldbach's weak conjecture for all cases.

<span class="mw-page-title-main">Landau's problems</span> Four basic unsolved problems about prime numbers

At the 1912 International Congress of Mathematicians, Edmund Landau listed four basic problems about prime numbers. These problems were characterised in his speech as "unattackable at the present state of mathematics" and are now known as Landau's problems. They are as follows:

  1. Goldbach's conjecture: Can every even integer greater than 2 be written as the sum of two primes?
  2. Twin prime conjecture: Are there infinitely many primes p such that p + 2 is prime?
  3. Legendre's conjecture: Does there always exist at least one prime between consecutive perfect squares?
  4. Are there infinitely many primes p such that p − 1 is a perfect square? In other words: Are there infinitely many primes of the form n2 + 1?

In the field of number theory, the Brun sieve is a technique for estimating the size of "sifted sets" of positive integers which satisfy a set of conditions which are expressed by congruences. It was developed by Viggo Brun in 1915 and later generalized to the fundamental lemma of sieve theory by others.

<span class="mw-page-title-main">Riemann hypothesis</span> Conjecture on zeros of the zeta function

In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part 1/2. Many consider it to be the most important unsolved problem in pure mathematics. It is of great interest in number theory because it implies results about the distribution of prime numbers. It was proposed by Bernhard Riemann, after whom it is named.

A timeline of number theory.

References

Citations

  1. Chen, J.R. (1966). "On the representation of a large even integer as the sum of a prime and the product of at most two primes". Kexue Tongbao. 11 (9): 385–386.
  2. 1 2 Chen, J.R. (1973). "On the representation of a larger even integer as the sum of a prime and the product of at most two primes". Sci. Sinica. 16: 157–176.
  3. Ross, P.M. (1975). "On Chen's theorem that each large even number has the form (p1+p2) or (p1+p2p3)". J. London Math. Soc. Series 2. 10, 4 (4): 500–506. doi:10.1112/jlms/s2-10.4.500.
  4. University of St Andrews - Alfréd Rényi
  5. Rényi, A. A. (1948). "On the representation of an even number as the sum of a prime and an almost prime". Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya (in Russian). 12: 57–78.
  6. Cai, Y.C. (2002). "Chen's Theorem with Small Primes". Acta Mathematica Sinica. 18 (3): 597–604. doi:10.1007/s101140200168. S2CID   121177443.
  7. Yamada, Tomohiro (2015-11-11). "Explicit Chen's theorem". arXiv: 1511.03409 [math.NT].
  8. Bordignon, Matteo (2022-02-08). "An Explicit Version of Chen's Theorem". Bulletin of the Australian Mathematical Society. 105 (2). Cambridge University Press (CUP): 344–346. arXiv: 2207.09452 . doi: 10.1017/s0004972721001301 . ISSN   0004-9727.
  9. Bordignon, Matteo; Starichkova, Valeriia (2022). "An explicit version of Chen's theorem assuming the Generalized Riemann Hypothesis". arXiv: 2211.08844 .
  10. Bordignon, Matteo; Starichkova, Valeriia (2024). "An explicit version of Chen's theorem assuming the Generalized Riemann Hypothesis". The Ramanujan Journal. 64: 1213–1242. doi:10.1007/s11139-024-00866-x.

Books