T4 — Spectral convergence
$\alpha_k \to 1/2$ as the sieve depth $k \to \infty$.
Statement
Consider the deep sieve at stages (eliminating multiples of ). Define the mixed-transition fraction:
where counts transitions from class to class among survivors at depth . Then:
The proof rests on three pillars:
- Spectral annihilation — the antisymmetric eigenvector vanishes at site 0 (structural result).
- Mertens compactness — asymptotic bounds on survivors .
- Gordin decomposition — the sequence is a quasi-martingale plus a bounded remainder.
Plain reading. The deeper we refine the sieve (the more multiples we remove), the closer the fraction of “1 → 2” transitions vs. “2 → 1” gets to 50/50. At infinite depth, it’s exactly 50/50. That is the stationary value defining . T4 proves that the sieve “finishes the job”: no residual bias remains.
Why it matters
T4 is the bridge between the finite sieve (at depth ) and the ideal sieve (at infinite depth). T1, T2, T3 are exact statements about the ideal transfer matrix; T4 guarantees that the empirical matrix computed at finite depth converges to that ideal matrix.
Without T4, would persist, meaning a new constant (different from ) would emerge in the limit. PT would then be ill-defined. T4 closes this objection.
Proof — outline
- Reduce the convergence of to convergence of a Markov chain on the transition state.
- Decompose into quasi-martingale plus bounded remainder (Gordin).
- Bound the remainder via Mertens compactness.
- Annihilate the antisymmetric mode at site 0 by the argument.
- Conclude: only the symmetric mode survives, eigenvalue , uniform stationary distribution — hence .
Detailed proof
Step 1 — Exact recurrence
At each depth , the deviation satisfies an exact recurrence (Recurrence Theorem, ch. 7):
where is a remainder depending on correlations between primes eliminated at step .
This recurrence is verified for by direct computation on survivors.
Step 2 — Spectral factorisation
The characteristic polynomial of the recurrence operator factors as:
The first factor has a double zero at , forcing the asymptotic fixed point. The second factor has complex roots for and real roots in for — in all cases, .
Step 3 — Spectral bound
The global spectral bound is:
Strictly less than 1, ensuring geometric convergence of .
Step 4 — Annihilation
To rigorously close the convergence, the remainder must not contribute to the dominant mode . Here the spectral annihilation intervenes:
The antisymmetric eigenvector associated with has an exactly zero value at state 0, hence:
This result is structural (cf. ch. 7, Spectral Closure Theorem) and unconditional on PNT. Consequence: only the mode survives in correlations starting from state 0, and convergence is exponential with strongly damped exponent.
Step 5 — Gordin decomposition
The sequence writes:
with a martingale relative to the survivor filtration, and a remainder bounded by Mertens compactness:
By the martingale convergence theorem and , converges a.s. to a limit. Identification of that limit with is forced by steps 1–4.
Consequence: closing the hierarchy problem
The result has an unexpected consequence: it closes the PT hierarchy problem. The mode would have contributed a hierarchical phase shift between scales; its annihilation at site 0 ensures no new scale spontaneously emerges. This is what allows T5 to fix a unique fixed point without hierarchical corrections.
For the complete derivation and auxiliary proofs (recurrence, factorisation, spectral bound, annihilation), see chapter 7 of the monograph.
See also
- T1 — Forbidden mod-3 transitions — basis of the transfer matrix
- T2 — Spectral conservation — finite version of T4
- T5 — Fixed point — uses T4 convergence to fix
- All theorems