selberg-trace

Here is 1 public repository matching this topic...

DavidFox998 / arakelov-rh-descent

Route B of 4 — Act II Descent. RH via spectral gap X₀(143) λ₁≥975/4096 Kim-Sarnak → Selberg = Bost-Connes C(S₄)=11.422>2√13 → GRH → H₄ 12/11 → RH. 35pp BC6 20450 bytes 0 sorry. Opera Numerorum with A ω²=48/13>0, C Littlewood Ω, D 35 brothers jitter ||p·α₀||<1/p → R=1/2. doi:10.5281/zenodo.21303976

riemann-hypothesis lean4 formal-proof bost-connes selberg-trace

Updated Aug 24, 2026
Lean

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