Conjecture on optimal linear programming functions for Gaussian energy

From papers

Fix a dimension d3d\geq 3, density ρ=1\rho=1, and α>0\alpha>0. For the potential p(r)=eαr2p(r)=e^{-\alpha r^2}, consider the optimal linear programming bound f^(0)f(0)\widehat{f}(0)-f(0) from the stated linear programming proposition, where ff is radial and belongs to the Schwartz space. Gaussian linear-programming conjecture. The optimal bound is achieved by some radial Schwartz function ff such that the radii x|x| satisfying f(x)=eαx2f(x)=e^{-\alpha|x|^2} are exactly the radii y|y| satisfying f^(y)=0\widehat{f}(y)=0; these radii form a discrete infinite set and do not depend on α\alpha. The conjecture concerns the sharpness and structure of linear programming bounds for Gaussian energy in dimensions at least three; the source presents it as a variant of conjectures of Cohn and Elkies and Cohn and Kumar, with the relevant general interpolation consequences still unresolved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko and Maryna Viazovska, “Universal optimality of the E_8 and Leech lattices and interpolation formulas”, arXiv:1902.05438 (2022).

Solutions 0

No solutions have been posted yet.