[論文レビュー] Palindromic richness and Coxeter groups

Edita Pelantová, Štěpán Starosta|arXiv (Cornell University)|Aug 15, 2011

semigroups and automata theory被引用数 1

ひとこと要約

この論文は、自由モノイド上の自己準同型および反自己準同型のなす群 G に関して不変な無限語における回文的豊かさの一般化として、G-豊かさを導入する。G-豊かな語の同値な特徴づけを確立し、G に属する反自己準同型によって定義される一般化された回文（一般化回文）への古典的回文的豊かさの拡張を実現する。さらに、理論の応用可能性を示すために、2つの明示的な例を提示している。この理論はコクセター群や一般化された対称性の文脈において有効である。

ABSTRACT

For a given finite group $G$ consisting of morphisms and antimorphisms of a free monoid $\mathcal{A}^*$, we study infinite words with language closed under the group $G$. We focus on the notion of $G$-richness which describes words rich in generalized palindromic factors, i.e., in factors $w$ satisfying $\Theta(w) = w$ for some antimorphism $\Theta \in G$. We give several equivalent descriptions which are generalizations of know characterizations of rich words (in the terms of classical palindromes) and show two examples of $G$-rich words.

研究の動機と目的

• 自由モノイド上に作用する自己準同型および反自己準同型のなす群 G に関して不変な語に対して、回文的豊かさの概念を拡張すること。
• G-豊かな語を、G に属する反自己準同型によって固定される一般化された回文的因子を多く含む語として定義し、その特徴づけを行うこと。
• 古典的回文的豊かさの既知の特徴づけを、群不変言語の文脈に一般化すること。
• コクセター群の文脈において理論を具体化するため、G-豊かな語の明示的構成を提示すること。

提案手法

• G-豊かな語を、その言語が群 G の自己準同型および反自己準同型に関して閉じており、G に属する反自己準同型によって固定される因子を一般化された回文とみなす無限語として定義する。
• 因子複雑性の性質と群作用による対称性を用いて、G-豊かさの同値な特徴づけを確立する。
• コクセター群の構造を活用して、その反図形に基づく対称性を応用し、G-豊かな語の例を構成する。
• 標準的な逆転操作の代わりに、G に属する任意の反自己準同型を用いて、古典的回文的豊かさの基準（例：因子複雑性条件）を一般化する。
• 群作用の下での無限語の言語を分析し、最大の回文的因子豊かさを保証する条件を同定する。
• G-豊かさが G に属する自己準同型および反自己準同型の下で保存されることを証明し、言語の群作用による不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的回文的豊かさの概念を、自己準同型および反自己準同型のなす群に関して不変な語にどのように一般化できるか。
• RQ2 因子複雑性および G に属する反自己準同型による対称性の観点から、G-豊かな語の同値な特徴づけは何か。
• RQ3 G が自由モノイド上で作用するコクセター群であるとき、どのような無限語が G-豊かさを示すか。
• RQ4 G に属する反自己準同型が一般化された回文をどのように定義するか。また、G-豊かな語がどのような構造的性質を持つのか。
• RQ5 G-豊かさの理論を用いて、古典的回文を超えた新たな回文的豊かな語の例を構成できるか。

主な発見

• G-豊かさは、古典的回文的豊かさを一般化する同値な条件によって特徴づけられ、一般化された因子複雑性条件を含む。
• 本論文では、語が G-豊かであることと、任意の因子が G に属するある反自己準同型による一般化された回文的包と同値であることが示された。
• G-豊かな語の明示的な例が2つ構成され、そのうちの1つは型 A∞ のコクセター群に関連する無限語に由来する。
• G-豊かな語の言語は、G に属するすべての自己準同型および反自己準同型に関して閉じており、群作用による不変性が保証される。
• 理論により、標準的逆転の代わりに G に属する反自己準同型が一般化された逆転作用素として機能し、非逆転対称性への回文的豊かさの拡張が実現された。
• 本論文は、写像が群作用と可換である場合、G-豊かさがその像においても保存されることを示し、構造的安定性を保証した。