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.
Canonical recurrence (exact form, ch. 7):
The factor (positivity proved by joint DAG induction, ch. 7, Lemmas B/C) and the harmonic divergence (Mertens) guarantee , hence .
Sieve depth (spectral closure theorem): the sieve admits exactly two distinct dynamical levels:
- Level 0 — direct sieve: composite elimination, survivors = primes;
- Level 1 — transition sieve: convergence of to .
- Level 2 — meta-transitions: structurally non-existent ( closes the cascade).
This depth is responsible for the physical dichotomy leptons (vertices, ) / quarks (edges, ) with no third matter type at .
ThéorèmePlain 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 establish the reduced attractor 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