[论文解读] A Densest ternary circle packing in the plane

Thomas Fernique|arXiv (Cornell University)|Dec 4, 2019

Quasicrystal Structures and Properties参考文献 4被引用 4

一句话总结

该论文证明了特定三元圆堆叠（半径分别为 $1$、$r \simeq 0.834$ 和 $s \simeq 0.651$，即特定代数多项式的根）是平面上最密集的圆堆叠。通过一种新颖的基于势能的方法，结合区间分析与三角剖分，论文确立了目标堆叠的密度 $\delta \simeq 0.9093$ 为最优，证实了在代数约束允许下，紧凑堆叠能最大化密度。

ABSTRACT

We consider circle packings in the plane with circles of sizes $1$, $r\simeq 0.834$ and $s\simeq 0.651$. These sizes are algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles. Compact packings are believed to maximize the density when there are possible. We prove that it is indeed the case for these sizes. The proof should be generalizable to other sizes which allow compact packings and is a first step towards a general result.

研究动机与目标

• 证明特定具有代数半径的三元圆堆叠是平面上最密集的。
• 将已知的“紧凑堆叠最大化密度”原理推广至三元圆系统。
• 开发一种可推广的方法，用于验证多尺寸圆堆叠的密度最优性。
• 通过区间分析与基于三角剖分的势函数，提供严格的计算证明。

提出的方法

• 将平面分解为堆叠中圆心的三角剖分 $\mathcal{T}$。
• 对每个三角形 $T$，定义过剩量 $E(T) = \delta \cdot \text{area}(T) - \text{cov}(T)$，以衡量局部密度偏差。
• 引入势函数 $U(T)$，其分解为顶点势 $U_v(T)$ 与边势 $U_e(T)$，用以从下方有界 $E(T)$。
• 通过顶点与边的求和，基于有限配置证明全局不等式 $\sum_{T \in \mathcal{T}} U(T) \geq 0$。
• 通过微分几何证明 $\varepsilon$-紧致三角形的局部不等式 $E(T) \geq U(T)$，并通过计算机辅助二分法处理非紧致三角形。
• 全程使用区间分析，确保数值严谨性，避免浮点数误差。

实验结果

研究问题

• RQ1 半径为 $1$、$r \simeq 0.834$ 和 $s \simeq 0.651$ 的紧凑三元圆堆叠是否为平面上最密集的圆堆叠？
• RQ2 “紧凑堆叠最大化密度”的原理能否推广至三元圆系统？
• RQ3 所提出的基于势函数与区间分析的方法是否能可靠验证复杂圆堆叠的密度最优性？
• RQ4 圆半径的代数约束如何影响紧凑堆叠的存在性与最优性？
• RQ5 该方法能否推广至其他具有多种尺寸圆的紧凑堆叠？

主要发现

• 目标堆叠实现了 $\delta \simeq 0.9093$ 的密度，超过六边形堆叠的密度 $\pi/\sqrt{12} \simeq 0.9067$。
• 该证明确认了此紧凑堆叠为全局最优，即对于这些半径不存在更密集的排列。
• 该方法仅通过有限多个配置成功验证了全局不等式 $\sum U(T) \geq 0$，确保了计算上的可行性。
• $\varepsilon$-紧致三角形的使用避免了计算机辅助证明中的无限递归，使证明在两分钟内完成。
• 计算得出最大 $q < 1$ 的下界，使得半径在 $[q,1]$ 范围内的堆叠密度超过六边形堆叠，该下界提升至 $q \geq 0.6510501858$。
• 该方法具有可推广性：通过调整顶点势与约束，可适用于其他紧凑堆叠，提示了通往一般定理的路径。