2022 · Viazovska 與球堆積：8 維與 24 維的完美擠壓#
2022 費爾茲獎（聖彼得堡 ICM，因俄烏戰爭改為線上）：Maryna Viazovska（烏克蘭），表彰 E₈ 格與 Leech 格中的球堆積最優性——第二位女性費爾茲獎得主
案情提要#
1611 年開普勒寫信給英國數學家 Thomas Harriot：在三維空間裡，最密堆球的方式是「橙子攤」的六角密堆嗎？這個看起來直觀到近乎荒謬的問題——開普勒猜想——花了 389 年（1998 年 Hales 藉助 3 GB 電腦輔助證明、2014 年形式化驗證完成）。更高維的球堆積呢？幾乎所有維度都無人能碰。Viazovska 2016 年以兩篇「各僅 25 頁」的論文，一舉解決 8 維與 24 維——這兩個維度的答案恰好對應兩個最特殊的對稱結構：E₈ 格與 Leech 格。
前因#
| 年份 | 事件 |
|---|---|
| 1611 | 開普勒猜想（3 維） |
| 1900 | Hilbert 第 18 問題 |
| 1930s | Blichfeldt 界限 |
| 1972 | Cohn–Elkies 發展「插值法」上界技術——3 維無法收緊，但 8 維的 E₈「恰好在臨界點上」 |
| 1982 | Conway–Sloane《Sphere Packings, Lattices and Groups》：E₈ 與 Leech 格的聖經 |
| 2016-03 | Viazovska（柏林洪堡、EPFL）貼出 8 維論文 |
調查：插值法與「奇蹟式的輔助函數」#
球堆積上界的鑑識邏輯：找一個函數 f，使它在每個球中心處 ≤ 0、其傅立葉變換 ≥ 0、且 f(0) = 變換(0)——則
密度 ≤ (f(0) 積分權重) / (f̂(0))
這是 Cohn–Elkies 的「線性規劃界」。難處：奇蹟函數 f 到哪裡找？
Viazovska 的破解：
- 候選函數族：Fourier 插值（由 Radchenko–Viazovska 2015 年發展的理論：一類自對偶的函數滿足
f(x) 與 f̂(x)同時在特定格點取值）。 - 8 維時，這族函數的奇偶與模形式結構恰好允許構造出「完美剛性」的輔助函數——E₈ 的模形式空間剛好有合適的權（
E₄²、E₆等基本形式的存在性，是 8 維的特殊性）。 - 結論：
δ(E₈) = π⁴ / 384 ≈ 0.2536（8 維最密堆積密度）
- 一週後與 Cohn、Kumar、Miller、Radchenko 合作完成 24 維（Leech 格）：
δ(Leech) = π¹² / 12!——用 Jacobi 形式 φ₀(τ) = E₂E₄³/Δ 的特殊零點結構。
「正確的輔助函數」必須來自格子的自對偶性與模形式的函數方程——本案的深意：答案的形狀由空間的對稱群決定。
理論裁決#
| 層面 | 結論 |
|---|---|
| 1–3 維 | 開普勒（3 維，Hales 1998 電腦輔助）、FCC/HCP 堆積 |
| 8 維 | E₈ 格最優（Viazovska 2016，純證明） |
| 24 維 | Leech 格最優（Viazovska + 4 人 2016） |
| 4–7、9–23、25+ 維 | 仍未解——本案是「維數的例外主義」最著名案例：8 與 24 的特殊性源自 E₈ 的自對偶與 Leech 的「無短向量」 |
| 4 維 | 最佳上界與下界差距極小，但未證明——「下一個懸案」 |
後果#
| 層面 | 影響 |
|---|---|
| 數論/物理 | E₈ 出現在弦論（heterotic）、Langlands、有限單群——同一個對稱對象的多重身分 |
| 烏克蘭 | 2022 年 2 月戰爭爆發，Viazovska 的領獎演說以烏克蘭語開場；ICM 遷址線上——政治干擾科學的近年最重案例 |
| 榮譽 | 2018 年首獲新視野獎（Breakthrough）、2022 費爾茲獎；2014 Mirzakhani 之後 8 年的第二位女性得主 |
| 懸案續章 | 4 維、5 維、一般維數的球堆積、以及「球與超平面混合堆積」——本案的未結卷宗 |
關聯#
- 上游：1958-Roth定理（數論的「最優界」精神）、2014-Mirzakhani與模空間動力學（第二位女性得主的前案）
- 同場：2022 年諾貝爾物理學獎頒給 Aspect、Clauser、Zeilinger（貝爾不等式與量子糾纏實驗）——同年「例外結構」主題