[论文解读] The 825 Smallest Right-Angled Hyperbolic Polyhedra

Taiyo Inoue|arXiv (Cornell University)|Dec 6, 2015

Computational Geometry and Mesh Generation参考文献 2被引用 6

一句话总结

本文提出了一种计算算法，用于枚举三维双曲空间中体积最小的825个直角双曲多面体，通过在Löbell多面体和$L_5 \cup L_5$上使用组合边添加与分解操作，并利用Orb软件计算体积。主要贡献在于完整列出了这825个最小体积的此类多面体，按体积排序，附录中提供了明确的体积值和Tutte嵌入。

ABSTRACT

An algorithm for determining the list of smallest volume right-angled hyperbolic polyhedra in dimension 3 is described. This algorithm has been implemented on computer using the program Orb to compute volumes, and the first 825 polyhedra in the list have been determined.

研究动机与目标

• 通过组合几何方法系统枚举双曲3维空间中最小体积的直角双曲多面体。
• 将已知的最小体积此类多面体列表从最初的两个（Löbell多面体$L_5$和$L_6$）扩展至825个条目。
• 提供一个可靠且经计算验证的体积与1-骨架列表，以支持对这些多面体几何与拓扑性质的进一步研究。
• 探究在复杂直角双曲多面体体积计算中，计算局限性与数值可靠性的关系。

提出的方法

• 该算法使用对Löbell多面体$L_5$和$L_5 \cup L_5$的逆向边添加与粘合操作，生成候选多面体。
• 通过组合操作——边手术与分解——降低复杂度，并反向操作以从基本Löbell多面体构建多面体。
• 体积通过Orb软件计算，该软件可从满足Pogorelov条件的1-骨架（三价平面图）计算双曲结构。
• 使用graph-tool管理并比较1-骨架，确保对新多面体进行同构性检查。
• 使用Orb中的图形界面构建多面体组合的双重覆盖，并通过图同构验证其是否包含在列表中。
• 列表按体积排序，第825个多面体的体积为13.42033，体积值已交叉验证以确保一致性。

实验结果

研究问题

• RQ1 能否使用系统化的组合方法，将最小体积直角双曲多面体的列表扩展至超过最初的两个？
• RQ2 是否存在并非Löbell多面体或$L_5 \cup L_5$边后代的多面体？若存在，它们如何产生？
• RQ3 为何非同构多面体$A_{38}$与$A_{39}$在列表早期即具有精确到12位小数的相同体积？
• RQ4 体积计算的可靠性在多大程度上依赖于Orb与graph-tool在复杂多面体上的数值精度？
• RQ5 能否开发一个可视化流程，利用Orb的三角剖分数据在庞加莱球模型中渲染这些多面体？

主要发现

• 已在$\mathbb{H}^3$中完全枚举并按体积列出825个最小体积的直角双曲多面体，第825个的体积为13.42033。
• 最小的两个多面体为Löbell多面体$L_5$（直角二十面体）与$L_6$，体积分别为4.30647与7.32689。
• 发现一个例外组合——$A_{39} \cup A_1$——其无优良边，因此并非任何更小多面体的边后代，构成对边后代猜想的反例。
• 两个非同构多面体$A_{38}$与$A_{39}$在12位小数精度内体积完全相同，此现象在列表早期极为罕见。
• 若解决Orb体积计算中的计算瓶颈，该列表可扩展至数千个多面体。
• 该算法成功验证了基集$\mathcal{B}$中所有元素组合均属于$\mathcal{D}(\mathcal{I})$，除$A_{39}$的例外情况外。