Published October 18, 2026 | Version v2

Recovery Witnesses for Suzuki's Screw Function: Service-Clock Geometry and Episode-Minimum Certificates — Part 4

Description

Suzuki proved that the Riemann hypothesis (RH) is equivalent to the nonnegativity of an explicit continuous function Ψ, the negative of the screw function of the Riemann zeta function. Between consecutive prime powers Ψ is strictly convex, a directed-rounding certificate proves Ψ(t) > 0 for 0 < t ≤ log 10¹⁰, and the infinite tail reduces to one reserve inequality V_q ≥ 0 at every active prime-power event q, one immediately after which Ψ decreases. We show that within each episode of decrease only the last of these inequalities matters. In the service clock τ = A′(t), where A is the smooth part of Ψ, the workload Y = −Ψ′ decreases at unit speed and jumps up by Λ(q)/√q at each prime power. The last active event q before Y returns to zero, the recovery witness, is characterized by the window A′(log q) < ∑_(n≤q) Λ(n)/√n ≤ A′(log Q), with Q the next prime power, and its reserve is the minimum of Ψ over the episode. With the unconditional exclusion of a never-ending episode (Part 5), RH holds if and only if V_q ≥ 0 at every recovery witness that recovers beyond a verified positive base. An exact occupation formula bounds the difference between recovery counts and the normalized time that Y spends just above zero by explicit endpoint counts; strong convexity gives two-sided bounds for the final descent, a certificate for single-event episodes and a prime-gap test for multi-event witnesses. Directed 128-bit arithmetic shows that only 102,896 of the 25,614,164 active events up to 10⁹ are recovery witnesses and, in the complete census of the finite certificate, finds exactly 364,764 strict recoveries through 10¹⁰; ball arithmetic resolves the critical 106-event episode. Proving at every recovery witness that a nonnegative smoothed von Mangoldt sum does not exceed an explicit capacity remains open and is equivalent to RH.

Files

261015_Mittermeier_RH_Recovery_Witnesses_Part4_v2.pdf

Files (632.0 kB)

Name Size
md5:3453f56220022eab735dcc0d0e0052ea
545.0 kB Preview Download
md5:b6ae18e23111726dfeaf95d0c389c239
87.0 kB Preview Download

Additional details

Related works

Continues
Preprint: 10.5281/zenodo.23377143 (DOI)
Preprint: 10.5281/zenodo.23377174 (DOI)
Preprint: 10.5281/zenodo.23377241 (DOI)
Is continued by
Preprint: 10.5281/zenodo.23401389 (DOI)
Is supplemented by
Preprint: 10.5281/zenodo.22075486 (DOI)