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 with ζ the Riemann zeta function.
The problem is that testing these lattices to see if they are solutions requires finding their shortest vectors, and the number of cases to check grows very fast with the dimension, so this could take a very long time.
This result was stated without proof by Hermann Minkowski (1911, pages 265–276) and proved by Edmund Hlawka (1943).
The result is related to a linear lower bound for the Hermite constant.