{"id":"arxiv/2605.25126","url":"https://arxiv.org/abs/2605.25126","tags":["math.NT","cs.DM","math.CO","math.MG"],"score":0,"title":"Equality in a Reverse Minkowski Shell Bound for Integral Lattices via Spherical Designs","domain":"math.NT","source":"arxiv","authors":["Scott Duke Kominers"],"reviews":0,"subject":"math.NT","summary":"For a full-rank integral lattice $\\mathcal{L}\\subset\\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \\[N_{=k}(\\mathcal{L}):=|\\{y\\in\\mathcal{L}:\\lVert y\\rVert^2=k\\}|\\le 2\\binom{n+2k-2}{2k-1}.\\] We classify the equality cases. For $n\\ge2$, equality holds if and only if either $k=1$ and $\\mathcal{L}\\cong\\mathbb{Z}^n$, or $n=8$, $k=2$, and $\\mathcal{L}\\cong E_8$. For $n=1$, equality holds exactly when $\\mathcal{L}$ represents $k$. The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-24","reactions":{}}