The Parity Barrier

Why the binary Goldbach conjecture remains unproved: where the walls stand, how they are built, and which detours have already been checked and closed.

Conjecture — the Goldbach conjecture remains openOpen problem — no complete proof is known

The central barrier

“Average, $L^{2}$ , almost-all, or any other averaged form of control is not sufficient to prove positivity of $r (N)$ for every fixed even $N$ .”

Here $r (N)$ denotes the number of representations of an even integer $N$ as a sum of two primes:

r (N) = # {(p, q) : p + q = N, p, q prime}

The Goldbach conjecture asserts that $r (N) \geq 1$ for every even $N \geq 4$ . Analytic methods are good at estimating $r (N)$ “on average” — over all $N$ at once, in the $L^{2}$ norm, or outside a small exceptional set. But the conjecture is a statement about each individual $N$ , and between “almost all” and “all” there is a principled gap.

This obstruction is known as the parity barrier: classical sieve methods cannot separate integers with an odd number of prime factors from those with an even number. A lower-bound sieve aimed at primes (one prime factor) therefore cannot exclude products of two primes (two prime factors): the two families travel together through every classical estimate. In the language of the circle method the same defect appears as a one-logarithm deficit on the minor arcs: the minor-arc contribution is controlled to within an accuracy that falls short of a pointwise conclusion by exactly one logarithmic factor.

Below: how this barrier appears in concrete formulations, which six hard nodes must be untied, and which routes have already been checked and found to be dead ends. The problem itself is stated on the Problem page; the status of the positive results is on the Results page.

The Friedlander–Iwaniec dichotomy

The landscape of the problem splits into two fundamentally different cases, according to whether a Siegel zero exists — an exceptional real zero of a Dirichlet $L$ -function lying abnormally close to $s = 1$ . This fork determines what one can hope to prove by present-day methods at all.

Case 1: a Siegel zero exists

In this world the anomalous zero itself becomes a resource: the hope is that it yields a result unattainable in the “typical” situation. This is where the conditional statement BK+ lives — currently established only modulo an additional unverified dominance input, not from the Siegel zero alone; the exact status is discussed on the Results page.

Conditional result — conditional branch — statement BK+

Case 2: no Siegel zeros

If exceptional zeros do not exist, the problem remains open. In difficulty this branch is comparable to questions at the level of the generalized Riemann hypothesis (GRH): no currently known route in this branch avoids zero-location input for $L$ -functions of partial-GRH strength.

Open problem — GRH level

Six hard nodes

The parity barrier is not a single obstacle but a bundle of concrete open problems. Untie any one of these six nodes and the landscape changes; for now all of them stand.

Node	The obstruction	Status
${S M}_{α}^{*}$ pointwise shifted Möbius / Chowla	Pointwise (rather than averaged) control of shifted sums with the Möbius function — a pointwise form of the two-point Chowla problem, without which the minor arcs do not close.	Open problem
${E H}_{μ}$ Elliott–Halberstam for Möbius-weighted sums	An analogue of the Elliott–Halberstam distribution-level conjecture — but for sums weighted by the Möbius function, where sign oscillation breaks the standard arguments.	Open problem
Zero location $β < 3 / 4$	One needs control over the zeros of $L$ -functions in the strip with real part $β < 3 / 4$ — deeper than the known zero-free regions allow.	Open problem
BMAH Bilinear Minor-Arcs Hypothesis	A hypothesis on bilinear sums over the minor arcs: it is exactly what would close the logarithm deficit, but it is itself an unproved assumption.	Open problem
Strengthening of Pilatte-type bounds	Pilatte’s logarithmically averaged bounds must be strengthened to pointwise ones — a transition that is precisely the content of the parity barrier in its expansion formulation.	Open problem
A Chen → Zhao bridge	Inside the exceptional-set program: no bridge has been built from a modern global zero-density estimate of Chen’s type to the restricted, cluster-labelled weighted-square format that Zhao’s optimization actually consumes — the two results live in different coordinates.	Open problem

Ten languages of the parity barrier

One and the same obstruction can be formulated in ten different mathematical languages — from sieve functions to automorphic spectra. This vocabulary is collected from draft 2 (see Publications); each formulation illuminates the barrier from its own side.

Conjecture — a dictionary, no equivalence claimedThis list is a dictionary, not a theorem: no formal equivalence between the ten renderings is claimed, and several of them are not yet precise mathematical statements at all.

