{"id":"arxiv/2609.03736","url":"https://arxiv.org/abs/2609.03736","tags":["math.CO","cs.IT"],"score":0,"title":"The half-rate linear programming bound for binary codes is $\\frac12-\\frac1π$","domain":"math.CO","source":"arxiv","authors":["Andrew Salmon"],"reviews":0,"subject":"math.CO","summary":"In their work on sphere packing and the modular bootstrap, Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini conjectured the exact high-dimensional exponent of the Cohn-Elkies sphere-packing linear program. OpenAI's Chapter 1 subsequently proved their conjecture by establishing that both Fourier sign-uncertainty radii are $(1/π+o(1))\\sqrt d$. We prove the binary coding analogue: \\[ R_D\\!\\left(\\frac12-\\frac1π\\right)=\\frac12. \\] We also formulate the two Krawtchouk sign-uncertainty problems and determine both of their asymptotics. If $A^{\\mathrm K}_{\\pm}(n)$ denotes the smallest radius $r$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}