[論文レビュー] Ramsey Theory and Bounding in Arithmetic

Peter Cholak|arXiv (Cornell University)|Mar 24, 2026

Computability, Logic, AI Algorithms被引用数 0

ひとこと要約

この論文は Hirst の Ramsey 理論的結果を Weihrauch 減少フレームワーク内の非標準第二次算術モデルに再構成し、境界原理と Ramsey 型定理の間の同値性と減少を確立する。

ABSTRACT

We explore the relation between various versions of Ramsey theorem and bounding schemes in model ${N}$ of a fragment of arithmetic $F$. Our goal is to recast, in a different framework, and extend some results of Hirst \cite{Hirst-1987}, see Theorem 1. We will extract Weihrauch reductions from Hirst's and similar proofs. Our results, informally stated in the our terminology, all inside ${N}$, follow: First the following are equivalent: $BΣ_2$, the finite union of finite c.e.\ sets is finite, and Infinite Pigeonhole Principle, see Theorem 3. We also discuss the Weihrauch relations between these logically equivalent principles, see Section 4. The Infinite Pigeonhole Principle is Weihrauch reducible to $RT^2_2$, see Theorem 4. There are also another principle logically equivalent to $BΣ_2$ which is Weihrauch reducible to $SRT^2_2$, see Theorem 5. We show that there is a principle which is equivalent with $BΣ_3$, see Theorem 6, and Weihrauch reducible to $SRT^2_{<\infty}$, Theorem 7. We discuss some equivalencies with $BΣ_{n-1}$, see Subsection 6.1, and then end with a problem Weihrauch reducible to $RT^{n+1}_{2}$, Subsection 6.2.

研究の動機と目的

• Hirst の Ramsey 型原理に関する結果を非標準モデル内の Weihrauch 減少フレームワークへ再構成する。
• B2、Infinite Pigeonhole Principle（無限パイ濃点原理）および関連する Ramsey 原理の間の同値性を示す。
• Hirst の証明から Weihrauch 減少を抽出し、均一計算性の関係を明確化する。
• B2 に同等の原理と RT^n_k および SRT^2_2 の下でのその地位との間の Weihrauch 関係を調べる。
• 同じ枠組みの中で Bn 及び高次性へ拡張を論じる。

提案手法

• N = (N, P, +, ×, <, 0, 1) という二種モデルと、第二次算術の断片 F（RCA_0^*）を含み、P^−, I_0, 少なくとも I_1 を含む定義を行う。
• N の内部で境界原理（B_n）と Ramsey 型原理（RT^n_k, SRT^2_k など）を形式化し、問題を Weihrauch 減少可能な A(I,S) の形に翻訳する。
• N 上での Weihrauch 減少性を用いて事例と解を結びつけ、減少を媒介する明示的な関数型 Φ と Ψ を用意する。
• Hirst の同値性（a) RT^1_<∞ ↔ B_2, (b) RT^2_2 ⇒ B_2, (c) RT^2_<∞ ⇒ B_3）を、N 内での Weihrauch 減少として再証明・再構成する。
• Hirst の証明から減少を抽出し、Rainbow Pigeonhole および FICF（有限個体共通部分の有限交叉）を含むさまざまな原理が Weihrauch 的に互いにどのように減少するかを示す。
• B_n の同値性や SRT^2_<∞ への減少など、より高次の精緻化を探究し、論理同値性の下での次数構造的推論の限界を論じる。

実験結果

リサーチクエスチョン

• RQ1 非標準モデル N において、B_2、無限パイ濃点原理、および関連する Ramsey 型命題の間にどのような同値性が存在するか？
• RQ2 Hirst の証明を N の内部で Weihrauch 減少として再枠組みできるか、RT^2_2、SRT^2_2、そして B_n の間でどのような減少を得られるか？
• RQ3 Rainbow Pigeonhole と FICF は Weihrauch 減少性の下で B_2 および SRT^2_2 とどのように関係するか？
• RQ4 N 内で高次性 Ramsey 原理（RT^n_2, RT^n_<∞）と境界原理 B_n の間にはどのような Weihrauch 減少が存在するか？
• RQ5 B_n に関する同値性は Weihrauch 減少性の下で持続するか、それとも減少が論理的同値性と異なる可能性があるか？

主な発見

• B2 は有限個の有限に列挙可能集合の有限結合と同値であり、N 内では Infinite Pigeonhole Principle および RT^1_<∞（RCA_0^* 上）と同値である。
• Infinite Pigeonhole Principle は RT^2_2（および RT^n_2）へ強く Weihrauch 減少可能であり、N 内でこれらの原理間に均一な計算的ブリッジを確立する。
• B3 に同値な原理は SRT^2_<∞ へ Weihrauch 減少可能であり、高次の界限原理は安定的な Ramsey 型減少を介して捉えられることを示す。
• Rainbow Pigeonhole は N 内で SRT^2_2 へ Weihrauch 減少可能であり、色付け飽和の定式化を安定的 Ramsey 原理へ結びつけ、明らかな論理同値性を超える有意な減少を示す。
• FICF（有限交叉の共に有限の集合の交叉） は SRT^2_<∞ へ Weihrauch 減少可能であり、有限補集合的構造特性が安定 Ramsey 減少へ翻訳されることを示す。
• 本研究は Bn へ拡張され、N において definable 集合の有限結合と対応する Bn の同値性が RT^n+1_2 と Weihrauch フレームワーク内で関連することを示し、相対化・非相対化減少の議論を含む。