Fact-checked by Grok 2 weeks ago

Chen's theorem

Chen's theorem is a major result in , stating that every sufficiently large even integer can be expressed as the sum of a and a P_2 number, where a P_2 number is either a prime or the product of two primes. This theorem was proved by the Chinese mathematician Jingrun Chen and first announced in 1966, with the full proof published in 1973. Chen's theorem represents significant progress toward the long-standing Goldbach conjecture, which posits that every even integer greater than 2 is the sum of two primes. By establishing that large even numbers can be written as a prime plus an "almost prime" (P_2), it confirms a "1+2" form of the conjecture, bridging the gap between the full 2-prime representation and known results like Vinogradov's three-prime theorem for odd integers. The proof relies on advanced sieve methods, including the Selberg sieve and estimates from the Bombieri–Vinogradov theorem, to count the relevant prime sums effectively. The theorem has inspired numerous extensions and simplifications, including explicit versions providing concrete bounds for "sufficiently large" and applications to prime gaps and short intervals. For instance, later works have refined the techniques to handle cases with small primes or bounded intervals, while maintaining insight into the distribution of primes. Chen's result remains a cornerstone of , highlighting the density of primes and semiprimes in arithmetic progressions.

Introduction

Statement of the Theorem

Chen's theorem states that every sufficiently large even integer N can be expressed as N = p + m, where p is an odd prime and m is a number with at most two prime factors (that is, m is either prime or the product of two primes, known as a semiprime). This formulation captures the essence of the result first announced by Jingrun Chen in 1966 and proved in full in 1973, emphasizing the near-prime nature of m to approximate the binary representation sought in related conjectures. The phrase "sufficiently large" means N exceeds some absolute constant, though the original proof provides no explicit bound due to the ineffective nature of the underlying sieve estimates, which depend on unproven assumptions about the distribution of primes. Subsequent work has yielded explicit versions, such as every even N > \exp(36) admitting such a representation, but the classical theorem retains the ineffective bound. This theorem serves as a partial resolution toward the Goldbach conjecture, which claims every even integer greater than 2 is the sum of two primes. For illustration, though the theorem targets large N, even smaller cases like N = 100 fit the form, such as $100 = 61 + 39 where 61 is prime and 39 = 3 \times 13) is a , or $100 = 47 + 53 where both are primes.

Relation to the Goldbach Conjecture

The binary Goldbach conjecture posits that every even integer greater than 2 can be expressed as the sum of two prime numbers. Chen's theorem provides a significant weakening of this conjecture by demonstrating that every sufficiently large even integer N can be written as the sum of a prime and a number with at most two prime factors (denoted P_2, which includes primes and semiprimes). This result, first announced by Jingrun Chen in 1966 and established in full in 1973, implies that the number of such representations, D_1(N), satisfies D_1(N) \gg \frac{N}{(\log N)^2}, offering asymptotic evidence toward the full conjecture. Consequently, the density of even integers up to X that cannot be expressed in this form is o(X), meaning exceptions become negligible relative to the total count as X grows large. This advancement is particularly impactful because it bridges the gap between the conjectured asymptotic formula from the Hardy-Littlewood circle method—which predicts approximately $2C_2 \frac{N}{(\log N)^2} representations as sums of two primes, where C_2 \approx 0.66016 is the twin prime constant—and provable bounds, with modern refinements achieving coefficients close to 2. While computational verifications have confirmed the binary Goldbach conjecture for all even integers up to $4 \times 10^{18} as of 2013, Chen's theorem supplies the first rigorous theoretical guarantee for large N, independent of exhaustive checking.

Mathematical Background

The Binary Goldbach Problem

