[論文レビュー] Noncomputable Spectral Sets

Jason Teutsch|ArXiv.org|Jan 31, 2007

Computability, Logic, AI Algorithms参考文献 32被引用数 5

ひとこと要約

本稿では、等価性（*=）やチューリング還元可能性といったさまざまな同値関係における最小インデックスの集合としてのスペクトル集合を導入し、それが非計算可能であり、非Σₙ/Πₙ完全で、正確な算術階層の複雑さを示している。最適な免疫性結果を確立し、スペクトル集合が適切なプログラム順序付けにおける停止問題の標準的反復であることを示している。

ABSTRACT

It is possible to enumerate all computer programs. In particular, for every partial computable function, there is a shortest program which computes that function. f-MIN is the set of indices for shortest programs. In 1972, Meyer showed that f-MIN is Turing equivalent to 0'', the halting set with halting set oracle. This paper generalizes the notion of shortest programs, and we use various measures from computability theory to describe the complexity of the resulting "spectral sets." We show that under certain Godel numberings, the spectral sets are exactly the canonical sets 0', 0'', 0''', ... up to Turing equivalence. This is probably not true in general, however we show that spectral sets always contain some useful information. We show that immunity, or "thinness" is a useful characteristic for distinguishing between spectral sets. In the final chapter, we construct a set which neither contains nor is disjoint from any infinite arithmetic set, yet it is 0-majorized and contains a natural spectral set. Thus a pathological set becomes a bit more friendly. Finally, a number of interesting open problems are left for the inspired reader.

研究の動機と目的

• 標準的な最小性を超える同値関係における最小インデックスとしてのスペクトル集合を形式化し分析すること。
• 算術階層とチューリング次数を用いてスペクトル集合の情報含量を分類すること。
• スペクトル集合に対して最適な免疫性特性を確立し、それらに含まれない可能性のある集合を特定すること。
• スペクトル集合と停止問題の有効順序付けにおける標準的反復との関係を調査すること。
• 多項式時間還元可能性といったリソース制限付き同値関係における最小インデックスの複雑さを調査すること。

提案手法

• 同値関係 ∼ における最小インデックスの集合としてスペクトル集合を定義し、同値類に属する各関数が集合に正確に1つの代表元をもつこととする。
• ほぼ至る所同値（a.e.-equivalence）関係を導入して最小性を一般化し、MIN^{a.e.-=}, MIN^{a.e.-*}, および MIN^{a.e.-m} といった集合を導出する。
• 表現定理 A.8.1 を適用して、これらのスペクトル集合の算術階層の複雑さを特徴付ける。
• 強制低さ補題（Forcing Lowness Lemma）を用いて、スペクトル集合の情報含量に対する下界を導出する。
• 免疫性の議論と直接的構成法（例：ω-INF と素数冪集合の使用）を用いて、非免疫性の結果を証明する。
• 多項式時間還元可能性を含むさまざまな還元性の概念を用いてスペクトル集合を分析し、MIN^p を定義し、その複雑さを評価する。

実験結果

リサーチクエスチョン

• RQ1 同値関係 *=, m-還元性, T^(n)-還元性 によって定義されるスペクトル集合の算術階層の複雑さは何か？
• RQ2 免疫性の性質は、異なるスペクトル集合をどのように区別できるか？また、最適な免疫性の境界を確立できるか？
• RQ3 MIN^{a.e.-*} は Σ₄-免疫である可能性はあるか？これはその情報含量にどのような含意をもたらすか？
• RQ4 スペクトル集合は、プログラムの有効順序付けにおける停止集合の標準的反復とどのように関係しているか？
• RQ5 多項式時間同値関係における最小インデックスの集合 MIN^p のチューリング次数は何か？

主な発見

• MIN^{a.e.-=} は Π₃ - Σ₃ に属し、Σ₃-免疫でない。なぜなら、無限個の Σ₃ 部分集合を含むからである。
• MIN^{a.e.-*} および MIN^{a.e.-m} はともに Π₅ - Σ₅ に属し、MIN^{a.e.-=} よりも高い複雑さを示している。
• MIN^{a.e.-T^(n)} は Π_{n+6} - Σ_{n+6} に属し、n が増加するにつれて複雑さが体系的に増加することが示された。
• 強制低さ補題により、情報含量の下界を導出でき、免疫性に基づく推定を精緻化できた。
• 多項式時間同値関係における最小インデックス集合 MIN^p は Σ₂-免疫である。なぜなら、MIN^* を含むからである。
• 非ハイパーサイコティックであるにもかかわらず、MIN^{a.e.-*} は有限 n に対して任意の MIN^{T^(n)} に含まれない。これは階層が単調でないことを示している。