[论文解读] Ideal right-angled polyhedra in Lobachevsky space

Andreĭ Vesnin, Андрей Александрович Егоров|arXiv (Cornell University)|Sep 25, 2019

Computational Geometry and Mesh Generation参考文献 17被引用 10

一句话总结

本文研究三维双曲空间（罗巴切夫斯基空间）中的理想直角多面体，其中所有顶点位于绝对曲面上。研究建立了以面数为变量的体积新上界，计算了最多含23个面的多面体的体积，识别出反棱柱和扭棱柱为实现最小体积的多面体，并引入了具有孤立三角形的多面体概念，提供了组合边界并构造了含26个面的最小实例。

ABSTRACT

In this paper we consider a class of right-angled polyhedra in three-dimensional Lobachevsky space, all vertices of which lie on the absolute. New upper bounds on volumes in terms the number of faces of the polyhedron are obtained. Volumes of polyhedra with at most 23 faces are computed. It is shown that the minimum volumes are realized on antiprisms and twisted antiprisms. The first 248 values of volumes of ideal right-angled polyhedra are presented. Moreover, the class of polyhedra with isolated triangles is introduces and there are obtained combinatorial bounds on their existence as well as minimal examples of such polyhedra are given.

研究动机与目标

• 建立以面数为变量的理想直角双曲多面体体积的新上界。
• 计算并列出所有最多含23个面的理想直角多面体的体积。
• 识别出在每种面数下实现最小体积的多面体类型，提出反棱柱与扭棱柱可实现该最小值。
• 引入并分析理想直角多面体中具有孤立三角形（即无共享顶点的三角形面）的类别，并确定其最小面数。
• 提供此类孤立三角形多面体的显式构造与组合边界。

提出的方法

• 应用安德烈夫定理与里宾的特征刻画，确定三维双曲空间中理想直角多面体的存在条件。
• 利用双曲几何与理想多面体分解技术，推导出直角扭棱柱的闭式体积公式。
• 通过计算枚举与几何优化，计算所有最多含23个面的理想直角多面体的体积。
• 基于面数与顶点数的组合不等式，推导出具有孤立三角形的多面体存在的必要条件。
• 通过在现有实例上进行粘合操作，构造出孤立三角形多面体的无限家族，同时保持理想直角结构。
• 利用关于直角考克斯eter群与LERF性质的已知结果，为双曲3-流形理论中体积计算的相关性提供背景支持。

实验结果

研究问题

• RQ1 作为面数函数的理想直角双曲多面体的体积，其最紧致的上界是什么？
• RQ2 哪些理想直角多面体的组合类型在给定面数下实现最小体积？
• RQ3 理想直角多面体中所有三角形面均孤立（即无共享顶点）所需的最小面数是多少？
• RQ4 能否构造出具有孤立三角形的理想直角多面体的无限家族，其组合性质如何？
• RQ5 随着面数增加，理想直角多面体的体积如何增长，其体积分布中呈现出何种模式？

主要发现

• 建立了以面数为变量的理想直角双曲多面体体积的新上界，优于先前估计。
• 已计算并列出所有最多含23个面的理想直角多面体的体积，前248个体积值已明确列出。
• 证明了反棱柱与扭棱柱在各自面数下实现了最小体积，支持了关于最小体积多面体的猜想。
• 具有孤立三角形的多面体的最小面数为26，已显式构造出两个此类实例，其体积分别为31.0930375与31.1668675。
• 证明了存在无穷多个具有孤立三角形的理想直角多面体，可通过在现有实例上进行粘合操作构造而成。
• 推导出孤立三角形多面体存在的必要组合条件：若 $ N < 3p_3 + 2 $，则不存在此类多面体，其中 $ N $ 为总面数，$ p_3 $ 为三角形面数。