[論文レビュー] Pushdown dimension

David Doty, Jared Nichols|arXiv (Cornell University)|Apr 12, 2005

Computability, Logic, AI Algorithms被引用数 1

ひとこと要約

この論文は、アルゴリズム的ランダムネスの尺度としてプッシュダウン次元を導入し、プッシュダウンオートマトンが有限状態オートマトンよりも厳密に低い次元を達成できることを示している。任意の有理数 d ∈ (0,1) に対して、有限状態次元が d であるがプッシュダウン次元が d/2 未満であるような系列が存在し、これにより二つのモデルの間で定量的な分離が示された。

ABSTRACT

This paper develops the theory of pushdown dimension and explores its relationship with finite-state dimension. Pushdown dimension is trivially bounded above by finite-state dimension for all sequences, since a pushdown gambler can simulate any finite-state gambler. We show that for every rational 0 < d < 1, there exists a sequence with finite-state dimension d whose pushdown dimension is at most d/2. This establishes a quantitative analogue of the well-known fact that pushdown automata decide strictly more languages than finite automata.

研究の動機と目的

• プッシュダウン次元をアルゴリズム的ランダムネスの尺度として形式的理論を構築すること。
• プッシュダウン次元と有限状態次元の関係を調査すること。
• プッシュダウンオートマトンが、有限状態オートマトンよりも厳密に低いランダムネス測度を達成できるかどうかを特定すること。
• 二つの次元の間で定量的な分離を示す明示的な系列を構成すること。

提案手法

• プッシュダウンギャンブラー戦略の成功に基づき、系列のプッシュダウン次元をその下界として定義する。
• 有限状態ギャンブラー戦略をプッシュダウンオートマトンでシミュレートすることで、プッシュダウン次元に有限状態次元の上界を確立する。
• アルゴリズム的ランダムネスの既知の技術を用いて、有限状態次元 d の系列を構成する。
• 任意の有理数 d ∈ (0,1) に対して、有限状態次元が d だがプッシュダウン次元 ≤ d/2 であるような系列が存在することを、明示的構成により証明する。
• プッシュダウンオートマトンが有限オートマトンよりも厳密に多くの言語を認識することの知られた階層を、次元ギャップの理解に活用する。
• オートマトン理論およびアルゴリズム的ランダムネスの結果を応用して、達成可能なプッシュダウン次元の上限を導く。

実験結果

リサーチクエスチョン

• RQ1 プッシュダウンオートマトンは、ある系列に対して有限状態オートマトンよりも厳密に低いアルゴリズム的次元を達成できるか？
• RQ2 与えられた系列に対して、有限状態次元とプッシュダウン次元の間で最大でどの程度のギャップが生じ得るか？
• RQ3 任意の有理数 d ∈ (0,1) に対して、有限状態次元が d でプッシュダウン次元が d/2 未満であるような系列が存在するか？
• RQ4 このような系列に対して、上界 d/2 はタイトか、それよりも改善可能か？
• RQ5 プッシュダウンオートマトンが有限状態オートマトンを模倣する能力は、次元の低減にどのように対応するか？

主な発見

• 任意の有理数 d ∈ (0,1) に対して、有限状態次元が d だがプッシュダウン次元が d/2 未満であるような系列が存在する。
• プッシュダウン次元は常に有限状態次元によって上から抑えられており、プッシュダウンオートマトンがいかなる有限状態ギャンブラー戦略でもシミュレート可能だからである。
• 有限状態次元が d でプッシュダウン次元 ≤ d/2 であるような系列の存在は、二つのモデルの間で厳密な定量的分離を確立する。
• この結果は、プッシュダウンオートマトンが有限オートマトンよりも厳密に多くの言語を認識することを示す古典的結果の次元論的類似物である。
• 構成により、同じ系列に対してプッシュダウンオートマトンが有限状態オートマトンよりも顕著に低いランダムネス測度を達成できることを示している。
• この結果は、アルゴリズム的ランダムネスの観点から、プッシュダウンオートマトンが有限状態オートマトンよりも厳密に強力な計算モデルを提供することを確認している。