# Dual Linear Programming Bounds for Sphere Packing via Discrete Reductions

Preprint · Rupert Li

- Archive id: arxiv:2206.09876
- Published: 2022-06-20
- Venue: Adv. Math. 460:110043 (2024)
- DOI: https://doi.org/10.1016/j.aim.2024.110043
- arXiv: https://arxiv.org/abs/2206.09876
- Source URL: https://arxiv.org/abs/2206.09876
- PDF: https://arxiv.org/pdf/2206.09876
- Provenance: arxiv

## Abstract

The Cohn-Elkies linear program for sphere packing, which was used to solve the 8 and 24 dimensional cases, is conjectured to not be sharp in any other dimension $d\>2$. By mapping feasible points of this infinite-dimensional linear program into a finite-dimensional problem via discrete reduction, we provide a general method to obtain dual bounds on the Cohn-Elkies linear program. This reduces the number of variables to be finite, enabling computer optimization techniques to be applied. Using this method, we prove that the Cohn-Elkies bound cannot come close to the best packing densities known in dimensions $3 \\leq d \\leq 13$ except for the solved case $d=8$. In particular, our dual bounds show the Cohn-Elkies bound is unable to solve the 3, 4, and 5 dimensional sphere packing problems.

_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.