{"id":"arxiv/2608.12094","url":"https://arxiv.org/abs/2608.12094","tags":["math.NT","math.CA","math.MG"],"score":0,"title":"The 196560 auxiliary-function conjecture for the Leech lattice","domain":"math.NT","source":"arxiv","authors":["Yutong Zhang","Yaoran Yang"],"reviews":0,"subject":"math.NT","summary":"Cohn and Kumar conjectured in 2009 that there is a radial Schwartz function $g\\colon\\R^{24}\\to\\R$ satisfying $g(r)\\leq0$ for $r\\geq\\sqrt6$, $\\widehat g(r)\\geq0$ for $r\\geq0$, $g(2)>0$, and $(\\widehat g(0)-g(0))/g(2)=196560$. We construct such functions from the radial Fourier interpolation basis in dimension $24$. If $a_2,b_2$ denote the basis functions dual to value and radial-derivative interpolation at radius $2$, then $g_C=a_2-Cb_2$ has exactly the nodal data needed for Poisson summation over the Leech lattice. The sphere-packing magic function identifies $b_2$ and supplies its strict…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}