[論文レビュー] Visibility graphs and deformations of associahedra

Satyan L. Devadoss, Rahul Shah+2 more|arXiv (Cornell University)|Mar 16, 2009

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

本稿では、任意の単純多角形 P に対して、その凸対角分割の顔の順序集合に一致する多面体的複体 𝒦_P を導入する。これは古典的なアソシアヘドロンを一般化するものである。可視性グラフを用いて、多角形変形過程における単調な可視性変化を捉える変形順序集合 𝒟 を定義し、星型多角形が凸位置への単調な変形を有することを証明する。一方、すべての多角形が可視性を増加させる頂点移動によって単調に凸化可能かどうかという未解決問題を提示する。

ABSTRACT

The associahedron is a convex polytope whose face poset is based on nonintersecting diagonals of a convex polygon. In this paper, given an arbitrary simple polygon P, we construct a polytopal complex analogous to the associahedron based on convex diagonalizations of P. We describe topological properties of this complex and provide realizations based on secondary polytopes. Moreover, using the visibility graph of P, a deformation space of polygons is created which encapsulates substructures of the associahedron.

研究の動機と目的

• 単純多角形 P に対して、凸対角分割を用いて、古典的なアソシアヘドロンの構成を凸多角形から任意の単純多角形へ拡張すること。
• 可視性グラフに基づく変形順序集合 𝒟 を定義し、多角形変形の組合せ的構造を捉えること。
• すべての単純多角形が、各ステップで可視性を増加させる頂点移動によって単調に凸位置に変形可能かどうかを調査すること。
• 星型多角形が可視性の単調増加を伴う変形によって凸化可能であることを証明し、変形問題に対する部分的解決を与えること。
• 未解決問題を提示する：変形順序集合 𝒟 のすべての最大鎖の長さが binom(n,2) - 2n + 4 に等しいかどうか。

提案手法

• 頂点ラベルを保存する単射を用いて、P の凸対角分割を、n 頂点の凸多角形の凸対角分割へ写像し、古典的アソシアヘドロン 𝒦_n の部分複体として多面体的複体 𝒦_P を構成する。
• 多角形 P の可視性グラフを、お互いに互いを視認できる頂点同士が接続されるグラフとして定義し、これに基づいて可視性を順序とする多角形の変形順序集合 𝒟 を定義する。
• 頂点を核点 x へ収縮させる連続的線形変形写像 f: P × [0,1] → P を用意し、変形過程で可視性が保たれることを保証する。
• 星型多角形に対して、この変形が各段階で可視性を保ち、可視辺の数が単調に増加することを証明する。
• 可視性を増加させるために、1つの頂点を移動できるかを分析することで変形プロセスを離散化し、反例を提示して、可視性を失うことなく可視性を増加させる移動が常に可能ではないことを示す。
• 2次多面体構成と顔の順序集合の同型を用いて、𝒦_P を ℝ^{n-3-d(P)} に埋め込んだ幾何的対象として実現する。

実験結果

リサーチクエスチョン

• RQ1 すべての単純多角形が、可視性を単調に増加させる頂点移動の列によって凸位置に変形可能か？
• RQ2 可視性を順序とする多角形の変形順序集合 𝒟 において、すべての最大鎖の長さが binom(n,2) - 2n + 4 に等しいか？
• RQ3 任意の多角形から凸多角形への可視性を増加させる変形パスが存在するか？ ここで可視性は各ステップで増加する。
• RQ4 どの多角形クラス（例：星型多角形）に対して、可視性の単調増加を伴う変形が存在するか？
• RQ5 多角形の可視性グラフを用いて、アソシアヘドロンの部分構造を捉える変形空間を定義可能か？

主な発見

• 任意の n 頂点を持つ単純多角形 P に対して、その凸対角分割の順序集合と同型な顔の順序集合を持つ多面体的複体 𝒦_P が構成され、𝒦_P は古典的アソシアヘドロン 𝒦_n の部分複体である。
• 𝒦_P の次元は n - 3 - d(P) であり、d(P) は P を凸化するために必要な最小の対角線数である。
• 変形順序集合 𝒟 は連結であり、最大元は凸 n 角形に対応し、最小元は一意な三角形分割を持つ多角形に対応する。
• 星型 n 角形に対して、可視性が各段階で保たれる連続的変形が存在し、可視性の単調増加パスの存在を証明する。
• ある非凸多角形において、可視性を失うことなく可視性を増加させる頂点の移動が不可能である反例を提示し、単調性の自明な離散版が成り立たないことを否定する。
• 本稿では、変形順序集合 𝒟 のすべての最大鎖の長さが binom(n,2) - 2n + 4 に等しいという未解決問題を提示する。これは、変形過程で普遍的な可視性の単調増加が成立することを示唆する。