[論文レビュー] Ramsey theory without pigeonhole principle and the adversarial Ramsey principle

Noé de Rancourt|arXiv (Cornell University)|May 13, 2018

Advanced Topology and Set Theory参考文献 21被引用数 4

ひとこと要約

本稿は、鳩の巣原理に依存せずに無限次元ラムゼー理論の一般枠組みを構築し、バナッハ空間内のブロック列に関するガウアーズの定理とボレル決定性を統合する。ボレル集合に対する敵対的ラムゼー原理を証明し、ローゼンダールの予想を裏付ける。これは、無限ゲームにおける戦略と位相的ラムゼー理論における一様部分空間の間の新しい双対性を確立する。

ABSTRACT

We develop a general framework for infinite-dimensional Ramsey theory with and without pigeonhole principle, inspired by Gowers' Ramsey-type theorem for block sequences in Banach spaces and by its exact version proved by Rosendal. In this framework, we prove the adversarial Ramsey principle for Borel sets, a result conjectured by Rosendal that generalizes at the same time his version of Gowers' theorem and Borel determinacy of games on integers.

研究の動機と目的

• 鳩の巣原理に依存しない無限次元ラムゼー理論の一般的形式的体系を構築すること。
• バナッハ空間内のブロック列に関するガウアーズのラムゼー型定理と整数上でのゲームのボレル決定性を統合すること。
• ローゼンダールの予想であるボレル集合に対する敵対的ラムゼー原理を証明すること。
• 古典的フォースィングや鳩の巣原理に基づく議論を超えたラムゼー的技法の適用範囲を拡張すること。
• 無限ゲームにおける戦略的決定性と位相空間における一様部分空間の存在との間の関係を確立すること。

提案手法

• ガウアーズおよびローゼンダールの研究にインspiredされた「近似的」と「正確な」ゲームの概念を用いて、無限次元ラムゼー理論の一般枠組みを導入する。
• 構造的空間（例：バナッハ空間内のブロック部分空間）におけるガウアーズ型ゲームを定義し、これらのゲームにおけるプレイヤーの戦略を分析する。
• 「近似的」部分空間をモデル化するために、前コンパクト集合の体系を適用し、完全な部分空間が存在しない場合でもコンパクト性の議論を可能にする。
• 集合の $Δ$-拡張の概念を用いて、近似的一致集合を定義し、鳩の巣原理に依存しない状況での取り扱いに不可欠な役割を果たす。
• 決定性技法を適用し、プレイヤー I がゲームで勝つ戦略を持つならば、ターゲット集合の $Δ$-拡張内に一様部分空間が存在することを示す。
• ローゼンダールのガウアーズの定理の正確版を用い、それをゲーム理論的双対性によりボレル集合へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間のような状況において、鳩の巣原理に依存せずに無限次元ラムゼー理論を構築することは可能か？
• RQ2 ガウアーズのブロック列に関する定理と整数上でのゲームのボレル決定性を一般化する統一的原理は存在するか？
• RQ3 ガウアーズ型ゲームにおいてプレイヤー I が勝つ戦略を持つとき、その戦略が $Δ$-拡張内の一様部分空間の存在を示唆するのはどのような条件下か？
• RQ4 一般の位相的ラムゼー空間におけるボレル集合に対して、敵対的ラムゼー原理を証明できるか？
• RQ5 空間およびターゲット集合にどのような構造的条件が課されると、ゲームにおける戦略が摂動された意味での一様性を示唆するのか？

主な発見

• ボレル集合に対する敵対的ラムゼー原理が証明され、ローゼンダールの予想が裏付けられた。
• 本フレームワークは、鳩の巣原理に依存しないラムゼー型結果を効果的に扱い、古典的マチアス＝シルバー型定理を超えて拡張された。
• 無限ゲームにおける勝ち戦略とボレル集合の $Δ$-拡張内の一様部分空間の存在との間で、新たな双対性が確立された。
• 結果は、ローゼンダールのガウアーズの定理の正確版と整数上でのゲームのボレル決定性を両方一般化した。
• 反例により、プレイヤー I が戦略を持つ場合でも、無限体では結論が成り立たないことが示され、フレームワークにおけるコンパクト性と有限性の必要性が強調された。
• 証明は前コンパクト集合の体系とコンパクト性の議論に依存しており、『近似的』部分空間でさえも一様構造を生み出す可能性があることを示した。