Mellin midpoint-value conjecture for the dimension-8 limiting functions

Let

Mf(s)=0f(x)xs1dxM_f(s)=\int_0^\infty f(x)x^{s-1}\,dx

and define Mf^M_{\widehat f} analogously for the Fourier transform f^\widehat f. Normalize the limiting functions by f(0)=f^(0)=1f(0)=\widehat f(0)=1. Mellin midpoint-value conjecture. For n=8n=8,

Mf(4)=Mf^(4)=115.M_f(4)=M_{\widehat f}(4)=\frac1{15}.

The equality of the two Mellin values follows from Fourier–Mellin symmetry, but the value 1/151/15 is conjectural; the analogous dimension-24 value is not identified in the source.

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.