[論文レビュー] Fast Synchronization of Random Automata

Cyril Nicaud|arXiv (Cornell University)|Apr 28, 2014

semigroups and automata theory参考文献 9被引用数 10

ひとこと要約

この論文は、高確率で、ランダムな完全な決定的 $n$-状態オートマトンが、任意の $\nu > 0$ に対して $n^{1+\nu}$ より小さい長さの同期化語を有することを証明している。これは、Cerny予想を確率論的意味で支持するものである。証明は、ランダムな語による状態集合の反復的縮小と確率的鳩の巣原理に基づく構成的確率的手法を用いており、オートマトンの複雑な構造的解析を避けており、その点で新規性がある。

ABSTRACT

A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then it has a synchronizing word of size at most (n-1)^2. Berlinkov recently made a breakthrough in the probabilistic analysis of synchronization by proving that with high probability, an automaton has a synchronizing word. In this article, we prove that with high probability an automaton admits a synchronizing word of length smaller than n^(1+ε), and therefore that the Cerny conjecture holds with high probability.

研究の動機と目的

• ランダムな $n$-状態オートマトンが短い同期化語を持つ確率を調査し、Cernyの予想の確率論的版を扱う。
• 任意の $\epsilon > 0$ に対して、高確率でランダムオートマトンが長さ $n^{1+\epsilon}$ の同期化語を有することを確立する。
• Berlinkovの方法（安定ペアと木構造に基づく）とは異なり、同期化のための新しい確率的証明を提供する。
• 反復的状態集合の縮小を用いた構成的でアルゴリズム的なアプローチにより、短い同期化語を効率的に見つける。

提案手法

• ランダムな遷移と確率的鳩の巣原理を用いて、長さ $\lambda_n = n^{1/2 + \epsilon}$ の語 $w_n$ を構成し、状態集合を小さな像集合へ写像する。
• $b$-遷移が複数の状態をより少ない状態へ統合できるという事実を活用し、2番目の語 $b^j$ を適用して像集合をさらに縮小する。
• 反復的に状態のペアを縮小する再帰的プロセスを用い、集中不等式と和集合の上限を用いて失敗確率を抑え込む。
• 各ステップにおける失敗確率を分析し、ペアの同期化に失敗する確率が $O(n^{-3/8 + 5\epsilon})$ 以下であることを示す。
• 像集合内のすべてのペアについて和集合の上限を適用し、$n \to \infty$ のとき全失敗確率が0に近づくことを示す。
• 補題1を適用して、同期化語の総長さを $O(n^{1+11\epsilon})$ で抑え込み、$\epsilon$ の再パラメータ化により $n^{1+\epsilon}$ に調整する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな $n$-状態オートマトンは、高確率で長さ $n^{1+\epsilon}$ の同期化語を持つのか？
• RQ2 Cerny予想は、大多数のオートマトンに対して確率論的に支持できるか？
• RQ3 深い構造的解析に依存せずに、短い同期化語を見つけるための構成的で確率的な手法は存在するか？
• RQ4 ランダムオートマトンにおける最短同期化語の長さはどのようにスケーリングされ、$n^{1+\epsilon}$ より小さく抑えられるか？

主な発見

• 任意の $\epsilon > 0$ に対して、高確率でランダムな $n$-状態オートマトンは、$n^{1+\epsilon}$ より小さい長さの同期化語を持つ。
• ランダムオートマトンがこのような語を持たない確率は、$n \to \infty$ のとき $O(n^{-1/8 + 13\epsilon})$ で抑えられ、0に近づく。
• 構成法により、同期化語の長さは漸近的に $n^{1+11\epsilon}$ に等しくなるが、$\epsilon$ の再定義により $n^{1+\epsilon}$ に調整可能である。
• Berlinkovのアプローチ（安定ペアと木構造に基づく）とは異なり、ランダムオートマトンにおける同期化のためのよりシンプルで新しい証明が得られた。
• 像集合内の任意のペアの同期化に失敗する確率は、1ステップあたり最大 $5n^{-3/8 + 5\epsilon}$ であり、全失敗確率は無視できるほど小さい。
• 本手法は、実験的に理論的境界を上回る性能を示す、実用的な確率的アルゴリズムの構築を示唆している。