[论文解读] 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

一句话总结

该论文解决了高维空间和多面体中锐角三角剖分的存在性问题。证明了四维立方体和 R⁴ 中不存在锐角三角剖分，同时通过基于 600-胞的特殊细分方法，构造了三维立方体、正八面体以及非平凡地构造了正四面体的显式锐角三角剖分。主要贡献在于对维度 ≥5 的情形给出了完整的否定性结论，并在三维空间中给出了肯定的构造结果。

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ⁿ 的锐角三角剖分的存在性问题。
• 为三维凸多面体（如立方体、正八面体和正四面体）构造显式的锐角三角剖分。
• 利用广义 Dehn–Sommerville 方程，建立高维空间中锐角三角剖分的组合与几何障碍。
• 研究在 R⁴ 中二面角远离 π/2 的作用及其对三角剖分可行性的影响。

提出的方法

• 基于 600-胞对单纯形进行特殊细分，将标准单纯形划分为锐角成分。
• 应用广义 Dehn–Sommerville 方程，推导 R⁴ 中丰富三角剖分的组合障碍。
• 利用等周不等式和无限图的抛物性，分析 R⁴ 中三角剖分的全局结构。
• 结合 flag-no-square 条件与组合约束，证明 n ≥ 5 时的非存在性结果。
• 基于广义 Dehn–Sommerville 方程，使用简短的组合论证，排除 R⁴ 中周期性锐角三角剖分的存在。
• 利用 4-立方体可密铺 R⁴ 的事实，将 R⁴ 中的非存在性结果推广至 4-立方体。

实验结果

研究问题

• RQ1 四维立方体能否被三角剖分为所有二面角均为锐角的单纯形？
• RQ2 R⁴ 是否存在任何锐角三角剖分，即使所有二面角无限接近 π/2？
• RQ3 正四面体在 R³ 中能否被锐角三角剖分？若能，其最小复杂度是多少？
• RQ4 哪些组合约束阻止了维度 n ≥ 5 中的锐角三角剖分？
• RQ5 是否存在 R⁴ 的周期性锐角三角剖分？若否，原因是什么？

主要发现

• 4-立方体不存在锐角三角剖分，这是由于 R⁴ 中不存在周期性锐角三角剖分的直接推论。
• 对于 n ≥ 5，Rⁿ 中不存在锐角三角剖分，如定理 C 所示，该定理排除了所有二面角均为锐角的内点顶点的存在。
• 对任意 ε > 0，R⁴ 中均不存在所有二面角小于 π/2 − ε 的三角剖分，此结论由定理 D 确立。
• 通过将标准 3-单纯形细分为 543 个部分，构造了三维立方体、正八面体以及正四面体的显式锐角三角剖分。
• 该构造依赖于基于 600-胞的特殊细分，确保所有二面角均为锐角。
• 通过广义 Dehn–Sommerville 方程与等周不等式，证明了 R⁴ 中锐角三角剖分的非存在性，为离散几何提供了新的障碍分析方法。