Math Labs

Worked solution: Chen's weighted sieve and switching principle: every large even number is p+P2p + P_2 (1966/1973)

Step 1 of 4: The goal, and why plain sieves cannot reach it
In plain words

Goldbach's conjecture asks for N=p+qN=p+q with both p,qp,q prime. A natural attack sieves the sequence A={N−p:p≤N prime}\mathcal{A}=\{N-p : p\le N \text{ prime}\} to find elements with no small prime factors, hoping to isolate primes among the N−pN-p. But every known sieve — Selberg's, Brun's, the general combinatorial sieve — suffers from the 'parity problem': a plain sieve's lower bound cannot distinguish a number with exactly one prime factor from one with, say, exactly three, because the sieve only 'sees' divisibility, not the parity of the number of factors. Chen's way around this obstacle was not to fight the parity problem head-on, but to relax the target: prove the weaker but still highly nontrivial statement that N−pN-p has at most two prime factors, for at least one prime p≤Np\le N.

N=p+q,p prime,q=q1 or q=q1q2 (P2)N = p + q,\qquad p \text{ prime},\quad q = q_1 \text{ or } q = q_1q_2 \ (P_2)
The candidate sequence A = {N − p: p prime}, colored by whether its surviving term is prime, semiprime, or more composite.
Detailed analysis

The additive representation N=p+qN = p + q, where pp is prime and q=q1q = q_1 or q=q1q2q = q_1 q_2 has at most two prime factors (denoted P2P_2), is the deepest known unconditional approximation to Goldbach's conjecture. The standard sieve approach examines A={N−p:p≤N}\mathcal{A} = \{N-p : p \le N\}. Standard combinatorial sieves assign weights λd\lambda_d to divisors d∣P(z)d \mid P(z), where P(z)=∏p<zpP(z) = \prod_{p < z} p, to sift out multiples of small primes below zz. However, Selberg's parity phenomenon presents a fundamental barrier: sieve weights based solely on Möbius truncations cannot distinguish integers with an odd number of prime factors from those with an even number. For a linear sieve of dimension 1 with level of distribution DD, the optimal lower-bound function f(s)f(s), where s=log⁡D/log⁡zs = \log D / \log z, vanishes identically for s≤2s \le 2. Setting z=N1/2z = N^{1/2} to isolate primes among N−pN-p forces s=1s = 1 when D=N1/2D = N^{1/2}, causing the sieve lower bound to vanish completely.

Because of this obstacle, mathematicians pursued almost-prime approximations N=p+PKN = p + P_K. Alfréd Rényi (1947) first established N=p+PKN = p + P_K for some large constant KK using early large sieve ideas. Theodor Estermann proved N=p+P6N = p + P_6 under GRH in 1932, and Wang Yuan proved N=p+P4N = p + P_4 in 1956 and N=p+P3N = p + P_3 in 1962 under GRH using Kuhn's weighted sieve. The breakthrough came with the Bombieri–Vinogradov theorem (1965), which unconditionally established the average level of distribution D=N1/2−εD = N^{1/2 - \varepsilon} for primes in progressions, allowing A. I. Vinogradov, M. B. Barban, and Pan Chengdong to make N=p+P3N = p + P_3 unconditional.

Reaching K=2K = 2 seemed blocked by parity, because linear sieves could not eliminate candidates with three prime factors without destroying the lower bound. Chen Jingrun circumvented this obstacle not by attempting to break the parity barrier directly, but by constructing a weighted detector for Ω(N−p)≤2\Omega(N-p) \le 2. Instead of relying solely on a lower-bound sieve, Chen combined a lower-bound linear sieve with an ingenious upper-bound count on unwanted three-factor exceptions, completely bypassing the parity obstruction.

Terms in this step
Parity problem (sieve theory)
A fundamental obstruction, identified by Selberg, that prevents combinatorial sieve methods alone from ever proving a sequence contains infinitely many primes (numbers with exactly one prime factor), as opposed to numbers with an unspecified but small number of prime factors.