[論文レビュー] Ideal right-angled polyhedra in Lobachevsky space

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

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

ひとこと要約

本稿は、絶対曲率上にすべての頂点を持つ3次元双曲的空間（ロバチェフスキー空間）における理想直角多面体を研究する。多面体の面数を用いた体積に関する新たな上界を確立し、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面以下のすべての理想直角多面体の体積を計算し、表形式で提示すること。
• 各面数に対して最小体積を達成する多面体を同定し、反対称多面体およびねじれた反対称多面体がその最小体積を達成すると提案すること。
• 孤立三角形（頂点を共有する三角形の面が存在しない）を持つ理想直角多面体のクラスを導入し、その分析を実施し、最小の面数を特定すること。
• このような孤立三角形多面体の明示的構成と組合せ的境界を提供すること。

提案手法

• 双曲的3次元空間における理想直角多面体の存在条件を特定するため、アンドレーエフの定理とリヴィンの特徴付けを適用すること。
• 双曲幾何と理想多面体の分割技術を用いて、直角ねじれ反対称多面体の閉形式体積公式を導出すること。
• 計算による列挙と幾何的最適化を用いて、23面以下のすべての理想直角多面体の体積を計算すること。
• 面数と頂点数に基づく組合せ的不等式を適用し、孤立三角形多面体の存在に必要な条件を導出すること。
• 既存の例に対して接合操作を施すことで、理想直角構造を保ちつつ、孤立三角形多面体の無限族を構成すること。
• 既知の直角コクセター群およびLERF性質に関する結果を活用し、双曲的3次元多様体論における体積計算の意義を文脈づけること。

実験結果

リサーチクエスチョン

• RQ1 理想直角双曲多面体の体積に関する、面数の関数としてのタイトな上界は何か？
• RQ2 理想直角多面体のどの組合せ的型が、与えられた面数に対して最小体積を達成するか？
• RQ3 すべての三角形の面が孤立している（つまり、2つの面が頂点を共有しない）理想直角多面体に必要な最小の面数は何か？
• RQ4 孤立三角形を有する理想直角多面体の無限族を構成可能か？また、それらの組合せ的性質は何か？
• RQ5 理想直角多面体の体積は、面数の増加に従ってどのように変化するか？また、体積分布にどのようなパターンが現れるか？

主な発見

• 面数を用いた理想直角多面体の体積に関する新たな上界が確立され、以前の推定値を改善した。
• 23面以下のすべての理想直角多面体の体積が計算され、表形式で提示され、最初の248個の体積値が明示的にリストアップされた。
• 反対称多面体およびねじれた反対称多面体が、それぞれの面数に対して最小体積を達成することが示され、最小体積多面体に関する予想を支持する。
• 孤立三角形を持つ多面体の最小面数は26であり、そのような例が2つ明示的に構成され、体積はそれぞれ31.0930375および31.1668675であった。
• 孤立三角形を持つ理想直角多面体が無限に存在することを証明し、既存の例に対して接合操作を施すことで構成した。
• 孤立三角形多面体の存在に必要な組合せ的条件が導出された：$ N < 3p_3 + 2 $ ならば、そのような多面体は存在しない。ここで $ N $ は総面数、$ p_3 $ は三角形の面数を表す。