[论文解读] Extra-large metrics

Igor Rivin|ArXiv.org|Sep 14, 2005

Geometric and Algebraic Topology参考文献 3被引用 6

一句话总结

本文证明了，对于所有锥角大于 $2\pi$ 且所有闭测地线长度大于 $2\pi$ 的二维球面锥度量，其锥点集恰好构成一个三角剖分的 0-骨架——即 Delaunay 三角剖分。证明的关键在于：在额外大条件下，锥点的 Voronoi 图形成一个凸的、星形的胞分解，其 Poincaré 对偶即为所求的三角剖分。

ABSTRACT

An extra large metric is a spherical cone metric with all cone angles greater than 2 pi and every closed geodesic longer than 2pi. We show that every two-dimensional extra large metric can be triangulated with vertices at cone points only. The argument implies the same result for Euclidean and hyperbolic cone metrics, and can be modified to show a similar result for higher-dimensional extra-large metrics. The extra-large hypothesis is necessary.

研究动机与目标

• 建立球面锥面在何种条件下可允许以锥点为顶点的三角剖分。
• 刻画此类曲面的几何与拓扑性质，特别是与测地线和曲率的关系。
• 证明在额外大条件下，锥点的 Delaunay 三角剖分与 Voronoi 图的 Poincaré 对偶完全一致。
• 将关于双曲多面体及其对偶极的结论推广至更广泛的球面锥流形类。
• 为奇异球面曲面上的胞分解提供一个构造性的几何框架。

提出的方法

• 定义锥面的局部连通半径，并证明其大于 $\pi$ 当且仅当曲面为额外大。
• 为锥点集 $P$ 构造 Voronoi 图 $\mathcal{V}_P$，其中每个胞腔 $V_i$ 由距离 $p_i$ 比其他任何锥点更近的点构成。
• 利用三角不等式与测地线凸性，证明每个 Voronoi 胞腔 $V_i$ 关于 $p_i$ 是星形的。
• 通过球面几何与距离最小性，证明每个 Voronoi 胞腔的边界为凸多边形曲线。
• 证明任意两个 Voronoi 胞腔 $V_i \cap V_j$ 的交集连通且构成一条边，从而说明该图是一个胞分解。
• 将 Delaunay 划分构造为 Voronoi 图的 Poincaré 对偶，从而得到一个顶点恰好位于锥点的三角剖分。

实验结果

研究问题

• RQ1 在何种条件下，球面锥面可允许其 0-骨架恰好为锥点集的三角剖分？
• RQ2 额外大条件——即锥角 > $2\pi$ 且所有闭测地线 > $2\pi$ —— 如何与此类三角剖分的存在性相关联？
• RQ3 球面锥面上锥点的 Voronoi 图是否可用于构造 Delaunay 三角剖分？
• RQ4 为使对偶为三角剖分，Voronoi 胞腔必须满足哪些几何性质（例如凸性、星形性）？
• RQ5 大于 $\pi$ 的局部连通半径条件是否能完全刻画额外大的球面锥面？

主要发现

• 额外大的球面锥面具有 Voronoi 图，其中每个胞腔 $V_i$ 关于其对应的锥点 $p_i$ 是凸的且星形的。
• 每个 Voronoi 胞腔 $V_i$ 的直径严格小于 $\pi$，确保任一胞腔不包含对径点。
• 任意两个 Voronoi 胞腔 $V_i \cap V_j$ 的交集连通且构成单条边，表明 Voronoi 图是一个适当的胞分解。
• Voronoi 图的 Poincaré 对偶是曲面上的一个胞分解，其顶点位于锥点，且其胞腔为凸多边形。
• 作为 Voronoi 图对偶构造的 Delaunay 划分，给出了一个三角剖分，其 0-骨架恰好为锥点集。
• 额外大条件（锥角 > $2\pi$，所有闭测地线 > $2\pi$）等价于曲面的局部连通半径大于 $\pi$。