[論文レビュー] Triangulated Manifolds with Few Vertices: Vertex-Transitive Triangulations I

Ekkehard G. Köhler, Frank H. Lutz|ArXiv.org|Jun 24, 2005

Advanced Combinatorial Mathematics参考文献 62被引用数 16

ひとこと要約

本稿では、群作用とGAPを用いた計算アルゴリズムを活用して、少ない頂点数の頂点推移的組合せ的d次元多様体を列挙する手法を提示する。本手法は13頂点まで体系的にすべてのこのような多様体を特定し、非小規模な位数の群に対しては14〜15頂点まで拡張する。さらに、3次元多様体の頂点推移的三角形分割を17頂点まで、および22頂点までネイバーり型表面を完全に分類する。

ABSTRACT

We describe an algorithm for the enumeration of (candidates of) vertex-transitive combinatorial $d$-manifolds. With an implementation of our algorithm, we determine, up to combinatorial equivalence, all combinatorial manifolds with a vertex-transitive automorphism group on $n\leq 13$ vertices. With the exception of actions of groups of small order, the enumeration is extended to 14 and 15 vertices.

研究の動機と目的

• 少ない頂点数の頂点推移的組合せ的d次元多様体を体系的に列挙するためのアルゴリズムの開発。
• 頂点推移的群作用を組み込むことで、先行研究のネイバーり型および対称的三角形分割の研究を拡張する。
• 13頂点までにわたるすべての組合せ的に異なる頂点推移的三角形分割のd次元多様体を分類する。14〜15頂点への拡張も含む。
• 候補となる多様体の位相的型をヒューリスティック的手法を用いて同定するための計算フレームワークを提供する。
• 中心対称および擬多様体のケースを含む、さらなる対称的三角形分割の列挙を支援する。

提案手法

• 入力パラメータを固定：頂点数n、次元d、n頂点上の頂点推移的群作用n^i。
• 与えられた推移的群作用n^iに関して不変な、n頂点上の純d次元単体的複体をすべて生成。
• ステップ3でヒューリスティックを適用し、候補が擬多様体性および局所ホモロジー条件を満たすかをテスト。
• ステップ4で、現在の群作用を用いて自己同型群の構造を特定し、組合せ的同値性に基づいて候補を分類。
• GAPの推移的置換群ライブラリを用いて、n ≤ 31の非同型な推移的群作用をすべてアクセス。
• ステップ5〜7で反復的フィルタリングと位相的テストを適用し、有効な組合せ的多様体を同定し、位相的型を推定。

実験結果

リサーチクエスチョン

• RQ1 n ≤ 13頂点の頂点推移的組合せ的d次元多様体はどのようなものがあり、どのように体系的に列挙できるか？
• RQ2 頂点推移的群作用は、少ない頂点数の単体的多様体の構造にどのように制約を加えるか？
• RQ3 群の位数および置換群の型は、対称的三角形分割の分類において果たす役割は何か？
• RQ4 このアルゴリズムは13頂点を超える頂点推移的三角形分割の列挙に拡張可能か。特に3次元多様体およびネイバーり型表面に対しては？
• RQ5 組合せ的分類後に、候補となる多様体の位相的型をどのようにヒューリスティックに同定できるか？

主な発見

• 本アルゴリズムは、13頂点までにわたるすべての頂点推移的組合せ的d次元多様体を成功裏に列挙でき、非小規模な位数の群に対しては14および15頂点まで拡張可能であった。
• 17頂点までにわたるすべての頂点推移的三角形分割の3次元多様体が列挙され、ネイバーり型および中心対称のケースを含んでいた。
• 本手法により、22頂点までにわたるすべての頂点推移的ネイバーり型表面が同定され、12頂点の三角形分割に関する先行研究を拡張した。
• 本アルゴリズムはGAP上でMANIFOLD_VTとして実装されており、対称的三角形分割の再現可能な列挙を可能にした。
• 候補の組合せ的自己同型群は、群作用の位数によって決定され、重複を避けるために、より大きな群から処理を優先した。
• 本手法はKühnelとLassmannの1985年のアルゴリズムを一般化・改善し、次元および頂点数の範囲を広く、深く列挙を可能にした。