arXiv:2611.00100v1 Announce Type: new Abstract: We prove that the root lattice $D_4$ uniquely minimizes the normalized second moment among four-dimensional lattices, up to similarity. The computer-assisted proof combines the classification of secondary cones with integration over Voronoi cells and weighted sums of squares. In dimensions at least two, comparison with circular cones gives a lower bound in terms of the number of Voronoi facets, improving the sphere bound and recovering the hexagonal value in dimension two. We prove Ajjanagadde's circular-cone concavity conjecture and deduce the lattice case of his conjectured quantization bound.
Continue to arXiv Mathematics →You are being forwarded in 6s — stay on this page