[论文解读] A discrete uniformization theorem for polyhedral surfaces

Xianfeng Gu, Feng Luo+2 more|arXiv (Cornell University)|Sep 17, 2013

Geometric Analysis and Curvature Flows被引用 7

一句话总结

本文为紧致曲面上的多面体（PL）度量引入了一种类共形结构概念，证明了每个此类度量在缩放意义下唯一共形等价于一个常曲率PL度量。通过引入带手术操作的离散Yamabe流，本文建立了该唯一度量的指数收敛性，从而为多面体曲面提供了一个构造性、算法化的离散统一化定理。

ABSTRACT

A discrete conformality for polyhedral metrics on surfaces is introduced in this paper which generalizes earlier work on the subject. It is shown that each polyhedral metric on a surface is discrete conformal to a constant curvature polyhedral metric which is unique up to scaling. Furthermore, the constant curvature metric can be found using a discrete Yamabe flow with surgery.

研究动机与目标

• 为紧致曲面上的多面体度量定义一种稳健的、与三角剖分无关的离散共形性概念。
• 在每个离散共形类中，建立常曲率PL度量的存在性与唯一性（在缩放意义下）
• 通过带手术操作的离散Yamabe流，提供一种计算统一化度量的算法化方法。
• 通过使多面体曲面的共形等价性可计算判断，弥合经典统一化理论与离散几何之间的鸿沟。

提出的方法

• 基于Delaunay三角剖分中顶点处共形因子对边长的变换，引入一种基于边长变换的离散共形性关系。
• 通过同一三角剖分上的共形变换和三角剖分改变时的等距变换，定义离散共形性。
• 利用Penner的装饰Teichmüller理论和Bobenko-Pinkall-Springborn的PL度量实现方法，对PL度量空间进行参数化。
• 在共形因子空间上构造一个严格凸的能量函数W(u)，其梯度流即为离散Yamabe流。
• 实现一种带手术操作的离散Yamabe流，当Delaunay条件不满足时动态切换三角剖分，确保收敛性。
• 通过利用能量函数的严格凸性以及在共形因子仿射子空间上的正定Hessian矩阵，证明流指数收敛至唯一目标度量。

实验结果

研究问题

• RQ1 能否为多面体度量定义一种与三角剖分选择无关、且能从边长算法判定的离散共形性关系？
• RQ2 每个紧致曲面上的多面体度量是否都存在唯一（在缩放意义下）的常曲率离散共形代表？
• RQ3 能否通过一种收敛速度指数级快的几何流，构造性地解决离散统一化问题？
• RQ4 在离散Yamabe流中，收敛过程中的三角剖分切换（手术步骤）次数是否有限？

主要发现

• 每个紧致带标记点集(S,V)的PL度量在缩放意义下唯一共形等价于一个常曲率PL度量，且满足指定曲率函数K*，其中∑K*(v) = 2πχ(S)。
• 带手术操作的离散Yamabe流指数收敛至唯一统一化度量，为离散统一化提供了一种构造性算法。
• 固定顶点集V的PL度量空间通过实解析微分同胚参数化为R^n中的一个凸多面体，确保优化过程中的几何行为良好。
• 控制流的能量函数W(u)在共形因子的仿射子空间上是严格凸的，保证了唯一最小值和单射梯度映射。
• W(u)的Hessian矩阵在共形因子子空间上为正定，确保梯度流的指数收敛性。
• 流中手术操作（三角剖分切换）的次数被推测为有限，该推测得到数值证据的支持。