BrandonMYates/tempered-xi-comparator
This project formalizes in Lean 4 the zero geometry of the odd channel of Riemann's kernel, refuting conjectures of X.-J. Yang (Fractals 32 (2024) 2340116). Let Phi be the kernel of Riemann's integral representation, Phi(u) = sum_{n>=1} (4 pi^2 n^4 e^{9u/2} - 6 pi n^2 e^{5u/2}) e^{-pi n^2 e^{2u}}, the positive even function whose cosh transform is the completed zeta function, and let F(w) = 2 int_0^infty Phi(u) sinh(wu) du be the odd channel of the same kernel; this is Yang's "tempered xi function", in shifted coordinates. Six statements are compared: F is entire; F has infinitely many…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-08-27-000001
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-27-000001/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-27-000001/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'