[論文レビュー] The Word Problem for the Singular Braid Monoid

Oliver T. Dasbach, Bernd Gemein|ArXiv.org|Sep 12, 1998

Geometric and Algebraic Topology参考文献 18被引用数 7

ひとこと要約

この論文は、語長と特異生成子の数の積に関して、2次時間のアルゴリズムを用いて、特異ブレイドモノイド SB_n の語問題を解いている。また、Fenn, Keyman, および Rourke の埋め込み結果の代数的証明を提供し、関連する群のコhomological次元を計算している。

ABSTRACT

We give a solution to the word problem for the singular braid monoid SB_n. The complexity of the algorithm is quadratic in the product of the word length and the number of the singular generators in the word. Furthermore we algebraically reprove a result of Fenn, Keyman and Rourke that the monoid embeds into a group and we compute the cohomological dimension of this group.

研究の動機と目的

• 特異ブレイドモノイド SB_n の語問題を解くこと、すなわち、2つの語が同じ要素を表すかどうかを特定すること。
• 語長の関数として、SB_n における語の簡約に効率的なアルゴリズムを提供し、その時間計算量を証明すること。
• Fenn, Keyman, および Rourke が先行して示したが、位相的議論に依存しない純代数的証明により、SB_n が群に埋め込まれることを再証明すること。
• SB_n が埋め込まれる群のコhomological次元を計算すること。
• 幾何学的および群論的技法を用いて、特異ブレイドの基礎的な代数的およびアルゴリズム的性質を確立すること。

提案手法

• SB_n の要素に対する正規形を、定義関係の集合を用いて構築する。
• ブレイド関係および特異生成子の規則を体系的に適用して語を簡約する還元アルゴリズムを採用する。
• 還元プロセスの計算量を分析し、語長と特異生成子の数の積に関して2次時間であることを示す。
• 群提示およびホモロジー代数の技法を用いて、SB_n の群化の構造を分析する。
• 幾何トポロジーおよび群論の結果を応用し、SB_n が群に埋め込まれることを確立する。
• 特にモノイドおよびその分数群の構造を用いることで、代数的トポロジーの手法により、群のコhomological次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 特異ブレイドモノイドにおける2つの語が同じ要素を表すかどうかを判定するための効率的なアルゴリズムは何か？
• RQ2 純代数的技法を用いて、特異ブレイドモノイド SB_n が群に埋め込まれることをどのように証明できるか？
• RQ3 SB_n に関連する群のコhomological次元は何か？
• RQ4 SB_n における語問題を解く計算量の複雑さは何か？
• RQ5 SB_n の関係がどのように相互作用して、正規形と語の簡約を可能にするか？

主な発見

• 特異ブレイドモノイド SB_n の語問題は、語長と特異生成子の数の積に関して2次時間で解ける。
• Fenn, Keyman, および Rourke の結果を位相的議論に依存せずに、代数的証明により確認した。
• SB_n が埋め込まれる群のコhomological次元は n − 1 に等しい。
• アルゴリズム的解法は、SB_n の定義関係に基づく体系的な還元システムに依存している。
• SB_n の群化が、特異ブレイドモノイドの分数群の部分群に同型であることが示された。
• これらの結果により、幾何的および群論的文脈における特異ブレイドの完全な代数的・アルゴリズム的枠組みが確立された。