[論文レビュー] Enumerating randoms

Bjørn Kjos-Hanssen, Frank Stephan+1 more|arXiv (Cornell University)|Aug 28, 2010

Computability, Logic, AI Algorithms被引用数 1

ひとこと要約

この論文は、左再帰的効率的（left-r.e.）集合の列挙可能性を調査し、ランダム集合のクラスと弱く1-ジェネリック集合のクラスに焦点を当てる。第三および第四レベルの算術階層が、シフト恒続的要素を有する左-r.e.集合のみを用いて完全に特徴付けられることを示し、一部のクラス（例：Martin-Löfランダム集合）は左-r.e.番号付けを許容するが、左-r.e.ランダム集合のクラスには標準的な左-r.e.番号付けが存在しないことを示し、集合の番号付けと実数の番号付けの間の根本的な違いを強調する。

ABSTRACT

We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-Lof, computably, Schnorr, and Kurtz random sets, weakly 1-generics and their complementary classes, we find that there exist characterizations of the third and fourth levels of the arithmetic hierarchy purely in terms of these notions. More generally, there exists an equivalence between arithmetic complexity and existence of numberings for classes of left-r.e. sets with shift-persistent elements. While some classes (such as Martin-Lof randoms and Kurtz non-randoms) have left-r.e. numberings, there is no canonical, or acceptable, left-r.e. numbering for any class of left-r.e. randoms. Finally, we note some fundamental differences between left-r.e. numberings for sets and reals.

研究の動機と目的

• 再帰的かつ辞書式に増加する近似を持つ集合のクラス、すなわち左-r.e.集合の列挙可能性の性質を分析すること。
• Martin-Löf、効率的、Schnorr、Kurtzランダム集合の算術的複雑さを左-r.e.フレームワーク内で特定すること。
• 第三および第四レベルの算術階層を、左-r.e.集合の性質とシフト恒続的要素のみを用いて特徴付けること。
• 左-r.e.ランダム集合のクラスおよびその補集合に対する左-r.e.番号付けの存在と性質を調査すること。
• 左-r.e.構成の文脈において、集合の番号付けと実数の番号付けの根本的な違いを明確にすること。

提案手法

• 論文は、再帰的かつ辞書式に増加する近似を用いて左-r.e.集合を定義し、分析する。
• シフト恒続性の概念を用いて、左-r.e.集合のクラス内での算術的複雑さのレベルを特徴付ける。
• 定義可能性および還元技術を用いて、算術階層と左-r.e.クラスの列挙可能性の性質との関係を分析する。
• 構造的および再帰的理論的議論を通じて、標準的左-r.e.番号付けの存在および非存在を分析する。
• 左-r.e.近似の閉包性および恒続性の性質を検討することで、集合と実数の番号付けの挙動を比較する。

実験結果

リサーチクエスチョン

• RQ1 第三および第四レベルの算術階層は、シフト恒続的要素を有する左-r.e.集合のみを用いて完全に特徴付けられるか？
• RQ2 Martin-Löfランダム集合およびその補集合は左-r.e.番号付けを許容するか。もし許容するならば、それらの番号付けは標準的であるか？
• RQ3 集合と実数に適用した左-r.e.番号付けの性質に根本的な違いがあるか？
• RQ4 シフト恒続性は、算術的複雑さと左-r.e.クラスの列挙可能性を結びつける役割を果たすか？
• RQ5 なぜ左-r.e.ランダム集合の任意のクラスに対しても、適切な左-r.e.番号付けが存在しないのか？

主な発見

• 第三および第四レベルの算術階層は、シフト恒続的要素を有する左-r.e.集合の存在によって完全に特徴付けられる。
• Martin-Löfランダム集合およびKurtz非ランダム集合は左-r.e.番号付けを許容するが、左-r.e.ランダム集合の任意のクラスに対しては標準的番号付けが存在しない。
• 左-r.e.クラスにシフト恒続的要素が存在することは、第三および第四レベルにおける算術的複雑さの完全な特徴付けを提供する。
• 左-r.e.番号付けの集合と実数の間には根本的な違いがあり、これは閉包性および恒続性の性質の違いに起因する。
• 論文は、左-r.e.ランダム集合の任意のクラスに対しても、適切な左-r.e.番号付けが存在しないことを証明している。ただし、関連クラスに対しては非標準的番号付けは存在する。