[論文レビュー] A Ramsey-Type K\"onig's lemma and its variants

Laurent Bienvenu, Ludovic Patey+1 more|arXiv (Cornell University)|Nov 21, 2014

Computability, Logic, AI Algorithms被引用数 1

ひとこと要約

この論文は逆数学におけるKönigの補題のラムゼー型の変種と関連する問題を調査し、一部の変種が元の問題よりも厳密に簡単である一方で、他のものについては同等であることを示している。ラムゼー型弱Königの補題の堅牢性を確立し、対角的非再帰的関数の存在を示す問題と同等であることを証明することで、アルゴリズム的ランダムネスとの関係を明確にした。

ABSTRACT

We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood, we say that a Ramsey-type variant of a problem is the problem with the same instances but whose solutions are the infinite partial solutions to the original problem. We study Ramsey-type variants of problems related to Konig's lemma, such as restrictions of Konig's lemma, Boolean satisfiability problems, and graph coloring problems. We find that sometimes the Ramsey-type variant of a problem is strictly easier than the original problem (as Flood showed with weak Konig's lemma) and that sometimes the Ramsey-type variant of a problem is equivalent to the original problem. We show that the Ramsey-type variant of weak Konig's lemma is robust in the sense of Montalban: it is equivalent to several perturbations of itself. We also clarify the relationship between Ramsey-type weak Konig's lemma and algorithmic randomness by showing that Ramsey-type weak weak Konig's lemma is equivalent to the problem of finding diagonally non-recursive functions and that these problems are strictly easier than Ramsey-type weak Konig's lemma. This answers a question of Flood.

研究の動機と目的

• 数学的問題において、完全な解を求めるのと比べて、無限部分解を求めるのが容易かどうかを特定すること。
• 逆数学の枠組み内で、Königの補題、充足可能性、グラフ彩色問題のラムゼー型変種を分析すること。
• ラムゼー型弱Königの補題の論理的強度と、その定義の摂動に対してどれほど堅牢であるかを調査すること。
• 対角的非再帰的関数の存在を求める問題と比較することで、ラムゼー型弱Königの補題とアルゴリズム的ランダムネスとの関係を明確にすること。

提案手法

• 逆数学を用いて、問題のラムゼー型変種の論理的強度を分析する。
• 計算可能解析と計算可能還元の枠組みを適用して、問題を比較する。
• 証明理論と再帰理論の技術を用いて、問題の同等性と還元可能性を評価する。
• Montalbanの摂動に関する堅牢性の概念を用いて、ラムゼー型弱Königの補題の堅牢性を示す。
• ラムゼー型弱Königの補題と対角的非再帰的関数の存在を求める問題との同等性を確立する。
• 対角化と強力な強制法的議論を用いて、問題間の論理的階層を分析する。

実験結果

リサーチクエスチョン

• RQ1 問題のラムゼー型変種は常に元の問題よりも簡単であるのか、あるいは同等である可能性があるのか？
• RQ2 ラムゼー型弱Königの補題は、その定義のさまざまな摂動に対して堅牢なのか？
• RQ3 ラムゼー型弱Königの補題は、アルゴリズム的ランダムネスおよび対角的非再帰的関数の存在との関係においてどのように関連しているのか？
• RQ4 対角的非再帰的関数の存在を求める問題とラムゼー型弱Königの補題は論理的に同等なのか？
• RQ5 ラムゼー型弱Königの補題は、対角的非再帰的関数の存在を求める問題よりも厳密に強いか？

主な発見

• ラムゼー型弱Königの補題は、元の弱Königの補題よりも厳密に弱く、Floodの観察を裏付けた。
• ラムゼー型弱Königの補題は、Montalbanの意味での堅牢性を示しており、そのいくつかの摂動と同等である。
• ラムゼー型弱Königの補題は、対角的非再帰的関数の存在を求める問題と同等である。
• 対角的非再帰的関数の存在を求める問題は、ラムゼー型弱Königの補題よりも厳密に弱い。
• ラムゼー型弱Königの補題は、対角的非再帰的関数の存在を求める問題よりも厳密に強く、Floodが提起した疑問に答えを提示した。