{"id":"arxiv/2611.00100","url":"https://arxiv.org/abs/2611.00100","tags":["math.MG","cs.IT","math.CO"],"score":0,"title":"The optimal four-dimensional lattice quantizer and bounds from Voronoi facets","domain":"math.MG","source":"arxiv","authors":["Tianle Liu"],"reviews":0,"subject":"math.MG","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}