[論文レビュー] Planar pseudo-triangulations, spherical pseudo-tilings and hyperbolic virtual polytopes

Gaiane Panina|ArXiv.org|Jul 6, 2006

Computational Geometry and Mesh Generation参考文献 15被引用数 6

ひとこと要約

この論文は、Lamanグラフを超える指針付き埋め込みを可能にするため、擬似二角形を用いた球面的擬似タイリングを導入することで、平面的擬三角形分割と双曲的仮想多面体の間に深い接続を確立する。帰納的な幾何的 Henneberg構成を用いて、任意の Laman-plus-one グラフが、正確に4つの擬似二角形（双曲的仮想多面体の4本の角に対応）を持つ直線的かつ指針付き球面埋め込みを有することを証明する。これにより、2次元グラフ埋め込みから双曲的多面体を構成することが可能になる。

ABSTRACT

We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of extbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved later to give a nice tool for graph embeddings. On the other hand, it is the theory of hyperbolic virtual polytopes which arose from an old uniqueness conjecture for convex bodies (A. D. Alexandrov's problem): suppose that a constant $C$ separates (non-strictly) everywhere the principal curvature radii of a smooth 3-dimensional convex body $K$. Then $K$ is necessarily a ball of radius $C$. The two key ideas are: Passing from planar pseudo-triangulations to spherical pseudo-tilings, we avoid non-poited vertices. Instead, we use pseudo-di-gons. A theorem on spherically embedded Laman-plus-one graphs is announced. The difficult problem of hyperbolic polytopes constructing can be reduced to finding spherically embedded graphs.

研究の動機と目的

• 球面的埋め込みを通じて、平面的擬三角形分割の理論と双曲的仮想多面体の理論を橋渡しすること。
• 球面タイリングにおける擬似二角形の導入により、Laman グラフを超える指針付きグラフ埋め込みを拡張すること。
• 3次元の双曲的仮想多面体の構成という複雑な問題を、2次元球面上へのグラフ埋め込みというより取り扱いやすい問題に還元すること。
• 正確に4つの擬似二角形を有する自己忋力付き球面グラフから双曲的ファンを構成するための構成的メソッドを提供すること。
• 球面的擬タイリングと双曲的仮想多面体との間の組合せ的かつ幾何的辞書を確立すること。

提案手法

• S^2 上の指針付き K_4 埋め込みから出発し、Laman-plus-one グラフの球面埋め込みを帰納的に構成するため、幾何的 Henneberg 構成を球面グラフに適用する。
• 2つの頂点と2つの辺からなるタイル（擬似二角形）を導入し、球面タイリングにおける非指針付き頂点を置き換えることで、2v-3本を超える辺を有するグラフに対しても指針付き埋め込みを可能にする。
• オイラーの公式と角の数え上げ（c = 2e - v、c = 2f_2 + 3f_3）を用いて、Laman-plus-one グラフの球面埋め込みが正確に4つの擬似二角形を有する場合、e = 2v - 2 を満たすことを証明する。
• 剛性回路（Laman-plus-one グラフ）に一意に非ゼロの自己忋力が存在することを活用し、Maxwellの双対を構成する。この双対は、双曲的仮想多面体に対応する。
• 自己肩力の符号パターン（辺の色分けで符号号化）を用いて、双曲的ファンにおける赤（正）および青（負）の辺を区別する。これは球面グラフにおける肩力の符号に対応する。
• 非ゼロ自己肩力を持つ球面的擬タイリングと実現可能な双曲的ファンとの間に双対性を確立し、擬似二角形が多面体の角に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 Laman-plus-one グラフは、正確に4つの擬似二角形を有する指針付き擬タイリングとして、2次元球面 S^2 に埋め込めるか？
• RQ2 Laman グラフには標準的な球面埋め込みが存在するか？ また、それは平面的埋め込みおよび Laman-plus-one 拡張とどのように関係するか？
• RQ3 すべてのタイルが擬三角形である（つまり、擬似二角形を含まない）擬タイリングを許容する平面的グラフを特徴付ける組合せ的条件は何か？
• RQ4 剛性回路における一意に非ゼロの自己肩力の符号パターンは、その球面埋め込みの組合せ構造から一意に特定可能か？
• RQ5 双対性と山折り・谷折りの議論に基づいて、平面的擬三角形分割における拡張運動の球面的類似物は存在するか？

主な発見

• 任意の Laman-plus-one グラフは、正確に4つの擬似二角形を有する直線的かつ指針付き球面埋め込みを有し、S^2 の良い擬タイリングを形成する。
• 任意の Laman-plus-one グラフの球面埋め込みにおける擬似二角形の数は正確に4つであり、この性質がこのようなグラフを特徴付ける。
• このような埋め込みの構成は帰納的であり、S^2 上の指針付き K_4 埋め込みから出発する幾何的 Henneberg 動作を用いる。
• Laman-plus-one グラフに一意に非ゼロの自己肩力が存在することは、4つの角を持つ双曲的仮想多面体の構成を可能にし、この多面体は4つの擬似二角形に対応する。
• 球面的擬タイリングと双曲的ファンの間には一対一対応が成立する。非ゼロ自己肩力を持つこのようなタイリングは、すべて実現可能な双曲的ファンに対応する。
• 球面グラフの辺の色分け（赤：正、青：負）は、肩力の符号パターンを直接符号化しており、これは双曲的ファンにおける辺の色に対応する。