[논문 리뷰] Harrington's Solution to McLaughlin's Conjecture and Non-uniform Self-moduli

Peter Gerdes|arXiv (Cornell University)|2010. 12. 15.

Computability, Logic, AI Algorithms참고 문헌 17인용 수 3

한 줄 요약

이 논문은 계산 가능성 이론에서 은밀한 정의 가능성에 대한 McLaughlin의 추측을 해결하기 위한 Harrington의 비공개 방법을 제시한다. 이는 모든 $\alpha <_{\mathcal{O}} \omega^{ck}_1$ 에 대해 $\Pi^0_1$ 싱글턴의 균일한 효과적 수열이 존재하며, 이 수열은 $Low_\alpha$ 이지만 다른 이들의 $\alpha$ 점프의 효과적 합으로부터 계산 가능하지 않음을 보여준다. 핵심 기여는 비균일 계산에 필요한 성장률이 균일 계산에 필요한 성장률과 임의의 수의 점프로 분리될 수 있음을 보여주며, 이는 새로운 종류의 좋은 순서수 표기법과 트리 위에서의 강제법을 사용한 독창적 구성에 기반한다.

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의 추측을 해결하기 위한 Harrington의 비공개 방법을 제시하고 형식화한다.
• 모든 $\alpha <_{\mathcal{O}} \omega^{ck}_1$ 에 대해 $Low_\alpha$ 이지만 다른 이들의 $\alpha$ 점프의 효과적 합으로부터 계산 가능하지 않은 $\Pi^0_1$ 싱글턴의 균일한 효과적 수열이 존재함을 입증한다.
• 비균일 계산에 필요한 성장률이 균일 계산에 필요한 성장률과 임의의 수의 점프로 분리될 수 있음을 보여준다.
• 좋은 순서수 표기법과 트리 위에서의 강제법을 사용한 새로운 구성에 기반하여 Harrington의 비균일 자기모듈러스 결과에 대한 첫 번째 공개 증명을 제공한다.

제안 방법

• 균일한 계산 가능성을 보장하기 위해, 표기법의 $\Pi^1_1$ cofinal 수열을 사용하여 Kleene의 $\mathcal{O}$를 통과하는 표준적이고 효과적인 경로를 구성한다.
• 문자열에서 표기법으로의 재귀적이고 단조적인 사상 정의를 통해 순서형을 유지하고 $\mathcal{O}$ 내에서 효과적인 경로 구성이 가능하도록 한다.
• 경로를 정의하는 데 사용되는 $\beta^\diamond$의 초기 부분을 나타내는 표기법 $\beta^{\blacktriangleleft}$ 를 도입하여 표기법 간의 효과적 비교를 가능하게 한다.
• 트리 $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 Harrington의 비공개 방법이 공식적으로 재구성되고 공개될 수 있는가?
• RQ2 모든 $\alpha <_{\mathcal{O}} \omega^{ck}_1$ 에 대해 $Low_\alpha$ 이지만 다른 이들의 $\alpha$ 점프의 효과적 합으로부터 계산 가능하지 않은 $\Pi^0_1$ 싱글턴의 효과적 주어진 수열이 존재하는가?
• RQ3 비균일 계산에 필요한 성장률이 균일 계산에 필요한 성장률과 임의의 수의 점프로 분리될 수 있는가?
• RQ4 좋은 순서수 표기법이 비균일 자기모듈러스를 구성하고 튜링 차수 계산에서 성장률을 분리하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\alpha <_{\mathcal{O}} \omega^{ck}_1$ 인 모든 $\alpha$ 에 대해 $Low_\alpha$ 이지만 다른 이들의 $\alpha$ 점프의 효과적 합으로부터 계산 가능하지 않은 $\Pi^0_1$ 싱글턴의 효과적 주어진 수열이 존재한다는 Harrington의 결과에 대한 첫 번째 공개 증명을 제공한다.
• 임의의 주어진 튜링 차수에 대해 비균일 계산에 필요한 성장률이 균일 계산에 필요한 성장률과 임의의 수의 점프로 분리될 수 있음을 보여준다.
• $\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}$ 가 동치임을 보여주어 표기법 간 순서의 계산 가능 특성화를 확립한다.