[論文レビュー] On packing spheres into containers (about Kepler's finite sphere packing problem)

Achill Schuermann|arXiv (Cornell University)|Jun 10, 2005

Point processes and geometric inequalities参考文献 15被引用数 6

ひとこと要約

この論文は、1611年にケプラーオンが提唱した「正六角形密な充填が、容器内の球体を充填する最密な方法である」という仮説に挑戦し、次元 d ≥ 2 の滑らかな凸容器に対して、十分に多くの球体がある場合、最適な有限球体充填は正六角形や格子に基づくものではあり得ないことを証明している。主な結果は、容器が滑らかで球体数が十分に大きい場合、有限容器問題の解が『単純な構造』—正六角形や面心立方格子（fcc）配置を含む—を持たないことを示しており、ケプラーオンの「普遍的最適性」の主張に反する。

ABSTRACT

In an Euclidean $d$-space, the container problem asks to pack $n$ equally sized spheres into a minimal dilate of a fixed container. If the container is a smooth convex body and $d\geq 2$ we show that solutions to the container problem can not have a ``simple structure'' for large $n$. By this we in particular find that there exist arbitrary small $r>0$, such that packings in a smooth, 3-dimensional convex body, with a maximum number of spheres of radius $r$, are necessarily not hexagonal close packings. This contradicts Kepler's famous statement that the cubic or hexagonal close packing ``will be the tightest possible, so that in no other arrangement more spheres could be packed into the same container''.

研究の動機と目的

• ケプラーオンが主張する『正六角形密な充填が、すべての容器に対して最密な有限球体充填である』という主張が、R^d（d ≥ 2）のすべての滑らかな凸容器に対して普遍的に成り立つかを調査すること。
• 滑らかな凸容器内での最適有限球体充填が、正六角形や格子に基づくような『単純な構造』を保持できるかどうかを特定すること。
• 球体数が増加する際の有限球体充填解の漸近的挙動を分析すること。
• f.c.c. や h.c.p. のような最密な無限充填が、すべての容器形状に対して有限容器問題の解であるという考えを否定すること。
• 滑らかな凸体に対して、十分に大きな n に対して最適充填が単純な周期的構造から逸脱しなければならないことを確立すること。

提案手法

• 研究は容器問題の定式化を用いる：固定された凸体 C の最小スケーリング λC に n 個の等しい球体を詰め込み、λ を最小化する。
• 『複雑性が制限された族（lc-族）』と呼ばれる、正六角形や格子に基づく配置を含む充填集合の族を定義し、『単純な構造』を形式化する。
• 滑らかな凸体 C と十分に大きな n に対して、lc-族に属するいかなる充填集合も最小 λ(C,n) を達成できないことを、支持関数と境界構造に関する幾何学的・位相的議論を用いて証明する。
• 特に、滑らかな体における支持関数の微分可能性に注目し、凸幾何学および球体充填理論の結果を応用する。
• 滑らかさのため、境界効果と曲率制約が、大規模スケールで周期的充填が最適でなくなることを活用する。
• 背理法と漸近的解析を用いて、n が増加するにつれて最適配置が lc-族から逸脱しなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ケプラーオンの主張、すなわち正六角形密な充填が、R^d（d ≥ 2）のすべての滑らかな凸容器に対して最密な有限球体充填であるという主張は、成り立つか？
• RQ2 滑らかな凸容器内での最適有限球体充填は、任意に大きな球体数に対して、正六角形や面心立方格子（fcc）のような単純な周期的構造を維持できるか？
• RQ3 滑らかな凸体における有限容器問題の解の集合は構造的に単純か、それとも n が増加するにつれて必然的に複雑になるか？
• RQ4 多面体型（polytopal）と滑らかさの両方のクラスの容器において、格子に基づく充填が無限に多くの n に対して最適であるのはどのクラスか？
• RQ5 無限空間における f.c.c. や正六角形密な充填のグローバル最適性が、有限容器においても最適であることを示唆するか？

主な発見

• 任意の R^d（d ≥ 2）における滑らかな凸体 C に対して、n₀ が存在し、すべての n ≥ n₀ に対して最小スケーリング λ(C,n) はいかなる格子充填集合によっても達成されない。
• 滑らかな凸体における有限容器問題の解は、n が十分に大きい場合には『単純な構造』—正六角形や f.c.c. 配置を含む—を持たない。
• 任意に小さな r > 0 に対して、固定された滑らかな凸体 C（R³内）に収まる半径 r の球体の最大数は、f.c.c. や正六角形密な充填集合によって達成されない。
• 正六角形密な充填（hc-パッキング）は lc-族の例であるが、滑らかな容器内では十分に大きな n に対して最適でない。
• この結果は、ケプラーオンが1611年に提唱した「正六角形密な充填が普遍的にタイトである」という主張が、滑らかな容器では、巨大な容器の極限でさえも誤りであることを示唆する。
• 本論文は、滑らかな凸容器内では曲率と境界効果のため、最適有限充填が周期的かつ対称的な配置から逸脱しなければならないことを示している。