[论文解读] On Discrete Conformal Seamless Similarity Maps

Marcel Campen, Denis Zorin|arXiv (Cornell University)|May 6, 2017

3D Shape Modeling and Analysis参考文献 1被引用 3

一句话总结

本文针对具有指定单值性签名的三角形网格上离散共形无缝相似映射的迭代算法，提供了严格的收敛性和正确性分析。通过将该方法与参数域上角度约束的牛顿法相联系，并证明该系统源于一个凸能量函数，作者在较弱条件下证明了收敛性，并分析了边翻转在优化过程中维持有效性的作用。

ABSTRACT

An algorithm for the computation of global discrete conformal parametrizations with prescribed global holonomy signatures for triangle meshes was recently described in [Campen and Zorin 2017]. In this paper we provide a detailed analysis of convergence and correctness of this algorithm. We generalize and extend ideas of [Springborn et al. 2008] to show a connection of the algorithm to Newton's algorithm applied to solving the system of constraints on angles in the parametric domain, and demonstrate that this system can be obtained as a gradient of a convex energy.

研究动机与目标

• 严格分析一种用于计算具有指定单值性签名的离散共形无缝相似映射的迭代算法的收敛性与正确性。
• 建立该算法与在参数域上应用于角度约束的牛顿法之间的联系。
• 证明约束系统可作为凸能量函数的梯度导出。
• 研究边翻转在维持三角形不等式和防止退化配置方面的作用。
• 解决关于边翻转无限序列的开放问题，类似于离散里奇流中的情况。

提出的方法

• 该算法在剪切网格 $ M_c $ 上计算一个离散 0-形式 $ \varphi $，通过边长更新 $ l_i = l_i^G \cdot \exp\left(\frac{\varphi_v + \varphi_w}{2}\right) $ 诱导出离散共形度量。
• 它将单值性约束表述为角度上的方程组，证明这些方程组是凸能量函数 $ E(\psi) $ 的梯度。
• 该方法使用由调和 1-形式基导出的闭 1-形式 $ \xi $，其中系数 $ \psi $ 通过 $ \psi = P\mathbf{y} $ 与顶点和环路角度和相关联。
• 采用一种改进的牛顿型迭代方法，通过类似线搜索的截断来防止违反三角不等式，必要时触发边翻转。
• 边翻转是内在的，且保持总角度和测地曲率值不变，从而维持能量与约束的一致性。
• 通过伪逆形式 $ P^+ $ 分析系统，将目标约束 $ \mathbf{b}_t $ 与能量梯度关联，确保与单值性签名的一致性。

实验结果

研究问题

• RQ1 该算法是否收敛到具有指定单值性签名的离散共形无缝相似映射？
• RQ2 角度约束系统能否被解释为凸能量函数的梯度？
• RQ3 边翻转对收敛性有何影响？是否存在无限序列的边翻转？
• RQ4 在何种条件下，两个相邻三角形会同时退化，导致边长为零？
• RQ5 当优化过程中违反三角不等式时，该算法如何维持有效性？

主要发现

• 若该算法收敛，则可生成具有指定单值性签名的离散共形无缝相似映射。
• 证明了角度约束系统是凸能量函数的梯度，从而支持牛顿型优化方法。
• 该算法的改进版本在不发生无限边翻转序列的情况下收敛，尽管此类序列是否可能尚未被证明。
• 边翻转是内在的，且保持总角度和与测地曲率不变，从而与单值性约束保持一致。
• 证明了能量函数 $ E(\psi) $ 及其改进版本 $ E'(\psi) $ 的梯度与角度约束方程的左侧完全匹配。
• 该方法通过在违反前截断步长来避免将能量扩展到无效状态，并通过边翻转解决退化问题，其策略类似于 Luo (2004) 的方法。