Abstract
Eigenfunctions of the Fourier transform with prescribed zeros played a major role in the proof that the E8 and the Leech lattice give the best sphere packings in respective dimensions 8 and 24 by Cohn, Kumar, Miller, Radchenko and Viazovska. The functions used for a linear programming argument were constructed as Laplace transforms of certain modular and quasimodular forms. Similar constructions were used by Cohn and Gonçalves to find a function satisfying an optimal uncertainty principle in dimension 12. This paper gives a unified view on these constructions and develops the machinery to find the underlying forms in all dimensions divisible by 4. Furthermore, the positivity of the Fourier coefficients of the quasimodular forms occurring in this context is discussed.
Original language | English |
---|---|
Pages (from-to) | 329-367 |
Number of pages | 39 |
Journal | Mathematical Proceedings of the Cambridge Philosophical Society |
Volume | 171 |
Issue number | 2 |
DOIs | |
Publication status | Published - Sept 2021 |
Keywords
- 11F03
- 11F11
- 11H31
- 2020 Mathematics Subject Classification:
- 42B10
- 2020 Mathematics Subject Classification: 11F03 11H31 42B10 11F11
ASJC Scopus subject areas
- Mathematics(all)
Fields of Expertise
- Information, Communication & Computing