An improved lower bound for the minimum-autocorrelation constant
We construct nonnegative bounded compactly supported functions on the real line that give the lower bound $\mathcal{A}\ge 0.4103779774321214877852987\ldots$ for the minimum-autocorrelation constant. This improves the explicitly certified bound $2378625/5958277=0.39921356\ldots$ reported by Russell. The construction combines a point mass with a monotone degree-ten polynomial density; a one-sided atom-removal argument then produces ordinary functions. Its numerical content reduces to exact rational polynomial identities and 20 Bernstein subinterval certificates. The finite certificate, actual…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.18888
curl -X POST /api/v1/records/arxiv/2610.18888/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.18888/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'