[論文レビュー] Acute triangulations of polyhedra and R^n

Eryk Kopczyński, Igor Pak+1 more|ArXiv.org|Sep 21, 2009

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

ひとこと要約

本稿は、高次元空間および多面体における鋭角分割の存在を解決する。4次元超立方体およびR⁴における鋭角分割は存在しないことが証明され、一方で3次元立方体、正八面体、および正四面体（600-cellに基づく特殊な分割を用いて非自明に）について明示的な鋭角分割が構成されている。主な貢献は、次元≥5において完全な否定的解決と、次元3における肯定的構成である。

ABSTRACT

We study the problem of acute triangulations of convex polyhedra and the space R^n. Here an acute triangulation is a triangulation into simplices whose dihedral angles are acute. We prove that acute triangulations of the n-cube do not exist for n>=4. Further, we prove that acute triangulations of the space R^n do not exist for n>= 5. In the opposite direction, in R^3, we present a construction of an acute triangulation of the cube, the regular octahedron and a non-trivial acute triangulation of the regular tetrahedron. We also prove nonexistence of an acute triangulation of R^4 if all dihedral angles are bounded away from pi/2.

研究の動機と目的

• n ≥ 4 の次元におけるn次元超立方体およびRⁿにおける鋭角分割の存在を解明すること。
• 立方体、正八面体、正四面体などの3次元凸多面体における明示的な鋭角分割を構成すること。
• 一般化されたデーン–ゾンマーヴィル方程式を用いて、高次元における鋭角分割の組合せ的および幾何的障害を確立すること。
• R⁴における二面角がπ/2から離れていることの役割と、分割可能性への影響を調査すること。

提案手法

• 600-cellに基づく特別な3単体の分割を用いて、標準的な単体を鋭角成分に分割する。
• 一般化されたデーン–ゾンマーヴィル方程式を適用し、R⁴における豊富な分割における組合せ的障害を導出する。
• 等周不等式および無限グラフの放物型を用いて、R⁴における分割のグローバル構造を分析する。
• フラッグ・ノ・スクエア条件と組合せ的制約を組み合わせ、n ≥ 5における非存在性を証明する。
• 一般化されたデーン–ゾンマーヴィル方程式に基づく短い組合せ的議論を用いて、R⁴における周期的鋭角分割の非存在を除外する。
• 4次元超立方体がR⁴をタイル張りすることを活用し、R⁴における非存在性結果を4次元超立方体に拡張する。

実験結果

リサーチクエスチョン

• RQ1 4次元超立方体は、すべての二面角が鋭角である単体に分割可能か？
• RQ2 二面角がπ/2に限りなく近いとしても、R⁴は鋭角分割を許容するか？
• RQ3 正四面体はR³で鋭角分割可能か？もしそうなら、最小の複雑さは何か？
• RQ4 次元n ≥ 5における鋭角分割を妨げる組合せ的制約は何か？
• RQ5 R⁴には周期的鋭角分割が存在するか？もしがないなら、その理由は何か？

主な発見

• 4次元超立方体には鋭角分割が存在しない。これは、R⁴における周期的鋭角分割の非存在に起因する。
• n ≥ 5のRⁿには鋭角分割が存在しない。これは、すべての内部頂点がすべて鋭角の二面角を持つことを除外する定理Cによって示された。
• 任意のε > 0に対して、すべての二面角がπ/2 − ε未満であるR⁴の単体分割は存在しない。これは定理Dによって確立された。
• 3次元立方体、正八面体、および非自明な正四面体の明示的鋭角分割が、標準的な3単体を543個の部分に分割することで構成された。
• この構成は、600-cellに基づく特別な分割に依存しており、すべての二面角が鋭角であることを保証する。
• R⁴における鋭角分割の非存在は、一般化されたデーン–ゾンマーヴィル方程式および等周不等式を用いて証明され、離散幾何学における新しい障害手法を提供する。