[论文解读] 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

一句话总结

本文提出了哈灵顿未发表的方法，用于解决可计算性理论中麦考劳夫林关于隐式定义性的猜想，证明了存在一个一致有效的 $\Pi^0_1$ 单元素序列，其为 $Low_\alpha$，但不能从其他元素的 $\alpha$ 次跳跃的可有效结合中计算得出，其中 $\alpha <_{\mathcal{O}} \omega^{ck}_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 α.

研究动机与目标

• 提出并形式化哈灵顿未发表的方法，以解决可计算性理论中关于隐式定义性的麦考劳夫林猜想。
• 证明存在一个一致有效的 $\Pi^0_1$ 单元素序列，其为 $Low_\alpha$，但不能从其他元素的 $\alpha$ 次跳跃的可有效结合中计算得出，其中 $\alpha <_{\mathcal{O}} \omega^{ck}_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$ 均为良记号。
• 证明对于任意 $\beta$，记号 $\beta^\prime$ 可从 $\beta^\blacktriangleleft$ 有效构造，从而确保整个构造过程保持可计算性。

实验结果

研究问题

• RQ1 哈灵顿未发表的方法是否可以被形式化重建并发表？
• RQ2 是否存在一个可有效给出的 $\Pi^0_1$ 单元素序列，其为 $Low_\alpha$，但不能从其他元素的 $\alpha$ 次跳跃的可有效结合中计算得出，其中 $\alpha <_{\mathcal{O}} \omega^{ck}_1$？
• RQ3 非均匀计算图灵度所需的增长率是否可与均匀计算所需的增长率通过任意数量的跳跃相分离？
• RQ4 良序记号在构造非均匀自模及分离图灵度计算中的增长率方面起什么作用？

主要发现

• 本文首次发表了哈灵顿结果的证明，即存在一个可有效给出的 $\Pi^0_1$ 单元素序列，其为 $Low_\alpha$，但不能从其他元素的 $\alpha$ 次跳跃的可有效结合中计算得出，其中 $\alpha <_{\mathcal{O}} \omega^{ck}_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}$，从而建立了记号序关系的可计算刻画。