A uniform zero-free region for Dedekind zeta functions
A Lean formalization of Theorem 1.1 and Corollary 1.2 of A quasi-Riemann hypothesis for Dedekind zeta functions: for every number field K, its Dedekind zeta function has no zeros in Re(s) > 31/32. The formal statement asserts the existence of a holomorphic function away from 1 that agrees with Mathlib's Dedekind zeta function for Re(s) > 1 and is nonzero for Re(s) > 31/32 with s different from 1. The corollary gives the same zero-free bound for Hecke L-functions associated with finite-order Hecke characters, including s = 1 for nonprincipal characters. These characters are represented in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-13-000010
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-13-000010/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-10-13-000010/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'