Fetching the paper…

Reading the bibliography…

2019

Dual linear programming bounds for sphere packing via modular forms

Cohn, Henry, Triantafillou, Nicholas

Original
PDF
Post on X

Understand

We obtain new restrictions on the linear programming bound for sphere packing, by optimizing over spaces of modular forms to produce feasible points in the dual linear program.

In contrast to the situation in dimensions 8 and 24, where the linear programming bound is sharp, we show that it comes nowhere near the best packing densities known in dimensions 12, 16, 20, 28, and 32.
More generally, we provide a systematic technique for proving separations of this sort.

Dual linear programming bounds for sphere packing via modular forms · Around

Built on

H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska, Universal optimality of the E 8 E_{8} and Leech lattices and interpolation formulas , preprint, 2019. arXiv: 1902.05438
Original
1902
Earlier work this paper cites.
E. Hecke, Über die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung , Math. Ann. 112
1936
Earlier work this paper cites.
A. Ogg, Modular Forms and Dirichlet Series , W. A. Benjamin, Inc., New York-Amsterdam, 1969. MR0256993
1969
Earlier work this paper cites.
P. Deligne, La conjecture de Weil. I , Inst. Hautes Études Sci. Publ. Math. 43
1974
Earlier work this paper cites.
F. Diamond and J. Im, Modular forms and modular curves , in V. K. Murty, ed., Seminar on Fermat’s Last Theorem (Toronto, ON, 1993–1994) , pp. 39–133, CMS Conf. Proc. 17
1995
Earlier work this paper cites.
M. Ohta, On the p p -adic Eichler-Shimura isomorphism for Λ \Lambda -adic cusp forms , J. Reine Angew. Math. 463
1995
Earlier work this paper cites.
W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system I: the user language , J. Symbolic Comput. 24
1996
Earlier work this paper cites.
G. E. Andrews, R. Askey, and R. Roy, Special Functions , Encyclopedia of Mathematics and its Applications 71
1999
Earlier work this paper cites.
J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups , third edition, Grundlehren der Mathematischen Wissenschaften 290
1999
Earlier work this paper cites.
E. H. Lieb and M. Loss, Analysis , second edition, Graduate Studies in Mathematics 14
2001
Earlier work this paper cites.
H. Cohn, New upper bounds on sphere packings II , Geom. Topol. 6
2002
Earlier work this paper cites.

Similar

H. Cohn and Y. Zhao, Sphere packing bounds via spherical codes , Duke Math. J. 163
Original
2002
Cited alongside, same era.
H. Cohn and N. Elkies, New upper bounds on sphere packings I , Ann. of Math. (2) 157
2003
Cited alongside, same era.
S. D. Miller and W. Schmid, Summation formulas, from Poisson and Voronoi to the present , in Noncommutative Harmonic Analysis , Progr. Math. 220
2004
Cited alongside, same era.
F. Diamond and J. Shurman, A First Course in Modular Forms , Graduate Texts in Mathematics 228
2005
Cited alongside, same era.
T. C. Hales, A proof of the Kepler conjecture , Ann. of Math. (2) 162
2005
Cited alongside, same era.

Then

J. Bourgain, L. Clozel, and J.-P. Kahane, Principe d’Heisenberg et fonctions positives , Ann. Inst. Fourier (Grenoble) 60
Original
2010
Later among the works it cites.
H. D. Mittelmann and F. Vallentin, High-accuracy semidefinite programming bounds for kissing numbers , Experiment. Math. 19
Original
2010
Later among the works it cites.
D. de Laat, F. M. de Oliveira Filho, and F. Vallentin, Upper bounds for packings of spheres of several radii , Forum Math. Sigma 2
Original
2014
Later among the works it cites.
H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska, The sphere packing problem in dimension 24 24 , Ann. of Math. (2) 185
Original
2017
Later among the works it cites.
T. Hales, M. Adams, G. Bauer, T. D. Dang, J. Harrison, L. T. Hoang, C. Kaliszyk, V. Magron, S. McLaughlin, T. T. Nguyen, Q. T. Nguyen, T. Nipkow, S. Obua, J. Pleso, J. Rute, A. Solovyev, T. H. A. Ta, N. T. Tran, T. D. Trieu, J. Urban, K. Vu, and R. Zumkeller, A formal proof of the Kepler conjecture , Forum Math. Pi 5

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…

S. Torquato and F. H. Stillinger, New conjectural lower bounds on the optimal density of sphere packings , Experiment. Math. 15

2006

Cited alongside, same era.

H. Cohen, Number Theory. Volume II: Analytic and Modern Tools , Graduate Texts in Mathematics 240

2007

Cited alongside, same era.

H. Cohn and A. Kumar, Universally optimal distribution of points on spheres , J. Amer. Math. Soc. 20

2007

Cited alongside, same era.

W. Stein, Modular Forms, a Computational Approach , Graduate Studies in Mathematics 79

2007

Cited alongside, same era.

A. Scardicchio, F. H. Stillinger, and S. Torquato, Estimates of the optimal density of sphere packings in high dimensions , J. Math. Phys. 49

2008

Cited alongside, same era.

H. Cohn and A. Kumar, Optimality and uniqueness of the Leech lattice among lattices , Ann. of Math. (2) 170

2009

Cited alongside, same era.

A. Thue, Om nogle geometrisk-taltheoretiske Theoremer , Forhandlingerne ved de Skandinaviske Naturforskeres 14

Cited in the paper.

2017

Later among the works it cites.

M. S. Viazovska, The sphere packing problem in dimension 8 8 , Ann. of Math. (2) 185

2017

Later among the works it cites.

H. Cohn and F. Gonçalves, An optimal uncertainty principle in twelve dimensions via modular forms , Invent. Math. 217

2019

Closest in time.

D. Radchenko and M. Viazovska, Fourier interpolation on the real line , Publ. Math. Inst. Hautes Études Sci. 129

2019

Closest in time.

SageMath, the Sage Mathematics Software System (Version 8.8) , The Sage Developers, 2019, http://www.sagemath.org

2019

Closest in time.

N. Afkhami-Jeddi, H. Cohn, T. Hartman, D. de Laat, and A. Tajdini, High-dimensional sphere packing and the modular bootstrap , J. High Energy Phys. 2020, no. 12, 066, 44 pp. arXiv: 2006.02560 doi: 10.1007/JHEP12(2020)066

2020

Closest in time.

H. Cohn and N. Triantafillou, Data for “Dual linear programming bounds for sphere packing via modular forms” , data set, DSpace@MIT, 2021. https://hdl.handle.net/1721.1/130355

2021

Closest in time.