[論文レビュー] A local balance property of episturmian words

Gwénaël Richomme|arXiv (Cornell University)|Feb 10, 2007

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

ひとこと要約

本稿は、エピスターミアン語とアルヌー・ローゼー列を特徴付ける局所的バランス性質を確立し、スターミアン語に知られているバランス性質を一般化する。無限語 $w$ がエピスターディアングであるための必要十分条件として、異なる2文字 $a$ と $b$ が存在し、$aw$ と $bw$ がともにエピスターミアンであることが示され、局所的因数構造とモーフィズム的閉包性に基づく新たな特徴付けが与えられる。

ABSTRACT

We prove that episturmian words and Arnoux-Rauzy sequences can be characterized using a local balance property. We also give a new characterization of epistandard words and show that the set of finite words that are not factors of an episturmian word is not context-free.

研究の動機と目的

• スターミアン語の古典的バランス性質を、局所的因数に基づく条件を用いてエピスターミアン列およびアルヌー・ローゼー列へ一般化すること。
• エピスターミアンモーフィズムの下での $aw$ と $bw$ の閉包性に基づいて、エピスターディアング語の新たな特徴付けを提供すること。
• 特定の2文字因数を含む、局所的バランス条件を満たす再帰的3文字語の構造的性質を調査すること。
• 再帰的バランス性質を満たす3文字語のモーフィズム的生成に関する予想を、その因数構造とモーフィズム像の分析によって解消すること。

提案手法

• 因数 $AtA$（$t$ が語の因数であるとき）に対して定義される局所的バランス性質を導入し、その因数が $atA \cup Ata$ または $btA \cup Atb$ に制限されるかを分析する。
• 左および右拡張を定義する $L_\alpha$ および $R_\alpha$ 操作を用い、語をより単純な形に再帰的に縮約しながら、局所的バランス性質を保存する。
• $L_\alpha$ および $R_\alpha$ 操作による語の再帰的縮約に従い、帰納法を用いて、語が局所的バランス性質を満たすならば、その縮約形に対しても同様に成立することを証明する。
• 例として、$f(a) = (ab)^n c$、$f(b) = (ab)^{n+1} c$ およびその変種 $g_1$、$g_2$ などのモーフィズムを用い、局所的バランス条件を満たす3文字語を生成する。
• 特に $ab$、$bc$、$ca$ を2文字因数として含む再帰的3文字語の因数構造を分析し、そのモーフィズム的起源を調査する。
• エピスターミアン語の再帰性およびミラー閉包性質を活用し、モーフィズム的拡張および縮約において局所的バランス性質が不変であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 スターミアン語の古典的バランス性質は、因数 $AtA$ に対する局所的条件を用いて、エピスターミアン列およびアルヌー・ローゼー列へ一般化可能か？
• RQ2 エピスターディアング語を特徴付ける正確な構造的条件は何か？ また、エピスターミアンモーフィズムの下での $aw$ と $bw$ の閉包性とはどのように関係するか？
• RQ3 局所的バランス性質を満たし、$ab$、$bc$、$ca$ を因数として含むすべての再帰的3文字語は、再帰的バランス性質を満たす語（スターミアン語または周期的語）のモーフィズム像であるか？
• RQ4 局所的バランス性質を満たす再帰的3文字語を生成するようなモーフィズム $f$ の可能な形は何か？
• RQ5 語の再帰的縮約過程において、$L_\alpha$ および $R_\alpha$ 操作は局所的バランス性質をどのように保存または反映するか？

主な発見

• エピスターミアン語およびアルヌー・ローゼー列は、局所的バランス性質を満たす：任意の因数 $t$ に対して、$AtA$ の因数集合は $atA \cup Ata$ または $btA \cup Atb$ に含まれる。
• 無限語 $w$ がエピスターディアングであるための必要十分条件は、異なる2文字 $a$ と $b$ が存在し、$aw$ と $bw$ がともにエピスターミアンであることである。
• 局所的バランス性質は $L_\alpha$ および $R_\alpha$ 操作で保存される：$w = L_\alpha(w')$ または $w = R_\alpha(w')$ ならば、$w$ が性質を満たすための必要十分条件は $w'$ も同様に満たすことである。
• 局所的バランス条件を満たす再帰的3文字語の例として、$(abc)^\omega$、$(bca)^\omega$、$(cab)^\omega$ および特定のモーフィズム $f(a) = (ab)^n c$、$f(b) = (ab)^{n+1} c$ を用いたスターミアン語のモーフィズム像が挙げられる。
• 周期語 $(abcabacbabcb)^\omega$ は局所的バランス性質を満たし、$aa$、$bb$、$cc$ を除くすべての2文字因数を含むため、局所的バランス性質を満たす語のクラスに属することが確認された。
• 本稿では、局所的バランス性質を満たし、$ab$、$bc$、$ca$ を因数として含むすべての再帰的3文字語が、再帰的バランス性質を満たす語の suffix であるかどうかは未解決のまま残されており、将来的な分類の可能性としてモーフィズム的生成による分類が示唆されている。