Published online by Cambridge University Press: 15 February 2021
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.
The research of these authors was supported, in part, by the U. S. National Science Foundation under grant DMS-1516400.
This author is supported by the Austrian Science Fund FWF project F5503 part of the Special Research Program (SFB) “Quasi-Monte Carlo Methods: Theory and Applications”.