[论文解读] Somewhere over the rainbow Ramsey theorem for pairs

Ludovic Patey|arXiv (Cornell University)|Jan 29, 2015

Computability, Logic, AI Algorithms参考文献 34被引用 11

一句话总结

本文研究了关于对偶的彩虹拉姆齐定理（RRT²₂）及其变体的逆数学，确立了：对偶的薄集定理蕴含RRT²₂，且对偶的稳定薄集定理蕴含原子模型定理（over 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²₂在多大程度上被其他原理（如薄集定理与弱彩虹稳定着色）所蕴含。

提出的方法

• 使用条件为(σ, g, B)的强迫法，从相对于f的d.n.c.函数构造出无限f-彩虹，利用相对于X的低计算。
• 应用引理6.8与引理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的d.n.c.函数均能计算出无限1-尾f-彩虹，这一结果细化了Wang关于f-随机性与彩虹集的研究。
• 弱彩虹稳定版本的RRT²₂（WSRRT²₂）在RCA₀上严格弱于RRT²₂，通过构造一个仅包含低集合的ω-模型来证明，该模型无法计算相对于∅′的d.n.c.函数。
• 本文提供了WSRRT²₂的多种刻画：通过针对Δ₀²函数的对角化、通过相对化施诺尔随机性，以及通过拉姆齐型康尼格引理原理。
• 在1-尾f-彩虹X上构造稳定着色g，确保每个g-自由集均为f-彩虹，从而实现从SFS(2)到WSRRT²₂的解的转移。