In a pair of papers posted online this month, a Ukrainian mathematician has solved two high-dimensional versions of the centuries-old “sphere packing” problem. In dimensions eight and 24 (the latter dimension in collaboration with other researchers), she has proved that two highly symmetrical arrangements pack spheres together in the densest possible way.

Mathematicians have been studying sphere packings since at least 1611, when Johannes Kepler conjectured that the densest way to pack together equal-sized spheres in space is the familiar pyramidal piling of oranges seen in grocery stores. Despite the problem’s seeming simplicity, it was not settled until 1998, when Thomas Hales, now of the University of Pittsburgh, finally proved Kepler’s conjecture in 250 pages of mathematical arguments combined with mammoth computer calculations.

Higher-dimensional sphere packings are hard to visualize, but they are eminently practical objects: Dense sphere packings are intimately related to the error-correcting codes used by cell phones, space probes and the Internet to send signals through noisy channels. A high-dimensional sphere is easy to define — it’s simply the set of points in the high-dimensional space that are a fixed distance away from a given center point.

Finding the best packing of equal-sized spheres in a high-dimensional space should be even more complicated than the three-dimensional case Hales solved, since each added dimension means more possible packings to consider. Yet mathematicians have long known that two dimensions are special: In dimensions eight and 24, there exist dazzlingly symmetric sphere packings called E_{8} and the Leech lattice, respectively, that pack spheres better than the best candidates known to mathematicians in other dimensions.

“Somehow everything just fits perfectly together, and it’s sort of a miracle,” said Henry Cohn, a mathematician at Microsoft Research New England in Cambridge, Mass. “I don’t have a simple, gut-level explanation of what it is about.”

For reasons that mathematicians don’t fully understand, E_{8} and the Leech lattice have connections to a wide range of mathematical subjects, including number theory, combinatorics, hyperbolic geometry and even areas of physics such as string theory. They form “a nexus where lots of different areas of mathematics come together,” Cohn said. “Something wonderful is happening, and I’d like to understand what it is.”

Mathematicians have amassed compelling numerical evidence that E_{8} and the Leech lattice are the best sphere packings in their respective dimensions. But until now, that evidence came just short of a proof. Researchers have known for more than a decade what the missing ingredient in the proof should be — an “auxiliary” function that can calculate the largest allowable sphere density — but they couldn’t find the right function.

Now, in a paper posted online on March 14, Maryna Viazovska, a postdoctoral researcher at the Berlin Mathematical School and the Humboldt University of Berlin, has come up with the missing function in dimension 8. Her work uses the theory of modular forms, powerful mathematical functions that, when they can be brought to bear upon a problem, seem to unlock huge amounts of information. In this case, finding the right modular form allowed Viazovska to prove, in a mere 23 pages, that E_{8} is the best eight-dimensional packing.

“It’s stunningly simple, as all great things are,” said Peter Sarnak, of Princeton University and the Institute for Advanced Study. “You just start reading the paper and you know this is correct.”

Within a week, Viazovska, along with Cohn and three other mathematicians, successfully extended her method to cover the Leech lattice too.

“I think some of us have been hoping for this for a very long time,” Hales said.

**Filling the Gaps**

It’s possible to build an analogue of the pyramidal orange stacking in every dimension, but as the dimensions get higher, the gaps between the high-dimensional oranges grow. By dimension eight, these gaps are large enough to hold new oranges, and in this dimension only, the added oranges lock tightly into place. The resulting eight-dimensional sphere packing, known as E_{8}, has a much more uniform structure than its two-stage construction might suggest. “Part of the mystery here is this object turns out to be vastly more beautiful and symmetric than it sounds,” Cohn said. “There are tons of extra symmetries.”

The Leech lattice is similarly constructed by adding spheres to a less dense packing, and it was discovered almost as an afterthought. In the 1960s, the British mathematician John Leech was studying a 24-dimensional packing that can be constructed from the “Golay” code, an error-correcting code that was later used to transmit the historic photos of Jupiter and Saturn taken by the Voyager probes. Shortly after Leech’s article about this packing went to press, he noticed that there was room to fit additional spheres into the holes in the packing, and that doing so would double the packing density.

In the resulting Leech lattice, each sphere is surrounded by 196,560 other spheres, in such a unique arrangement that the mathematician John Conway, of Princeton University, discovered three entirely new types of symmetry by probing the lattice’s structure. The Leech lattice is “one of the few most exciting mathematical objects,” said Gil Kalai, a mathematician at the Hebrew University of Jerusalem.

In 2003, Cohn and Noam Elkies of Harvard University developed a way to estimate just how well E_{8} and the Leech lattice perform compared to other sphere packings in their respective dimensions. In every dimension, Cohn and Elkies showed, there is an infinite sequence of “auxiliary” functions that can be used to compute upper limits on how dense sphere packings are allowed to be in that dimension.

