[論文レビュー] Ideal hyperbolic polyhedra and discrete uniformization

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

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

ひとこと要約

本稿は、装飾付きテイコフリューレス空間上の凸最適化を用いて、規定された内在的計量を持つ理想双曲多面体の存在および一意性を示す変分的で構成的な証明を提示する。これは、球面上の離散均質化に向けた凸変分原理を確立し、それを高 genus に拡張する。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 の実現定理に対する構成的で変分的な証明を提供すること。
• 穴あき球面および高 genus の曲面上の離散共形均質化に向けた凸変分原理を確立すること。
• Gu らの定理および Fillastre の離散均質化と多面体実現に関する定理を、変分法を用いて拡張して証明すること。
• Delaunay 三角形分割と Ptolemy の辺反転を用いた、計量変換のための計算フレームワークを開発すること。
• 変分的アプローチが凸性とスケール不変性により一意解をもたらし、アルゴリズム的実装を可能にすることを示すこと。

提案手法

• 装飾付きテイコフリューレス空間 $\widetilde{\mathcal{T}}_{g,n}$ 上の有界制約付き有限次元凸最適化問題に多面体実現問題を変換する。
• 双曲空間における Epstein–Penner の凸包構成法を用いて、2回連続で滑らかで、区分的解析的であるエネルギー関数 $\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 穴あき球面および高 genus の曲面上の離散共形均質化に、凸変分原理が存在するか？
• RQ3 Ptolemy の反転は、変動する三角形分割の最適化中に計量の一貫性をどのように維持できるか？
• RQ4 装飾付きテイコフリューレス空間と Penner の胞体は、解析的で凸な変分法を可能にする役割を果たすか？
• RQ5 変分的フレームワークは、尖頭点や粒子を有する、部分的に双曲的な曲面や多様体へと拡張可能か？

主な発見

• 装飾付きテイコフリューレス空間上に、凸で2回連続で微分可能な変分原理が構築され、理想双曲多面体の Rivin の定理に対する構成的証明が得られる。
• エネルギー関数 $\bar{\mathcal{E}}^{v_{\infty}}_{\Delta,\lambda}$ は各 Penner 胞体で解析的であり、$\mathcal{T}_{g,n}$ 上のファイバー上で凸であるため、一意な最小化子が保証される。
• genus が 0 の場合、変数は $n-1$ 個であり、厳密凸性により最適化問題は一意に解ける。
• 離散均質化と理想多面体実現の間の同値性が、高 genus へと拡張可能な変分的枠組みを介して確立される。
• Gu らの定理に対する変分法は、凸的かつスケール不変なエネルギー関数 $\mathcal{E}_{\Theta,\Delta,\lambda}$ を用いて証明され、スケールを除いて一意性が保証される。
• Delaunay 三角形分割と Ptolemy の反転を用いたアルゴリズム的計算が可能であり、誘導される双曲計量を保持しつつ、三角形分割の更新を可能にする。