As suggested by Gaurish4Math, in todays post I’ll be discussing the recent breakthrough in the sphere packing problem.

### What is the Sphere Packing Problem?

A sphere packing is an arrangement of spheres that do not overlap within a containing space. The problem is to find the best packing of spheres in dimension *n*. The densest packing of spheres was only known in dimensions 0, 1, 2 and 3, before this breakthrough.

### E8 Lattice

The E8 lattice can be characterised as the “unique, positive-definite, even, uni-modular lattice of rank 8”. It is formed by taking all the sums of the vectors in the root system. This root system contains all roots (a_{1},a_{2},a_{3},a_{4},a_{5},a_{6},a_{7},a_{8}) where all a_{i} are integers or all a_{i} are integers plus 1/2, the sum is an even integer, and sum of the squares is 2.

It can be expressed as follows:

### Breakthrough

Maryna Viazovska published a paper proving that if you centre spheres at the points of the E8 lattice, you get the densest packing of spheres in 8 dimensions. Following this, Viazovska joined Cohn, Kumar, Miller and Radchenko to prove that the Leech lattice gives the densest packing of spheres in 24 dimensions.

The starting point for Viazovska’s breakthrough was a method developed by Cohn and Elkies in 2001 that improved the upper bounds to the density in dimensions 4-31, giving extremely good results for dimensions 8 and 24; they showed that the densest packing in 8 dimensions could be no more than 1.000001 times as dense as that coming from the E8 lattice (Viazovska then reduced this to 1). They showed that, provided a function satisfies a number of conditions, it will give the upper bound on the density. The problem was to find this function.

However, finding the right function proves enigmatic and to find it Maryna had find Fourier transforms of some modular forms and prove certain estimates about them.

Congratulations to Viazovska, Cohn, Kumar, Miller and Radchenko for this fantastic achievement!

Apologies that this post is quite short – the mathematics involved is quite complex and hard to resume in a post. Hope you enjoyed it! Mx

Nice work! Now I have a better understanding of E8 lattice. Thanks.

You may find following comments on this “discovery” interesting:

(1) https://plus.google.com/+DavidRoberts/posts/EGuyMQPXrqy

(2) https://plus.google.com/+TerenceTao27/p(;osts/UoSoteZMCpo

(3) https://plus.google.com/117663015413546257905/posts/gmim9Jfm3A5

LikeLiked by 1 person

Sorry, the second link was broken.

Correct URL: https://plus.google.com/+TerenceTao27/posts/UoSoteZMCpo

Also, the nice thing about thisdiscovery is its relation with string theory (as pointed out by John Baez)

LikeLike

Yes, I didn’t know that relation! It’s amazing how connected seemingly disparate areas of math are.

LikeLiked by 1 person

Wow! Gil Kalai liked your post 🙂

LikeLiked by 1 person

I am so honoured! 🙂

LikeLike

Its not i can help you

LikeLike

Kind of comlicated for me, though interesting 😀

LikeLiked by 1 person