In most dimensions, the best sphere packings discovered to date didn’t even come close to the density limits this method generated. But Cohn and Elkies found that in dimensions eight and 24, the best packings — E_{8} and the Leech lattice — seemed to practically bump their heads against the ceiling. When Cohn and Abhinav Kumar of Stony Brook University carried out extensive numerical calculations on the sequences of auxiliary functions, they found that the best possible sphere packings in dimensions eight and 24 could be at most 0.0000000000000000000000000001 percent denser than E_{8} and the Leech lattice.

Given this ridiculously close estimate, it seemed clear that E_{8} and the Leech lattice must be the best sphere packings in their respective dimensions. Cohn and Elkies suspected that for each of these two dimensions, there should be some auxiliary function that would give an exact answer that matched the density of E_{8} and the Leech lattice. “We gave many talks and even convened a conference or two to disseminate the problem in the hope that such [a function] was known or could easily be found if we only know in which mathematical field to look, but found nothing,” Elkies wrote in an email.

Hales said he has believed for years that the right function should exist, but he had no idea how to pin it down. “I felt that it would take a Ramanujan to find it,” he said, referring to the early 20th-century mathematician Srinivasa Ramanujan, who was famous for pulling deep mathematical ideas out of thin air.

Now, Viazovska has found the elusive auxiliary functions for E_{8} and the Leech lattice, using a type of mathematical object that Ramanujan also studied extensively: modular forms. “She’s pulled a Ramanujan,” Hales said.

**Mining for Gold**

Modular forms are functions that possess special symmetries like those in M.C. Escher’s circular tilings of angels and devils. These functions possess a startling power to illuminate different areas of mathematics — for instance, they were instrumental in the proof of Fermat’s Last Theorem in 1994. And although modular forms have been studied for centuries, mathematicians are still unlocking the deep secrets hidden inside their coefficients. Sarnak calls them a gold mine. “I’m waiting for someone to write a paper one day, ‘The Unreasonable Effectiveness of Modular Forms,’” he said.

Unfortunately, though, there’s only a limited supply of modular forms, and they are highly constrained objects. “You can’t just write down a modular form that does whatever you want,” Cohn said. “So it’s a matter of whether one actually exists that does what you need it to.”

Viazovska’s 2013 doctoral dissertation was on modular forms, and she also has expertise in discrete optimization, one of the fields that are central to the sphere-packing problem. So when, three years ago, Viazovska’s friend Andrii Bondarenko, of the Norwegian University of Science and Technology in Trondheim, suggested that they work together on the eight-dimensional sphere-packing problem, Viazovska agreed.

They worked on the problem off and on along with Danylo Radchenko of the Max Planck Institute for Mathematics in Germany. Eventually, Bondarenko and Radchenko moved on to other problems, but Viazovska pressed on alone. “I felt like it’s my problem,” she said.

After two years of intense effort, she succeeded in coming up with the right auxiliary function for E_{8} and proving that it is correct. It’s difficult, she said, to explain just how she knew which modular form to use, and she’s currently writing a paper to try to describe her “philosophical reason” for searching for it where she did. There’s “a whole new mathematical story behind it,” she said.

After Viazovska posted her paper on March 14, she was startled by the surge of excitement it created among sphere-packing researchers. “I thought people would be interested in the result, but I did not know there would be that much attention,” she said.

That night, Cohn emailed to congratulate her, and as the two exchanged emails he asked if it might be possible to extend her method to the Leech lattice. “I felt like, ‘I am already tired and I deserve some rest,’” Viazovska said. “But I tried still to be useful.”

The two of them threw together a collaboration with Kumar, Radchenko and Stephen Miller of Rutgers University, and with the benefit of Viazovska’s earlier work, they quickly found a way to construct the right auxiliary function for the Leech lattice. The team posted its 12-page paper online just a week after Viazovska had posted her first paper.

The new results don’t have practical implications for error-correcting codes, since knowing that E_{8} and the Leech lattice were close to perfect had already been sufficient for all real-world applications. But the two proofs offer mathematicians both a sense of closure and a powerful new tool. A natural next question, Cohn said, is whether these methods can be adapted to show that E_{8} and the Leech lattice have “universal optimality.” This would mean that they provide not just the best sphere packings but also the lowest-energy ones, if, for example, the centers of the spheres are regarded as electrons repelling one another.

And because E_{8} and the Leech lattice are connected to so many areas of mathematics and physics, Viazovska’s new approach may well ultimately lead to many more discoveries, said Akshay Venkatesh, of Stanford University. “It seems to me much more likely than not that this function is also part of some richer story.”

*This article was reprinted on Wired.com.*

Awesome exposition! Thanks.

What a fascinating and well-written article! I really admire those who can achieve new insights and explanations into mathematical problems, and I'd be interested to read Viazovska’s explanation of why she searched where she did for the solution. It amazes me that mathematicians can develop a keen intuition into the way to solve problems like this, that they can intuitively choose one path to the solution over another. This ties in nicely with the article about AlphaGo's first steps in developing (or mimicking?) AI intution. Many congrats to Viazovska and her colleagues….and this whole story hints at much deeper, and unseen, mathematical connections between seemingly unrelated fields. Thanks for another fantastic article Quanta!

