A dual linear programming bound for sphere packing in dimension 36

技術要約：36次元における球充填に関する二重線形計画法境界

問題設定
本論文は、次元 $d=36$ における球充填問題、特にコーン＝エルキース（Cohn–Elkies）の線形計画法（LP）境界に焦点を当てている。LP境界は次元8および24では鋭い（sharp）ことが知られているが、その鋭さは他のすべての次元において未解決の課題である。著者は、コーン＝エルキース境界 $\delta_{LP}(d)$ が、現在知られている最良の充填 $\delta^*(d)$ の最適性を証明できるかどうかを調査している。次元36における最良の既知の充填は、中心密度 $2^{18}/3^{10}$ を持つKschischang–Pasupathy構成である。目的は、$\delta_{LP}(36)$ の下限をKschischang–Pasupathy充填の密度よりも厳密に大きくする「双対実行可能点」（特定の補助関数）を構築することである。もし成功すれば、いかなるコーン＝エルキース関数も、既知の充填を最適であると証明できないことが証明される。

手法
構築は、コーンおよびトリアンティフィロウ（Cohn and Triantafillou）の手法に従い、合同部分群 $\Gamma_0(24)$ に対する重さ18のモジュラー形式の空間を利用している。手法の核となるのは、LP境界のための有効な分布を生成するために、特定の係数制約を満たす重さ $k=18$（ここで $k=d/2$）の一対のモジュラー形式 $(g, \tilde{g})$ を見つけることである。

本論文は、次元36において、従来の（次元32まで成功していた）手法が直面した数値的および理論的な障害を解決するために必要な、2つの重要な手法上の革新を詳述している：

1. 制約生成（切断平面定式化）:
   有限の $n$ まで係数の非負性を強制する素朴な線形計画緩和では、強制された範囲の直後（具体的には $n \equiv 3, 9, 15, 21 \pmod{24}$ の場合）に最適値が即座に負になってしまう。逆に、数百行の制約を持つ完全な制約付き問題は、浮動小数点ソルバーに対して数値的に特異（singular）であり、また、厳密な密な単体法（dense simplex methods）を用いるには規模が大きすぎた。

• 解決策: 著者は、制約生成アプローチを採用している。小さなワーキングセットに対して厳密な有理線形計画法（rational LP）を解く。違反した行（係数が負となる行）を正確に特定して制約集合に追加し、LPを再解釈する。次元36において、このプロセスは単一のラウンドで収束し、強制された範囲を遥かに超えて非負性を維持する厳密な有理頂点を導き出した。

2. リフトを考慮したデリーニュ定数（Lift-Aware Deligne Constant）:
   「最終的な正値性」（係数がすべての $n > n_0$ に対して非負であり続けること）を証明するには、モジュラー形式のカスプ形式の部分を抑え込む必要がある。標準的なデリーニュ境界は、新しい形式のリフト基底における座標の $\ell_1$ ノルムを使用する。

• 解決策: 著者は、この文脈において素朴な $\ell_1$ ノルマが「損失が多い（lossy）」ことを特定した。なぜなら、証明書は単一の深いオールドフォーム・リフト（レベル1のニューフォームを $e=24$ だけシフトしたもの）によって支配されているからである。素朴な定数は検証閾値にわずかに届かなかった。著者は、「リフトを考慮した」定数 $C_w = \sum_{f,e} |\lambda_{f,e}| e^{-(k-1)/2}$ を導入し、これにより深いリフトの寄与を因子 $e^{-(k-1)/2}$ によって抑制する。この洗練された定数は、標準的なものより10桁小さく、検証を十分な余裕を持って完了させることを可能にした。

主要な結果
論文は、明示的な双対実行可能点 $(g, \tilde{g})$ を構築し、以下の結果を導き出している：

• 双対境界: 構築された証明書は、次元36におけるコーン＝エルキース線形計画法境界が以下を満たすことを確立している：
  $$\delta_{LP}(36) \geq 146.1036\dots = 32.9104\dots \times \frac{2^{18}}{3^{10}}$$
• 既知の充填との比較: この下限は、Kschischang–Pasupathy充填の密度（$2^{18}/3^{10}$）を少なくとも 32.91 倍上回っている。
• 含意: したがって、いかなるコーン＝エルキース補助関数も、次元36におけるKschischang–Pasupathy充填を最適であると証明することはできない。LP境界は、既知の充填密度よりも厳密に高い。
• 検証の厳密性: 証明書は厳密である。双対点は、約128桁の分子を持つ有理ベクトルである。係数の非負性は、$n=800$ までの厳密な算術によって検証されている。$n > 800$ については、リフトを考慮したデリーニュ定数と明示的なテイル境界を用いて、最終的な正値性が証明されており、すべての定数は外側への丸め（outward-rounded）区間演算によって保証されている。

意義および主張
本論文は、球充填およびモジュラー形式の分野におけるいくつかの重要な貢献を主張している：

1. 既知の境界の拡張: これは、次元32を超える次元において構築された最初の双対境界である。これは、既存のコーン＝トリアンティフィロウの表（$d=12, 16, 20, 28, 32$ をカバー）や、Li（$3 \le d \le 13$）、de Courcy-Irelandら（$d=6$）の成果を拡張するものである。
2. 手法上の進展: 本論文は、厳密なテイルセーフな最適値に到達するためには、制約生成の定式化が不可欠であることを強調している。さらに、深いオールドフォーム・リフトによって支配されるケースにおいて、標準的な境界が失敗するシナリオでは、リフトを考慮したデリーレニュ定数が必要であることを示している。
3. 結果の性質: 著者は、双対の主張は強力である（ギャップが大きい）ものの、「厳密な非鋭利性（strict non-sharpness）」（$\delta_{LP}(36) > \delta_{max}(36)$、ここで $\delta_{max}$ は真の最適密度）の証明は依然として困難であることを述べている。厳密な非鋭利性を証明するには、既存の三点境界法（three-point bound techniques）では到達不可能な、$\delta^*$ の $32.91$ 倍を下回る独立した上限が必要となる。
4. 再現性: 本研究は、検証がモジュラー形式のメカニズムを持つコンピュータ代数システムに依存せず、厳密な有理線形代数と区間演算のみに基づいていることを強調している。すべてのコード、レシート、および厳密なデータは、付随ファイルとして提供されている。

論文は、次元36が、既知の記録的な充填がLP境界に対して相対的に弱いという、質的に異なる領域であることを示唆して締めくくられている。これにより、双対の主張は強力であるが、最適性の問題自体はより困難な解決を要するという結論に至っている。