[論文レビュー] Decidability of the HD0L ultimate periodicity problem

Fabien Durand|arXiv (Cornell University)|Nov 14, 2011

Cellular Automata and Applications参考文献 23被引用数 12

ひとこと要約

本稿では、HD0L最終周期性問題の決定可能性を確立し、初期語にモルフィズムを繰り返し適用した後、コーディングを施した際に得られる系列が最終的に周期的系列に収束するかどうかが、アルゴリズム的に決定可能であることを証明している。この解決法は、モルフィズムの成長挙動の分析に依拠し、系を原始的成分に分解し、原始的置換の決定可能性結果と周期的構造における有限状態の帰納法を用いる。

ABSTRACT

In this paper we prove the decidability of the HD0L ultimate periodicity problem.

研究の動機と目的

• 形式言語理論における長年の未解決問題を解決すること：HD0Lシステムによって生成される系列が最終的に周期的であるかどうかを特定すること。
• D0Lシステムおよび自動系列における先行する決定可能性結果を、より一般化されたHD0Lフレームワークへと拡張すること。
• 中間系列 (σⁿ(w)) が収束しない場合でさえも、最終周期性問題に対するアルゴリズム的解決を提供すること。
• 抽象的数進法における整数の集合が、有限個の等差数列の和集合として表されるかどうかを識別するための意思決定手順を確立すること。
• 高次元系や自己相似タイル張りにまで決定可能性結果を拡張するための基盤を構築すること。

提案手法

• 行列に基づく成長解析を用いて、モルフィズムを原始的成分と非成長ケースに分類すること。
• Durand (2012) による原始的置換の決定可能性結果を応用し、原始的成分における周期性を分析すること。
• Pansiotの非成長置換における長い周期的語に関する結果を用いて、非成長ケースを成長ケースに還元すること。
• モルフィズム行列による語長の成長に関する計算可能な境界を用いて、置換深さのレベルごとの有限帰納を実行すること。
• 語列 σ^{j₀+i+kn₀}(aᵢ)（固定された i に対して k を増加）の部分列を分析することで、B^ℕ 上の積位相における蓄積点を計算すること。
• 補題11を用いて、すべての関連するインデックス i に対して極限系列 uᵢvᵢ^ω が等しいことから、最終周期性を結論づけること。

実験結果

リサーチクエスチョン

• RQ1 与えられたHD0L系列が最終的に周期的系列に収束するかどうかは、決定可能であるか？
• RQ2 モルフィズムとコーディングによって生成される系列が、自身は収束しない場合でさえも、その最終周期性を特定できるか？
• RQ3 最終周期性の決定可能性は、原始的または成長ケースに限らず、一般のHD0Lシステムへと拡張可能か？
• RQ4 抽象的数進法の構造を用いて、認識可能な整数の集合が、有限個の等差数列の和集合として特徴付けられるか？
• RQ5 1次元HD0Lシステムに用いられた手法を、多次元自動系列やタイル張りへとどの程度一般化できるか？

主な発見

• HD0L最終周期性問題は決定可能であり、記号的力学と形式言語理論における30年間の未解決問題が解決された。
• 系列 (σⁿ(w)) が収束しなくても、(ϕ(σⁿ(w))) が積位相で収束する限り、決定可能性は保たれる。
• 任意の文字 a に対して、|ϕ(σⁿ(a))| が0に近づくか、無限大に発散するか、あるいは有界のままであるかは、行列の成長とモルフィズムコーディング解析を用いて決定可能である。
• B^ℕ における (ϕ(σⁿ(w))) の蓄積点の集合は計算可能であり、極限系列の比較による最終周期性の有効なテストが可能になる。
• 極限系列 limₖ→∞ ϕ(σ^{j₀+i+kn₀}(aᵢ)) が最終的に周期的であることは、その漸近的尾部が等しくかつ周期的であることに同値である。
• アルゴリズム的手順は高次元であるが、与えられたHD0Lシステムが最終的に周期的系列を生成するかどうかを完全に決定する方法を提供する。