[論文レビュー] A new characteristic property of rich words

Michelangelo Bucci, Aldo de Luca+2 more|Murdoch Research Repository (Murdoch University)|Jul 15, 2008

semigroups and automata theory被引用数 4

ひとこと要約

この論文は、各部分語がその最長回文接頭辞と最長回文接尾辞によって一意に決定されることを示すことで、回文を最大数含む語（rich words）の新しい特徴付けを確立した。主な貢献は、語の構造的性質を完全に特徴付ける、画期的で内因的な性質の同定であり、組合せ論的語の文脈における回文的に豊富な系列の同定と解析に新たなツールを提供する。

ABSTRACT

Originally introduced and studied by the third and fourth authors together with J. Justin and S. Widmer in arXiv:0801.1656, rich words constitute a new class of finite and infinite words characterized by containing the maximal number of distinct palindromes. Several characterizations of rich words have already been established. A particularly nice characteristic property is that all 'complete returns' to palindromes are palindromes. In this note, we prove that rich words are also characterized by the property that each factor is uniquely determined by its longest palindromic prefix and its longest palindromic suffix.

研究の動機と目的

• 組合せ論的語におけるrich wordsを特徴付ける新しい内因的構造的性質を同定し、形式化すること。
• 各部分語がその最長回文接頭辞と最長回文接尾辞のユニークネスに基づいて、語がrichであるための必要十分条件を確立すること。
• 既存の性質（例えば、すべての完全な回文への戻りが回文であること）と補完的な、rich wordsの代替的特徴付けを提供すること。
• 回文的豊富性に関する以前の結果を統合・拡張し、回文境界に基づく部分語の決定性という性質を導入すること。

提案手法

• 語の各部分語に対して最長回文接頭辞と最長回文接尾辞を定義し、それらを主要な識別子として扱う。
• 非回文的各部分語が、異なる最長回文接頭辞と最長回文接尾辞によって一意に決定される（相互に因数分解されない）ならば、その語はrichであることを証明する。
• 背理法を用いて、一意性条件が破られる場合、完全な戻りの最小性と矛盾することを示す。
• 回文境界による部分語の決定性の一意性とrichness性質との間の同値性を確立する。
• 既知の完全な戻りと単一出現回文に関する結果を活用し、標準的なrichness定義との同値性を導出する。
• 回文への完全な戻りの概念を応用し、それらの回文的性質を用いて語の構造的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 rich wordsは、その最長回文接頭辞と最長回文接尾辞に基づく部分語の一意性によって特徴付けられるか？
• RQ2 各部分語がその最長回文接頭辞と最長回文接尾辞によって一意に決定されるという性質は、語がrichであるための必要十分条件か？
• RQ3 この新しい特徴付けは、すべての完全な回文への戻りが回文であるという既存の性質とどのように関係するか？
• RQ4 回文境界による部分語同定の一意性が、richnessの独立した基準として機能できるか？
• RQ5 部分語がその回文境界によって一意に決定されない場合、どのような構造的制約が生じるか？

主な発見

• 有限または無限の語がrichであるための必要十分条件は、その非回文的各部分語が、最長回文接頭辞と最長回文接尾辞によって一意に決定されることである。
• 各部分語がその最長回文接頭辞と最長回文接尾辞によって一意に決定されるという性質は、語がrichであるための必要十分条件である。
• 証明により、語がこの一意性条件を満たさない場合、完全な戻りの最小性と矛盾することを示した。
• この特徴付けは、すべての完全な回文への戻りが回文であるという標準的なrichness定義と同値である。
• この結果により、回文部分語の数を数えることなく、rich wordsを同定するための新しい内因的構造的基準が得られた。
• 一意性条件により、豊富性条件を破るような余分なまたは重複する回文的構造が存在しないことが保証される。