[論文レビュー] Irreducible triangulations of low genus surfaces

T. Sulanke|ArXiv.org|Jun 27, 2006

Geometric and Algebraic Topology参考文献 15被引用数 24

ひとこと要約

本稿では、逆向きの辺分割アルゴリズムを用いて、低次の可定向的・非可定向的トーラス（S₀, S₁, S₂, N₁, N₂, N₃, N₄）の既約三角形分割の計算的列挙と解析を実施する。主な貢献は、N(S₂) = 10 および N(N₃) = 9 の決定であり、N(N₄) = 10 である（3つの対角線反転による同値類のため）、これにより N(S) = V_min(S) を満たすのはたった6つの表面に限るという予想を支持する。

ABSTRACT

The complete sets of irreducible triangulations are known for the orientable surfaces with genus of 0, 1, or 2 and for the nonorientable surfaces with genus of 1, 2, 3, or 4. By examining these sets we determine some of the properties of these irreducible triangulations.

研究の動機と目的

• 可定向的表面 S₀～S₂ および非可定向的表面 N₁～N₄ に対して、すべての既約三角形分割を体系的に生成・分類すること。
• これらの三角形分割の構造的・位相的性質を分析すること、特に辺の収縮、頂点の分割、対角線反転に注目すること。
• 対角線反転による同値性が成立する最小の頂点数 N(S) を特定し、N(S) が最小頂点数 V_min(S) を上回る場合を調査すること。
• N(S) = V_min(S) を満たす表面が S₀, S₁, S₂, N₁, N₂, N₃ の6つに限るという予想を検証すること。
• S₂, N₃, N₄ に対して、擬最小三角形分割とその対角線反転による同値類の完全なリストを提供すること。

提案手法

• 低オイラー・ジェネルスの既約三角形分割から出発し、頂点の分割およびハンドル／クロスキャップの付加によって新しい三角形分割を生成する逆生成アルゴリズムを採用した。
• コンピュータ実装を用いて、頂点の分割を体系的に行い、既約性をチェックすることで、S₂, N₃, N₄ の既約三角形分割を生成した。
• 辺の収縮および対角線反転操作を適用し、同値性をテストし、擬最小三角形分割（対角線反転の下でのみ既約であるもの）を同定した。
• すべての収縮可能な辺に接する面を確認することで、ほとんど既約三角形分割を同定し、N₁ および S₁ において9頂点を超える場合にそれらが存在しないことを確認した。
• 次数6の頂点を削除し、その結果生じる6-cycleの反対側の頂点を同一視する操作を用いて、既約性をテストした。
• 生成されたリストを用いた包括的探索により、同じ頂点数を持つ三角形分割同士を比較し、対角線反転による同値類を分析した。

実験結果

リサーチクエスチョン

• RQ1 二重トーラス（S₂）、三重クロス表面（N₃）、四重クロス表面（N₄）に対して、それぞれいくつの既約三角形分割が存在するか？
• RQ2 表面 S に対して、すべての三角形分割が対角線反転によって同値となる最小の頂点数 N(S) は、S₂, N₃, N₄ に対してそれぞれいくらか？
• RQ3 N(S) > V_min(S) を満たす表面は存在するか？ もし存在するなら、低 genus の範囲でいくつ存在するか？
• RQ4 S₂, N₃, N₄ の最小三角形分割は、対角線反転の下で一つの同値類を形成するか、それとも複数の同値類に分かれるか？
• RQ5 N(S) = V_min(S) を満たす表面はどれか？ そして、この等式は有限個の表面に限られるのか？

主な発見

• 二重トーラス（S₂）の最小三角形分割は865個であり、すべて擬最小であり、対角線反転の下で一つの同値類を形成するため、N(S₂) = V_min(S₂) = 10 である。
• 三重クロス表面（N₃）の最小三角形分割は133個であり、すべて擬最小であり、一つの同値類を形成するため、N(N₃) = V_min(N₃) = 9 である。
• 四重クロス表面（N₄）の37個の最小三角形分割はすべて擬最小であるが、3つの同値類（サイズ32, 3, 2）に分割されるため、N(N₄) = V_min(N₄) + 1 = 10 である。
• 著者は、3 ≤ g ≤ 15 の S_g および 4 ≤ g ≤ 30 の N_g に対して、非同値な最小三角形分割のペアを発見し、これらの表面に対して N(S) > V_min(S) であることを証明した。
• 本稿は、N(S) = V_min(S) を満たす表面が S₀, S₁, S₂, N₁, N₂, N₃ の6つに限るという予想を支持する。
• N₁ に対してはほとんど既約三角形分割は存在せず、S₁ において9頂点を超える三角形分割はすべてほとんど既約でないことが確認された。これにより、低 genus の場合における構造的制約が裏付けられた。