[논문 리뷰] Somewhere over the rainbow Ramsey theorem for pairs

Ludovic Patey|arXiv (Cornell University)|2015. 01. 29.

Computability, Logic, AI Algorithms참고 문헌 34인용 수 11

한 줄 요약

이 논문은 쌍에 대한 무지개 라모지 정리(RRT²₂) 및 그 변종의 역수학을 조사하며, 쌍에 대한 얇은 집합 정리가 RRT²₂를 함의하고, 안정적인 얇은 집합 정리가 RCA₀ 위에서 원자 모델 정리 함의한다는 것을 입증한다. 또한 약한 무지개 안정성 색칠을 도입하고 특성화하여, 이들이 Δ₀² 함수에 대한 대각선화와 상대화된 쇤르 랜덤성과 동치임을 보이며, RRT²₂의 강도에 대한 새로운 계산적 통찰을 제공한다.

ABSTRACT

The rainbow Ramsey theorem states that every coloring of tuples where each color is used a bounded number of times has an infinite subdomain on which no color appears twice. The restriction of the statement to colorings over pairs (RRT22) admits several characterizations: it is equivalent to finding an infinite subset of a 2-random, to diagonalizing against Turing machines with the halting set as oracle... In this paper we study principles that are closely related to the rainbow Ramsey theorem, the Erdős Moser theorem and the thin set theorem within the framework of reverse mathematics. We prove that the thin set theorem for pairs implies RRT22, and that the stable thin set theorem for pairs implies the atomic model theorem over RCA. We define different notions of stability for the rainbow Ramsey theorem and establish characterizations in terms of Ramsey-type König's lemma, relativized Schnorr randomness or diagonalization of Delta2 functions.

연구 동기 및 목표

• 역수학 내에서 쌍에 대한 무지개 라모지 정리(RRT²₂)의 논리적 및 계산적 강도를 명확히 하는 것.
• RRT²₂, 에르되시-모저 정리(EM), 그리고 얇은 집합 정리(SFS) 간의 관계를 안정성의 맥락에서 조사하는 것.
• 대각선화, 랜덤성, 코르골의 보조정리 원리 등을 사용하여 약한 무지개 안정성 색칠을 특성화하는 것.
• 쌍에 대한 안정적인 얇은 집합 정리가 RCA₀ 위에서 원자 모델 정리를 함의하는지 여부를 판단하는 것.
• RRT²₂가 얇은 집합 정리 및 약한 무지개 안정성 색칠과 같은 다른 원리들에 의해 어느 정도 함의되는지 탐구하는 것.

제안 방법

• f에 대해 비자기적 함수(d.n.c.)에 대해 f-무지개를 구성하기 위해 조건 (σ, g, B)를 사용한 포스팅 기법을 적용하며, X에 대해 낮은 계산을 활용한다.
• Lemma 6.8과 Lemma 6.9을 활용하여 결과 집합 G가 프레리무지개이자 G⊕X가 무한한 f-무지개를 계산할 수 있도록 보장하는 감소하는 조건의 수열을 구축한다.
• 무한한 1-테일 f-무지개 X 위에서 안정적인 색칠 g를 정의하여, 모든 g-자유 집합이 f-무지개임을 보장하며, 충돌 쌍을 기반으로 단계별로 구성한다.
• 고정된 y에 대해 f(y,s)의 극한 행동을 분석함으로써 g가 안정적임을 입증하며, 약한 무지개 안정성과 Σ₀² 유계 조건을 가정한다.
• 기존의 등가성에 의존: RRT²₂ ↔ DNR[∅′], Conidis & Slaman 및 Wang의 2-랜덤성과 1-테일 무지개에 관한 결과를 활용한다.
• RCA₀ 위에서의 역수학 기법을 사용하며, Σ₀² 및 Σ₀² 유계 조건(BΣ₀²)을 활용하여 원리 간의 함의 관계를 분석한다.

실험 결과

연구 질문

• RQ1 쌍에 대한 얇은 집합 정리가 RCA₀ 위에서 RRT²₂를 함의하는가?
• RQ2 쌍에 대한 안정적인 얇은 집합 정리가 RCA₀ 위에서 원자 모델 정리를 함의하는가?
• RQ3 약한 무지개 안정성 색칠의 계산적 내용은 무엇이며, 대각선화 및 랜덤성과의 관계는 어떠한가?
• RQ4 RRT²₂는 라모지 유형의 코르골 보조정리 또는 상대화된 쇤르 랜덤성으로 특성화될 수 있는가?
• RQ5 WSRT²₂(약한 안정성 RRT²₂)는 RCA₀ 위에서 RRT²₂보다 엄격히 약한가?

주요 결과

• 쌍에 대한 얇은 집합 정리가 RCA₀ 위에서 RRT²₂를 함의함을 입증하여, 역수학에서 새로운 함의 관계를 확립한다.
• 쌍에 대한 안정적인 얇은 집합 정리가 RCA₀ 위에서 원자 모델 정리를 함의함을 입증하여, 라모지 유형 원리와 모델 존재성 간의 기존 연결을 확장한다.
• f에 대해 비자기적 함수는 항상 무한한 1-테일 f-무지개를 계산할 수 있으며, Wang의 f-랜덤성 및 무지개 집합에 관한 결과를 정밀화한다.
• 약한 무지개 안정성 버전의 RRT²₂(WSRRT²₂)는 RCA₀ 위에서 RRT²₂보다 엄격히 약하며, 낮은 집합만을 포함하는 ω-모델를 구성함으로써 이를 입증한다. 이 모델은 ∅′에 대해 비자기적 함수를 계산할 수 없다.
• 논문은 WSRRT²₂를 여러 방식으로 특성화한다: Δ₀² 함수에 대한 대각선화, 상대화된 쇤르 랜덤성, 그리고 라모지 유형의 코르골 보조정리 원리.
• 1-테일 f-무지개 X 위에서 안정적인 색칠 g를 구성함으로써, 모든 g-자유 집합이 f-무지개임을 보장하며, 이는 SFS(2)의 해를 WSRRT²₂로 이전하는 데 기여한다.