[論文レビュー] Harrington's Solution to McLaughlin's Conjecture and Non-uniform Self-moduli

Peter Gerdes|arXiv (Cornell University)|Dec 15, 2010

Computability, Logic, AI Algorithms参考文献 17被引用数 3

ひとこと要約

この論文は、計算可能性理論における暗黙的定義可能性に関するMcLaughlinの予想を解くためにハリントンが未発表のままにした手法を提示する。その結果、任意の $\alpha <_{\mathcal{O}} \omega^{ck}_1$ に対して、$\alpha$ 番目のジャンプの効果的結合から計算可能でないが、$\Pi^0_1$ の単集合である一様に効果的な列の存在が確立される。主な貢献は、非一様計算に必要な成長率と一様計算に必要な成長率との間を任意の数のジャンプで分離できることを示したことである。これは、新しい形の良い順序数表記と木構造上の強制法を用いた構成によって達成される。

ABSTRACT

While much work has been done to characterize the Turing degrees computing members of various collections of fast growing functions, much less has been done to characterize the rate of growth necessary to compute particular degrees. Prior work has shown that every degree computed by all sufficiently fast growing functions is uniformly computed by all sufficiently fast growing functions. We show that the rate of growth sufficient for a function to uniformly compute a given Turing degree can be separated by an arbitrary number of jumps from the rate of growth that suffices for a function to non-uniformly compute the degree. These results use the unpublished method Harrington developed to answer McLaughlin's conjecture so we begin the paper with a rigorous presentation of the approach Harrington sketched in his handwritten notes on the conjecture. We also provide proofs for the important computability theoretic results Harrington noted were corollaries of this approach. In particular we provide the first published proof of Harrington's result that there is an effectively given sequence of Π^0_1 singletons that are Low_α none of which is computable in the effective join of the α jumps of the others for every computable ordinal α.

研究の動機と目的

• 計算可能性理論における暗黙的定義可能性に関するMcLaughlinの予想を解くためにハリントンが未発表のままにした手法を提示・形式化すること。
• 任意の $\alpha <_{\mathcal{O}} \omega^{ck}_1$ に対して、$\alpha$ 番目のジャンプの効果的結合から計算可能でないが、$\Pi^0_1$ の単集合である一様に効果的な列の存在を確立すること。
• 非一様計算に必要なチューリング次数の成長率を、一様計算に必要な成長率から任意の数のジャンプで分離できることを示すこと。
• 新しい形の良い順序数表記と木構造上の強制法を用いて、非一様自己モジュラスに関するハリントンの結果の初の公表済みの証明を提供すること。

提案手法

• 一様計算可能性を保証するため、表記の $\Pi^1_1$ 共終列を用いて、クラインの $\mathcal{O}$ を通る標準的かつ効果的な経路を構成する。
• 文字列から表記への再帰的かつ単調な写像を定義し、順序型を保存することで、$\mathcal{O}$ 内での効果的経路の構成を可能にする。
• 表記 $\beta^{\blacktriangleleft}$ を導入し、$\beta$ への経路を定義する $\beta^\diamond$ の初期部分を表すことで、表記同士の効果的比較を可能にする。
• 木 $T$ 上で定義される局所的強制関係 $\mathrel{{\Vdash}_{T}}$ および $\mathrel{{\Vdash}^{X}_{T}}$ を用いて、経路上の強制を模倣し、$\mathbf{0}^{(\beta)}$ に相対化することで、高次のジャンプレベルに対応する。
• 表記への効果的和演算 $+$ を用いて、$\kappa_{i+1} = \kappa_i + 1 + \alpha_i'$ と新たな表記 $\kappa_{i+1}$ を構成し、各 $\kappa_i$ が良い表記であることを保証する。
• 任意の $\beta$ に対して、$\beta^\prime$ が $\beta^\blacktriangleleft$ から効果的に構成可能であることを証明することで、全体の構成が計算可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ハリントンが未発表のままにしたMcLaughlinの予想を解く手法を形式的に再構成し、公表することは可能か？
• RQ2 任意の $\alpha <_{\mathcal{O}} \omega^{ck}_1$ に対して、$\alpha$ 番目のジャンプの効果的結合から計算可能でないが、$\Pi^0_1$ の単集合である効果的に与えられた列が存在するか？
• RQ3 非一様計算に必要なチューリング次数の成長率を、一様計算に必要な成長率から任意の数のジャンプで分離することは可能か？
• RQ4 良い順序数表記は、非一様自己モジュラスの構成およびチューリング次数計算における成長率の分離に果たす役割は何か？

主な発見

• この論文は、任意の $\alpha <_{\mathcal{O}} \omega^{ck}_1$ に対して、$\alpha$ 番目のジャンプの効果的結合から計算可能でないが、$\Pi^0_1$ の単集合である一様に効果的な列の存在を示す、ハリントンの結果の初の公表済みの証明を提供する。
• 任意の与えられたチューリング次数に対して、非一様計算に十分な成長率が、一様計算に必要な成長率から任意の数のジャンプで分離可能であることが示された。
• $\mathcal{O}$ を通る $\Pi^1_1$ 経路の構成により、$\beta^\diamond$ および $\ell(\beta)$ のすべての必要な計算が、経路の表記から一様に計算可能であることが保証された。
• この手法により、$\beta^{\blacktriangleleft}$ が $\beta$ から効果的に構成可能であり、$\beta^\prime$ が良い表記であることが示された。これにより、全体の構成が効果的かつ計算可能であることが保証された。
• 任意の $\kappa_i$ および $\alpha_i'$ が良い表記であれば、$\kappa_{i+1}$ も良い表記であることが証明された。これにより、経路の帰納的構成が有効であることが保証された。
• $\beta <_{\mathcal{O}} \gamma$ であることと、$\beta^{\blacktriangleleft} <_L \gamma^{\blacktriangleleft}$ であることとは同値であることが示された。これにより、表記の順序の計算可能な特徴づけが得られた。