The binary Goldbach problem, also known as the strong Goldbach conjecture, asserts that every even integer greater than 2 can be expressed as the sum of two prime numbers. This conjecture originated in a letter from the Prussian mathematician to Leonhard Euler on June 7, 1742, where Goldbach suggested that every integer greater than 2 is the sum of three primes, a form later refined by Euler into the binary version focusing on even numbers. This binary form contrasts with the weak Goldbach conjecture, which posits that every odd greater than 5 is the of three prime numbers; the latter was established by Ivan Matveevich Vinogradov in , who proved it holds for all sufficiently large odd integers using the circle method. Early progress on the binary problem came through analytic methods. In the 1920s, and J. E. Littlewood applied the circle method to derive an asymptotic estimate for the number of representations r_2(N) of a large even N as the of two primes, conjecturing r_2(N) \sim 2 C_2 \frac{N}{(\log N)^2}, where C_2 = \prod_{p > 2} \left(1 - \frac{1}{(p-1)^2}\right) \approx 0.6601618158 is the twin prime constant; this formula suggests that the number of such representations grows with N, supporting the conjecture heuristically. Complementing these analytic advances, Lev Schnirelmann introduced density arguments in 1930, defining the Schnirelmann density of a set to measure its additive basis properties. He demonstrated that the set of sums of two primes has positive Schnirelmann , implying that the binary holds for a positive proportion of even (in the sense of this density measure), and further that every sufficiently large even is the sum of at most a fixed number of primes. These results established that exceptions to the , if any, must be sparse. Chen's theorem later built on this foundation as a major step toward a full .

Sieve Methods in Analytic Number Theory

Sieve methods in analytic originate with the ancient , which systematically eliminates composite numbers from the sequence of positive integers up to a limit N by marking multiples of each prime starting from 2, thereby isolating the primes. This combinatorial process provides an exact count of primes up to N but becomes inefficient for large N due to its quadratic , prompting the development of more sophisticated variants for asymptotic estimates in number theory. Linear sieves, such as the Selberg sieve introduced in , extend these ideas to obtain upper bounds on the number of primes or prime-like elements in arithmetic progressions. The Selberg sieve constructs a non-negative \lambda_d supported on squarefree integers up to a level D, with \lambda_1 = 1 and |\lambda_d| \leq 1, to approximate the sifting function S(A, D) = \sum_{d \mid P} \lambda_d A_d, where A is a sequence and A_d counts elements of A divisible by d. This yields an upper bound S(A, D) \leq X \sum_{d \leq D} \frac{\mu(d)^2}{g(d)} for the sifted set size, with g(d) a optimizing the sieve for applications like bounding \pi(x; q, a), the number of primes up to x congruent to a \pmod{q}. Such bounds are crucial for controlling error terms in progressions where direct prime counting is challenging. Weighted sieves refine the inclusion-exclusion by introducing weights to the of the full 2^{\pi(z)} terms in the exact formula S(A, z) = \sum_{d \in P(z)} \mu(d) A_d, where P(z) is the product of primes up to z. These weights, often derived from a g(p) approximating the local densities A_p / X \approx g(p), allow for asymptotic formulas like S(A, z) \sim X V(z) with V(z) = \prod_{p \leq z} (1 - g(p)), optimizing for sifted sets such as sums p + m where m belongs to P_2, the set of integers with at most two prime factors. By minimizing remainders r_d = A_d - X g(d) on average, weighted sieves achieve better precision than pure methods like Brun's , particularly for detecting almost-primes in additive structures. Central to advanced sieve theory are concepts like the sieve dimension \kappa, which measures the "density" of the sifting problem through the average \sum_{p \leq z} g(p) \approx \kappa \log z, influencing the sifting limit V(z) \sim 2^{-\kappa} e^\gamma \log z via the fundamental lemma. The level of distribution \theta quantifies how well a sequence, such as the primes, is equidistributed in arithmetic progressions up to moduli q \leq x^\theta, enabling sieve applications beyond the square-root barrier. The Bombieri-Vinogradov theorem establishes that primes achieve a level of distribution \theta = 1/2 - \varepsilon for any \varepsilon > 0, asserting that the average error in the for progressions with q \leq x^{1/2} (\log x)^{-B} is \ll x (\log x)^{-A} for large A. This result, proved using the large sieve and Vaughan's identity, is pivotal for handling prime distributions in sieve weights without assuming the . In , sieve methods play a key role in estimating the number of primes in short intervals [x, x + h] with h = x^\theta for \theta > 1/2, leveraging the Bombieri-Vinogradov level to overcome parity barriers and yield non-trivial lower bounds. These techniques also facilitate representations as sums of primes, providing asymptotic counts for Goldbach-type problems where every large even integer is expressed as a prime plus an almost-prime.

