[論文レビュー] Some properties of optimal functions for sphere packing in dimensions 8 and 24

Henry Cohn, Stephen D. Miller|arXiv (Cornell University)|Mar 15, 2016

Mathematical Approximation and Integration参考文献 19被引用数 9

ひとこと要約

本論文は、次元8および24における球充填の最適関数に強く収束すると予想される、明示的に構成された関数の列を提案する。これらの関数はCohn-Elkies条件を満たす。フーリエ解析と数値計算を用いて、収束の強力な証拠が得られ、テイラー係数やメリン変換値における予期せぬ有理数性の発見がなされ、これらの次元における球充填最適性の証明を、コンピュータ最適化されていないより単純な方法へと導く可能性を示唆する。

ABSTRACT

We study some sequences of functions of one real variable and conjecture that they converge uniformly to functions with certain positivity and growth properties. Our conjectures imply a conjecture of Cohn and Elkies, which in turn implies the complete solution to the sphere packing problem in dimensions 8 and 24. We give numerical evidence for these conjectures as well as some arithmetic properties of the hypothetical limiting functions. The conjectures are of greatest interest in dimension 24, in light of Viazovska's recent solution to the Cohn-Elkies conjecture (and consequently the sphere packing problem) in dimension 8.

研究の動機と目的

• 次元8および24における球充填の最適関数を満たすCohn-Elkies条件を満たす関数の列を明示的に構成すること。
• 従来のコンピュータ支援証明で用いられた高度に最適化された、特異的で恣意的な多項式とは概念的に異なる代替手法を提供すること。
• 仮説的な極限関数の数値的および算術的性質（特にテイラー係数およびメリン変換における有理数性）を調査すること。
• 複雑で数値的に導かれた多項式に代えて、体系的に構築された関数を用いることで、球充填最適性の証明を簡略化する枠組みを提供すること。

提案手法

• 次元nでパrameter化された関数の列を導入し、Cohn-Elkiesの符号条件および成長条件を満たす関数に一様収束するように設計する。
• フーリエ解析とポincare和公式を用いて、これらの関数の性質と球充填密度の上限との関係を関係づける。
• 高精度浮動小数点計算を用いて、R⁸およびR²⁴において50桁を超える精度で収束性および密度上限を数値的に検証する。
• 極限関数のテイラー係数およびメリン変換を分析し、予期せぬ有理数性のパターンを発見する。
• フーリエ変換の固有関数を用いて、最適関数の構造的性質を特定する。
• 解析接続および積分記号下での微分を用いて、ガウス関数および三角関数項を含む関数のフーリエ変換を計算する。

実験結果

リサーチクエスチョン

• RQ1 提案された関数の列は、次元8および24において、Cohn-Elkies条件を満たす関数に一様収束するか？
• RQ2 極限関数のテイラー係数は有理数性を示すか？ もしそうならば、そのパターンを用いてべき級数による関数の構成が可能か？
• RQ3 極限関数のメリン変換は、説明のつかない有理数性の性質を示すか？
• RQ4 極限関数の構造は、特に4の倍数でない次元において、主要項に摂動を加えた形で説明可能か？
• RQ5 関数の根（特に虚根および余分な実根）には、より深い算術的または幾何的解釈が存在するか？

主な発見

• 関数の列は、数値的にCohn-Elkies条件を満たす関数に収束し、R⁸およびR²⁴において密度上限が50桁を超える精度で正確に得られている。
• 次元8および24における極限関数の2次テイラー係数は有理数であるように見えることから、べき級数による関数構成の可能性が示唆される。
• 極限関数のメリン変換は、特定の点で有理数値を示し、予期せぬ算術的構造が存在することを示している。
• 次元8では、極限関数がフーリエ変換の固有値+1の固有関数であると予想されており、j > 0に対して純虚根 √−2j を持つ。
• 次元24では、極限関数が√−(2j−1)の摂動を伴う根を持つと予想されており、その摂動は次元に依存し、正確には奇数とは一致しない。
• 関数の列がフーリエ変換の固有関数であることが示され、微分を積分記号下で行う方法およびガウス積分の性質を用いて、明示的な公式が導出された。