[論文レビュー] Finding tracks in 2-complexes

Nicholas Touikan|arXiv (Cornell University)|Jun 21, 2009

Geometric and Algebraic Topology参考文献 28被引用数 4

ひとこと要約

本稿では、2-torsionのない群Gの提示複体におけるトラックを計算するアルゴリズムを提示する。このアルゴリズムは、語問題の解法と非一様性定数κを用いる。主な貢献は、相対的に双曲的群における本質的自由分解および本質的初等的分解の意思決定手順を可能にすることにある。

ABSTRACT

We present an algorithm which given a presentation of a group G without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant {\kappa}, outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decides if G admits an essential free decomposition, the second is an algorithm which; if G is relatively hyperbolic; decides if it admits an essential elementary splitting.

研究の動機と目的

• 2-torsionのない群Gの提示複体におけるトラックを計算するアルゴリズムを開発すること。
• Gが本質的自由分解を許容するかどうかを意思決定する手順を提供すること。
• 相対的に双曲的群が本質的初等的分解を許容するかどうかを特定するアルゴリズムを設計すること。
• 語問題の解法と非一様性定数κを入力として用いることで、群の分解の幾何学的およびアルゴリズム的解析を可能にすること。

提案手法

• アルゴリズムは、Gにおける語問題の与えられた解法を用いて、群の提示に関連する2次元複体を走査する。
• 非一様性定数κを用いて、複体内での潜在的トラックの幾何的制約を課す。
• トラックは、特定のホモトピー的および交差条件を満たす埋め込み1次元部分複体として計算される。
• この手法は、これらのトラックの構造を通じた本質的分解のアルゴリズム的検出に依存する。
• 組合せ的群論と幾何学的群論の技術を統合することで、決定可能性を保証する。
• 出力は、Gの分解の可能性をエンコードする有限個のトラックの集合である。

実験結果

リサーチクエスチョン

• RQ1 2-torsionのない群Gにおいて、本質的自由分解の存在をアルゴリズム的に検出可能か？
• RQ2 相対的に双曲的群Gが本質的初等的分解を許容するかどうかを、アルゴリズム的に決定可能か？
• RQ3 非一様性定数κは、提示複体内の幾何的トラックを制約および計算するためにどのように利用可能か？
• RQ4 語問題の解法は、2複体内のトポロジー的特徴（例えばトラック）を検出するために果たす役割は何か？
• RQ5 群論におけるアルゴリズム的手法は、群の分解特性を決定するためにどの程度利用可能か？

主な発見

• Gが2-torsionを持たない場合、アルゴリズムは提示複体内に有限個のトラックの集合を正常に計算する。
• この手法は、Gが本質的自由分解を許容するかどうかを意思決定する手順を提供する。
• 相対的に双曲的群に対しては、アルゴリズムが本質的初等的分解の存在を決定する。
• 非一様性定数κの使用により、計算されたトラックの幾何的制御が保証される。
• 語問題の解法は、2複体の走査およびトラック構造の検出に不可欠である。
• 本研究の結果は、群の提示、幾何トポロジー、および分解理論の間の新しいアルゴリズム的ブリッジを確立する。