[논문 리뷰] The strength of Ramsey's theorem for pairs and arbitrarily many colors

Theodore A. Slaman, Keita Yokoyama|arXiv (Cornell University)|2017. 11. 23.

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

한 줄 요약

이 논문은 러버모어의 정리 2개와 임의의 색상 수에 대해 ($\mathrm{RT}^2$)와 약한 콜모고로프의 보조정리 ($\mathsf{WKL}_0$)의 조합이 $\mathrm{B}\Sigma^0_3$에 대해 $\Pi^1_1$-보존적 확장임을 증명함으로써, $\mathrm{RT}^2$의 정확한 일阶 강도를 $\mathrm{B}\Sigma^0_3$로 규명한다. 증명은 $\Delta^B_3$-해를 유지하면서 $\Sigma^B_3$-정의 가능성을 유지하는 정교화된 매타스 포스팅의 변형을 사용하여, $\mathrm{RT}^2 + \mathsf{WKL}_0$가 $\mathrm{B}\Sigma^0_3$에 의해 이미 유도되는 문장 외에 새로운 $\Pi^1_1$ 문장을 증명하지 못함을 보여준다. 이는 이전의 보존 결과를 정교화하고 $\mathrm{B}\Sigma^0_3$와 $\mathrm{I}\Sigma^0_3$ 사이의 간극을 $\mathrm{RT}^2$의 일阶 부분에서 닫는다. 결과적으로 $\mathrm{RT}^2$의 일阶 강도가 정확히 $\mathrm{B}\Sigma^0_3$임을 확인하며, 역수학에서 핵심적인 질문을 해결한다.

ABSTRACT

In this paper, we show that $\mathrm{RT}^{2}+\mathsf{WKL}_0$ is a $Π^{1}_{1}$-conservative extension of $\mathrm{B}Σ^0_3$.

연구 동기 및 목표

• 기초 체계 $\mathsf{RCA}_0$ 위에서 러버모어의 정리 2개와 임의의 색상 수에 대해 ($\mathrm{RT}^2$)의 정확한 일阶 강도를 규명하기 위해.
• $\mathrm{B}\Sigma^0_3$와 $\mathrm{I}\Sigma^0_3$ 사이의 알려진 한계 사이의 간극을 $\mathrm{RT}^2$의 일阶 부분에서 닫기 위해.
• $\mathrm{RT}^2 + \mathsf{WKL}_0$가 $\mathrm{B}\Sigma^0_3$에 대해 $\Pi^1_1$-보존적 확장임을 보여주어, $\mathrm{B}\Sigma^0_3$가 $\mathrm{RT}^2$의 정확한 일阶 강도임을 규명하기 위해.
• 초콜락, 조크슈타인, 슬라먼의 포스팅 증거를 정교화하여, $\mathrm{D}^2$ 성분이 $\mathrm{B}\Sigma^0_3$에 대해 $\Pi^1_1$-보존적임을 입증하기 위해.

제안 방법

• 유한한 수열 $\bar{D}^*$, 집합 $Z^*$, 함수 $\tau$, 그리고 경계 $\ell_0, \ell_1$를 사용하여 정의된 포스팅 조건을 사용하여, $\mathbb{N}$의 $\Delta^B_2$-분할에 대해 $\Delta^B_3$-해 $G$를 구성함으로써, $G$가 분할의 한 부분에 포함되도록 보장한다.
• 포스팅 조건은 '가장 왼쪽' 확장 전략을 사용하여 초한성(코필리티)을 보장한다.
• 포스팅 순서 집합에서의 가장 왼쪽 경로 $p_0 \succ p_1 \succ \cdots$를 따라 재귀적 구성이 이루어지며, 이로 인해 해 집합 $G = \bigcup_{j \in J} F_i^{p_j}$ 는 무한하고 $\Delta^B_3$가 된다.
• 이 구성은 어떤 $\Sigma^{B \oplus G}_3$-집합도 기존의 $\Sigma^B_3$-정의 가능성을 유지함을 보장한다. 즉, $\Sigma^B_3$-조각이 유지된다.
• 증명은 포스팅 트리에서 코필리얼 경로의 존재를 보장하기 위해 $\mathsf{WKL}_0$를 활용하며, 구성에서 존재 기호의 양을 제어하기 위해 $\mathrm{B}\Sigma^0_3$를 사용한다.
• 핵심 기술적 단계는 임의의 $\Delta^B_2$-분할에 대해, 어떤 $i < k$에 대해 $G \subseteq \mathcal{A}_i$를 만족하는 $\Delta^B_3$-무한해 $G$가 존재하며, $\Sigma^{B \oplus G}_3$-정의 가능성이 $\Sigma^B_3$-정의 가능성과 일치함을 증명하는 것이다.

