[论文解读] A densest compact planar packing with two sizes of discs

Tom Kennedy|ArXiv.org|Dec 21, 2004

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

一句话总结

本文证明，使用半径为1和 r ≈ 0.545151 的圆盘在平面上的最密紧凑堆积，可通过一种特定排列实现：每个圆盘被六个其他圆盘以对称且相切的方式包围。作者采用一种受统计力学启发的新方法——局部化势能，严格证明该构型的密度最大值约为 0.911627，超过六边形堆积的密度 π/√12 ≈ 0.9069，且证明该构型在所有可能的两种圆盘尺寸堆积中为最优。

ABSTRACT

We consider packings of the plane using discs of radius 1 and r=0.545151... . The value of r admits compact packings in which each hole in the packing is formed by three discs which are tangent to each other. We prove that the largest density possible is that of the compact packing shown in figure 1.

研究动机与目标

• 确定使用半径为1和特定较小半径 r ≈ 0.545151 的圆盘在平面上可能达到的最大堆积密度。
• 严格证明一种特定紧凑堆积构型——每个圆盘被六个相切圆盘包围——是该 r 值下最密可能的堆积。
• 将已知最密堆积的 r 值范围扩展至此值，该值允许紧凑堆积但此前未被证明为最优。
• 开发并应用一种新数学技术——局部化势能，受统计力学启发，将全局优化问题转化为仅涉及三个圆盘的局部问题。

提出的方法

• 引入一种局部化势能函数，将全局堆积密度问题分解为德朗德尔三角剖分中由三个两两相切圆盘构成的每个三角形的局部贡献。
• 定义局部化势能的两个组成部分：基于三角形内角的顶点局部化势能，以及基于边长的边局部化势能，两者均在关注区域内非负。
• 使用变分法控制三角形面积和角度对边长的偏导数，确保单调性，从而可与极端构型进行比较。
• 应用统计力学中的 m-势能方法，构造一个局部函数，其全局和为零，从而在不改变基态的前提下重新加权局部能量（密度）贡献。
• 利用半径为1和 r 的圆盘之间的相切条件导出几何约束，精确求得 r 为八次多项式的一个实根。
• 通过已知几何形状和面积的单位胞，计算候选最优堆积的密度，得出精确数值约为 0.911627。

实验结果

研究问题

• RQ1 对于半径为1和 r ≈ 0.545151 的圆盘，其紧凑堆积构型是否为平面上最密可能的排列？
• RQ2 当局部三角形密度变化时，局部化势能方法是否可用于严格证明紧凑堆积的最优性？
• RQ3 存在紧凑堆积且可能最优的 r 的精确值是多少？它满足何种多项方程？
• RQ4 所提出的局部化势能技术是否能确保不存在其他堆积构型的密度超过候选紧凑堆积？

主要发现

• 半径为1和 r ≈ 0.545151 的最密紧凑堆积密度为 δ ≈ 0.911627478，超过六边形堆积密度 π/√12 ≈ 0.906899。
• r 的值是八次多项式 r⁸ − 8r⁷ − 44r⁶ − 232r⁵ − 482r⁴ − 24r³ + 388r² − 120r + 9 = 0 的实根。
• 局部化势能方法确保顶点与边势能之和非负，这意味着任何构型的密度均不可能超过候选紧凑堆积。
• 该证明确认，对于此特定 r 值，紧凑堆积为最优，从而扩展了已知最密堆积的 r 值集合。
• 该堆积的单位胞面积为 √3 l² / 2，其中 l = 1 + r + √3 r + √(1 + 2r)，包含三个大圆盘和三个小圆盘，由此得出所述密度。