Nice article and great news. Google search for "Ukrainian girl proves that E8, Leech rule in sphere packing" to get a complementary story of mine.

"Higher-dimensional sphere packings are hard to visualize"

Hard? More than that, I think it's impossible! Humans can visualize at max tri-dimensional space. Higher than that they deal with algebra alone, without direct visual intuition at all.

Just quietly the E8 has been shown to be reducible to 3D by Dechant at the University of York. What implications does that then have?

Dechant Pierre-Philippe (2016): “The birth of E8 out of the spinors of the icosahedron. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science, 2016; 472 (2185): 20150504. DOI: 10.1098/rspa.2015.0504

I adore Marie Curie, she is just one of my many hero's, now we have Maryna Viazovska being acknowledged as a top of the line scientist. If the truth was known most of the men who we declare are famous wouldn't be famous at all were it not for a lady doing all the work.

About this proof, why all the trouble. Birds do it, wasps do it, so much of what we call nature, and thumb our noses at, knows all about these problems and solutions. In fact, and it is a fact, we learn from nature every thing we know and then some person claims credit for it. Turn math around and what do you have: practical application, as in nature.

"Hard? More than that, I think it's impossible! Humans can visualize at max tri-dimensional space. Higher than that they deal with algebra alone, without direct visual intuition at all." This is nothing new, it's long been established that we are wired for a 3D world, BUT that doesn't mean other higher diminesions don't exist! An ant does not know it it is in MA, which is a continent on earth, etc. but it ALL exists just the same. While we are limited to what we can phyiscally "see," our brains combined with mathematics allows us to intuit the existence of possible higher dimensions. Who knows, maybe someday technology will allow/assist us to exceed our limited brains and see things that lie beyound our 3D world.

Way to go, Erica! — They don't call you "The Klarrifier" for nothing.

Richard — hahaha! Thank you.

Is the following is true:

"In dimensions eight and 24 (the latter dimension in collaboration with other researchers), she has proved that two highly symmetrical arrangements pack spheres together in the densest possible way."

And the statement below is also true:

"This would mean that they provide not just the best sphere packings but also the lowest-energy ones, if, for example, the centers of the spheres are regarded as electrons repelling one another."

Wouldn't this be a direct violation of the Thermodynamics? It would imply that the state of minimum energy is one of a high level of organization, i.e., low entropy.

I have never understood why some people think that we humans cannot visualize anything in a dimension higher than 3 without resorting to algebra (or trigonometry) – we do it all the time, although we're probably doing it subconsciously.

We exist within a universe consisting of space-time and we (generally) handle multidimensional things like crossing a busy street, or watching a movie while traveling, or stepping onto a moving escalator, all without really thinking about the fact that we're visualizing at least a four-dimensional world around us in real-time (sometimes more dimensions if we're stepping from one moving object to another – although here we begin to approach the limit of our day-to-day capabilities) and doing it well enough to be able to make predictions about what's going to happen next or where some moving object will be a short time ahead, or just where to place our feet so as to avoid falling over, without having to suspend all other activities in order to do so.

Imagine the more complex case of a juggler riding in circles on a unicycle exchanging clubs with two other jugglers similarly engaged – how many dimensions are involved there? Not forgetting the fact that they have to finish their act within a set time, which adds another dimension…

Bravo Viazovska for the perseverence. Way to go to keep unlocking nature's mysteries!!!

"Humans can visualize at max tri-dimensional space."

Back in the 90s I read the personal website of a math or engineering student who used textures and colors to visualize higher-dimensional objects.

"Wouldn't this be a direct violation of the Thermodynamics? It would imply that the state of minimum energy is one of a high level of organization, i.e., low entropy."

But it's not high level organization, it's maximum dispersion (aka highest entropy) within a space. It takes far more energy to keep a bunch of spheres stacked upright than it does to let them collapse into a pyramid, or E8, or the Leech lattice (assuming they are constrained such that they cannot scatter willy-nilly, which is the same assumption these stacking problems contain).

To comments about higher dimensions and what not: What mathematicians normally mean by dimension is the number of numbers needed to represent an element among a collection of elements of interest (sort of). It has nothing as such to do with 'physical space' though we can use the idea of dimensions to talk about 'physical space' as well.

This is similar to when we talk about the number '3 ' it does not mean we are talking about rocks or sheep or money, though we can use it to talk about them. It may be difficult to imagine 10 billion planet earths but that doesn't mean we cannot understand the number: 10 billion.

Finally, we don't have to go up to dimensions 4 to have difficulty imagining physical space of that dimension, its actually pretty hard to imagine three dimensional physical space as it is. We actually only see a combination of two two dimensional projections of it (actually what we see is a part of the real projective plane). If we could see three dimensional space, things wouldn't become smaller the further away they were from us.

@Lubos Motl: a "Ukrainian ***girl***"? Really? I'm not PC by any measure, but this is a bit rich…

I guess that E8 packing shall not be confused with the E8 Lie Group…