[論文レビュー] 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

ひとこと要約

本稿は、径数 Schwartz 関数のための新規補間公式を確立することで、8次元および24次元における $E_8$ および Leeche 格子の普遍的最適性を証明する。鋭い線形計画法の境界と、擬モジュラー形式の積分変換を用いた補助関数の構成により、逆べき乗則やガウス関数を含むすべての完全単調ポテンシャル関数に対してエネルギーを最小化する、従来の高次元では知られていなかった堅牢で多機能的な最適性を示している。

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.

研究の動機と目的

• 8次元および24次元の点配置において、$E_8$ および Leeche 格子がすべての完全単調ポテンシャル関数に対してエネルギーを最小化することを確立すること。
• 8次元および24次元の径数 Schwartz 関数のための新しい補間定理を構築し、特定の半径における関数およびその径方向微分の値から関数を再構成すること。
• 擬モジュラー形式の積分変換を用いて、線形計画法の境界に必要な最適補助関数を構成し、Viazovska の球体充填法を一般化すること。
• $E_8$ および Leeche 格子が球体充填の最適性にとどまらず、完全単調ポテンシャルで制御されるすべての長距離相互作用に対しても最適であることを示すこと。
• モジュラー形式、関数方程式、および高次元球体充填および符号理論におけるエネルギー最小化を結びつける概念的枠組みを提供すること。

提案手法

• 8次元では $n \geq 1$、24次元では $n \geq 2$ の $\sqrt{2n}$ の半径における関数 $f$ 及びそのフーリエ変換 $\widehat{f}$ の値と径方向微分の値から、径数 Schwartz 関数 $f$ を再構成する新しい補間公式を構築する。
• エネルギーに対する鋭い線形計画法の境界に必要な補助関数を、擬モジュラー形式の積分変換を用いて構成する。
• 群代数 $\mathbb{C}[\mathrm{PSL}_2(\mathbb{Z})]$ における関数方程式を適用し、補間および双対性の議論に必要なカーネル構造を導出する。
• モジュラー形式理論を用いて構築されたカーネルの正定値性を証明し、線形計画法の境界がタイトであることを保証する。
• すべての完全単調ポテンシャル関数に対してエネルギーを最小化することを示すことで、$E_8$ および Leeche 格子の普遍的最適性を実証する。
• 正規化されたエネルギー定義と下限の極限を用いて、無限配置における $p$-エネルギーを定義し、固定密度における異なる点集合間の比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 すべての完全単調ポテンシャル関数（逆べき乗則やガウス関数を含む）に対して、$E_8$ および Leeche 格子がエネルギーを最小化することを示せるか？
• RQ2 8次元および24次元において、特定の半径における関数およびその微分の値から径数 Schwartz 関数を再構成する普遍的な補間公式は存在するか？
• RQ3 球体充填を超えて、モジュラー形式を用いた補助関数の構成を一般化できるか？
• RQ4 $E_8$ および Leeche 格子が多様なエネルギー関数に対してどのようにして極めて強固な最適性を示すのか、その背後にある構造的性質は何か？
• RQ5 擬モジュラー形式およびその積分変換は、高次元におけるエネルギー最小化の鋭い境界を構築する上で果たす役割は何か？

主な発見

• $E_8$ および Leeche 格子は、8次元および24次元において、逆べき乗則やガウス関数を含むすべての完全単調ポテンシャル関数に対して普遍的最適である。
• 8次元および24次元において、関数 $f$ 及びそのフーリエ変換 $\widehat{f}$ の値と径方向微分の値から、径数 Schwartz 関数を $\sqrt{2n}$（$n \geq 1$ および $n \geq 2$）の半径で再構成する新しい補間定理が確立された。
• 線形計画法の境界に必要な最適補助関数は、擬モジュラー形式の積分変換を用いて構成され、Viazovska の球体充填法が一般化された。
• 構築されたカーネルの正定値性はモジュラー形式理論により証明され、境界が鋭く、最適性が普遍的であることが保証された。
• 従来の球体充填最適性定理を一般化し、$E_8$ および Leeche 格子が充填の最適性にとどまらず、すべての長距離相互作用に対しても最適であることが示された。
• 数値的証拠と予想により、このような普遍的最適性は $\mathbb{R}^2$ に拡張されないことが示唆されており、距離集合の疎らさのため補間性質が成立しないが、2次元の場合は未解決のままである。