[论文解读] A new lower bound for sphere packing

Marcelo Campos, Matthew Jenssen+2 more|arXiv (Cornell University)|Dec 15, 2023

Point processes and geometric inequalities被引用 4

一句话总结

该论文在高维欧氏空间中建立了球体填充密度的新渐近下界，相比罗杰斯1947年的下界提升了 $d\log d$ 阶的因子。作者通过在修改后的泊松点过程上使用递归随机过程，构建了高度无序的球体填充，证明当 $d\to\infty$ 时，密度超过 $(1-o(1))\frac{d\log d}{2^{d+1}}$，这是数十年来首次在超越线性因子的范围内实现改进。

ABSTRACT

We show there exists a packing of identical spheres in $\mathbb{R}^d$ with density at least \[ (1-o(1))\frac{d \log d}{2^{d+1}}\, , \] as $d o\infty$. This improves upon previous bounds for general $d$ by a factor of order $\log d$ and is the first asymptotically growing improvement to Rogers' bound from 1947.

研究动机与目标

• 在高维欧氏空间 $\mathbb{R}^d$ 中，建立球体填充密度 $\theta(d)$ 的新渐近下界。
• 通过引入一种可实现超线性 $d\log d$ 因子改进的方法，突破长期存在的仅能实现线性改进的障碍，超越闵可夫斯基下界。
• 证明无序、非晶格球体填充在渐近密度方面可优于结构化的晶格构造。
• 将该方法推广至球面码，为给定角分离的球面码大小提供新下界。
• 探讨高维球体填充是否如统计物理所暗示的那样，表现出从无序到有序结构的相变。

提出的方法

• 通过在 $\mathbb{R}^d$ 上的修改泊松点过程递归添加球体，构建 $\mathbb{R}^d$ 中的随机球体填充。
• 采用随机迭代构造过程，通过拒绝与已有球体相交的球体来避免重叠。
• 运用概率方法控制重叠球体的期望数量，确保以高概率实现高密度填充。
• 利用集中不等式和尾部概率界，证明泊松过程中大多数点在球体半径范围内邻居稀少，从而保证冲突稀疏。
• 将该方法适配至球面码，通过在单位球面 $S^{d-1}$ 上应用，利用角分离约束定义球帽。
• 在 $S^{d-1}$ 上使用强度 $\lambda = \left(\frac{\sqrt{d}}{2\log d}\right)^d$ 的泊松过程，并删除局部重叠过高或重叠过多的点，以获得有效码。

实验结果

研究问题

• RQ1 无序、非晶格构造能否在高维中实现比已知晶格构造更高的渐近球体填充密度？
• RQ2 在 $d \to \infty$ 时，球体填充密度 $\theta(d)$ 的最大可能增长速率是多少，能否超越罗杰斯下界中的线性因子？
• RQ3 用于球体填充的方法能否被调整，以获得角分离为 $\theta$ 的球面码的改进下界？
• RQ4 球体填充的上下界之间存在的指数差距是否仍然存在？非晶格构造能否缩小这一差距？
• RQ5 随机、无序的球体填充能否模拟物理系统中的相变行为，例如在高维中从类气体行为向晶格行为转变？

主要发现

• 论文建立了球体填充密度的新下界：当 $d \to \infty$ 时，$\theta(d) \geq (1-o(1))\frac{d\log d}{2^{d+1}}$，相比罗杰斯下界提升了 $d\log d$ 阶因子。
• 这是自1947年罗杰斯下界以来，首次实现渐近增长的改进，该下界已保持七十余年。
• 该构造高度无序且非晶格基，与以往所有依赖结构化晶格的改进形成鲜明对比。
• 对于球面码，该方法在 $d \to \infty$ 时给出 $A(d,\theta) \geq (1-o(1))\frac{d\log d}{2s_d(\theta)}$，其中 $s_d(\theta)$ 为归一化的球帽面积。
• 当 $\theta = \pi/3$ 时，该结果给出了密接数的新下界：$K(d) \geq (1-o(1))\sqrt{\frac{\pi}{8}}\left(\frac{2}{\sqrt{3}}\right)^{d-1}d^{3/2}\log d$。
• 证明依赖于在 $S^{d-1}$ 上使用强度 $\lambda = \left(\frac{\sqrt{d}}{2\log d}\right)^d$ 的泊松过程，随后删除局部重叠过高的点以确保独立性。