실험 결과

연구 질문

• RQ1 기초 체계 $\mathsf{RCA}_0$ 위에서 러버모어의 정리 2개와 임의의 색상 수에 대해 ($\mathrm{RT}^2$)의 정확한 일阶 강도는 무엇인가?
• RQ2 $\mathrm{RT}^2 + \mathsf{WKL}_0$는 $\mathrm{B}\Sigma^0_3$에 의해 이미 포함되는 문장 외에 새로운 $\Pi^1_1$ 문장을 증명하는가?
• RQ3 $\mathrm{D}^2$ 성분이 정교화된 포스팅 증거를 사용하여 $\mathrm{B}\Sigma^0_3$에 대해 $\Pi^1_1$-보존적임을 입증할 수 있는가?
• RQ4 $\mathrm{RT}^2$의 일阶 부분은 $\mathrm{I}\Sigma^0_3$보다 엄밀히 약한가, 아니면 $\mathrm{B}\Sigma^0_3$와 일치하는가?
• RQ5 $\Sigma^{B \oplus G}_3$-정의 가능성이 유지되는 $\Delta^B_2$-분할에 대해 $\Delta^B_3$-해를 구성할 수 있는가?

주요 결과

• 논문은 $\mathrm{RT}^2 + \mathsf{WKL}_0$가 $\mathrm{B}\Sigma^0_3$에 대해 $\Pi^1_1$-보존적 확장임을 증명함으로써, $\mathrm{B}\Sigma^0_3$에 의해 이미 포함되는 문장 외에 새로운 $\Pi^1_1$ 문장을 증명하지 못함을 보여준다.
• $\mathrm{RT}^2$의 일阶 강도는 정확히 $\mathrm{B}\Sigma^0_3$이며, 이는 $\mathrm{B}\Sigma^0_3$와 $\mathrm{I}\Sigma^0_3$ 사이에 엄밀히 놓여져 있는지 여부를 여전히 미해결로 남긴 질문을 해결한다.
• 새로운 포스팅 구성이 개발되어, 임의의 $\Delta^B_2$-분할에 대해 $\Delta^B_3$-무한해 $G$를 생성하며, $G \subseteq \mathcal{A}_i$를 만족하는 성질을 지닌다. 이와 동시에 $\Sigma^{B \oplus G}_3$-정의 가능성이 $\Sigma^B_3$-정의 가능성과 일치한다.
• 증명은 $\mathsf{RCA}_0 + \mathrm{D}^2 + \mathrm{B}\Sigma^0_3$가 $\mathrm{B}\Sigma^0_3$에 대해 $\Pi^1_1$-보존적임을 보여주며, 이는 기존의 $\mathrm{COH}$ 결과와 결합하여 $\mathrm{RT}^2 + \mathsf{WKL}_0$에 대한 전체 보존 결과를 이끌어낸다.
• 구성은 해 집합 $G$가 무한하고 $\Delta^B_3$이며, 포스팅 경로가 모델 내에서 코필리얼임을 보장한다. 이는 $\mathsf{WKL}_0$와 $\mathrm{B}\Sigma^0_3$를 사용하여 정의 가능한 집합의 복잡성을 제어한다.
• 결과적으로 $\mathrm{RT}^2$가 $\mathrm{I}\Sigma^0_3$를 함의하지 않으며, 따라서 그 일阶 강도가 $\mathrm{I}\Sigma^0_3$보다 엄밀히 약하다는 것이 확인되며, 이는 역수학에서 오랫동안 남아 있던 질문을 해결한다.