Computer-assisted proof of kernel inequalities
2023
Abstract
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.
Details
Title
Computer-assisted proof of kernel inequalities
Author(s)
Cohn, Henry ; Kumar, Abhinav ; Miller, Stephen D. ; Radchenko, Danylo ; Viazovska, Maryna
Date
2023-03-16
Publisher
EPFL Infoscience
Language
English
Related to
Is Supplement To (https://infoscience.epfl.ch/record/298718)
Additional link
Dataset location
Laboratories
TN
Record Appears in
Scientific production and competences > SB - School of Basic Sciences > MATH - Institute of Mathematics > TN - Chair of Number Theory
Work produced at EPFL
Datasets
Work produced at EPFL
Datasets
Record creation date
2023-12-11