History

Development by Jingrun Chen

Chen Jingrun (1933–1996) was a prominent mathematician specializing in , best known for his advances toward resolving the binary Goldbach conjecture. Born into an impoverished family as the third of twelve children in , Province, he endured severe hardships during his youth, including displacement due to the Second Sino-Japanese War from 1937 to 1945. After completing his undergraduate studies at in 1953, Chen secured a position at the Institute of Mathematics of the in 1957, where he worked as an assistant under the mentorship of Hua Loo-Keng, a leading figure in mathematics whose expertise in shaped Chen's research direction. Chen's pursuit of the binary Goldbach conjecture, which posits that every even integer greater than 2 is the sum of two primes, was deeply motivated by Ivan Vinogradov's 1937 proof of the ternary version, establishing that sufficiently large odd integers are sums of three primes. This achievement, conveyed through lectures by his teacher Shen Yuan—who described as "the pearl on the crown" of —inspired Chen to adapt and extend Vinogradov's sieve techniques to the binary case. Recognizing the limitations of existing methods for handling prime sums, Chen focused on refining to bridge the gap between the ternary and binary problems. Beginning his intensive work on the in the early , Chen introduced a crucial innovation: a weighted approach designed to manage the P_2 term, denoting semiprimes or products of at most two primes, thereby surpassing the constraints of classical sieves like those of Brun and Selberg. This methodological breakthrough enabled more precise control over error terms in the process, facilitating progress toward the . By 1966, as the unleashed widespread political upheaval, Chen attained his pivotal result under extraordinarily adverse conditions, including isolation from academic resources and personal that forced him into manual labor while he continued his calculations in secret.

Publication and Recognition

Chen Jingrun first announced his theorem in 1966 through a paper published in the Chinese journal Kexue Tongbao, titled "On the representation of a large even integer as the sum of a prime and the product of at most two primes." This initial publication presented the core result but lacked the full proof due to the constraints of the short-format journal. A detailed English translation of the complete proof appeared in Scientia Sinica in 1973, providing wider international access to the work and solidifying its place in . The publication occurred amid the , a period of intense political persecution that isolated Chinese scholars, including , who was sent to manual labor in the countryside and faced opposition to his research as misaligned with revolutionary ideals. Despite these challenges, the supported the release of the paper, marking an early act of recognition for Chen's contributions. Chen's theorem earned significant acclaim within the mathematical community for advancing , particularly through innovative weighted sieve techniques that improved bounds on prime representations. It has been frequently cited in subsequent efforts to resolve the full binary Goldbach conjecture, serving as a foundational partial result. In 1981, Chen was elected as an academician of the , and in 1982, he received the first-class National Natural Science Award for his work on the theorem. Posthumously, the Chen Jing-Run Prize was established in his honor by the Academy of Mathematics and Systems Science, , with the first awards presented in 2024. These honors established Chen as a preeminent figure in , overcoming the professional isolation imposed by political events.

Proof Overview

Core Analytic Techniques

Chen's proof of his theorem relies on a sophisticated interplay of analytic tools from , centered around methods enhanced by estimates for prime distributions and local densities. These local densities are quantified through Euler products that reflect the compatibility of solutions each prime, providing essential information that interacts with the global estimates. The forms the foundational asymptotic backbone, asserting that the satisfies \pi(x) \sim x / \log x as x \to \infty, with explicit error terms derived from de la Vallée Poussin's work ensuring sufficiently strong bounds for large x. This estimate is pivotal for approximating the of primes in the relevant ranges around N, allowing the main term in the to dominate over error contributions. Without such precise control, the sifting process would fail to isolate the desired representations with positive . To handle the distribution of primes in arithmetic progressions, the Siegel-Walfisz theorem is employed, which guarantees that for any fixed A > 0, the number of primes up to x in a residue class q (with q \leq (\log x)^A) is asymptotically (1/\phi(q)) \cdot (x / \log x), with an error term that is negligible relative to the main term. This uniformity is critical in Chen's argument for ensuring that the sifted sequences behave evenly across residue classes during the application of sieve weights, preventing biases that could undermine the lower bounds for P_2-numbers. Central to the sifting procedure are Chen's carefully chosen weight functions, which modify the standard linear to target both the set of primes P and the set of numbers with at most two prime factors P_2. Specifically, the proof utilizes a weighted of dimension u = 8 for the upper bound sieve level and v = 3 for the lower bound, striking a balance that allows the sifted sum to yield a positive proportion of elements in P + P_2 for sufficiently large even N. These parameters are optimized to leverage the problem in sieves while exploiting the flexibility of weighted indicators, as detailed in expositions of the original .

