Algebraic proof of modular form inequalities for optimal sphere packings

オレンジを巨大で目に見えない箱に詰めることを想像してください。潰さずにできるだけ多く詰め込みたいとします。現実世界（3 次元）では、これをかなりうまく行う方法が分かっています（大砲の玉のように積み重ねるなど）。しかし、数学者たちは「高次元」——8 次元や 24 次元のような、私たちが目に見えない空間——におけるこのパズルの解決を試みてきました。

長い間、これらの高次元における最も効率的な充填に関する最良の推測は、$E_8$格子（8 次元）やリーチ格子（24 次元）と呼ばれる、特定の美しいパターンに基づいていました。しかし、これらのパターンが真に「最良」であることを証明することは、極めて困難でした。

2016 年、ヴィアゾフスカとその同僚たちは、これらのパターンが最適であることをついに証明しました。しかし、彼らの証明は複雑なコンピュータ計算と数値近似に大きく依存していました。彼らは数値が合致することを示しましたが、それはまるで膨大なスプレッドシートをチェックしているようなもので、その背後にある深い「なぜ」を理解しているようには感じられませんでした。

そこで登場するのが、イ・セウの新しい論文です。

イ・セウの目標は、純粋に代数的な証明を提供することでした。それは、散らかったスプレッドシートを、清潔で論理的な物語に置き換えるようなものです。彼は、コンピュータに数字を計算させたり、値が「十分に近い」かどうかをチェックしたりする必要なく、関与する数学的対象の固有の規則のみを用いて、同じ結果を証明しようとしたのです。

彼がどのように行ったか、いくつかの創造的な比喩を用いて説明しましょう。

1. 数学的な「材料」

この証明は、モジュラー形式と呼ばれる特別な数学的関数に依存しています。これらは、視点を変えると（数学的には空間を変換すると）、非常に予測可能な振る舞いをする、高度に構造化されたリズミカルな波と考えることができます。

元の証明では、数学者たちは、これらの波の 2 つを比較し、すべての点においてどちらが「大きい」かを確認する必要がありました。それは、レースのすべてのミリ秒ごとにスピードをチェックすることで、あるランナーが常に他のランナーより速いことを証明しようとするようなものです。

2. 「魔法の比率」のトリック

イ・セウの画期的な発見は、すべての点をチェックする代わりに、2 つの波の間の比率を見ることができると気づいたことです。

ランナー A とランナー B の 2 人を想像してください。イ・セウは、毎秒誰が速いかをチェックする代わりに、彼らのスピードの比率を見ました。彼は 2 つの単純なことを証明しました。

1. 極限: レースが始まると（数学的には時間が 0 に近づくにつれて）、彼らのスピードの比率は、特定の既知の数（例えば 36 を$\pi^2$で割った値など）に収束します。
2. 傾向: レースが進むにつれて、この比率は厳密に減少します。決して上がらず、下がることしかありません。

比率が特定の数から始まり、下がることしかないので、ある閾値を超えることは決してありません。この単純な論理により、すべての瞬間をチェックする必要なく、レース全体に対する不等式が証明されます。それは、ボールを空に投げると重力が一定であるため常に落ちてくることを、高さのミリ秒ごとの測定なしに知っているようなものです。

3. 「単調」な滑り台

比率が下がることのみを証明するために、イ・セウはセルレ微分と呼ばれる道具を用いました。これは、これらの数学的波がどのように変化するかを見るための特別な顕微鏡のようなものです。

彼は、この「顕微鏡」を 2 つの波の差に適用すると、その結果が常に正になることを示しました。私たちの比喩で言えば、これは滑り台の傾きが常に下向きであることを証明するようなものです。滑り台が常に下向きであることが分かれば、誤って上へ滑り上がることはあり得ないと分かります。

4. 「極値」形式

彼の証明の重要な部分は、極値擬モジュラー形式と呼ばれる数学的対象のクラスに関わっていました。これらは、そのカテゴリにおける「チャンピオン」のようなもので、特定の規則に対して可能な限り最も効率的な波です。

イ・セウは、これらのチャンピオン波が常に「正の」成分（フーリエ係数がすべて正である）を持つという、長年の予想（予想）を証明しました。これは決定的に重要です。なぜなら、正の数を足し合わせれば、常に正の結果が得られるからです。この正値性が、滑り台が常に下向きであることを証明するための「秘密のソース」でした。

5. 「難しい」不等式

この論文は 3 つの不等式に取り組みます。2 つは「比率」のトリックを用いれば比較的 straightforward でした。3 つ目は、より厄介でした。なぜなら、それは「非モジュラー」項（他のもののような完璧なリズムの規則に従わないもの、例えば多項式や指数関数）を含んでいたからです。

これに対処するために、イ・セウは巧妙でした。彼は厄介な指数関数項を、既知の数学的限界（「安全網」）に置き換え、その後、同じ「単調な滑り台」の論理を用いて、この厄介さがあったとしても不等式が依然として成り立つことを示しました。

結論

イ・セウは、$E_8$格子とリーチ格子の充填が最適であることを再証明しただけではありませんでした。彼は、重厚なコンピュータ計算と数値近似の必要性を取り除きました。

「コンピュータはこれらの数がゼロより大きいと言っている」と言う代わりに、「これらの波の数学的構造が、それらをゼロより大きくすることを強制している」と言ったのです。彼は、複雑な数値検証を、これらの数学的対象の自然な振る舞いに基づいた、清潔で論理的な議論へと変えました。これは、「数学をチェックする」ことから「数学を理解する」ことへの転換です。