[论文解读] Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

Henry Cohn, Abhinav Kumar+3 more|arXiv (Cornell University)|Feb 13, 2019

Point processes and geometric inequalities被引用 9

一句话总结

本文通过建立径向施瓦茨函数的新型插值公式，证明了在8维和24维空间中，$E_8$ 和李希格格点的普遍最优性。利用精确的线性规划界，并通过模形式的积分变换构造辅助函数，作者证明了这些格点在所有完全单调势函数下均最小化能量，包括反幂律和高斯函数，展示了此前在高维中未被认识的稳健且多功能的最优性。

ABSTRACT

We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown optimality as sphere packings, and broadly generalizes it to allow for long-range interactions. The proof uses sharp linear programming bounds for energy. To construct the optimal auxiliary functions used to attain these bounds, we prove a new interpolation theorem, which is of independent interest. It reconstructs a radial Schwartz function $f$ from the values and radial derivatives of $f$ and its Fourier transform $\widehat{f}$ at the radii $\sqrt{2n}$ for integers $n\ge1$ in $\mathbb{R}^8$ and $n \ge 2$ in $\mathbb{R}^{24}$. To prove this theorem, we construct an interpolation basis using integral transforms of quasimodular forms, generalizing Viazovska's work on sphere packing and placing it in the context of a more conceptual theory.

研究动机与目标

• 证明$E_8$和李希格格点在$\mathbb{R}^8$和$\mathbb{R}^{24}$中所有点配置里是普遍最优的，对所有完全单调势函数最小化能量。
• 在$\mathbb{R}^8$和$\mathbb{R}^{24}$中，为径向施瓦茨函数开发一种新的插值定理，从特定半径处的函数值和径向导数值重构函数。
• 通过拟模形式的积分变换构造线性规划界所需的最优辅助函数，推广维亚佐夫斯卡的球体堆积方法。
• 证明$E_8$和李希格格点不仅在球体堆积中是最优的，而且在所有由完全单调势函数控制的长程相互作用中也最优。
• 提供一个将模形式、函数方程与高维球体堆积和编码理论中的能量最小化相联系的概念性框架。

提出的方法

• 开发一种新型插值公式，从$\mathbb{R}^8$中$ n \geq 1 $和$\mathbb{R}^{24}$中$ n \geq 2 $时半径$\sqrt{2n}$处的函数$f$及其傅里叶变换$\widehat{f}$的值和径向导数，重构径向施瓦茨函数$f$。
• 利用拟模形式的积分变换构造线性规划界所需的辅助函数，以实现能量的精确边界。
• 在群代数$\mathbb{C}[\mathrm{PSL}_2(\mathbb{Z})]$中应用函数方程，推导插值和对偶性论证所需的核结构。
• 通过模形式理论证明所构造核的非负性，确保线性规划界是紧致的。
• 通过证明$E_8$和李希格格点对所有完全单调势函数最小化能量，采用普遍最优性的概念。
• 使用重归一化的能量定义和下极限，定义无限点集的$p$-能量，从而实现不同点集在固定密度下的比较。

实验结果

研究问题

• RQ1 能否证明$E_8$和李希格格点对所有完全单调势函数（而不仅仅是反幂律或高斯函数）最小化能量？
• RQ2 在$\mathbb{R}^8$和$\mathbb{R}^{24}$中，是否存在一种通用的插值公式，能从特定半径处的径向施瓦茨函数及其导数的值重构函数？
• RQ3 能否将线性规划界中最优辅助函数的构造方法，通过模形式推广至球体堆积之外？
• RQ4 为何$E_8$和李希格格点在多种能量函数下表现出如此卓越的鲁棒性？其背后的结构性质是什么？
• RQ5 拟模形式及其积分变换在高维能量最小化中构造精确边界的机制是什么？

主要发现

• 在$\mathbb{R}^8$和$\mathbb{R}^{24}$中，$E_8$和李希格格点是普遍最优的，对所有完全单调势函数（包括反幂律和高斯函数）最小化能量。
• 提出一种新的插值定理，可在$\mathbb{R}^8$和$\mathbb{R}^{24}$中从$ f $和$ \widehat{f} $在半径$\sqrt{2n}$处的值和径向导数重构径向施瓦茨函数，其中$ n \geq 1 $和$ n \geq 2 $分别对应$\mathbb{R}^8$和$\mathbb{R}^{24}$。
• 线性规划界所需的最优辅助函数通过拟模形式的积分变换构造，推广了维亚佐夫斯卡的球体堆积方法。
• 通过模形式理论证明了所构造核的非负性，确保边界是紧致的，且最优性具有普遍性。
• 结果推广并强化了先前的球体堆积最优性定理，表明$E_8$和李希格格点不仅在堆积中最优，而且在所有长程相互作用中也最优。
• 数值证据和猜想表明，这种普遍最优性在$\mathbb{R}^2$中不成立，因为距离集合更稀疏，导致插值性质失效，尽管二维情况仍为开放问题。