Outline of the Main Argument

Chen's proof of the theorem begins by considering a sufficiently large even N = 2n and aims to express it as N = p + m, where p is a prime near n and m = n - p is either a prime or the product of two primes. The core strategy employs methods to isolate suitable primes p < n while controlling the prime factorization of n - p. Specifically, a weighted sieve is applied to a sequence of candidates around n, with weights designed to favor primes p such that n - p avoids small prime factors beyond a certain level. This setup allows for an upper sieve bound on the exceptions—cases where n - p is either smooth (divisible by many small primes) or has more than two prime factors—ensuring these exceptions are negligible in density. To establish the existence of valid representations, a lower bound is derived via a weighted sum over primes p < n, which counts the sifted contributions from pairs (p, n - p) where n - p has at most two prime factors. This sum, often denoted S, is shown to be positive for large n by leveraging a level of distribution \theta > 1/2 for primes in arithmetic progressions, which provides the necessary density estimates to outweigh the sieved exceptions. The key inequality S > 0 thus confirms that the representation holds, with the positivity relying on analytic estimates from the zero-free regions of the . The proof is ineffective, as the bound for "sufficiently large" N depends implicitly on these zero-free regions without yielding an explicit threshold N_0, though subsequent refinements have improved computational aspects.

Variations and Extensions

Generalizations to Other Forms

Pan Chengdong provided refinements to Chen's theorem, including improvements to the sieve constants and explicit bounds on the exceptional set. These refinements built upon Chen's sieve methods to achieve better quantitative estimates, such as enhancing the density parameter in the weighted from earlier values like 0.01 to 0.04 for certain asymptotic formulas related to Goldbach representations. Chen himself extended the result to a weaker but still significant form, proving that every sufficiently large even can be expressed as the of a prime and a number with at most three prime factors (counted with multiplicity). This generalization, obtained through a similar application of the linear but with relaxed sifting conditions, demonstrates the flexibility of Chen's analytic techniques in handling slightly larger numbers of prime factors while maintaining the core structure of the binary Goldbach problem. Analogues of Chen's theorem have been established for primes in arithmetic progressions. In particular, Liu and Zhan showed that, for a fixed q and residue class a coprime to q, every sufficiently large even integer in certain progressions can be written as the sum of a prime congruent to a modulo q and a . This result preserves the "almost Goldbach" property but restricts one summand to a specific residue class, highlighting the theorem's adaptability to Dirichlet's theorem on primes in progressions. Effective versions of related Goldbach problems have also emerged, with Harald Helfgott's 2013 proof of the —that every odd integer greater than 5 is the sum of three primes—providing explicit bounds and inspiring subsequent advances in bounded prime gaps. Helfgott's work, while employing the , draws on sieve-theoretic insights akin to Chen's to handle the exceptional cases, enabling precise error terms that facilitate generalizations to additive bases with almost-primes in short intervals.

Results in Short Intervals

