[論文レビュー] BWT and Combinatorics on Words

Lapointe, Mélodie, Reutenauer, Christophe|arXiv (Cornell University)|Jul 27, 2024

Advanced Algebra and Logic被引用数 1

ひとこと要約

本稿では、n文字アルファベット上での完全クラスタリングLyndon語を、n−1個の回文とそれらの間の単一の文字で構成される、まったく新しい因数分解を提案する。これは、古典的なChristoffel語の特徴付けを一般化するものである。主な貢献は、この特別な回文的因数分解を通じた構造的特徴付けであり、これにより、共役性および回文積の性質を通じて、完全クラスタリング語の新しい組合的特徴付けが可能になる。これは、Pirilloおよびde Luca–Mignosiの結果をより大きなアルファベットに拡張し、Burrows-Wheeler変換（BWT）がクラスタリング行動を特徴付ける役割を一般化するものである。

ABSTRACT

Perfectly clustering words are one of many possible generalizations of Christoffel words. In this article, we propose a factorization of a perfectly clustering word on a $n$ letters alphabet into a product of $n-1$ palindromes with a letter between each of them. This factorization allows us to generalize two combinatorial characterization of Christoffel words due to Pirillo (1999) and de Luca and Mignosi (1994).

研究の動機と目的

• 完全クラスタリング語の概念を用いて、より大きなアルファベットへのChristoffel語の組合的特徴付けを一般化すること。
• 完全クラスタリングLyndon語に対して、その内部構造を明らかにする特別な回文的因数分解を確立すること。
• 完全クラスタリング語の弱い減少変換を特徴付けるBWTの役割を拡張すること。
• 対称的区間交換の文脈において、既知のChristoffel語、回文積、共役性に関する結果を統一的かつ一般化すること。

提案手法

• 完全クラスタリングLyndon語の特別な回文的因数分解を、n−1個の回文とそれらの間の単一の文字で構成される積として導入する。
• Burrows-Wheeler変換（BWT）を用いて、BWTが弱く減少する語として完全クラスタリング語を定義し、二文字アルファベットのChristoffel語を一般化する。
• 自由群上の自己同型 λℓ および ρℓ を用いて、語の共役性および反転性の性質を分析する。
• 共役の順序付けおよびBWT行列における最後の文字の遷移に関する補題を適用し、特別な因数分解が一意的であり、語を特徴付けることを証明する。
• 次元マッピング ν を用いて、完全クラスタリングLyndon語の共役が辞書式順序で並び、その最後の文字が弱く減少するように並んでいることを示す。
• 二文字の場合（連続するBWT行が逆順の回文によって異なる）の結果を、k文字アルファベットに一般化するため、特別な因数分解を用いる。

実験結果

リサーチクエスチョン

• RQ1 古典的なChristoffel語が二つの回文の積として表されるという特徴付けを、より大きなアルファベットの語へどのように一般化できるか？
• RQ2 完全クラスタリングLyndon語に存在する、二文字の場合を一般化した構造的因数分解は何か？
• RQ3 完全クラスタリング語のBurrows-Wheeler変換は、その共役類および回文的分解とどのように関係するか？
• RQ4 完全クラスタリング語のBWT行列における連続する行の間の遷移は、k文字アルファベットの場合、回文の反転として記述できるか？
• RQ5 特別な因数分解における回文 πs が空である条件は何か？

主な発見

• 完全クラスタリングLyndon語の特別な回文的因数分解（n−1個の回文とそれらの間の単一の文字）は一意的である。
• 語が完全クラスタリングであるための必要十分条件は、その語が自身の反転と共役であることである。これは二文字のChristoffel語の性質を一般化する。
• 完全クラスタリングLyndon語の共役は辞書式順序で並んでおり、その最後の文字が弱く減少する列を形成する。これはBWTが弱く減少することを特徴付ける。
• 完全クラスタリング語のBWT行列における任意の連続する二行は、特別な因数分解に含まれる回文の一つを反転させたものとして異なる。
• 特別な因数分解における回文 πs が空であることは、as までの文字の頻度の和が as+1 から ak までの和に等しいことと同値である。
• 二文字の場合（連続するBWT行が yabx と ybax で、xy が回文である）の結果が、特別な因数分解を用いてk文字アルファベットに拡張される。