The Rosser–Iwaniec lower sieve. The lower-bound sieve function vanishes on the critical segment: $f (s) = 0$ for $s \leq 2$ . The classical linear sieve in its optimal Rosser–Iwaniec form gives no positive lower bound exactly where one is needed for Goldbach.
Pretentious number theory. In the Granville–Soundararajan language the obstruction is the “non-pretentiousness of $μ$ ”: the Möbius function does not pretend to be any Dirichlet character of small order, which blocks the pretentious arguments that succeed in neighbouring problems.
Type I/II bilinear sums. The standard Vaughan decomposition splits the problem into Type I and Type II sums. The known estimates here are optimal (the Ford–Maynard results): there is no slack left to squeeze out of the technique without a new idea.
Expansion: the logarithmic average. A logarithmically averaged version of the two-point Chowla conjecture is a theorem of Tao, with improved quantitative bounds by Pilatte (arXiv:2310.19357, preprint) — but only in averaged form. Passing from the logarithmic average to a pointwise statement is the barrier in its expansion formulation.
The Fourier $L^{2}$ Cauchy–Schwarz gap. In estimating the minor-arc contribution, the Cauchy–Schwarz inequality unavoidably loses a factor of order $\sqrt{\log N}$ . This gap is the quantitative face of the “one-logarithm deficit”.
Weight architecture. Every weight construction runs into the distribution-level limit of its input sums. The current record for the relevant class is level $5 / 8$ (Pascadi, arXiv:2505.00653), and even that is insufficient for a pointwise conclusion.
The automorphic spectral obstruction. In automorphic language the barrier appears as a spectral obstruction: the contribution of the spectral parameters cannot be separated and estimated with the required accuracy — the obstruction sits in the very spectral decomposability of the problem.
The DFI/Delta method. The Duke–Friedlander–Iwaniec delta method detects diagonal conditions, but in the Goldbach configuration its accuracy runs into the same logarithmic deficit: the method reaches the barrier but does not pass through it.
The delta-symbol invariant. Under all rewritings of the problem through the delta symbol (extracting the condition $p + q = N$ ), an unchanging defective invariant survives — the transformations change the appearance of the sum but do not remove the obstruction.
Phase–amplitude co-peaking. In the language of harmonic analysis: the peaks of the phase and of the amplitude of the summands coincide (co-peaking). This coincidence blocks effective averaging — the cancellation on which estimates of oscillating sums usually rely never gains strength.

The no-go gallery: honest negative results

The recorded dead ends are a distinct output of the project. Each item below is not a “we tried and failed” but a statement that a specific route is closed. They are the project’s own arguments and have not been refereed; item (a) is in addition checked by the Lean kernel.

(a) The PPE chain is refuted

The edge “Lemma IA $\Rightarrow$ Goldbach” of the PPE chain has fallen: there is a counterexample in which Möbius cancellation is present only over composite numbers, and this does not suffice to derive the conjecture. The refutation did not remain on paper — it is proved in Lean (file PPEChain.lean; see the Formalization page).

Refuted — counterexample proved in Lean

(b) The $3 / 5$ Möbius level does not transfer

The Grimmelt–Teräväinen result on distribution level $3 / 5$ for the Möbius function — proved there for triply well-factorable weights (arXiv:2207.08805, Theorem 1.3) does not transfer to the Huang–Li hypothesis: the transfer is blocked by a coefficient-geometry obstruction — the coefficient structure of the required problem is incompatible with the geometry of their argument.

Claimed, write-up pending — internal obstruction result

(c) The parametric limit of the Li–Liu architecture

Within the Li–Liu architecture, with the same constants, the parameter is bounded below: $a \geq 1.8999516$ . One cannot tune the parameters down to $a = 1$ — the defining function diverges:

g_{3} (a) = 8 \log \frac{1}{a - 1} \to_{a \to 1^{+}}^{} + \infty

The architecture has a built-in limit, and no tuning inside it reaches the Goldbach case $a = 1$ .

Claimed, write-up pending — parametric limit, from the source’s own constants

(d) The parity extremal: an irremovable factor $1 / 2$

There exists an extremal construction in which the local densities and the separate first moments coincide with the “correct” ones, while the quantity of interest vanishes: any method relying only on these data is left with an irremovable factor $1 / 2$ . This is the exact mathematical form of the parity barrier.

The phenomenon itself is classical: it goes back to Selberg’s parity example in sieve theory, later systematized by Bombieri and by Friedlander–Iwaniec. The statement above is the project’s working restatement of that classical boundary, not a new theorem.

Claimed, write-up pending — classical phenomenon, project restatement

Why an honest map of dead ends is a result

A page of obstructions may look like an admission of weakness. It is, in fact, a working tool. A dead end recorded in full can spare the next researcher — perhaps the reader — the time it would otherwise take to walk into it independently.

A negative result proved with the rigour of a positive one is navigation: a map on which not only the roads but also the cliffs are marked. This is why the PPE chain is formally refuted in Lean, and why the parametric limits are written out to the seventh decimal place. More on this style of work is on the Methodology page.

If you see a way to untie one of the six nodes — or spot an inaccuracy in the map itself — please write. Discussion is welcome at [email protected].