A Breakthrough by Maryna Viazovska Leading to the Long Awaited Solutions for the Densest Packing Problem in Dimensions 8 and 24

maryna1

Maryna Viazovska

The news

Maryna Viazovska has solved the densest packing problem in dimension eight! Subsequently, Maryna Viazovska with Henry Cohn, Steve Miller, Abhinav Kumar, and Danilo Radchenko solved the densest packing problem in 24 dimensions!

Here are the links to the papers:

Maryna Viazovska, The sphere packing problem in dimension 8

Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, Maryna Viazovska,
The sphere packing problem in dimension 24

(I thank Steve Miller and Peter Sarnak for telling me about it.)

Additional sources:  An article by Frank Morgan in The Huffington Post; A blog post by John Baez on the n-Category Cafe; An article by Erica Klarreich on Quanta Magazine; A blog post in Mathbya girl;

Some Background

Kepler, Gauss, Hales, Cohn and Kumar. A central mathematical problem is to find the densest sphere packing in R^d. The case d=3 is known as the Kepler conjecture. Gauss solved it for lattice packings, and Thomas Hales proved it for general packing using a massive use of computations. Cohn and Kumar settled the lattice case for dimensions 8 and 24.

Conway and Sloane. The “bible” regarding sphere packing is the classic book by two major player of the theory John Conway and Neil Sloane.

Hales and Fejes Toth.  Announced in 1998 and published a few years later, Hales’ proof  relies on some early work of Laszlo Fejes Toth. Since a full verification would require developing much of  the whole project from scratch, Hales himself led a team of researchers to find a formal proof which was published in 2015.

Lie and  Leech.   Lower bounds for higher dimensions. For some dimensions, special lattices of Lie type give surprisingly dense lattice packings. The Leech lattice gives a remarkably dense packing in dimension 24.

Minkowski,…, Ball, Vance and Venkatesh,  For asymptotically large dimensions a probabilistic method by Minkowski gives the best known lower bound up to small (but exciting) improvements. It gives a packing of density $2 \cdot 2^{-n}$.  Here is a slide from a lecture by Henry Cohn on the state of the art for the asymptotic question. (And here is the link to the slides of the full lecture.)

cohn-slide

Delsartes, Kabatiansky and Levenshtein. Upper bounds via linear programming. Delsartes’ linear programming method (that can be seen as a Fourier/spectral attack with special features,) had led to important results towards general upper bounds by Kabatiansky and Levenshtein.

Cohn and Elkies developed related spectral methods applying directly to sphere packing, which allow to improve the upper bounds in dimensions 4–31 and give strikingly good results in dimensions 8 and 24.  Cohn and Kumar used these linear programming methods to settle the densest lattice problem in dimensions 8 and 24 and to give extremely good numerical upper bounds for the non-lattice case.

This is the starting point for Viazovska’s breakthrough.

Related problems/issues  to keep in mind: The densest packing problem in other dimensions and when the dimension tends to infinity; Kissing numbers and spherical codes; Upper bounds for error correcting codes; packing in other symmetric spaces; packing covering and tiling in combinatorics and geometry.

Viazovska’s breakthrough

The little I can tell you is that for a solution one needs to identify certain functions to plug in to the spectral machine. And Maryna’s starting point was some familiar extraordinary elliptic functions and modular forms.  More details on the comment section are most welcome.  (Update:) John Baez wrote on the n-Category Cafe some elementary comments on the proofs: E8 is the best.

The 24-dimensional case

A key ingredient for the result in dimension 24 is the earlier numerical rationality conjectures by Cohn and Miller.  Those now appear in the preprint: Henry Cohn, Stephen D. Miller, Some properties of optimal functions for sphere packing in dimensions 8 and 24 .

Congratulations to Maryna, Abhinav,  Danilo,  Henry, and Steve!

I remember a decade ago that Steve Miller explained to me some developments, ideas, and dreams  regarding two problems. One was the sphere packing problem in dimensions 8 and 24 that he now took part in solving, and the other was the irrationality questions regarding zeta functions at odd integers (and maybe also the Euler constant.)  Time to move to the second problem, Steve🙂

(And a trivia question: name a player in both these stories. As usual if you answer in the comment section please give a zero-knowledge answer demonstrating that you know the solution without revealing it.)

This entry was posted in Combinatorics, Geometry, Updates and tagged , , , , , , . Bookmark the permalink.

15 Responses to A Breakthrough by Maryna Viazovska Leading to the Long Awaited Solutions for the Densest Packing Problem in Dimensions 8 and 24

  1. As far as irrationality of Euler’s constant is concerned, perhaps an attentive look at Hankel determinants could be rather useful.

  2. Ben Green says:

    Answer to your trivia question: scores 18 in English Scrabble and 12 in Hungarian Scrabble.

  3. Pingback: Quora

  4. Pingback: The densest packing problem in dimension 8 has been solved. What does this entail and why is it such a breakthrough? - Quora

  5. Alex says:

    Could you please give the link to the journal with this published result? Thank you!

  6. Pingback: A challenge for professional mathematicians | Mike's Math Page

  7. John Baez says:

    I wrote some elementary comments on the proofs here: E8 is the best.

    Alex: the papers aren’t published yet, but you can find them on the arXiv via the above link.

  8. Pingback: March miscellany | Complex Projective 4-Space

  9. Pingback: Encontrada la mejor manera de apilar naranjas 8-dimensionales | Gaussianos

  10. Pingback: Densest Packing Problem Breakthrough | mathsbyagirl

  11. Pingback: The Quantum Computer Puzzle @ Notices of the AMS | Combinatorics and more

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s