3
$\begingroup$

Denote by $\mu_n$ the largest value such that there exists a lattice of determinant $1$ in $\mathbb R^n$ for which the distances between different lattice points are greater or equal to $\mu_n$.

Korkine, Zolotareff, and then Blichfeldt found $\mu_n$ for $n=2,\ldots , 8$ (cf. H.F. Blichfeldt, The minimum value of positive quadratic forms in six, seven, and eight variables. Math. Z. 39 (1935), 1-15, EuDML).

What about $n>8$?

$\endgroup$

2 Answers 2

8
$\begingroup$

The only other case that is known is n=24: Abhinav Kumar and I solved that case (Optimality and uniqueness of the Leech lattice among lattices, Annals of Mathematics 170 (2009), 1003-1050, doi:10.4007/annals.2009.170.1003, arXiv:math.MG/0403263).

It might be possible to do n=9 using known methods, but it would be an enormous calculation. For the status as of a few years ago, see the end of Mathieu Dutour Sikiric, Achill Schuermann, and Frank Vallentin's paper

$\endgroup$
4
  • $\begingroup$ Thanks Henry, very useful. Is it still an active topic of research? Do you believe there is "reasonable hope" to crack the problem for other values of $n>9$? $\endgroup$
    – Portland
    Mar 16, 2011 at 22:00
  • $\begingroup$ Getting bounds (upper or lower) on the optimal lattice packing density is definitely an active topic of research. Finding exact answers is trickier, since there aren't many good opportunities. I don't know whether anyone is actively working on n=9, but maybe it will be solved in the next decade. I don't think there's much likelihood of reaching another non-consecutive value of n (like n=24), but of course it is difficult to predict. I hope n=10 will be doable someday, since that seems to be the first case in which lattices are inferior to nonlattice packings. $\endgroup$
    – Henry Cohn
    Mar 17, 2011 at 3:39
  • $\begingroup$ I imagine that before n gets too large, the problem will become utterly intractable. However, this could be overly pessimistic. Incidentally, there are also lots of interesting questions for other rings (say, lattices with Gaussian, Eisenstein, or Hurwitz structures). See, for example, front.math.ucdavis.edu/0901.1587 and front.math.ucdavis.edu/0810.2336. $\endgroup$
    – Henry Cohn
    Mar 17, 2011 at 3:44
  • $\begingroup$ @HenryCohn the updated links for the papers in your comment are Enumerating perfect forms and A Mordell Inequality for Lattices over Maximal Orders, respectively $\endgroup$
    – David Roberts
    Oct 5, 2021 at 5:07
2
$\begingroup$

This is also known as the problem of finding the best lattice packing of spheres in $n$ dimensons. The density of the best lattice packing in $n$ dimensions is, following your notation, $ \frac{ \pi^{n/2} }{ \Gamma( 1 + \frac{n}{2}) }\mu_{n}^{n}$.

$\endgroup$
1
  • $\begingroup$ I'm sorry. That should be $\frac{ \pi^{n/2} }{ \Gamma( 1 + \frac{n}{2}) }\frac{\mu_{n}^{n}}{2^{n}}$, since $\mu_{n}$ is the diameter of the spheres in the packing, not their radius. $\endgroup$ Mar 16, 2011 at 5:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.