## Duke Mathematical Journal

### The Gaussian core model in high dimensions

#### Abstract

We prove lower bounds for energy in the Gaussian core model, in which point particles interact via a Gaussian potential. Under the potential function $t\mapsto e^{-\alpha t^{2}}$ with $0\lt \alpha \lt 4\pi/e$, we show that no point configuration in $\mathbb{R}^{n}$ of density $\rho$ can have energy less than $(\rho+o(1))(\pi/\alpha)^{n/2}$ as $n\to \infty$ with $\alpha$ and $\rho$ fixed. This lower bound asymptotically matches the upper bound of $\rho(\pi/\alpha)^{n/2}$ obtained as the expectation in the Siegel mean value theorem, and it is attained by random lattices. The proof is based on the linear programming bound, and it uses an interpolation construction analogous to those used for the Beurling–Selberg extremal problem in analytic number theory. In the other direction, we prove that the upper bound of $\rho (\pi/\alpha)^{n/2}$ is no longer asymptotically sharp when $\alpha \gt \pi e$. As a consequence of our results, we obtain bounds in $\mathbb{R}^{n}$ for the minimal energy under inverse power laws $t\mapsto1/t^{n+s}$ with $s\gt 0$, and these bounds are sharp to within a constant factor as $n\to \infty$ with $s$ fixed.

#### Article information

Source
Duke Math. J., Volume 167, Number 13 (2018), 2417-2455.

Dates
Revised: 21 February 2018
First available in Project Euclid: 14 August 2018

https://projecteuclid.org/euclid.dmj/1534233620

Digital Object Identifier
doi:10.1215/00127094-2018-0018

Mathematical Reviews number (MathSciNet)
MR3855354

Zentralblatt MATH identifier
06970972

#### Citation

Cohn, Henry; de Courcy-Ireland, Matthew. The Gaussian core model in high dimensions. Duke Math. J. 167 (2018), no. 13, 2417--2455. doi:10.1215/00127094-2018-0018. https://projecteuclid.org/euclid.dmj/1534233620

#### References

