Skip to content
#

selberg-trace

Star

Here is 1 public repository matching this topic...

DavidFox998 / arakelov-rh-descent

Star 1

Route B of 3: RH via spectral descent on X₀(143) g=13. Kim-Sarnak λ₁≥975/4096 → Selberg trace = Bost-Connes spectral action C(S₄)=11.422>2√13 → GRH → H₄ 12/11 → RH. Lean 4.12 Mathlib 0 sorry riemannZeta. Companion to Route A (ω²=48/13>0) and Route C (Growth Contradiction). S₄={2,3,19,191}. https://doi.org/10.5281/zenodo.21303976

riemann-hypothesis lean4 formal-proof bost-connes selberg-trace
  • Updated Jul 24, 2026
  • Lean

Improve this page

Add a description, image, and links to the selberg-trace topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the selberg-trace topic, visit your repo's landing page and select "manage topics."

Learn more