Results in short intervals extend Chen's theorem by considering representations of even integers not just individually, but collectively within intervals of length comparable to a power of the integer size. Specifically, these results address the number of even N in [X, X + X^\theta] (for $0 < \theta < 1) that can be expressed as N = p + P_2, where p is prime and P_2 has at most two prime factors. Such generalizations quantify how densely these representations occur, providing evidence toward the full Goldbach conjecture in local settings. Early work on this front includes Ross's 1978 result, which establishes the existence of at least one such representation in intervals of length x^{7/12} around large x, where the interval contains an even n writable as a large prime factor plus a prime or semiprime. This exponent $7/12 \approx 0.583 marks an initial step beyond global density but remains modest compared to later improvements. Subsequent advancements refined the interval length. Ross pioneered the study of Chen's theorem in short intervals, achieving positive density for \theta > 0.98 in the , though exact details vary across references. By 1999, Cai improved this to \theta = 0.972, proving that for sufficiently large even N and U = N^{0.972}, the number of solutions S(N, U) to N = p + P_2 with p, P_2 in intervals of length U around N/2 satisfies S(N, U) \geq 0.001 C(N) U \log^2 N, where C(N) is the standard singular series for Goldbach representations. This builds on weighted sieve techniques and prior bounds by Wu (\theta = 0.973) and Salerno-Vitolo (\theta = 0.9729). A corollary of Cai's work implies that for x large and y = x^{0.972}, the interval [x, x+y] contains at least C y / \log^2 x primes p such that p + 2 = P_2, highlighting near-twin almost-prime pairs in short ranges. More recent extensions, such as those in , push related exponents for P_3 (numbers with at most three prime factors) to \theta \geq 0.919, but for the core P_2 case, Cai's bound remains a , underscoring the challenges in shrinking intervals further without stronger zero-free regions for Dirichlet L-functions.

