[論文レビュー] 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

ひとこと要約

本稿では、コンpaktoな曲面上の多面体（PL）計量に対して離散的等角性の概念を導入し、任意のこのような計量がスケーリングを除いて一意な一定曲率PL計量に離散的等角的であることを証明する。離散ヤムベー・フローに手術を組み合わせることで、この一意な計量への指数的収束を確立し、多面体的曲面に対する構成的でアルゴリズム的な離散均質化定理を提示する。

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計量が存在することを確立すること。
• 離散ヤムベー・フローに手術を組み合わせることで、均質化計量を計算するアルゴリズム的手法を提供すること。
• 古典的均質化理論と離散幾何学を結ぶことで、多面体的曲面の等角的同値性を計算的に決定可能にする。

提案手法

• デローニ三角形分割上で頂点に基づく等角的係数による辺長変換に基づく離散的等角性関係を導入する。
• 同一の三角形分割上での等角的変更と、三角形分割が変わった際の等長写像を通じて、離散的等角性を定義する。
• ペナーの装飾付きティヒミュラー理論とボベンコ＝ピンカル＝スプリンボルンのPL計量実現法を用いて、PL計量の空間をパラメトライズする。
• 等角的係数uの空間上で、その勾配フローが離散ヤムベー・フローを与える、厳密に凸なエネルギー関数W(u)を構成する。
• デローニ条件を満たさなくなった際に動的に三角形分割を切り替える「手術付き」離散ヤムベー・フローを実装し、収束を保証する。
• エネルギー関数の厳密凸性と、等角的係数のアフィン部分空間上での正定値ヘッシアンを用いて、フローの指数的収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 多面体計量に対して、三角形分割の選択に依存せず、辺長からアルゴリズム的に決定可能な離散的等角性関係を定義できるか？
• RQ2 コンパクトな曲面上の任意の多面体計量は、スケーリングを除いて一意な離散的等角的代表計量（一定曲率）を持つのか？
• RQ3 指数的収束が達成される幾何的フローを用いて、離散均質化問題を構成的に解けるか？
• RQ4 離散ヤムベー・フローにおける手術操作（三角形分割の切り替え）の回数は収束中に有限個に留まるか？

主な発見

• 任意のコンパクトなマーク付き曲面(S,V)上のPL計量は、スケーリングを除いて一意な一定曲率PL計量に離散的等角的である。この計量は、∑K*(v) = 2πχ(S) を満たす所定の曲率関数K*を持つ。
• 手術付き離散ヤムベー・フローは、一意な均質化計量へ指数的収束を示し、離散均質化の構成的アルゴリズムを提供する。
• 固定頂点集合Vを持つPL計量の空間は、R^n内の凸ポリトープへの実解析的微同相写像によってパラメトライズ可能であり、最適化に適した良好な幾何的性質を保証する。
• フローを支配するエネルギー関数W(u)は、等角的係数のアフィン部分空間上で厳密に凸であり、一意な最小値と単射勾配写像を保証する。
• W(u)のヘッシアンは、等角的係数の部分空間上で正定値であるため、勾配フローの指数的収束が保証される。
• フローにおける手術操作（三角形分割の切り替え）の回数は、数値的証拠により有限であると予想されている。