[論文レビュー] On uniform recurrence of HD0l systems

Ivan Mitrofanov|arXiv (Cornell University)|Nov 8, 2011

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

ひとこと要約

本稿は、HD0Lシステムにおける一様再帰性の決定可能性を示した。この問題は、HD0L周期性の決定可能性に還元され、モーフィック列のアルゴリズム的構成と記号的力学系の理論を活用している。主な貢献は、モーフィック列が一様再帰的かどうかを決定する構成的アルゴリズムを提供することであり、記号的力学系および自動機械理論における長年の未解決問題を解決した。

ABSTRACT

We prove that the problem of deciding whether a given morphic sequence is uniformly recurrent is decidable. The proof uses decidability of HD0L periodicity problem, which was recently proved in papers of F.Durand and I.Mitrofanov.

研究の動機と目的

• 記号的力学系における中心的未解決問題である、モーフィック列の決定的一様再帰性を解明すること。
• 自動列および純粋モーフィック列に関する先行研究を、より広範なHD0Lシステムのクラスへと拡張すること。
• 与えられたモーフィック列が一様再帰的かどうかを決定する構成的アルゴリズムを提供すること。
• 一様再帰性、最終的周期性、およびモーフィック列の構造との関係を確立すること。
• DurandとMitrofanovによって最近証明されたHD0L周期性の決定可能性を基盤として、一様再帰性問題を解くこと。

提案手法

• 一様再帰性問題を、HD0L最終周期性の決定可能性に還元し、先行研究を基盤とする。
• 任意のモーフィック列を非消去的モーフィズムと符号化写像に変換する正規化手順を用いる。
• φ-有界およびφ-成長する文字の概念を用いて、反復下での語の振る舞いを分類する。
• ラウツィスキームおよびその進化の理論を用いて、部分語複雑性と再帰的パターンを分析する。
• 無限モーフィック列をシミュレートし、再帰性を検出するために、拡張スキーム（アンチポッド）の系列を構築する。
• サイズが有界な有限状態シミュレーションを用いて、スキームの進化におけるサイクルを検出することで、終了性と正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられたHD0Lシステムによって生成されるモーフィック列が一様再帰的かどうかを決定することは可能か？
• RQ2 下位のモーフィズムの構造的性質を用いて、モーフィック列の一様再帰性をアルゴリズム的に特定できるか？
• RQ3 モーフィック列において、最終的周期性と一様再帰性の関係は何か？
• RQ4 モーフィック列の部分語複雑性および再帰的構造をどのようにアルゴリズム的に分析できるか？
• RQ5 一様再帰性問題は、HD0Lシステムにおける周期性の決定可能性に還元可能か？

主な発見

• モーフィック列が一様再帰的かどうかを決定することは可能であり、未解決問題に対する肯定的解決を提供する。
• アルゴリズムは、無限モーフィック列をシミュレートし、再帰的パターンを検出するために、拡張スキーム（アンチポッド）の有限系列を構築する。
• アンチポッドの系列が有界サイズ内でサイクルを形成する場合、モーフィック列は一様再帰的である。そうでない場合、一様再帰的ではない。
• この手法は、HD0L周期性の決定可能性に依存しており、これは最近DurandとMitrofanovによって確立された。
• アルゴリズムは、十分に長い部分語がすべての指定長の有限部分語を含むかどうかを検出することで、一様再帰性を正しく特定する。
• 構成により、部分語が無限に何度も出現し、かつ有界間隔内で再出現が強制される場合、列は一様再帰的であることが保証される。