[論文レビュー] Groebner-Shirshov Basis for the Chinese Monoid

Yuqun Chen, Jianjun Qiu|ArXiv.org|Apr 7, 2008

semigroups and automata theory参考文献 4被引用数 6

ひとこと要約

この論文は、非可換代数的技法を用いて中国モノイドのグレブナー＝シルシュォフ基底を確立し、語の正規形を体系的に計算するための方法を提供する。主な貢献は、先行研究における挿入アルゴリズムと同等の構成的アルゴリズムであり、すべての語が一意に正規形に還元されることを保証し、階段形正規形が中国代数の基底であることを確認する。

ABSTRACT

In this paper, a Groebner-Shirshov basis for the Chinese monoid is obtained and an algorithm for the normal form of the Chinese monoid is given.

研究の動機と目的

• グレブナー＝シルシュォフ基底理論を用いて、中国モノイドの正規形を新たな代数的導出を提供すること。
• 中国の階段形といった特殊な道具に代わる、標準的な非可換代数的技法を用いて、中国モノイドの語の問題を簡素化および統一すること。
• 先行研究における挿入アルゴリズムが、グレブナー＝シルシュォフ枠組みにおける先頭語の除去（ELW）手続きと同等であることを示すこと。
• 階段形の語の集合が、体上の中国代数における線形基底をなすことを証明すること。

提案手法

• 著者たちは、$ x_i x_j x_k = x_i x_k x_j = x_j x_i x_k $（$ i > j > k $）および $ x_i x_j x_j = x_j x_i x_j $、$ x_i x_i x_j = x_i x_j x_i $（$ i > j $）という関係を用いて中国モノイドを提示する。
• 彼らは非可換代数のためのグレブナー＝シルシュォフ基底理論を適用し、単項式順序と関係の合成を用いて、すべての合成が基底に関して自明であることを検証する。
• 先頭語の除去（ELW）手続きを用いて非正規語を簡約し、アルゴリズムが正規形構造を保つことを示す。
• 順序に基づくネストされた指数関数的パターンによって定義される階段形の語の集合 $ \Omega $ が、ELW 操作に関して閉じていることを証明する。
• 挿入アルゴリズムは、ELW ルールの再帰的適用として導出され、挿入される文字と既存の生成子の相対的順序に基づくケースに分けられる。
• Composition-Diamond Lemma を適用し、関係の先頭項を含まない既約語が、代数の線形基底をなすことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 中国モノイドの正規形は、特殊な組合せ論的道具に代わってグレブナー＝シルシュォフ基底理論を用いて導出可能か？
• RQ2 先行研究における挿入アルゴリズムは、グレブナー＝シルシュォフ枠組みにおける先頭語の除去手続きと同等か？
• RQ3 階段形の語の集合は、中国代数の線形基底をなすか？
• RQ4 定義関係の集合におけるすべての関係の合成が、基底に関して自明であるか？これにより、それがグレブナー＝シルシュォフ基底であると確認できる。
• RQ5 正規形アルゴリズムは、関係の代数的構造から体系的に導出可能か？

主な発見

• 中国モノイドの定義関係は、任意の単項式順序においてグレブナー＝シルシュォフ基底をなす。すべての合成が基底に関して自明であるためである。
• 元の研究における挿入アルゴリズムが、グレブナー＝シルシュォフ枠組みにおける先頭語の除去（ELW）手続きと同等であることが示された。
• 階段形の語の集合 $ \Omega $ は、中国代数 $ K\langle A|S\rangle $ における線形基底であることが証明された。これは、基底における既約語と一致する。
• モノイド内の任意の語の正規形は、$ \Omega $ に属する語によって一意に表現され、階段形が正規代表元としての役割を果たすことが確認された。
• 正規形を計算するアルゴリズムは、文字の順序に基づくELWルールの再帰的適用により明示的に構成された。挿入される文字の位置に応じて4つの異なるケースがある。
• 証明は帰納法と $ \Omega $ のELW操作に関する閉包性に依拠しており、すべての簡約が $ \Omega $ への属性を保つことを保証する。