A dual linear programming bound for sphere packing in dimension 36

Rifat Jumagulov

We construct an explicit dual-feasible point for the Cohn--Elkies linear program in dimension $36$, built from the space of weight-$18$ modular forms for ${\Gamma }_0(24)$ following the me…