[论文解读] Horoball packings related to hyperbolic $24$ cell

Jenő Szirmai|arXiv (Cornell University)|Feb 7, 2015

Geometric and Algebraic Topology参考文献 13被引用 3

一句话总结

本文利用具有施莱夫利符号 {3,4,3,4} 的双曲 24 面体镶嵌，在四维双曲空间中研究了最优的广义球面包堆。通过引入广义多面体密度函数，并允许在不同理想顶点处采用不同类型球面，作者确定了局部最密包堆，其最大密度约为 0.71645，与 𝕍⁴ 中已知的最优球体包堆密度一致。

ABSTRACT

In this paper we study the horoball packings related to the hyperbolic 24 cell in the extended hyperbolic space $\overline{\mathbf{H}}^4$ where we allow {\it horoballs in different types} centered at the various vertices of the 24 cell. We determine, introducing the notion of the generalized polyhedral density function, the locally densest horoball packing arrangement and its density with respect to the above regular tiling. The maximal density is $\approx 0.71645$ which is equal to the known greatest ball packing density in hyperbolic 4-space given in \cite{KSz14}.

研究动机与目标

• 确定使用双曲 24 面体镶嵌时，四维双曲空间中可能实现的最密广义球面包堆。
• 将单纯形密度函数的概念扩展至在不同理想顶点处具有不同类型球面的球面包堆。
• 定义并应用广义多面体密度函数，以评估扩展双曲空间中的局部包堆密度。
• 识别在给定镶嵌约束下使包堆密度最大化的最优球面配置。
• 证明当允许不同类型的球面时，最大密度 ≈0.71645 超过了先前已知的界限。

提出的方法

• 引入广义多面体密度函数，以计算双曲 4 空间中不同类型球面的局部包堆密度。
• 利用每个球面的狄利克雷-沃罗诺伊胞腔，通过渐近锥中体积比的极限来定义局部密度。
• 应用双曲几何时工具，包括双曲距离公式和测地线锥构造，以计算体积比。
• 在上半空间模型中采用坐标计算，以确定关键点（如 Q、K、H）之间的距离，并推导密度函数。
• 通过改变球面大小和相对于 24 面体顶点的位置，分析多种球面配置（如 ℬ₀、ℬ₀¹(x)、ℬ₁）。
• 使用解析延拓和变分法，在球面参数的定义区间内最大化密度函数 δ(ℬ₀⁴(x))。

实验结果

研究问题

• RQ1 当在 24 面体镶嵌的理想顶点处允许不同类型球面时，四维双曲空间中球面包堆的最大可能密度是多少？
• RQ2 广义多面体密度函数如何将经典单纯形密度函数扩展至双曲空间中的无限球面？
• RQ3 当使用不同类型球面时，4 维双曲空间中是否可以超过 Böröczky 型包堆密度上界？
• RQ4 相对于 24 面体镶嵌，何种球面配置能实现最高的局部包堆密度？
• RQ5 不同球面尺寸参数（如 ℬ₀⁴(x) 中的 x）如何影响最终包堆密度，且最大值出现在何处？

主要发现

• 当在 24 面体顶点处允许不同类型球面时，四维双曲空间中球面包堆的最大密度约为 0.71645。
• 该最大密度由球面排列 ℬ₁ 实现，其对应于一种特定配置：球面尺寸被调整至使每个狄利克雷-沃罗诺伊胞腔的体积贡献最大化。
• 该最优密度与文献 [13] 中报告的 𝕍⁴ 中已知的最大球体包堆密度一致，证实了不同包堆模型之间的一致性。
• 广义多面体密度函数成功捕捉了具有非均匀球面类型的球面包堆的局部密度行为。
• 密度函数 δ(ℬ₀⁴(x)) 在 x = 0 处达到最大值，对应密度约为 0.60793，低于最优 ℬ₁ 配置。
• 研究表明，当允许不同类型球面时，4 维空间中 Böröczky 型上界不再紧致，且最优配置既非周期性也非均匀的。