[论文解读] Surface Triangulation -- The Metric Approach

Emil Saucan|ArXiv.org|Jan 26, 2004

Geometric Analysis and Curvature Flows参考文献 16被引用 7

一句话总结

本文提出一种基于度量的算法，通过离散的内在定义（源自嵌入曲率的Wald曲率）在多面曲面上计算高斯曲率，避免使用经典微分几何。通过将三角化曲面建模为有限度量空间，并利用Gromov-Hausdorff极限，建立了一个自然且计算鲁棒的框架，将曲率扩展至非光滑特征（如圆锥点和棱线），其中修正的Wald曲率提供了一致的极限，与光滑曲面上的经典曲率一致。

ABSTRACT

We embark in a program of studying the problem of better approximating surfaces by triangulations(triangular meshes) by considering the approximating triangulations as finite metric spaces and the target smooth surface as their Haussdorff-Gromov limit. This allows us to define in a more natural way the relevant elements, constants and invariants s.a. principal directions and principal values, Gaussian and Mean curvature, etc. By a "natural way" we mean an intrinsic, discrete, metric definitions as opposed to approximating or paraphrasing the differentiable notions. In this way we hope to circumvent computational errors and, indeed, conceptual ones, that are often inherent to the classical, "numerical" approach. In this first study we consider the problem of determining the Gaussian curvature of a polyhedral surface, by using the {\em embedding curvature} in the sense of Wald (and Menger). We present two modalities of employing these definitions for the computation of Gaussian curvature.

研究动机与目标

• 开发一种离散的、基于度量的高斯曲率定义，避免依赖经典微分几何及其相关的数值近似。
• 将曲率计算扩展至非光滑曲面（如具有圆锥点、棱线和多边形面的曲面），这些曲面的传统方法会失效。
• 利用Gromov-Hausdorff距离和Lipschitz距离建立理论基础，证明紧致曲面可作为有限度量空间（三角化）的极限出现。
• 定义并验证一种离散曲率概念——修正的Wald曲率，其在光滑曲面上收敛于经典高斯曲率。
• 提供基于Cayley-Menger行列式和近似方法的计算可行公式，便于实际实现。

提出的方法

• 将三角化曲面建模为有限度量空间，并利用Gromov-Hausdorff距离定义其作为离散逼近极限收敛于光滑曲面的过程。
• 采用Wald曲率作为高斯曲率的离散度量类比，通过曲面上四点构成的四面体的外接圆半径定义。
• 引入修正的Wald曲率（κ_WK）以处理标准Wald曲率因线性退化而失效的非光滑点。
• 利用Cayley-Menger行列式计算R³中四面体的外接圆半径，实现曲率的精确计算。
• 基于Robinson的方法推导出基本近似公式，以实现大规模网格上的高效计算。
• 采用Rinow曲率作为度量替代方案，并在内在度量条件下证明其与修正的Wald曲率等价。

实验结果

研究问题

• RQ1 能否构建一种离散的、基于度量的高斯曲率定义，避免使用微分几何和数值近似？
• RQ2 如何在多面曲面的非光滑点（如圆锥点和棱线）上合理定义曲率？
• RQ3 修正的Wald曲率是否收敛于光滑曲面上的经典高斯曲率？
• RQ4 在离散设置下，Wald曲率、Rinow曲率与经典高斯曲率之间存在何种关系？
• RQ5 能否利用Cayley-Menger行列式和几何近似推导出计算高效的曲率公式？

主要发现

• 修正的Wald曲率（κ_WK）在标准Wald曲率因线性退化而失效的点上，提供了有定义且稳定的曲率概念。
• 在光滑曲面上，修正的Wald曲率与经典高斯曲率一致，验证了其作为离散类比的适用性。
• 一系列有限度量空间（如三角化）的Gromov-Hausdorff极限可表示任意紧致曲面，从而为使用离散逼近提供了理论依据。
• 在R³中，四面体外接球的半径可通过包含Cayley-Menger行列式的行列式公式精确计算。
• 在内在度量条件下，通过三角形比较定义的Rinow曲率与修正的Wald曲率等价，证实了不同度量曲率定义之间的一致性。
• 本文既提供了基于Cayley-Menger行列式的精确公式，也提供了适用于大规模多面体网格曲率计算的高效近似方法。