Weil positivity in compact windows: a finite reduction, certified two-sided bounds, and a Landau-Widom decay law
Weil's criterion states that the Riemann Hypothesis (RH) is equivalent to the non-negativity of an explicit quadratic form Q(f) on test functions. For f supported in [-L,L] we study the normalized infimum lambda_min(L) = inf Q(f)/||f||^2 from both sides. Lower bounds (unconditional): positivity on bounded support is classical for supp f in [-(log 2)/2,(log 2)/2] (Yoshida; Connes-Consani). We prove by certified computation that Q(f) >= 8.9e-18 ||f||^2 for all supp f in [-0.8,0.8], i.e. autocorrelation support 1.6, 2.3 times the classical range. The proof rests on a one-stroke reduction: a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.24827
curl -X POST /api/v1/records/arxiv/2608.24827/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.24827/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'