[論文レビュー] Approximation of Polyhedral Surface Uniformization

Yaron Lipman|arXiv (Cornell University)|Jan 27, 2013

Advanced Numerical Analysis Techniques参考文献 10被引用数 3

ひとこと要約

この論文は、逐次に細分化された三角形分割上で単体写像を用いた、一般の多角形面をもつドメイン型多面体的表面の等辺三角形領域への共形均質化を、証明可能に収束するアルゴリズムとして提示する。有界な歪み率をもつ擬等角写像の凸空間を構築することで、真の均質化写像への局所一様収束を保証し、任意の多角形面をもつ一般の多面体的表面に対して、これが初めての収束保証をもつものである。

ABSTRACT

We present a constructive approach for approximating the conformal map (uniformization) of a polyhedral surface to a canonical domain in the plane. The main tool is a characterization of convex spaces of quasiconformal simplicial maps and their approximation properties. As far as we are aware, this is the first algorithm proved to approximate the uniformization of general polyhedral surfaces.

研究の動機と目的

• 一般の多面体的表面の共形均質化写像を、平面の標準的領域へ近似する構成的アルゴリズムを開発すること。
• 表面メッシュの細分化に伴う均質化写像近似の収束保証を確立すること。
• 安定性と真の共形構造への収束を保証する、擬等角単体写像の凸空間を特徴づけること。
• 特定の幾何的形状に制限されない、任意形状の多角形面をもつ多面体的表面に対応できるフレームワークを提供すること。
• 等辺三角形領域の頂点へ境界頂点を写像する制約により、均質化写像を一意に固定すること。

提案手法

• 各三角形の辺の中点を結ぶことで、多面体的表面を正則に分割し、$\mathcal{S}^0 \prec \mathcal{S}^1 \prec \cdots \prec \mathcal{S}^q$ という、次第に細分化が進む三角形分割の系列を生成する。
• 単体写像 $\Phi^q$ は、$\mathcal{S}^q$ から複素平面 $\mathbb{C}$ への分かちがけ線形かつ連続な写像として構成され、空間 $\mathcal{F}^{\mathcal{S}^q}$ を形成する。
• 各 $\Phi^q \in U^q$ が、均等な歪み率束 $K$ をもつ $K$-擬等角ホメオモーフィズムとして、$\mathcal{S}$ を等辺三角形領域 $\mathcal{T}$ に全単射に写像するように、$U^q$ という $K$-擬等角ホメオモーフィズムの凸空間を定義する。$K$ は細分化レベル $q$ に依存しない。
• 真の均質化写像 $\Psi$ の導関数 $\Psi'$ の偏角が $\pm(\frac{\pi}{2} - \varepsilon)$ の誤差内に既知であることに依存し、これにより安定な写像構築が可能になる。
• 写像が $\Phi^q \circ \Psi^{-1}$ が $\mathcal{T}$ 内部のコンパクト集合上で恒等写像に一様収束することを保証することで、局所一様収束が証明される。
• 複素数のべき写像 $z \mapsto z^\gamma$ と二項展開を用いた幾何的解析により、写像下で三角形の反転が発生しないことが示され、向きの保存が保証される。

実験結果

リサーチクエスチョン

• RQ1 任意の多角形面をもつ一般の多面体的表面の共形均質化を近似する構成的アルゴリズムを設計することは可能か？
• RQ2 メッシュの細分化に伴って、その近似が真の均質化写像に収束することを証明することは可能か？
• RQ3 均質化写像の導関数にどのような条件が課されれば、単体近似の安定性と反転の回避が保証されるか？
• RQ4 境界頂点の制約（等辺三角形領域の頂点へ写像）のみを用いて、すべての共形同型写像の中で均質化写像を一意に固定することは可能か？
• RQ5 擬等角理論は、収束保証付きの近似写像の凸空間を構築するために果たす役割は何か？

主な発見

• アルゴリズムは、細分化が進む三角形分割 $\mathcal{S}^q$ 上で定義される単体写像 $\Phi^q$ の系列を構築し、これが真の均質化写像 $\Psi$ へ局所一様に収束することを示す。
• 各写像 $\Phi^q$ は、$K$-擬等角ホメオモーフィズムとして、等辺三角形領域 $\mathcal{T}$ へ全単射に写像され、$K$ は細分化レベル $q$ に依存しない。
• 収束は、$\mathcal{T}$ 内部のコンパクト集合上で $\Phi^q \circ \Psi^{-1}$ が恒等写像に一様収束することにより証明される。
• 複素数のべき写像の実部を二項展開と角度制約を用いて評価することで、写像下での三角形反転が発生しないことが保証される。
• $\theta \leq 60.4^\circ$ の条件下では、$\mathrm{Re}(1+\xi)^\gamma - 1 > 0$ が成り立ち、これが臨界な三角形タイプにおける向きの反転を防ぐ。
• 複素数 $z^\gamma$ の二項展開の係数を評価し、$\theta \leq 60.4^\circ$ に対して $\Upsilon(\theta) > 0$ が成り立つことを示すことで、証明が行われ、反転のない挙動が保証される。