References

  1. [1]
    ON THE REPRESENTATION OF A LARGER EVEN INTEGER AS ...
    Feb 20, 1973 · In this paper we shall prove that every sufficiently large even integer is a sum of a prime and a product of at most 2 primes.
  2. [2]
    Chen's theorem in short intervals | Science Bulletin
    Chen Jingrun, On the representation of a large wen integer as the sum of a prime and the product of at most two primes,Kexue Tongbao, 1966, 17: 385.
  3. [3]
    [PDF] Chen's Theorem - Berkeley Math
    Chen's theorem tells us that any large even number can be broken down into a prime and another number that's almost prime—meaning it's either a prime itself or ...Missing: source | Show results with:source
  4. [4]
    AN EXPLICIT VERSION OF CHEN'S THEOREM |
    Feb 8, 2022 · We obtain the first completely explicit version of Chen's theorem and, in doing so, improve many mathematical tools that are needed for the task.
  5. [5]
    Chen's Theorem with Small Primes - SpringerLink
    Chen, J. R.: On the representation of a large even integer as the sum of a prime and the product of at most two primes. Kexue Tongbao, 17, 385–386 (1966) ...Missing: source | Show results with:source
  6. [6]
    Chen's theorem | SpringerLink
    Chen's theorem that every sufficiently large even integer can be written as the sum of an odd prime and a number that is either prime or the product of two ...Missing: analytic formal
  7. [7]
    On Chen's theorem, Goldbach's conjecture and almost prime twins II
    May 9, 2024 · Abstract page for arXiv paper 2405.05727: On Chen's theorem, Goldbach's conjecture and almost prime twins II.
  8. [8]
    Gold for Goldbach | plus.maths.org
    Jun 1, 2000 · The speculation by mathematician Christian Goldbach in a 1742 letter to Leonhard Euler that every even integer greater than 2 can be expressed as the sum of ...
  9. [9]
    Representation of an odd number as a sum of three primes
    Every odd number from a certain point onwards can be represented as a sum of three primes. This is the complete resolution of Goldbach's problem for odd ...
  10. [10]
    Some problems of 'Partitio numerorum'; III: On the expression of a ...
    G. H. Hardy, J. E. Littlewood "Some problems of 'Partitio numerorum'; III: On the expression of a number as a sum of primes," Acta Mathematica, Acta Math.
  11. [11]
    [PDF] 1 The Sieve of Eratosthenes 2 The principle of inclusion-exclusion
    This unit begins the second part of the course, in which we will investigate a class of methods in analytic number theory known as sieves.
  12. [12]
    Chapter 14 The Selberg sieve
    Section 14.2 The Selberg upper bound sieve · Selberg proposed instead to construct an arithmetic function ρ : N → R with ρ ( 1 ) = 1 and · In other words, let ρ ...
  13. [13]
    [PDF] 1. Basic sieve methods and applications - Kevin Ford's
    Inclusion-exclusion yields an exact formula, however for k properties this produces 2k summands which is usually too much to effectively deal with. A sieve is a ...
  14. [14]
    254A, Notes 3: The large sieve and the Bombieri-Vinogradov theorem
    Jan 10, 2015 · As we shall see in later notes, the Bombieri-Vinogradov theorem is a very useful ingredient in sieve-theoretic problems involving the primes.Missing: dimension | Show results with:dimension
  15. [15]
    [PDF] An invitation to additive prime number theory - arXiv
    Dec 10, 2004 · The circle method, sieve methods, or a combination of them play an essential role ... Ramachandra, On the number of Goldbach numbers in small ...
  16. [16]
    Chen Jingrun - Biography - MacTutor Index - University of St Andrews
    Mar 19, 2022 · Chen Jingrun returned to working on publishing the proof of his major contribution to the Goldbach Conjecture which he had announced in 1966.Missing: primary source citation
  17. [17]
    254A, Supplement 5: The linear sieve and Chen's theorem (optional)
    Jan 29, 2015 · Exercise 14 Establish Chen's theorem for the even Goldbach conjecture. Remark 15 If one is willing to use stronger distributional claims on the ...
  18. [18]
    Chen Jingrun - Xiamen, China
    May 5, 2019 · He achieved a good many honors during his lifetime, including the National Science Conference Award and the first prize in the China's State ...
  19. [19]
    [PDF] The Circle Method
    Jul 14, 2004 · Using the Circle Method, Hardy and Littlewood were led to the conjecture that the number of twin primes at most x is given by π2(x) = 2T2 x.
  20. [20]
  21. [21]
    Weights in the proof of Chen's theorem in Nathanson's "Additive ...
    Oct 16, 2024 · Choosing optimal weights in sieve theory is a very difficult problem that is often done by trial and error. In Nathanson's book it seems as ...Chen's theorem in which constituent primes are close togetherChen Primes in Chen's theorem - MathOverflowMore results from mathoverflow.netMissing: survey | Show results with:survey
  22. [22]
    [PDF] Sieve Methods - cs.wisc.edu
    In this treatise we survey the major sieve methods and their important applications in number theory. ... presentation in Halberstam & Richert [HR74] rather ...
  23. [23]
  24. [24]
    ALFRÉD RÉNYI, THE DENSITY OF L-ZEROS AND ... - AKJournals
    May 15, 2025 · Independently, Pan Chengdong [15] proved that (1.1) holds with 𝜂0 = 1/3 and. 𝑅0 = 5 can be chosen in Rényi's theorem. In the following few ...
  25. [25]
    Generalizations of Chen's theorem - MathOverflow
    Dec 12, 2013 · The two famous theorems of Jingrun Chen, both with similar proofs, state (respectively) that all sufficiently large even numbers are the sum of ...
  26. [26]
    Chen' s theorem in arithmetical progressions
    Chen' s theorem in arithmetical progressions ... Liu Ming-chit, Zhan Tao, The Goldbach problem with primes in arithmetical progressions, inLecture Notes Math.Missing: arithmetic | Show results with:arithmetic
  27. [27]
    [1312.7748] The ternary Goldbach conjecture is true - arXiv
    Dec 30, 2013 · The ternary Goldbach conjecture, or three-primes problem, asserts that every odd integer n greater than 5 is the sum of three primes.
  28. [28]
    [PDF] Chen's theorem in short intervals
    [1] J. R. Chen, On the representation of a large even integer as the sum of a prime and the product of at most two primes, Kexue Tongbao (Chinese) 17 (1966), ...<|control11|><|separator|>
  29. [29]
    A Short Intervals Result in Additive Prime Number Theory
    the best result so far being due to Chen [1] who showed that 0 < § + e. The best result so far about Goldbach's hypothesis itself is that, for all large n,.
  30. [30]
    [PDF] arXiv:2403.09691v1 [math.GM] 15 Feb 2024
    Feb 15, 2024 · The original proof of Jingrun Chen was simplified by Pan, Ding and. Wang [15], Halberstam and Richert [12], Halberstam [11], Ross [17]. As ...Missing: source | Show results with:source