# The half-rate linear programming bound for binary codes is $\frac12-\frac1π$

Preprint · Andrew Salmon

- Archive id: arxiv:2609.03736
- Published: 2026-09-03
- arXiv: https://arxiv.org/abs/2609.03736
- Source URL: https://arxiv.org/abs/2609.03736
- PDF: https://arxiv.org/pdf/2609.03736
- Provenance: arxiv

## Abstract

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$ for which a nonzero Krawtchouk $(\\pm1)$-eigenfunction $f$ exists with $f(0) = 0$ and $f(x) \\ge 0$ for all $\|x\| \\ge r$, then \\\[ \\frac{A^{\\mathrm K}\_{\\pm}(n)}n\\longrightarrow \\frac12-\\frac1π. \\\] The lower bound proves a mass-concentration principle similar to OpenAI's Chapter 1 for Hamming space. The upper bound, on the other hand, follows the approach of the spherical-code construction in OpenAI's Chapter 2. Gay, Jeronimo, and Liu formulated a hierarchy for binary codes analogous to the spherical-code construction and improved the best known binary coding rate bounds by evaluating the first level of the corresponding hierarchy. We prove this hierarchy bounds the Delsarte program and give a construction at arbitrarily deep levels of the hierarchy, attaining the upper bound in the limit. The construction uses an $N$-qubit generalization of the pure-state channel of Alrabiah and Guruswami.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.