[論文レビュー] Characterizing the strongly jump-traceable sets via randomness

Noam Greenberg, Denis R. Hirschfeldt+1 more|arXiv (Cornell University)|Sep 30, 2011

Computability, Logic, AI Algorithms参考文献 20被引用数 4

ひとこと要約

この論文は、計算的に単調な集合が強jump-トレース可能であることと、すべてのスーパーローまたはスーパーカイ1-ランダム集合から計算可能であることの必要十分条件を確立し、さらに、Δ⁰₂ 1-ランダム集合から計算可能な任意のc.e.集合が、極限条件を満たすすべてのコスト関数に従うことを示し、ランダムネスとコスト関数による完全な特徴付けを達成している。

ABSTRACT

We show that if a set $A$ is computable from every superlow 1-random set, then $A$ is strongly jump-traceable. This theorem shows that the computably enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets computable from every superlow 1-random set. We also prove the analogous result for superhighness: a c.e.\ set is strongly jump-traceable if and only if it is computable from every superhigh 1-random set. Finally, we show that for each cost function $c$ with the limit condition there is a 1-random $Δ^0_2$ set $Y$ such that every c.e.\ set $A \le_T Y$ obeys $c$. To do so, we connect cost function strength and the strength of randomness notions. This result gives a full correspondence between obedience of cost functions and being computable from $Δ^0_2$ 1-random sets.

研究の動機と目的

• 強jump-トレース可能なc.e.集合をランダムネスの概念を用いて特徴付けること、具体的には、すべてのスーパーロー1-ランダム集合から計算可能な集合として同定すること。
• この特徴付けをスーパーカイ1-ランダム集合へと拡張し、強jump-トレース可能性と同値であることを示すこと。
• コスト関数とランダムネスを結びつけるために、Δ⁰₂ 1-ランダム集合から計算可能な任意のc.e.集合が、極限条件を満たすすべてのコスト関数に従うことを証明すること。
• コスト関数への従順性とΔ⁰₂ 1-ランダム集合からの計算可能性との完全な対応関係を確立し、アルゴリズム的ランダムネスと計算可能性分野における特徴付けプログラムを完遂すること。

提案手法

• コスト関数とランダムオракルに基づくデュムステストを構築し、それから計算可能なc.e.集合の振る舞いを分析する。
• 集合Aがすべてのスーパーロー1-ランダム集合から計算可能であるという仮定を用い、測度論的および近似に関する矛盾による議論を通じて、Aが強jump-トレース可能でなければならないことを導出する。
• ω·R-デュムステストの概念を適用し、Aの近似における変化回数をコスト関数の境界と関連付ける。
• 変化が生じる段階を追跡し、測度論的議論を用いてその総コストをバウンディングすることで、与えられたコスト関数cに従う計算可能列挙を定義する。
• 集合Yがω·R-デュムスランダムであるならば、その集合はテスト内の特定の開集合を避けることになり、これにより関係する集合の測度が閾値を超えることが保証され、コスト制御が可能になる。
• 証明をプレーンデュムステストに適応することで、c.e.集合に関する良性コスト関数による特徴付けの右向きの包含関係に対する新たな証明が得られる。

実験結果

リサーチクエスチョン

• RQ1 どのc.e.集合がすべてのスーパーロー1-ランダム集合から計算可能であり、それは強jump-トレース性とどのように関係するか？
• RQ2 同じ特徴付けをスーパーカイ1-ランダム集合へと拡張可能か？ そして、これにより同じ集合のクラスが得られるか？
• RQ3 極限条件を満たすコスト関数への従順性とΔ⁰₂ 1-ランダム集合からの計算可能性との正確な関係は何か？
• RQ4 c.e.集合に関して、ランダムネスの強度とコスト関数への従順性の関係を完全に特徴付けられるか？
• RQ5 Δ⁰₂ 1-ランダムオラクルから計算可能な集合に対して、与えられたコスト関数に従う計算可能近似を一様に構成する方法は存在するか？

主な発見

• c.e.集合が強jump-トレース可能であることと、すべてのスーパーロー1-ランダム集合から計算可能であることの必要十分条件であることが示され、新しい組合せ的特徴付けが得られた。
• 同じ同値性はスーパーカイ1-ランダム集合に対しても成り立ち、強jump-トレース可能性がすべてのスーパーカイ1-ランダム集合から計算可能な集合と同値であることが示された。
• 極限条件を満たす任意のコスト関数cに対して、c.e.集合A ≤ₜ Yを満たすΔ⁰₂ 1-ランダム集合Yが存在する。
• コスト関数cを用いたAの計算可能近似における変化の総コストは8未満に抑えられ、与えられた条件下で有限コストであることが示された。
• デュムステストと測度論的議論を用いた証明技法により、テスト集合のバージョンの変化回数が有界であることが保証され、コスト関数への従順性が保証された。
• コスト関数への従順性とΔ⁰₂ 1-ランダム集合からの計算可能性との完全な対応関係が確立され、分野における重要な未解決問題が解決された。