[论文解读] A variational principle for weighted Delaunay triangulations and hyperideal polyhedra

Boris Springborn|arXiv (Cornell University)|Mar 3, 2006

Computational Geometry and Mesh Generation参考文献 19被引用 5

一句话总结

本文为具有圆锥奇点的分片平坦曲面上加权Delaunay三角剖分建立了变分原理，证明了在给定组合类型、交角和圆锥角条件下此类三角剖分的存在性与唯一性。关键结果表明，当且仅当一组一致角度系统非空时解存在，且解在尺度下唯一，该工作将Rivin对理想多面体的研究推广至超理想及加权情形，利用Milnor的Lobachevsky函数完成推广。

ABSTRACT

We use a variational principle to prove an existence and uniqueness theorem for planar weighted Delaunay triangulations (with non-intersecting site-circles) with prescribed combinatorial type and circle intersection angles. Such weighted Delaunay triangulations may be interpreted as images of hyperbolic polyhedra with one vertex on and the remaining vertices beyond the infinite boundary of hyperbolic space. Thus the main theorem states necessary and sufficient conditions for the existence and uniqueness of such polyhedra with prescribed combinatorial type and dihedral angles. More generally, we consider weighted Delaunay triangulations in piecewise flat surfaces, allowing cone singularities with prescribed cone angles in the vertices. The material presented here extends work by Rivin on Delaunay triangulations and ideal polyhedra.

研究动机与目标

• 将Rivin对理想双曲多面体的变分方法推广至具有圆锥奇点的超理想及加权Delaunay三角剖分。
• 建立平面加权Delaunay三角剖分在给定交角与圆锥角下存在性与唯一性的必要且充分条件。
• 提供一个变分框架，将圆周图案问题转化为具有线性约束的凸优化问题。
• 将加权Delaunay三角剖分与双曲空间无穷远边界上有一个顶点、其余顶点位于其外的双曲多面体联系起来。
• 将理论推广至包含圆锥奇点及给定圆锥角的分片平坦曲面。

提出的方法

• 定义函数 $ F: \mathbb{R}^{6|T|} \to \mathbb{R} $，利用Milnor的Lobachevsky函数编码三角剖分曲面上的双曲体积。
• 构造一致角度系统集合 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $，其为由线性方程与严格不等式定义的凸集。
• 证明函数 $ F $ 在 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ 上的临界点对应于圆周图案问题的解。
• 证明 $ F $ 在 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ 上的严格拟凹性，从而保证解在尺度下唯一。
• 证明 $ F $ 无法在 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ 的边界上取到最大值，从而在集合非空时保证解的存在性。
• 利用Lobachevsky函数推导出特殊双曲多面体（如一个理想顶点与三个超理想顶点的锥体）的显式体积公式。

实验结果

研究问题

• RQ1 在何种条件下，具有给定组合类型、交角与圆锥角的加权Delaunay三角剖分存在？
• RQ2 当此类三角剖分存在时，其是否在尺度下唯一？
• RQ3 如何刻画具有给定二面角与顶点类型的超理想多面体的存在性与唯一性？
• RQ4 能否基于双曲体积的变分原理求解分片平坦曲面上的圆周图案问题？
• RQ5 Milnor的Lobachevsky函数在构建圆周图案凸优化问题中起到何种作用？

主要发现

• 加权Delaunay三角剖分问题的解存在，当且仅当一致角度系统集合 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ 非空。
• 解在尺度下唯一，由 $ F $ 在可行集上的严格拟凹性保证。
• 变分原理将圆周图案问题转化为具有线性约束的凸优化问题，从而支持数值计算。
• 利用Lobachevsky函数推导出特殊双曲多面体（如一个理想顶点与三个超理想顶点的锥体）的显式体积公式。
• 该方法将Rivin对理想多面体的结果推广至超理想与加权情形，包括具有给定角度的圆锥奇点。
• 一个具有一个理想顶点与三个超理想顶点的四面体的体积可表示为四个特殊锥体体积之和，每个锥体均有基于Lobachevsky函数的闭式表达式。