次元Euclid空間に合同な
次元球をオーバーラップがないように充填した際の密度の最大値を
とします。現在までに
が決定されているものは以下の通りです。
だけは簡単にわかりますが*1、
で
が決定されていることは著しく感じます。上記の値よりも密な球充填は絶対に存在しないということが数学的に証明されているというのです。想像するだけでその凄さに震えます。我々はどれだけ頑張って八次元空間に
%以上八次元球を詰めようと思っても、もはやそれは無駄な努力なのです。
以下、非常に簡単にではありますが、最密球充填にまつわるお話をしようと思います。
球充填密度
1.1 を
次元Euclid空間とする。Euclid距離を
で表し、内積
を
と定める。をLebesgue測度とする(
は文脈判断で省略)。
1.2 を中心
、半径
の
次元球とする(
)。
とすると(
には依存せず)
が成り立つ。n次元球の体積 - INTEGERS
1.3 が
次元球充填であるとは、相異なる二点
に対して
が成り立つような集合
を用いて
と表せるときにいう()。
1.4 次元球充填
の密度を
と定義する。また、を
と定める。ただし、は
次元球充填をわたる。
1.5 次の定理が示されている([Gr])。
つまり、最密球充填は必ず存在する。
ハニカム球充填
2.1 正六角形による平面充填を行い各正六角形の内接円を考えることによって二次元球充填が得られる。
は容易にわかる。
Thue ([Th])が1890年にこの定理の証明を宣言しているが間違いがあると考えられており、Tóth ([Tó])が1943年に厳密な証明を出版している。ここではHales ([H1])に書かれているRogersのアイデアに基づいた証明を紹介する。
2.2 定理2.1の証明 二次元球充填を任意にとる。半径は
であると仮定して一般性を失わない。
の各円について半径
の同心円を考える(大きい円と呼ぶ)。大きい円が共通内点を持つ場合は二交点と各円の中心を結んで得られる二つの二等辺三角形を考える。
![f:id:integers:20180909074231p:plain:w500 f:id:integers:20180909074231p:plain:w500](https://cdn-ak.f.st-hatena.com/images/fotolife/i/integers/20180909/20180909074231.png)
の円がオーバラップしないことより、二等辺三角形の共通底辺に対する角は
を超えないことに注意。また、三つの大きい円が共通内点を持つことはない。というのも、
の三つの円が最も近づいたとしても次のようになっている。
![f:id:integers:20180909074417p:plain:w500 f:id:integers:20180909074417p:plain:w500](https://cdn-ak.f.st-hatena.com/images/fotolife/i/integers/20180909/20180909074417.png)
よって、二等辺三角形がオーバーラップすることはない。大きい円達の外側からなる集合を 、考えている二等辺三角形達のなす集合
、大きい円の内部から考えている二等辺三角形を引いたもの達からなる集合を
とすると、
と平面の分割が得られる。各
における
の密度がそれぞれ
以下であることを示せばよい。まず、
における
の密度は
である。また、
における
の密度は面積比を考えて
であることがわかり、これは
より小さい。よって、後は
における
の密度を考察すればよい。
の二等辺三角形を一つとって考察する。この二等辺三角形を点
は固定したまま一辺の長さが
の正三角形に写す線形変換
を考える。
![f:id:integers:20180909092615p:plain:w500 f:id:integers:20180909092615p:plain:w500](https://cdn-ak.f.st-hatena.com/images/fotolife/i/integers/20180909/20180909092615.png)
このとき、中心の
の円は
で楕円に写るが、二等辺三角形およびその二等辺三角形と
の円との共通部分(上図で
に囲まれる部分)について、
で変換した後も面積の比は不変である。また、もとの二等辺三角形の等辺の長さは
なので、
がわかる。よって、考えている密度は正三角形に占める半径
の扇型
の密度で上から押さえることができる(先ほどの
を超えないという注意から楕円は縦長である)。そして、それは
である。
2.3 ハニカム球充填の場合は であり、線形変換
は恒等変換である。
Kepler予想
3.1 密度がであるような三次元球充填が存在する。
面心立方格子構造 - Wikipedia
六方最密充填構造 - Wikipedia
これらが最密構造を与えるだろうということは非常に古くから予想されていた(HarriotとKeplerに始まる)。
Gauss ([Ga])は格子球充填(4.6)に限定した場合にKepler予想を解決していた。
3.2 Kepler予想はHalesを主導に証明されているが、この記事では詳細を述べることができない。1998年には証明を宣言し、2005年に核となる論文([H2])が出版されている。彼の証明は複雑なコンピュータ計算を伴うものであるが([HF])、2015年には形式的証明のプロジェクトが成功したことが報告されている。
格子
格子があれば付随する球充填を得ることができる。の場合には非常に良い格子が存在する。
4.1 が格子であるとは、
の
-線形空間としての基底
を用いて
と表されるときにいう。が全て整数であるとき
は整格子であるといい、
が全て偶数であるとき
は偶格子であるという。
が成り立ち、
であるとき
はユニモジュラーであるという。二つの格子が同型であるとは直交線形変換で移り合うときにいう。
4.2 はユニモジュラーな整格子であるが、偶格子ではない(奇格子)。
で定義されるは偶格子であるが、ユニモジュラーではない。
4.3 を格子とする。このとき、
の双対格子
を
で定める。が整格子であれば
が成り立ち、更にユニモジュラーであれば
が成り立つ(自己双対)。
4.4 -格子
は
と定義することができる。名前の由来はが
-ルート系に付随するルート格子になっていることから。
の二点間距離は
である。次の定理はMordell ([Mo])による。
4.5 Leech ([Le])はLeech格子を構成した。
を拡張二元Golay符号(解説略)とし、
を
と定義すると
はLeech格子の一つの構成となっている。の二点間距離は
である。Conway ([Con])はLeech格子の次の特徴付けを与えた。
4.6 次元球充填
が格子球充填であるとは、格子
が存在して
を構成する球の中心のなす集合が
に一致するときにいう。
による格子球充填
を構成する球の半径が
であるとき、
が成り立つ。の二点間最小距離を
とすると、
として取り得る最大値は
である。
4.7 -格子
の二点間最小距離は
であり、
-球充填(半径
の八次元球による
-格子球充填)の密度は(4.6), (1.2) および
のユニモジュラー性より
である。
4.8 Leech格子の二点間最小距離は
であり、Leech球充填(半径
の
次元球による
-格子球充填)の密度は(4.6), (1.2) および
のユニモジュラー性より
である。
4.9 次元球充填
が周期的球充填であるとは、或る格子
が存在して
が任意の
に対して成り立つときにいう。
Fourier変換とPoisson和公式
5.1 のFourier変換
を
と定義する。
5.2 がSchwartz関数であるとは、任意の多重指数
と正整数
に対して
が成り立つときにいう。Schwartz関数全体のなす空間をと書く。
であれば、そのFourier変換についても
である。
5.3 (Poisson和公式) 格子,
に対して
が成り立つ。これは一種の双対性である。
5.4 より一般にに対して
が成り立つ。
Cohn−Elkiesの定理と魔法関数の存在予想
6.1 とする。
が(
次元)
-補助関数であるとは、
が成り立つときにいう。-補助関数の条件は原点を固定する回転変換で不変なので、必要ならば対称化することによって
は球対称関数(
のみに依存する関数)であると仮定してよい。このとき、Fourier変換
も球対称関数となる。
6.2 Cohn−Elkies ([CE])によって示された次の定理は一般のに対して
を上から押さえることに利用でき、更に
を確定させることにも決定的に重要な役割を果たす。
以下、(6.3)から(6.5)でこの定理を証明する。
6.3 以下、(6.5)まで次元
-補助関数
が存在すると仮定する。任意の
次元球充填
に対して
が成り立つことを示す必要があるが、まず
が格子球充填の場合を考える。実際は次の(6.4)で周期的球充填の場合の証明に含まれているが、証明のアイデアを見るのによいのでこの節をおく。
を格子とする。相似拡大・縮小で密度は変わらないので、
の二点間最小距離は
であると仮定しても一般性を失わない。
-格子球充填として球の半径が最大である
の場合に考えれば十分なので、(4.6)より
が示すべきことであり、つまりを示せばよい。
-補助関数
と格子
に対するPoisson和公式(5.3)
について、原点を除くの元は絶対値が
以上なので、(6.1.2)より左辺は
で上から押さえられる。一方、(6.1.3)より右辺は
で下から押さえられる。よって
がわかるが、(6.1.1)よりが得られる。
6.4 周期的球充填の場合を考える。格子による周期的球充填
を考え、
の作用による
の球の中心の軌道の代表系を
とする。球の半径は
であると仮定して一般性を失わない。このとき、(4.6)と同様に考えて
が成り立つ。よって、この場合に示すべきことはである。
を思い出して、(5.4)を用いると
が成り立つことがわかる。球の半径がなので、
または
であれば
であり、(6.1.2)より左辺は
で上から押さえられる。また、右辺は
のときだけを残すことによって(6.1.3)より
で下から押さえられる。従って、
がわかり、(6.1.1)よりが示された。
6.5 定理1.5で存在する次元最密球充填
をとる。格子
を任意にとって
を
の基本領域とする(つまり、
は
と合同な多面体で分割されている)。このとき、
が成り立つ。よって、を任意にとったとき
が十分大きければ
となる。ここで、を
の境界と交わりを持たない球のみからなる
の部分集合とする。境界部分は次元が落ちているため、
が十分大きければ
とできる。よって、
を得る。すなわち、を単位として繰り返した
による周期的球充填を
とすれば
であり、(6,4)より
が示された。は任意なので、
が結論付けられた。
6.6 Cohn−Elkiesは という形の関数(
は多項式)を用いて数値実験で実際に補助関数を作り、定理6.2を適用することによって多くの
について
の上からの評価の新記録を打ち立てた。そして、彼らの実験結果は
の場合については定理6.2による評価で予想される
の値(それぞれ
-球充填、Leech球充填の密度(4.7), (4.8) )に真に到達できるだろうということを示唆していた。
6.7 を
次元
-補助関数とし、
を二点間最小距離が
の格子とする。このとき、
-格子球充填の密度が
に一致するための必要十分条件は
が
の元を全て零点に持ち、
が
の元を全て零点に持つことである。これは、(6.3)の不等式評価において等号が成り立つことと同値であることからわかる。この条件が成り立つとき、Poisson和公式から
が成り立つ。
6.8 球対称な が
-魔法関数であるとは、
,
に対する(6.1.2), (6.1.3)を満たし、
と
がともに
なる
を零点にもつときにいう。
-魔法関数が存在すれば定理6.2によって
が確定する。
6.9 球対称な が
-魔法関数であるとは、
,
に対する(6.1.2), (6.1.3)を満たし、
と
がともに
なる
を零点にもつときにいう。
-魔法関数が存在すれば定理6.2によって
が確定する。
6.10 (6.6)で述べた数値実験による示唆からCohn−Elkiesは次を予想した。
関数とそのFourier変換について、同時に与えられた零点を持つようにすることが一つの困難であった。
Viazovskaと魔法関数
7.1 を偶数とする。このとき、
をEisenstein級数
とする。はRiemannゼータ関数で、
。
は
に関する重さ
のモジュラー形式ある。
7.2 を
で定める。これはモジュラー形式ではないが、
を満たす準モジュラー形式である。
7.3 三つのテータ関数 を
と定義する。が
に関する重さ
のモジュラー形式となっている。
7.4 Viazovska ([Vi])は長年懸案であった次の定理を鮮やかに解決した。
7.5 §6の結果により、定理7.4を示すには-魔法関数が存在することを示せばよいが、Viazovskaは実際に
-魔法関数を次のように構成した。
をそれぞれ
とするとき、を
と定義する。この表示はで収束するが、
に解析的に延長できる。そうして、(準)モジュラー性を要として、Viazovskaは
が実際に
-魔法関数(6.8)になっていることを解析で証明した。
7.6 Viazovskaの手法を元にして、Cohn−Kumar−Miller−Radchenko−Viazovskaによって次元の場合も解決された。
7.7 §6の結果により、定理7.6を示すには-魔法関数が存在することを示せばよい。
をそれぞれ
とするとき、を
と定義する。この表示はで収束するが、
に解析的に延長できる。そうして、(準)モジュラー性を要として、
が実際に
-魔法関数(6.9)になっていることが解析で証明される。
以上で最密球充填に関する簡単な解説を終わります。
参考文献
[Con] J. H. Conway, A characterization of Leech’s lattice, Invent. Math. 121 (1969), 119–133.
[Coh] H. Cohn, Conceptual breakthrough in sphere packing, Notices of the American Mathematical Society 64 (2017), 102-115.
[CE] H. Cohn, N. Elkies, New upper bounds on sphere packings I, Annals of Mathematics, 157 (2003), 689–714.
[CKMRV] H. Cohn, A. Kumar, S. Miller, D. Radchenko, M. Viazovska, The sphere packing problem in dimension , Annals of Mathematics, 185 (3) (2017), 1017–1033.
[Ga] C.F. Gauss, Besprechung des Buchs von L.A. Seeber: Intersuchungen über die Eigenschaften der positiven ternären quadratischen Formen usw, Göttingsche Gelehrte Anzeigen, (1831).
[Gr] H. Groemer, Existenzsätze für Lagerungen im Euklidischen Raum, Math. Z. 81 (1963), 260–278.
[H1] T. Hales, Cannonballs and honeycombs, Notices of the American Mathematical Society, 47 (4) (1831), 440–449.
[H2] T. Hales, A proof of the Kepler conjecture, Annals of Mathematics, 162 (3) (2005), 1065–1185.
[HF] T. Hales, S. P. Ferguson, The Kepler conjecture, Discrete and Computational Geometry, 36 (1) (2006), 1–269.
[Le] J. Leech, Some sphere packings in higher space, Can. J. Math., 16 (1964), 657–682.
[Mo] L. J. Mordell, The definite quadratic forms in eight variables with determinant unity, J. Math. Pures Appl. 17 (1938), 41–46.
[Th] A. Thue, Über die dichteste Zusammenstellung von kongruenten Kreisen in einer Ebene, Norske Vid. Selsk. Skr. No.1 (1910), 1–9.
[Tó] L. F. Tóth, Über die dichteste Kugellagerung, Math. Z. 48 (1943), 676–684.
[Vi] M. Viazovska, The sphere packing problem in dimension , Annals of Mathematics, 185 (3) (2017), 991–1015.
丸の内で共にビールを飲みながら§2についてコメントをくださったWalker氏に感謝致します。
*1:「一次元球」は「線分」です。