[论文解读] 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''.

研究动机与目标

• 调查开普勒的断言是否普遍成立，即六边形紧密堆积是否是所有容器中最密的有限球体堆积。
• 确定在光滑凸容器中，最优的有限球体堆积是否能保持如六边形或晶格排列等‘简单结构’。
• 分析随着球体数量增加，有限球体堆积解的渐近行为。
• 反驳密集无限堆积（如 fcc 或 hcp）也解决所有容器形状的有限容器问题这一观点。
• 确立对于光滑凸体，当 n 足够大时，最优堆积必须偏离简单周期结构。

提出的方法

• 本研究采用容器问题的公式：将 n 个等径球体装入固定凸体 C 的最小缩放 λC 中，以最小化 λ。
• 定义了‘有限复杂度族’（lc-族）的堆积集合，包括六边形和晶格排列，以形式化‘简单结构’的概念。
• 证明了对于光滑凸体 C 和足够大的 n，任何来自 lc-族的堆积集合都无法实现最小的 λ(C,n)，基于支撑函数和边界结构的几何与拓扑论证。
• 应用凸几何与球体堆积理论的结果，特别关注光滑体中支撑函数的可微性。
• 利用光滑性会因边界效应和曲率约束而使周期性堆积在大尺度上无法最优的事实。
• 通过反证法和渐近分析，表明随着 n 增加，最优构型必须偏离 lc-族。

实验结果

研究问题

• RQ1 开普勒的断言——即六边形紧密堆积是最密的有限球体堆积——是否对 R^d 中所有 d ≥ 2 的光滑凸容器都成立？
• RQ2 在光滑凸容器中，最优的有限球体堆积是否能对任意大数量的球体保持如六边形或面心立方（fcc）晶格等简单周期结构？
• RQ3 在光滑凸体中，有限容器问题的解集是否具有简单结构，还是随着 n 增加必然变得复杂？
• RQ4 对于哪些容器类别（例如多面体与光滑容器），晶格堆积在无穷多个 n 上仍保持最优？
• RQ5 在无限空间中 fcc 或六边形紧密堆积的全局最优性，是否意味着它们在有限容器中也最优？

主要发现

• 对于 R^d 中任意 d ≥ 2 的光滑凸体 C，存在一个 n₀，使得对所有 n ≥ n₀，最小缩放 λ(C,n) 无法由任何晶格堆积集合实现。
• 在光滑凸体中，有限容器问题的解无法具有‘简单结构’——包括六边形或 fcc 排列——当 n 足够大时。
• 存在任意小的 r > 0，使得在 R³ 中固定光滑凸体 C 中可容纳的最大球体数量（半径为 r）无法由 fcc 或六边形紧密堆积集合实现。
• 六边形紧密堆积（hc-堆积）是 lc-族的一个例子，但此类构型在光滑容器中对大 n 并非最优。
• 该结果意味着，即使在容器趋于无限大的极限下，开普勒于1611年关于六边形紧密堆积普遍最优性的断言对光滑容器也是错误的。
• 本文表明，由于光滑凸容器中的曲率和边界效应，最优的有限堆积必须偏离周期性和对称性排列。