[논문 리뷰] The reverse mathematics of Ramsey-type theorems

Ludovic Patey|arXiv (Cornell University)|2016. 01. 18.

Computability, Logic, AI Algorithms인용 수 8

한 줄 요약

이 논문은 역수학과 계산 가능 환원을 통해 라미의 정리 유형 정리들의 논리적 및 계산적 강도를 조사한다. 색의 수에 따라 라미의 정리의 강도에 엄격한 계층이 존재하며, 동일한 강도를 가지는 원소들의 집합 조건을 약간 약화시키면 서로 다른 체계로 이어지며, 이는 라미의 정리 유형 진술의 비강건성(robustness)을 보여준다. 주요 결과로는 자유집합정리가 k 초초월성의 강한 보존을 갖는 것으로 증명되었으며, 이는 자유집합정리가 RCA₀ 위에서 RT²₂와 분리됨을 의미한다.

ABSTRACT

In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic study of various Ramsey-type statements under a unified and minimalistic framework and obtain a precise analysis of their interrelations. We clarify the role of the number of colors in Ramsey's theorem. In particular, we show that the hierarchy of Ramsey's theorem induced by the number of colors is strictly increasing over computable reducibility, and exhibit in reverse mathematics an infinite decreasing hiearchy of Ramsey-type theorems by weakening the homogeneity constraints. These results tend to show that the Ramsey-type statements are not robust, that is, slight variations of the statements lead to strictly different subsystems. Finally, we pursuit the analysis of the links between Ramsey's theorems and compacity arguments, by extending Liu's theorem to several Ramsey-type statements and by proving its optimality under various aspects.

연구 동기 및 목표

• 통일된 프레임워크 내에서 다양한 라미의 정리 유형 정리들 간의 상호관계와 상대적 강도를 체계적으로 분석하기.
• 라미의 정리에서 색의 수가 차지하는 역할을 명확히 하고, 색의 수를 늘일수록 원칙의 강도가 엄격히 증가하는지 규명하기.
• 동일성 조건을 약화시켜 라미의 정리 유형 진술의 강건성을 조사하고, 그 논리적 결과를 평가하기.
• 류의 정리에 대한 콤팩턴스 추론의 일반화를 다수의 라미의 정리 유형 진술로 확장하고, 그 최적성(optimality)을 증명하기.
• 자유집합정리에 대한 보존 결과를 확립하고, 초초월성 보존 기법을 통해 RT²₂와의 분리를 달성하기.

제안 방법

• 라미의 정리 유형 원칙들의 강도를 비교하기 위해 계산 가능 환원과 바이어스트리프 환원을 활용한다.
• 특정 성질을 갖는 해를 구성하기 위해 효과적 포스팅 기법, 특히 시타푼 스타일과 CJS 스타일의 포스팅을 사용한다.
• 매스이아스 포스팅과 초초월성의 강한 보존을 적용하여 원하는 동일성 및 희박성 조건을 만족하는 무한집합을 구성한다.
• G를 색의 행동에 따라 집합 Z_J로 분할하여, f([H]^n)의 이미지 크기가 유계임을 만족하는 무한집합 H ⊆ G를 구성한다.
• 희박집합정리가 k 초초월성을 보존한다는 사실을 활용하여, 자유집합정리에 대해 유사한 보존 결과를 유도한다.
• 자유집합정리가 모든 k ∈ ω에 대해 k 초초월성의 강한 보존을 갖는다는 것을 증명한다. 이는 RCA₀ 위에서 RT²₂와의 분리를 가능하게 한다.

실험 결과

연구 질문

• RQ1 색의 수에 따라 유도되는 라미의 정리의 계층이 계산 가능 환원 하에 엄격히 증가하는 수열을 이루는가?
• RQ2 라미의 정리 유형 진술에서 동일성 조건을 약간 약화시키면, 논리적 체계로서 엄격히 다른 원칙이 도출되는가?
• RQ3 라미의 정리 유형 진술은 문장의 작은 변화에 대해 어느 정도 강건한가?
• RQ4 자유집합정리는 k 초초월성의 강한 보존을 갖는가? 그리고 이는 역수학에 어떤 영향을 미치는가?
• RQ5 초초월성 보존 기법을 통해 자유집합정리를 RCA₀ 위에서 RT²₂와 분리시킬 수 있는가?

주요 결과

• 색의 수에 기반한 라미의 정리의 계층은 계산 가능 환원 하에 엄격히 증가한다.
• 라미의 정리 유형 진술에서 동일성 조건을 약화시키면, 역수학에서 원칙의 무한한 감소 계층이 도출된다.
• 자유집합정리는 모든 k ∈ ω에 대해 k 초초월성의 강한 보존을 갖는다.
• 자유집합정리는 RCA₀ 위에서 RT²₂를 함의하지 않으며, 콜락 등과 히르슈펠트가 제기한 질문들에 대해 부정적인 답변을 제공한다.
• 희박집합정리가 k 초초월성을 보존한다는 사실을 활용하여, 자유집합정리에 대해 유사한 보존 결과를 도출한다.
• 결과적으로, 라미의 정리 유형 진술은 작은 문장 변경에도 논리적 강도가 크게 달라지므로, 비강건함을 입증한다.