[論文レビュー] simpcomp -- A GAP toolbox for simplicial complexes

Felix Effenberger, Jonathan Spreer|Apr 8, 2010

Topological and Geometric Data Analysis被引用数 11

ひとこと要約

simpcomp は、単体複体のインタラクティブな構築、操作、解析を可能にする GAP パッケージであり、トポロジカル不変量、自己同型群、ホモロジーの計算に高度なツールを提供する。本パッケージは、群生成子と自己同型作用からの複雑な構築を独自にサポートし、事前に計算済みのトライアングレーションの包括的なライブラリを備えている。これにより、16頂点の K3 表面が偶数の交差形式をもつ組合せ的 4 次元多様体であり、Freedman の定理により K3 表面とホメオモーフィックであることを確認できる。

ABSTRACT

simpcomp is an extension (a so called package) to GAP, the well known system for computational discrete algebra. The package enables the user to compute numerous properties of (abstract) simplicial complexes, provides functions to construct new complexes from existing ones and an extensive library of triangulations of manifolds.

研究の動機と目的

• 単体複体の計算トポロジーのためのユーザーフレンドリーで拡張可能な GAP パッケージを提供すること。
• 群生成子と自己同型作用からの複体の構築を可能にすること。これは simpcomp の独自の特徴である。
• 直ちに利用可能な、多様体および擬多様体の事前に計算済みトライアングレーションの包括的で検索可能なライブラリを提供すること。
• 1 つの統合環境内でホモロジー、基本群、交差形式といった高度なトポロジカル計算をサポートすること。
• 既知の複体、たとえば 16 頂点の K3 表面のようなものの組合せ的およびトポロジカルな性質の検証を簡素化すること。

提案手法

• パッケージは GAP において単体複体を新しい抽象データ型として実装し、すべての性質をカプセル化し、計算済み値の透明なキャッシュを可能にする。
• 面リスト、指定された自己同型群をもつ生成子、所定の次元、頂点数、推移的自己同型群をもつ複体の構築をサポートする。
• ビステラー（パッケル）移動が実装されており、ランダム化トライアングレーションとシミュレーテッド・アニーリングを用いたヒューリスティックな多様体検出が可能である。
• GAP の群論および代数計算機能と統合され、自己同型群および基本群の計算が可能である。
• polymake/TOPAZ、Macaulay2、LaTeX などのフォーマットに対する I/O サポートを提供し、包括的なヘルプシステムを備える。
• 約 650 個の多様体と約 7000 個の擬多様体のライブラリが、名前、f ベクトル、g ベクトル、h ベクトル、ホモロジーによって事前にインデックス化されており、高速な検索と取得が可能である。

実験結果

リサーチクエスチョン

• RQ1 群論的データを用いて、単体複体を効率的に構築し、組合せ的多様体としての性質を検証できるか？
• RQ2 多数の検索可能な既知のトライアングレーションのライブラリを、トポロジカル研究のための計算代数システムに統合するにはどうすればよいか？
• RQ3 ビステラー移動とヒューリスティックアルゴリズムは、単体複体における多様体構造をどの程度まで検出できるか？
• RQ4 交差形式の偶奇性や符号数といったトポロジカル不変量が、GAP ベースのフレームワーク内で効率的に計算可能か？
• RQ5 代数的および組合せ的不変量を用いて、複体のホメオモーフィズム型をどのように特定できるか？

主な発見

• 生成子と自己同型群から構築された 16 頂点の K3 表面トライアングレーションは、ビステラー移動に基づくヒューリスティックにより組合せ的 4 次元多様体として確認された。
• この複体の f ベクトルは (16, 120, 560, 720, 288)、オイラー標数は 24、ホモロジーは [0, 0, 22, 0, 1] であり、K3 表面の不変量と一致する。
• 交差形式は偶数、次元 22、符号数 16 であり、Freedman の定理により K3 表面とホメオモーフィックであることが確認された。
• この複体は単連結（基本群が自明）であり、3-隣接であるため、タイトなトライアングレーションであることが確認された。
• 完全なモース関数の多重度ベクトルによりタイトネスが確認され、非ゼロの成分は頂点 5, 7, 8, 10, 13, 16 のみに存在する。
• ライブラリにより K3 表面（ID 551）を直接読み込むことができ、構築された複体との同型性は数秒で検証された。