{"id":"arxiv/2610.18888","url":"https://arxiv.org/abs/2610.18888","tags":["math.GM"],"score":0,"title":"An improved lower bound for the minimum-autocorrelation constant","domain":"math.GM","source":"arxiv","authors":["Shenai Chen","EnHao Gu"],"reviews":0,"subject":"math.GM","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}