Sphere packings in 8 dimensions (after Maryna Viazovska)

Рет қаралды 13,435

3 жыл бұрын

The is a math talk about the best possible sphere packing in 8 dimensions. It was an open problem for many years to show that the best 8-dimensional sphere packing is given by the E8 lattice. We describe the solution to this found by Maryna Viazovska, building on work of Henry Cohn and Noam Elkies.
Typo around 13:40: f(0) and f^(0) should be exchanged in the fractions.
The paper by Henry Cohn and Noam Elkies is arxiv.org/abs/math/0110009
The paper by Maryna Viazovska is at arxiv.org/abs/1603.04246
This talk did not cover the proof that the Leech lattice is optimal in 24 dimensions, but this can be found in arxiv.org/abs/1603.06518

Пікірлер: 26

@nathanhaouzi1345 3 жыл бұрын

Recently, there was beautiful work done by Hartman, Mazáč, and Rastelli (1905.01319 on the arxiv) showing a connection between the sphere packing problem and the modular bootstrap program in quantum field theory. In particular, the magic functions from this lecture happen to have a physical interpretation.

@Simon-ir6mq 3 жыл бұрын

why do modular forms keep coming up everywhere? I don‘t know much of any mathematics connected to them (which probably shows that I don’t know much of any mathematics), but they seem like a very niche subject on the surface. Their structure doesn’t seem to convey anything fundamental (like say, in fourier series) nor do they seem like a candidate for unifying mathematics (like category theory) or something off of which all maths can be built in a quirky but understandable manner (like the natural numbers). Is it known why modular forms are seemingly connected to everything (Fermats Last Theorem, Sphere packing, monstrous moonshine)? It seems to me like the connections to modular forms often pop out of nowhere.

@richarde.borcherds7998 3 жыл бұрын

The fact that modular forms turn up so often is one of the big mysteries of mathematics. I don't know of any good explanation.

@AkamiChannel 11 ай бұрын

Aren't they related to number theory? If they're related to number theory, it makes sense that they would pop up all over the place. I'm in the process of learning about them, and specifically I'm interested in finding out if they can be done in the quaternionic and possibly octonionic setting (if not with the octonions then maybe with a clifford algebra that can be constructed from octonions). Octonions are a candidate for unification of physics, so if you can do modular forms with octonions or a structure similar to them, then it seems possibly connected to unification.

@alexlouismusic 3 жыл бұрын

Favorite channel. Thanks!

@johnchessant3012 2 жыл бұрын

Maryna Viazovska won the Fields medal in 2022 for this work!

@hypatia-du-bois-marie 2 жыл бұрын

Congratulations to Prof. Viazovska for the Fields medal!

@brettaspivey 3 жыл бұрын

Oh, thank you, this is one of my favorite topics

@kevinzhang7907 3 жыл бұрын

It seems there's a typo at 13:37. Should |L| >= f(0)/f_hat(0) be |L| >= f_hat(0)/f(0)? Referencing the Cohn/Elkies paper, this does appear to be the case.

@LGcommaI 3 жыл бұрын

Please keep up the good work!

@ricott2 3 жыл бұрын

small typo at 13:40, it should be \hat{f}(0)/f(0) in the final inequality (the fraction has to be inverted)

@midnightposting 3 жыл бұрын

Maybe a moral can be that integrating modular forms is nice. Probably because the modularity allows you to do nice change of variables which become functional equations, as for example happens for the zeta function whose functional equation follows after vizualising it as an integral of the theta function.

@narek323 3 жыл бұрын

Great videos! Just subscribed

@annaclarafenyo8185 3 жыл бұрын

Great video, but it leaves unanswered the question of how the Leech lattice was shown to be optimal without the Elkies Cohn bound. It seems hard to prove upper bounds in any other way.

@richarde.borcherds7998 3 жыл бұрын

The proof that the Leech lattice is optimal can be found in arxiv.org/abs/1603.06518 It used the Cohn-Elkies bound.

@lavneetjanagal 3 жыл бұрын

The graph that was drawn for g(x) has a simple zero at x=\sqrt{2}. But it appears, from the way you defined the function g(x), that there is a zero of order two at x=\sqrt{2}. Does the Laplace transform part has a simple pole at x=\sqrt{2}?

@romanchomenko2912 2 жыл бұрын

In six dimensions there's 3 positive numbers and symmetrical would be negative, meaning using x,y,z in third angle projections. This 8th dimensiona so four positive and four negative but I think Maryna used matrix and Gaussian with Euler to solve this .

@jonathanbush6197 5 ай бұрын

In 3 dimensions, why would face centered cubic ABCABC... be more efficient than ABAB... or any other sequence? I am grateful for any clue.

@martinepstein9826 3 жыл бұрын

There's a lot of the number 1728 at 25:10. Should this remind me of Ramanujan and taxicab numbers?

@diribigal 3 жыл бұрын

1728 is relevant here because it's 12^3. I don't think it's relevant here that when you add 1=1^3 to it you get a number that can be written as a sum of two other cubes.