[论文解读] Ideal hyperbolic polyhedra and discrete uniformization

Boris Springborn|arXiv (Cornell University)|Jul 21, 2017

Geometric and Algebraic Topology参考文献 26被引用 13

一句话总结

本文通过在装饰的Teichmüller空间上使用凸优化，提出了一种变分的、构造性的Rivin定理证明，该定理涉及具有预设内在度量的理想双曲多面体的存在性与唯一性。研究建立了球面上离散一致化的凸变分原理，并将其推广至高亏格情形，通过Delaunay三角剖分与Ptolemy边翻转提供了一种计算方法。

ABSTRACT

We provide a constructive, variational proof of Rivin's realization theorem for ideal hyperbolic polyhedra with prescribed intrinsic metric, which is equivalent to a discrete uniformization theorem for spheres. The same variational method is also used to prove a discrete uniformization theorem of Gu et al. and a corresponding polyhedral realization result of Fillastre. The variational principles involve twice continuously differentiable functions on the decorated Teichmüller spaces $\widetilde{\mathcal{T}_{g,n}}$ of punctured surfaces, which are analytic in each Penner cell, convex on each fiber over $\mathcal{T}_{g,n}$, and invariant under the action of the mapping class group.

研究动机与目标

• 提供Rivin关于具有预设内在度量的理想双曲多面体实现定理的构造性、变分性证明。
• 在带 punctured 的球面和高亏格曲面上建立离散共形一致化的凸变分原理。
• 将变分方法扩展至证明Gu等人与Fillastre关于离散一致化与多面体实现的定理。
• 通过Delaunay三角剖分与Ptolemy边翻转，开发一种用于度量变换的计算框架。
• 证明该变分方法通过凸性与尺度不变性可唯一确定解，从而支持算法实现。

提出的方法

• 将多面体实现问题转化为在装饰的Teichmüller空间 $\widetilde{\mathcal{T}}_{g,n}$ 上的有限维凸优化问题，带边界约束。
• 利用双曲空间中的Epstein–Penner凸包构造，定义目标能量函数 $\bar{\mathcal{E}}^{v_{\infty}}_{\Delta,\lambda}$，其为二阶连续可微且分段解析。
• 采用Delaunay三角剖分与Weeks的边翻转算法，在优化过程中保持最优三角剖分。
• 通过Ptolemy翻转在优化过程中更新边长，同时保持诱导的双曲度量，并支持可变三角剖分。
• 利用能量函数 $\mathcal{E}_{\Theta,\Delta,\lambda}$ 的凸性及在 $u \mapsto u + h\mathbf{1}_V$ 下的尺度不变性，确保极小化解的存在性与唯一性。
• 通过离散共形映射与多面体实现之间的等价性，将变分原理转移至一致化定理。

实验结果

研究问题

• RQ1 能否通过变分原理，构造性地证明Rivin关于理想双曲多面体存在性与唯一性的定理？
• RQ2 在带 punctured 的球面与高亏格曲面上，是否存在离散共形一致化的凸变分原理？
• RQ3 Ptolemy翻转如何在可变三角剖分的优化过程中保持度量一致性？
• RQ4 装饰的Teichmüller空间与Penner胞腔在实现解析与凸变分方法中起到何种作用？
• RQ5 该变分框架能否扩展至具有尖点与粒子的分片双曲曲面或流形？

主要发现

• 在装饰的Teichmüller空间上构建了一个凸的、二阶连续可微的变分原理，为理想双曲多面体的Rivin定理提供了构造性证明。
• 能量函数 $\bar{\mathcal{E}}^{v_{\infty}}_{\Delta,\lambda}$ 在每个Penner胞腔内为解析函数，且在 $\mathcal{T}_{g,n}$ 的纤维上为凸函数，确保唯一极小化解。
• 在亏格为零时，该方法得到一个含 $n-1$ 个变量的解，由于严格凸性，优化问题具有唯一解。
• 通过一个可推广至高亏格的变分框架，建立了离散一致化与理想多面体实现之间的等价性。
• Gu等人定理的变分方法通过一个凸的、尺度不变的能量函数 $\mathcal{E}_{\Theta,\Delta,\lambda}$ 得以证明，解在尺度下唯一。
• 该方法通过Delaunay三角剖分与Ptolemy翻转实现算法计算，这些方法在保持诱导双曲度量的同时，支持三角剖分的更新。