Minkowski–Hlawka theorem

In mathematics, the Minkowski–Hlawka theorem is a result on the lattice packing of hyperspheres in dimension n > 1. It states that there is a lattice in Euclidean space of dimension n, such that the corresponding best packing of hyperspheres with centres at the lattice points has density Δ satisfying

\Delta \geq \frac{\zeta(n)}{2^{n-1}},

with ζ the Riemann zeta function. Here as n , ζ(n) 1. The proof of this theorem is indirect and does not give an explicit example, however, and there is still no known simple and explicit way to construct lattices with packing densities exceeding this bound for arbitrary n. (One can in principle always find examples by brute force search, but the number of cases to check grows very fast with the dimension, so this could take a very long time.)

This is a result of Hermann Minkowski (1911,pages 265–276) and Edmund Hlawka (1943). The result is related to a linear lower bound for the Hermite constant.

See also

References