[論文レビュー] Enumerating Finitary Processes

Bridgette Johnson, James P. Crutchfield+2 more|arXiv (Cornell University)|Oct 30, 2010

semigroups and automata theory参考文献 18被引用数 14

ひとこと要約

本稿では、有限記憶の確率過程を表現する最小で強く連結な決定的有限オートマトン（DFA）であるトポロジカルな $\epsilon$-マシンを列挙する効率的なアルゴリズムを提示する。最近のアクセス可能なDFA列挙アルゴリズムを採用し、$\epsilon$-マシンの制約（最小性と強く連結であること）を適用することで、8状態および6文字のアルファベットまでに正確に列挙し、確率的過程の多様性と複雑性を研究するための基盤となるライブラリを提供する。

ABSTRACT

We show how to efficiently enumerate a class of finite-memory stochastic processes using the causal representation of epsilon-machines. We characterize epsilon-machines in the language of automata theory and adapt a recent algorithm for generating accessible deterministic finite automata, pruning this over-large class down to that of epsilon-machines. As an application, we exactly enumerate topological epsilon-machines up to eight states and six-letter alphabets.

研究の動機と目的

• 有限記憶の確率的過程を表す $\epsilon$-マシンのクラスを体系的に列挙すること。
• アクセス可能な決定的有限オートマトン（DFA）を、$\epsilon$-マシンの制約（最小性と強く連結であること）を用いてフィルタリングすることで、トポロジカルな $\epsilon$-マシンのみを生成するアルゴリズムを開発すること。
• 統計的解析およびモデル比較に使用可能な、8状態および6文字のアルファベットまでに限定したトポロジカルな $\epsilon$-マシンの正確な個数を算出すること。
• ベイズ推論、パターン形成の研究、計算力学への応用のための基盤として、$\epsilon$-マシンのライブラリを構築すること。

提案手法

• アクセス可能なDFAを生成する最近のアルゴリズムを、列挙フレームワークの基盤として採用する。
• 最小性と強く連結であることという $\epsilon$-マシンの性質に基づく枝刈り基準を適用する。
• 文字列インデックスマッピングと再帰的公式（例：$N^{1}_{m,j}$）を用いて、列挙空間内のインデックスを効率的に計算し、重複する同型構造を回避する。
• 自動機理論を活用し、各記号ごとに決定的かつ一意な状態遷移を持つラベル付き有向グラフとして $\epsilon$-マシンを表現する。
• 各DFA文字列を一意の整数インデックスにマッピングするフラグベースのインデックスシステムを実装し、探索空間を体系的に走査可能にする。
• すべての状態が初期状態から到達可能であることを保証するアクセス可能なオートマトンの概念を用い、$\epsilon$-マシンの有効性の前提条件を満たす。

実験結果

リサーチクエスチョン

• RQ1 8状態および6文字のアルファベットまでに、いくつの異なるトポロジカルな $\epsilon$-マシンが存在するか？
• RQ2 アクセス可能なDFAを枝刈りすることで $\epsilon$-マシンを列挙する際の計算効率は、従来の手法と比較してどの程度向上するか？
• RQ3 自動機理論的制約を用いて、$\epsilon$-マシンを体系的かつ重複のない方法で列挙することは可能か？
• RQ4 アクセス可能なDFAの総数に対して、$\epsilon$-マシンの数の漸近的または上限の大きさはどのようになるか？

主な発見

• 著者らは、8状態および6文字のアルファベットまでに、すべてのトポロジカルな $\epsilon$-マシンを正確に列挙し、これらのパrameter範囲の正確な個数を提供した。
• 従来のReadに基づく列挙手法と比較して、$\epsilon$-マシンの制約を用いた早期の枝刈りにより、候補オートマトンの数を大幅に削減することで、本手法は著しく性能向上を達成した。
• トポロジカルな $\epsilon$-マシンの数 $E_{n,k}$ は、アクセス可能なDFAの総数 $B^{1}_{n,k}$ に対して指数的でない速度で増加し、固定された $k$ に対して $\lim_{n\to\infty} E_{n,k}/B^{1}_{n,k} = 0$ であることが示された。
• 固定された $n$ に対して、$k \to \infty$ のとき、比 $E_{n,k}/B^{1}_{n,k}$ は $1/n$ に近づくため、アルファベットサイズが大きくなるに従い、$\epsilon$-マシンはアクセス可能なDFAの中でますます希少になることが示唆された。
• 再帰的公式 $N^{1}_{m,j}$ を用いることで、特定の状態数および記号制約を持つアクセス可能なDFAの個数を効率的に計算でき、インデックス付けと列挙に不可欠な要素となった。
• 本列挙フレームワークは、将来的にベイズ推論、計算力学、および動的系における時空パターンの解析への応用を支援する。