[论文解读] Geometric triangulations and discrete Laplacians on manifolds

David Glickenstein|ArXiv.org|Aug 10, 2005

Topological and Geometric Data Analysis参考文献 45被引用 62

一句话总结

本文提出对偶单纯形剖分作为在分段欧几里得流形上定义离散拉普拉斯算子的几何框架，统一了加权单纯形剖分与Thurston单纯形剖分。它建立了这些结构之间的等价性，将Rippa定理推广至正则单纯形剖分，并证明了离散拉普拉斯算子在细剖分极限下收敛于光滑对应算子，从而实现了在离散流形上的分析，具有在几何、物理和图像处理中的应用价值。

ABSTRACT

This paper uses the technology of weighted and regular triangulations to study discrete versions of the Laplacian on piecewise Euclidean manifolds. Regular triangulations are studied in some detail, including flip algorithms. The Laplacian is then studied as an operator on functions of the vertices as a generalized weighted Laplacian on graphs.

研究动机与目标

• 通过使用对偶单纯形剖分，在分段欧几里得流形上发展一种定义拉普拉斯算子的几何框架。
• 统一并比较三种欧几里得单纯形剖分：加权、Thurston与对偶单纯形剖分。
• 将Rippa关于拉普拉斯算子一致性的定理推广至正则单纯形剖分。
• 研究在剖分细化的极限下，离散拉普拉斯算子收敛于光滑拉普拉斯-贝尔特拉米算子的条件。
• 通过近似光滑几何结构，为离散黎曼几何奠定基础。

提出的方法

• 通过与每个单纯形关联的对偶胞腔分解来定义对偶单纯形剖分，从而实现体积与度量的计算。
• 利用Cayley-Menger行列式来强制单纯形在欧几里得空间中的可实现性，确保非退化的几何结构。
• 通过在对偶胞腔上积分引入离散拉普拉斯算子，将连续拉普拉斯算子推广至分段线性流形。
• 在二维及更高维度中应用翻转算法，构建正则与Delaunay单纯形剖分，确保几何最优性。
• 通过共享的几何与组合约束，建立加权、Thurston与对偶单纯形剖分之间的等价性。
• 利用Cheeger、Müller与Schrader关于Lipschitz-Killing曲率的结果，分析离散曲率与拉普拉斯算子收敛至光滑黎曼对应量的过程。

实验结果

研究问题

• RQ1 如何利用对偶胞腔结构在分段欧几里得流形上定义一致的离散拉普拉斯算子？
• RQ2 在n维流形中，加权单纯形剖分、Thurston单纯形剖分与对偶单纯形剖分之间存在何种关系？
• RQ3 在何种条件下，随着剖分细化，离散拉普拉斯算子会收敛于光滑拉普拉斯-贝尔特拉米算子？
• RQ4 在二维及更高维度中，翻转算法如何保持或改善如正则性与Delaunay条件等几何性质？
• RQ5 在分段欧几里得设定下，可以如何构建黎曼曲率与几何定理（如Cartan-Hadamard定理）的离散类比？

主要发现

• 本文证明了加权、Thurston与对偶单纯形剖分的等价性，表明在一致条件下它们定义了相同的几何结构。
• 证明了Rippa定理的推广，表明对于正则单纯形剖分，离散拉普拉斯算子与剖分无关，确保了离散分析中的一致性。
• 证明了通过对偶胞腔定义的离散拉普拉斯算子是在分段欧几里得流形上自然且定义良好的算子，适用于图像处理与物理中的应用。
• 在细剖分极限下，离散曲率（特别是Regge型测度的标量曲率）的收敛性得到验证，与光滑黎曼几何一致。
• 对二维及更高维度中的翻转算法进行了分析，证明其可保持或改善几何性质，从而能够构建Delaunay与正则单纯形剖分。
• 本文通过证明关键几何与分析结构（如曲率、拉普拉斯算子）可被离散化并收敛于光滑对应量，为离散黎曼几何奠定了基础。