On Sarnak--Strömbergsson conjecture

技術要約：3次元におけるサーナック–ストレンバーグソン予想について

問題提起
本論文は、固定された共体積（1に設定）の下での、3次元（$\mathbb{R}^3$）における2つの基本的な格子エネルギー関数の最小化について扱う。これら2つの関数は以下の通りである：

1. テータ関数（Theta Function）: $\Theta(\alpha, L) = \sum_{v \in L} e^{-\pi \alpha |v|^2}$ （ただし $\alpha > 0$）。これはガウスポテンシャルの下での格子のエネルギーを表す。
2. エプスタイン・ゼータ関数（Epstein Zeta Function）: $E(L, s) = \sum_{v \in L \setminus \{0\}} |v|^{-2s}$ （ただし $s > 3/2$）。これはリースのポテンシャルの下でのエネルギーを表す。

中心となる問題は、これらのエネルギーを最小化する格子構造を特定することである。2次元の場合（六角格子がすべてのパラメータにおいて最適である）は十分に理解されているが、3次元の場合については、長らく未解決のままとなっていた。具体的には、本論文は、異なるパラメータ領域におけるこれらの関数の特定の最小化因子を提唱するサーナック–ストレンバーグソン予想 [41] の解決を目指している。

手法
著者らは、解析的な推定とコンピュータによる検証を組み合わせた、厳密な「ローカル・グローバル」戦略を採用している。その手法は、以下の明確な段階を経て進行する：

1. 幾何学的簡約とカスプの除外：
   格子形状の空間は、修正されたグレニエの基本領域を用いて簡約される。著者らはまず、「カスプ」（極端に短いベクトルを持つ格子）を除外する。これは、そのような格子が参照格子（面心立方格子（FCC）、体心立方格子（BCC））よりも厳密に高いエネルギーを持つことを示すことで行われる。これにより、最小化問題は格子の形状のコンパクト集合へと還元される。

2. 局所解析（テイラー展開）：
   著者らは、FCCおよびBCCの参照格子の周囲で、高次の局所展開を行う。

• テータ関数: FCCおよびBCC付近のヘッセ行列および高次項を分析する。主要な困難は、自己双対スケール（$\alpha=1$）における遷移であり、ここで最小化因子がFCCからBCCへと切り替わる。著者らは、ポアソン和公式を利用して、$\alpha$ における挙動を $1/\alpha$ に関連付けることで、双対性を通じてBCCの近傍を制御する。
• エプスタイン・ゼータ関数: 著者らは、エワルド表現と正のカーネル $G(a, x)$ を用いてエネルギーを表現する。ヘッセ行列および3次・4次微分を計算し、局所的な安定半径を拡大するために、符号付きの3次および4次の項を保持する。これにより、全範囲 $s > 3/2$ におけるFCCの局所的な最小性を証明することが可能となる。

3. 大域的比較（外部推定）：
   FCCおよびBCCの局所的な近傍の外側にある格子形状に対しては、有限和近似と凸性論証を用いる。

• テータ関数については、「凸継続（convex continuation）」補題を用いる。特定のスケール（$\alpha=5$）における正の微分と値の比較を確立することで、この不等式をすべての $\alpha \ge 5$ に対して拡張する。
• エプスタイン関数については、「上部曲率補間（upper-curvature interpolation）」および凸べき和比較を用いる。競合ベクトルの有限和と、参照テイル（tail）に関する厳密な境界を用いて、パラメータボックス上のエネルギー差を抑える。

4. コンピュータによる検証：
   証明は、有限のパラメータ（指数および形状座標）の集合上での不等式を検証するために、区間演算と有理境界に大きく依存している。著者らは、カーネル境界、シェルの多重度、および微分推定に関する厳密な包含関係を提供しており、すべての数値近似が数学的に健全であることを保証している。

主な貢献と結果
本論文は、3次元における格子エネルギー問題の最小化問題に対する完全な解決策を提供し、サーナック–ストレンバーグソン予想を裏付けるものである。

• テータ関数の最小化: 最小化因子はガウス・スケール $\alpha$ に依存する：

  • $\alpha > 1$ の場合、FCC格子が唯一の全域的最小因子である。
  • $\alpha < 1$ の場合、BCC格子が唯一の全域的最小因子である。
  • $\alpha = 1$ の場合、FCCとBCCの両方が全域的最小因子である（両者は等しいエネルギーを持つ）。
    この結果は、自己双対スケールにおける相転移を浮き彫りにしており、すべてのスケールにおいて六角格子が最適である2次元の場合とは対照的である。

• エプスタイン・ゼータ関数の最小化:

  • すべての $s > 3/2$ において、FCC格子が唯一の全域的最小因子である。
  • この結果は、臨界的な有限部分（$s = 3/2$、スペクトル高さに関連）を含む、収束範囲全体にわたって一様に成立する。

意義
本論文は、3次元におけるこれらの格子エネルギー問題の全域的最適性のための、初の包括的かつ厳密な証明を提供したと主張している。

• 主要な予想の解決: 解析数論および固体物理学の両面において、ブランとルヴァンによって重要な未解決問題として強調されてきたサーナック–ストレンバーグソン予想を解決した。
• 次元間の差異の明確化: 2次元の場合（六角格子が普遍的に最適である）と、3次元の場合（最適な構造が相互作用の範囲やスケールに依存する）との鋭い対比を厳密に確立した。
• 物理的関連性: FCCが多くの短距離相互作用の基底状態であるという観察（ケプラー予想や原子的結晶化と一致）を検証すると同時に、特定の長距離相互作用ポテンシャルや特定のガウス・スケールの下でBCCが出現することを裏付けている。
• 方法論的進展: サーナックとストレンバーグソンの手法を、臨界指数 $s=3/2$ から全範囲 $s > 3/2$ へと拡張し、テータ関数の問題におけるFCCとBCCの間の遷移を扱うための堅牢な枠組みを提供した。

著者らは、自らの結果が厳密な解析的推定とコンピュータによる証明から導出されており、ヒューリスティックな議論を排除していること、そして、これまで「ほぼ完全に未解決」とされていた3次元における状況が、これらの特定のエネルギー汎関数に対して包括的に解決されたことを強調している。