[论文解读] Three-point bounds for sphere packing

Henry Cohn, David de Laat+1 more|arXiv (Cornell University)|Jun 30, 2022

Optimization and Packing Problems被引用 7

一句话总结

本文提出了欧氏空间中球体堆积的三点界限，通过引入三点相关性约束，对经典的线性规划（两点）界限进行了改进。利用截断三点函数的半定规划方法，作者在维度4–7和9–16中计算了球体堆积密度的新上界，优于以往的界限，并在这些维度中提供了目前最紧致的估计值，除维度8和24的精确情况外。

ABSTRACT

We define three-point bounds for sphere packing that refine the linear programming bound, and we compute these bounds numerically using semidefinite programming by choosing a truncation radius for the three-point function. As a result, we obtain new upper bounds on the sphere packing density in dimension 4 through 7 and 9 through 16. We also give a different three-point bound for lattice packing and conjecture that this second bound is sharp in dimension 4.

研究动机与目标

• 通过引入三点相关性约束，对球体堆积的线性规划界限进行改进。
• 解决已知球体堆积构造与两点线性规划方法所提供的上界之间的差距。
• 在非紧致空间（如欧氏空间）中建立高阶界限的数值可行框架。
• 利用截断三点函数，在维度4–7和9–16中计算更紧致的球体堆积密度上界。
• 提出一个猜想：在维度4中，一种与晶格相关的三点界限是精确的。

提出的方法

• 通过将三点相关函数的定义域限制在有限半径内，制定截断三点界限，以增强数值可行性。
• 采用半定规划求解所得优化问题，利用平方和表示法处理非负性约束。
• 利用对偶框架将三点界限与原始球体堆积问题关联，通过正定性和非负性条件确保有效性。
• 应用严格的数值验证程序：先以浮点数求解，再通过略微提高目标函数求解可行性问题，以确保解为严格正定。
• 从矩阵中移除零特征值的行/列，以分离可行解，并应用分块对角平方和表征。
• 通过引入一种尊重晶格对称性与平移不变性的专用三点界限，将该框架适配于晶格球体堆积。

实验结果

研究问题

• RQ1 在欧氏空间中，三点相关性约束能否改进球体堆积的线性规划界限？
• RQ2 在中间维度中，三点界限与两点界限相比，其数值表现如何？
• RQ3 在非紧致设置中，截断三点函数能否产生更紧致且计算上可行的界限？
• RQ4 是否存在一种与晶格相关的三点界限，使其在维度4中达到精确性？
• RQ5 在维度4–7和9–16中，新界限与已知构造及先前上界相比如何？

主要发现

• 作者利用三点界限，在维度4至7以及9至16中计算了球体堆积密度的新上界。
• 在两者均被计算的维度中，三点界限优于de Laat、Oliveira与Vallentin的先前最佳已知界限。
• 改进幅度从维度4的0.51%到维度7的0.054%不等，且在更高维度中逐渐减小。
• 在维度4–7和9–16中，新界限是目前所知最紧致的球体堆积密度上界，除维度8和24的精确情况外。
• 提出一个猜想：在维度4中，一种与晶格相关的三点界限是精确的，暗示该情况下界限可能达到最优。
• 该方法通过带扰动目标函数的半定规划可行性问题，扩展至严格的数值验证，确保了计算的可靠性。