Computer-assisted proof of kernel inequalities
2023
Résumé
This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska). It includes both our original proof using Mathematica and a revised proof using Sage.
Détails
Titre
Computer-assisted proof of kernel inequalities
Auteur(s)
Cohn, Henry ; Kumar, Abhinav ; Miller, Stephen D. ; Radchenko, Danylo ; Viazovska, Maryna
Date
2023-03-16
Editeur
EPFL Infoscience
Langue
Anglais
En lien avec
Is Supplement To (https://infoscience.epfl.ch/record/298718)
Lien supplémentaire
Dataset location
Laboratoires
TN
Le document apparaît dans
Production scientifique et compétences > SB - Faculté des sciences de base > MATH - Institut de mathématiques > TN - Chaire d'Arithmétique
Travail produit à l'EPFL
Datasets
Travail produit à l'EPFL
Datasets
Date de création de la notice
2023-12-11