ζ
Toward RH : HoTT-Prop
Volume III — YonedaAI Research Collective
← Back to Volume III
synthesisMeta

Toward RH : HoTT-Prop — Synthesis of Volume III

Read PDF55 sections
Abstract

This synthesis paper unifies the six research papers of Volume III of the Toward RH\,:\,HoTT-Prop programme. Volume II answered ``what would it take to state the Riemann Hypothesis as a term in homotopy type theory?'', producing a precise six-gate roadmap and six open questions (OQ1--OQ6) at its boundary. Volume III addressed those six questions in parallel, one paper each. The honest result of the volume, in one sentence: it produced one cleanly engineered new theorem (Part I, OQ1: contractibility of the $(2k)$-streaming witness in the digit-stream final coalgebra) and five well-formulated op…

Cover for Toward RH : HoTT-Prop — Synthesis of Volume III
Next
Coalgebraic ζ(2k): Bisimulation-closed predicates for ζ(2k) ∈ ℚ·π^{2k}