[論文レビュー] Geometric angle structures on triangulated surfaces

Ren Guo|arXiv (Cornell University)|Jan 20, 2006

Computational Geometry and Mesh Generation参考文献 3被引用数 4

ひとこと要約

この論文は、辺およびデラウンイ・インバリアントを用いて、三角形分割された曲面上の球面的、双曲的、ユークリッド的角構造の存在を特徴づける。線形計画法の双対性およびリビンとライボンの手法の適応を用いて、解集合が空でないための必要十分条件を確立し、双曲的および球面的幾何における未解決の線形計画法問題を解決する。

ABSTRACT

In this paper we characterize a function defined on the set of edges of a triangulated surface such that there is a spherical angle structure having the function as the edge invariant (or Delaunay invariant). We also characterize a function such that there is a hyperbolic angle structure having the function as the edge invariant.

研究の動機と目的

• 所与の辺インバリアントに対する双曲的角構造の存在に関する未解決の線形計画法問題を解くこと。
• 所与のデラウンイ・インバリアントに対する球面的角構造の存在に関する線形計画法問題を解くこと。
• 変分法および双対性手法を用いて、既知のユークリッド的コーン計量の結果を球面的および双曲的幾何に拡張すること。
• 組合せ的および幾何的制約を用いて、角構造の解集合が空でないための必要十分条件を確立すること。

提案手法

• 線形計画法の双対性を用いて、存在問題を三角形の部分集合における実行可能性条件に変換する。
• ライボンによる双曲的角構造のデラウンイ・インバリアントを用いた特徴づけを適用し、辺インバリアントに対する新しい条件を導出する。
• 変数変換 $ y_i = \frac{\pi + x_i - x_j - x_k}{2} $ を用いて、双曲的および球面的角構造を関連付ける。
• 三角形の個数および部分集合上の辺インバリアントを含む組合せ的不等式を通じて、必要十分条件を導出する。
• 恒等式 $ 2D(e) + \mathcal{D}(e) = 2\pi $ を用いて、異なる幾何における辺インバリアントとデラウンイ・インバリアントを関連付ける。
• 線形計画法における背理法を用いて、解集合の非空性のための厳密不等式条件を証明する。

実験結果

リサーチクエスチョン

• RQ1 辺インバリアント $ D:E \to (0,2\pi) $ に対して、どのような条件下で双曲的角構造が存在するか？
• RQ2 デラウンイ・インバリアント $ \mathcal{D}:E \to (-2\pi,2\pi) $ に対して、どのような条件下で球面的角構造が存在するか？
• RQ3 辺インバリアントを用いて、球面的角構造の存在をどのように特徴づけられるか？
• RQ4 双曲的および球面的幾何の文脈において、辺インバリアントとデラウンイ・インバリアントの関係は何か？
• RQ5 ユークリッド的および双曲的ケースの既知の結果と双対性を用いて、双曲的および球面的角構造の線形計画法の実行可能性条件を導出できるか？

主な発見

• 辺インバリアント $ D $ を持つ球面的角構造の集合 $ AS(S,T;D) $ は、すべての部分集合 $ X \subseteq F $ に対して $ \pi|X| < \sum_{e \in E(X)} D(e) $ が成り立つときかつそのときに限り空でない。
• 辺インバリアント $ D $ を持つ双曲的角構造の集合 $ AH(S,T;D) $ は、すべての部分集合 $ X \subset F $ に対して $ \pi(|F| - |X|) > \sum_{e \notin E(X)} D(e) $ が成り立つときかつそのときに限り空でない。
• デラウンイ・インバリアント $ \mathcal{D} $ を持つ球面的角構造の集合 $ AS(S,T;\mathcal{D}) $ は、すべての部分集合 $ X \subset F $ に対して $ \pi(|F| - |X|) > \sum_{e \notin E(X)} \left(\pi - \frac{1}{2}\mathcal{D}(e)\right) $ が成り立つときかつそのときに限り空でない。
• 辺インバリアント $ D $ を持つ双曲的角構造の存在は、デラウンイ・インバリアント $ \mathcal{D}(e) = 2\pi - 2D(e) $ を持つ球面的角構造の存在と同値である。
• 導出された条件下で、双対線形計画法の最大値は厳密に負であり、解集合の非空性が保証される。
• 証明により、解集合が空でないのは厳密不等式が成り立つ場合に限ることが示され、背理法により等号の場合が除外される。