• [1] G. E. Andrews, R. Askey, and R. Roy, Special Functions, Encyclopedia Math. Appl. 71, Cambridge Univ. Press, Cambridge, 1999.
• [2] R. Ben Ghanem and C. Frappier, Explicit quadrature formulae for entire functions of exponential type, J. Approx. Theory 92 (1998), 267–279.
• [3] P. G. Boyvalenkov, P. D. Dragnev, D. P. Hardin, E. B. Saff, and M. M. Stoyanova, Universal lower bounds for potential energy of spherical codes, Constr. Approx. 44 (2016), 385–415.
• [4] E. Carneiro and F. Littmann, Extremal functions in de Branges and Euclidean spaces, II, Amer. J. Math. 139 (2017), 525–566.
• [5] E. Carneiro, F. Littmann, and J. D. Vaaler, Gaussian subordination for the Beurling-Selberg extremal problem, Trans. Amer. Math. Soc. 365, no. 7 (2013), 3493–3534.
• [6] E. Carneiro and J. D. Vaaler, Some extremal functions in Fourier analysis, II, Trans. Amer. Math. Soc. 362, no. 11 (2010), 5803–5843.
• [7] E. Carneiro and J. D. Vaaler, Some extremal functions in Fourier analysis, III, Constr. Approx. 31 (2010), 259–288.
• [8] H. Cohn, New upper bounds on sphere packings, II, Geom. Topol. 6 (2002), 329–353.
• [9] H. Cohn, “Order and disorder in energy minimization” in Proceedings of the International Congress of Mathematicians, Vol. IV (Hyderabad, 2010), Hindustan Book Agency, New Delhi, 2010, 2416–2443.
• [10] H. Cohn, “Packing, coding, and ground states” in Mathematics and Materials, IAS/Park City Math. Ser. 23, Amer. Math. Soc., Providence, 2017, 45–102.
• [11] H. Cohn and N. Elkies, New upper bounds on sphere packings, I, Ann. of Math. (2) 157 (2003), 689–714.
• [12] H. Cohn and A. Kumar, Universally optimal distribution of points on spheres, J. Amer. Math. Soc. 20 (2007), 99–148.
• [13] H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska, The sphere packing problem in dimension $24$, Ann. of Math. (2) 185 (2017), 1017–1033.
• [14] H. Cohn, A. Kumar, and A. Schürmann, Ground states and formal duality relations in the Gaussian core model, Phys. Rev. E 80 (2009), no. 6, art. ID 061116.
• [15] H. Cohn and J. Woo, Three-point bounds for energy minimization, J. Amer. Math. Soc. 25 (2012), 929–958.
• [16] H. Cohn and Y. Zhao, Sphere packing bounds via spherical codes, Duke Math. J. 163 (2014), 1965–2002.
• [17] N. G. de Bruijn, Asymptotic Methods in Analysis, 3rd ed. corrected reprint, Dover, New York, 1981.
• [18] D. V. Gorbachev, An extremal problem for entire functions of exponential spherical type, which is connected with the Levenshteĭn bound for the density of a packing of $\mathbb{R}^{n}$ by balls, Izv. Tul. Gos. Univ. Ser. Mat. Mekh. Inform. 6, no. 1 (2000), 71–78.
• [19] S. W. Graham and J. D. Vaaler, A class of extremal functions for the Fourier transform, Trans. Amer. Math. Soc. 265, no. 1 (1981), 283–302.
• [20] J. J. Holt and J. D. Vaaler, The Beurling-Selberg extremal functions for a ball in Euclidean space, Duke Math. J. 83 (1996), 202–248.
• [21] L. Hörmander, The Analysis of Linear Partial Differential Operators, I: Distribution Theory and Fourier Analysis, 2nd ed. reprint, Classics Math., Springer, Berlin, 2003.
• [22] R. A. Horn and C. R. Johnson, Matrix Analysis, 2nd ed., Cambridge Univ. Press, Cambridge, 2013.
• [23] G. A. Kabatyanskii and V. I. Levenshtein, Bounds for packings on the sphere and in space (in Russian), Problemy Peredachi Informatsii 14, no. 1 (1978), 3–25; English translation in Probl. Inf. Transm. 14 (1978), 1–17.
• [24] V. I. Levenshtein, On bounds for packings in $n$-dimensional Euclidean space (in Russian), Dokl. Akad. Nauk SSSR 245, no. 6 (1979), 1299–1303; English translation in Dokl. Math. 20 (1979), 417–421.
• [25] F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, eds., NIST Handbook of Mathematical Functions, Cambridge Univ. Press, Cambridge, 2010, available online at https://dlmf.nist.gov/ (accessed 3 August 2018).
• [26] G. Poltyrev, On coding without restrictions for the AWGN channel, IEEE Trans. Inform. Theory 40 (1994), 409–417.
• [27] J. Ramanathan, Methods of Applied Fourier Analysis, Appl. Numer. Harmon. Anal., Birkhäuser, Boston, 1998.
• [28] P. Sarnak and A. Strömbergsson, Minima of Epstein’s zeta function and heights of flat tori, Invent. Math. 165 (2006), 115–151.
• [29] A. Scardicchio, F. H. Stillinger, and S. Torquato, Estimates of the optimal density of sphere packings in high dimensions, J. Math. Phys. 49 (2008), no. 4, art. ID 043301.
• [30] I. J. Schoenberg, Positive definite functions on spheres, Duke Math. J. 9 (1942), 96–108.
• [31] A. Selberg, Collected Papers, II, reprint of the 1991 edition, Springer Collect. Works Math., Springer, Heidelberg, 2014.
• [32] C. L. Siegel, A mean value theorem in geometry of numbers, Ann. of Math. (2) 46 (1945), 340–347.
• [33] B. Simon, Real Analysis, Amer. Math. Soc., Providence, 2015.
• [34] F. H. Stillinger, Phase transitions in the Gaussian core system, J. Chem. Phys. 65 (1976), 3968–3974.
• [35] G. Szegö, Orthogonal Polynomials, 4th ed., Amer. Math. Soc. Colloq. Publ. 23, Amer. Math. Soc., Providence, 1975.
• [36] S. Torquato and F. H. Stillinger, New conjectural lower bounds on the optimal density of sphere packings, Exp. Math. 15 (2006), 307–331.
• [37] J. D. Vaaler, Some extremal functions in Fourier analysis, Bull. Amer. Math. Soc. (N.S.) 12 (1985), 183–216.
• [38] S. Vance, Improved sphere packing lower bounds from Hurwitz lattices, Adv. Math. 227 (2011), 2144–2156.
• [39] A. Venkatesh, A note on sphere packings in high dimension, Int. Math. Res. Not. IMRN 2013, no. 7, 1628–1642.
• [40] M. S. Viazovska, The sphere packing problem in dimension $8$, Ann. of Math. (2) 185 (2017), 991–1015.
• [41] G. N. Watson, A Treatise on the Theory of Bessel Functions, 2nd ed. reprint, Camb. Math. Lib., Cambridge Univ. Press, Cambridge, 1995.
• [42] D. V. Widder, The Laplace Transform, Princeton Math. Ser. 6, Princeton Univ. Press, Princeton, 1941.