Gaussian energy Mellin-type identity conjecture in dimensions 8 and 24

Let φ(x)=ecx2\varphi(x)=e^{-c|x|^2} in Rn\mathbb R^n, where n{8,24}n\in\{8,24\}, and let hh be the limiting auxiliary function from the sharp energy-bound convergence conjecture. Let Λn\Lambda_n denote E8E_8 for n=8n=8 and the Leech lattice for n=24n=24, and set ψ(x)=x2φ(x)\psi(x)=|x|^2\varphi(x). Gaussian energy identity conjecture.

h^(0)=2cnEψ(Λn).\widehat h(0)=\frac{2c}{n}E_\psi(\Lambda_n).

This predicts an exact relation between the limiting linear-programming bound and the energy of the exceptional lattice for Gaussian potentials; the source provides it as a conjectural analogue of the earlier limiting identities.

Sources & referencesView supporting material

Primary source

Henry Cohn and Stephen D. Miller, “Some properties of optimal functions for sphere packing in dimensions 8 and 24”, arXiv:1603.04759 (2016).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.