[論文レビュー] A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve

Thomas Hales|arXiv (Cornell University)|Sep 26, 2012

Mathematics and Applications参考文献 3被引用数 3

ひとこと要約

この論文は、各球が正確に12個の他の球に接する3次元球体充填において、それが六方最密充填（HCP）または面心立方最密充填（FCC）の層から成る必要があるというフェイェス・トーティの予想を証明している。球面幾何、ハイパーマップ分類、およびコンピュータ支援線形計画法を組み合わせることで、「穏やかな接触パラメータ」を持つ唯一の可能な接触配置はFCCおよびHCPパターンに限られることを示し、予想を裏付けた。

ABSTRACT

In 1969, Fejes Toth conjectured that in Euclidean 3-space any packing of equal balls such that each ball is touched by twelve others consists of hexagonal layers. This article verifies this conjecture.

研究の動機と目的

• 3次元球体充填における接触数12の構造に関するフェイェス・トーティの長年の予想を解明すること。
• このような充填がFCCおよびHCP配置に見られるように六方最密充填の層から成らざるを得ないことを確立すること。
• 中心球を取り巻く12個の単位球が互いに接するような局所的配置のうち、唯一可能であるのはFCCおよびHCPパターンであることを証明すること。
• 「穏やかな接触パラメータ」を用いてすべての可能な接触配置を分類し、幾何的および線形計画法の制約によって実現不可能なケースを除外すること。

提案手法

• 充填をR³内の点の集合と定義し、互いの距離が2以上であるものとする。接触配置とは、中心点の周囲の半径2の球面上に12個の点からなる集合である。
• 切り捨てパラメータh₀ = 1.26を定義し、重み関数L(h) = (h₀ − h)/(h₀ − 1)を用いて、配置の総重みを上限づける。
• 接触グラフを、球面S²(2)上の球体間の単位距離接触を表すエッジを有するハイパーマップH = hyp(V, E₂(V))としてモデル化する。
• 「穏やかな接触」パラメータを持つすべてのハイパーマップを列挙するコンピュータ支援分類アルゴリズムを適用する。ここで「穏やかな接触」とは、距離が2または≥2h₀であるという分離制約を意味する。
• 幾何的議論により、1つのハイパーマップ（六角形の面を有するもの）を除外する。この場合、周囲長が2πを超えるため、球面上の測地線的凸多角形の厳密な上限に反する。
• 角度の和と辺の長さの制約の下で、残りの5つのハイパーマップが線形計画法によって実現不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 接触数12の3次元球体充填は、常に六方最密充填の層構造を取らざるを得ないか？
• RQ2 FCCおよびHCP配置は、中心球を取り巻く12個の単位球の接触配置として唯一可能な局所的配置か？
• RQ3 単位距離および最小分離の制約下で、六方最密充填でない配置が12個の接触球に対して存在しうるか？
• RQ4 このような充填から生じる接触ハイパーマップの組合せ的型の完全な集合は何か？
• RQ5 幾何的および線形計画法の制約を用いて、実現不可能な配置を除外できるか？

主な発見

• 「穏やかな接触」を持つ唯一の有効な接触ハイパーマップは、FCCおよびHCP配置に限られ、他の候補がすべて除外されたことで証明された。
• 辺の長さπ/3の六角形の面を有するハイパーマップは、幾何的に実現できない。なぜならその周囲長が2πに達し、球面上の測地線的凸多角形の厳密な上限を超えるからである。
• 角度および辺の長さの線形計画法制約により、8つの候補ハイパーマップのうち5つが除外され、FCCおよびHCPのみが実現可能であることが確認された。
• すべての面における重み割り当ての総和は(4π − 20sol₀) < tgtで上限づけられており、証明で用いられる主要不等式を支持する。
• 接触グラフのすべてのノードの次数は4以下であり、ノード型が(p,q,0)のとき、可能なタイプは(0,3)、(1,3)、および(2,2)に限られる。
• FCCおよびHCP配置は剛体である。辺の長さ2の8個の正三角形が、合同変換を除いて全体の配置を一意に決定する。