[论文解读] Random Delaunay triangulations, the Thurston-Andreev theorem, and metric uniformization

Gregory Leibon|arXiv (Cornell University)|Nov 2, 2000

Computational Geometry and Mesh Generation参考文献 8被引用 22

一句话总结

本文通过将Thurston-Andreev定理推广至负欧拉示性数曲面上任意(0, π]范围内的角度，建立了离散与连续共形几何之间的一种新联系。利用随机Delaunay三角剖分，构造了一个衡量角度均匀性的离散能量泛函，并证明该能量在随机三角剖分上取平均后，可导出一个连续能量泛函，从而通过概率方法证明度量统一化定理。

ABSTRACT

In this thesis a connection between the worlds of discrete and continuous conformal geometry is explored. Specifically, a disk pattern production theroem is proved using an energy which measures how ``uniform'' the angle data of a triangulation is, see also math.DG/0002150. Then this energy is averaged over all the Delaunay triangulation of a Riemannian surface to form an energy measuring how ``uniform'' a metric is, see also math.DG/0010316.

研究动机与目标

• 建立离散共形几何（通过圆图案与三角剖分）与连续共形几何（通过度量统一化）之间的桥梁。
• 将Thurston-Andreev定理推广至负欧拉示性数曲面上任意(0, π]范围内的角度。
• 为双曲曲面上测地三角剖分中的角度均匀性构建一个离散能量泛函。
• 证明对随机Delaunay三角剖分平均该离散能量，可得到一个连续能量泛函，从而证明度量统一化定理。
• 通过随机三角剖分技术，提供拉普拉斯算子行列式的概率解释，并给出高斯-博内定理的新证明。

提出的方法

• 基于双曲曲面上测地三角剖分中的角度数据，引入一个衡量均匀性的离散能量泛函。
• 使用随机Delaunay三角剖分作为采样机制，对离散能量进行平均，从而构造出一个连续能量泛函。
• 应用该平均过程，推导出共形几何中度量统一化定理的证明。
• 运用Delaunay三角剖分的几何分析，包括小圆相交定理及三角剖分族的膨胀技术。
• 利用向量与余向量分解（如 $ w_e $, $ ho^e $, $ heta $）分析三角剖分形变过程中角度与长度的变化。
• 采用拓扑与连续性论证（如面积的单调性、曲线非相切性）排除非唯一圆解，确保Delaunay构型的唯一性。

实验结果

研究问题

• RQ1 Thurston-Andreev定理能否推广至负欧拉示性数曲面上任意(0, π]范围内的角度？
• RQ2 如何利用三角剖分上的离散能量泛函来近似或推导连续共形不变量？
• RQ3 随机Delaunay三角剖分在构造度量统一化定理的概率证明中起到何种作用？
• RQ4 对随机三角剖分上离散能量的平均是否能产生一个刻画常曲率度量的连续能量泛函？
• RQ5 能否从随机三角剖分过程中导出拉普拉斯算子行列式的概率解释？

主要发现

• 本文将Thurston-Andreev定理推广至负欧拉示性数曲面上任意(0, π]范围内的角度，将原始结果扩展至更广范围的角度数据类别。
• 构建了一个衡量测地三角剖分中角度均匀性的离散能量泛函，并证明其在三角剖分形变下是良定义且连续的。
• 对随机Delaunay三角剖分平均该离散能量，可导出一个刻画常曲率度量的连续能量泛函，从而证明度量统一化定理。
• 该方法基于随机三角剖分的几何与拓扑约束，提供了高斯-博内定理的新概率证明。
• 通过随机Delaunay三角剖分上的能量平均过程，建立了拉普拉斯算子行列式的全新概率解释。
• 通过反证法证明了通过三点的小圆唯一性，依赖于非相切性与基于锥体的几何约束，确保了Delaunay三角剖分构造的一致性。