Maryna Viazovska

Bereits mit 12 Jahren beteiligte sich Maryna erfolgreich an Schul-Mathematik-Olympiaden.[5] Viazovska studierte an der Nationalen Taras-Schewtschenko-Universität Kiew mit dem Kandidatenabschluss 2010 (entsprechend einer Promotion). 2007 erhielt sie ihr Diplom an der Universität Kaiserslautern bei Gerhard Pfister (Berechnung der Weierstraß-Halbgruppe für Singularitäten von Raumkurven)[6] und wurde 2013 an der Universität Bonn bei Don Zagier zum Dr. rer. nat. promoviert (Modular functions and special cycles).[7][5] Als Post-Doktorandin war sie an der Humboldt-Universität Berlin. Ende 2016 wurde sie zur Assistenzprofessorin (tenure track) und 2018 erhielt sie eine volle Professur an der École polytechnique fédérale de Lausanne (EPFL) in Lausanne.[8][9] Hier hat sie den Lehrstuhl für Zahlentheorie am Institut für Mathematik inne.[3]

In ihrer Doktorarbeit befasste sie sich mit Modulformen und analytischer Zahlentheorie. Weitere Arbeitsgebiete sind Approximation von Funktionen und Diskrete Geometrie, sie veröffentlichte auch in Festkörperphysik (Supraleiter).

Zusammen mit Andrij Bondarenko und Danylo Radchenko bewies sie 2013 eine Vermutung von Jacob Korevaar und J. L. H. Meyers über die Existenz sphärischer t-Designs. Noch im gleichen Jahr, 2013 erhielt Bondarenko dafür den Vasil-A.-Popov-Preis für Approximationstheorie.[10] Ein sphärischer t-Design ist eine Menge von N Punkten auf der Einheitssphäre in d Dimensionen, sodass der Mittelwert jedes Polynoms vom Grad ${\displaystyle \leq t}$ auf den Punkten gleich dem Mittelwert des Polynoms auf der Einheitssphäre ist.

2016 kündigte Maryna Viazovska einen Beweis an, dass die Packung zum Wurzelsystem der exzeptionellen Liegruppe ${\displaystyle E_{8}}$ die dichteste Kugelpackung (nicht nur unter Gitterpackungen, sondern auch unter Nicht-Gitterpackungen) in acht Dimensionen ist und bald darauf bewies sie mit Kollegen, dass das Leech-Gitter in 24 Dimensionen die dichteste Packung liefert. Nach dem Beweis war lange gesucht worden. Für die Vermutung, dass diese Gitter in ihren jeweiligen Dimensionen optimal waren, lag umfangreiche numerische Unterstützung vor, insbesondere durch obere Grenzen für optimale Kugelpackungen von Noam Elkies und Henry Cohn von 2003, die speziell für die Dimensionen 8 und 24 zeigten, dass die E8- bzw. Leech-Gitter den Schranken sehr nahe kommen, was durch numerische Rechnungen von Cohn und Abhinav Kumar weiter gestützt wurde.[11] Nach der Abschätzung von Elkies und Cohn suchte man nach geeigneten Hilfsfunktionen, aus deren Existenz ein Beweis folgen sollte. Der Beweis von Viazovska benutzt die Theorie der Modulformen und ist nach Aussage von Peter Sarnak überzeugend und erstaunlich einfach.[12]

Sei ${\displaystyle \mathbb {R} ^{d}}$ der euklidische Raum mit einer Metrik ${\displaystyle \|\cdot \|}$ und ${\displaystyle \operatorname {Vol} (\cdot )}$ das Lebesgue-Maß. Weiter sei ${\displaystyle X\subset \mathbb {R} ^{d}}$ eine diskrete Menge mit ${\displaystyle \|x-y\|\geq 2}$ für alle distinkten ${\displaystyle x,y\in X}$. Die Vereinigung ${\displaystyle {\mathcal {P}}}$ von offenen Bällen mit Radius ${\displaystyle r=1}$

${\displaystyle {\mathcal {P}}:=\bigcup \limits _{x\in X}B_{d}(x,1)}$

nennt man Sphärische-Packung. Wenn ${\displaystyle X}$ ein Gitter ist, nennt man ${\displaystyle {\mathcal {P}}}$ eine Sphärische-Gitter-Packung.

Viazovska bewies, dass für ${\displaystyle d:=8}$ das Supremum über allen Dichten (die Limites-Superiore) einer Sphärischen-Packung gleich der Dichte der ${\displaystyle E_{8}}$-Sphärische-Gitter-Packung ist (dessen Wert auf der rechten Seite der Gleichung steht)[13]

${\displaystyle \sup \limits _{{\mathcal {P}}\subset \mathbb {R} ^{d}}\left(\limsup _{r\to \infty }{\frac {\operatorname {Vol} ({\mathcal {P}}\cap B_{d}(0,r))}{\operatorname {Vol} (B_{d}(0,r))}}\right)={\frac {\pi ^{4}}{384}}.}$

• Maryna Viazovska, Andriy Bondarenko, Danylo Radchenko: Optimal asymptotic bounds for spherical designs. In: Annals of Mathematics. Second Series, Band 178, 2013, S. 443–452, Preprint 2010 auf arxiv.org
• The sphere packing problem in dimension 8. In: Annals of Mathematics. Band 185, 2017, S. 991–1015, Preprint 2016 auf arxiv.org
• Mit Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko: The sphere packing problem in dimension 24. In: Annals of Mathematics. Band 185, 2017, S. 1017–1033, Preprint 2016 auf arxiv.org
• Mit Danylo Radchenko: Fourier interpolation on the real line. In: Publ. Math. Inst. Hautes Études Sci. Band 129, 2019, S. 51–81.
• Mit Andrew Bakan, Haakan Hedenmalm, Alfonso Montes-Rodriguez, Danylo Radchenko: Fourier uniqueness in even dimensions. In: Proc. Natl. Acad. Sci. USA. Band 118, 2021, Nr. 15, Paper No. 2023227118, 4 pp.
• Mit Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko: Universal optimality of the E8 and Leech lattices and interpolation formulas. Preprint 2019 auf arxiv.org

• Andrei Okounkov: The Magic of 8 and 24, ICM 2022, Arxiv (Laudatio Fields Medal)

Commons: Maryna Viazovska – Sammlung von Bildern, Videos und Audiodateien

• Homepage an der École polytechnique fédérale de Lausanne (englisch)
• Blog von Gil Kalai zum Beweis von Viazovska (englisch)
• David de Laat, Frank Vallentin: A Breakthrough in Sphere Packing: The Search for Magic Functions. Nieuw Archief voor Wiskunde, September 2016, Arxiv.
• Henry Cohn: A conceptual breakthrough in sphere packing. Notices AMS, Februar 2017, Online (PDF; 23,7 MB).
• Clay Research Award 2017
• Thomas Lin, Erica Klarreich: In Times of Scarcity, War and Peace, a Ukrainian Finds the Magic in Math, Quanta Magazine, 5. Juli 2022