[论文解读] 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

一句话总结

本文提出了一种无需依赖抽屉原理的无限维Ramsey理论的一般性框架，统一了Gowers在巴拿赫空间中块序列的定理与Borel决定性定理。证明了Borel集合的对抗性Ramsey原理，这是Rosendal的一个猜想，建立了一种新的对偶关系：无限博弈中的策略与拓扑Ramsey理论中同质子空间之间的对偶关系。

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.

研究动机与目标

• 开发一种无限维Ramsey理论的一般形式化体系，涵盖依赖与不依赖抽屉原理的结果。
• 统一Gowers关于巴拿赫空间中块序列的Ramsey型定理与整数上博弈的Borel决定性定理。
• 证明Borel集合的对抗性Ramsey原理，这是Rosendal的一个猜想。
• 将Ramsey理论方法的应用范围扩展至经典强迫与基于抽屉原理的论证之外。
• 建立无限博弈中策略决定性与拓扑空间中同质子空间存在性之间的联系。

提出的方法

• 引入一种使用'近似'与'精确'博弈概念的一般性框架，受Gowers与Rosendal工作的启发。
• 在结构化空间（如巴拿赫空间中的块子空间）上定义Gowers型博弈，并分析其中玩家的策略。
• 应用预紧集系统来建模'近似'子空间，即使完整子空间不可用，也能进行紧致性论证。
• 使用集合的$Δ$-扩张概念来定义近似同质集合，这对处理非抽屉原理情形至关重要。
• 应用决定性技术，证明若玩家I在博弈中有必胜策略，则目标集合的$Δ$-扩张中存在同质子空间。
• 利用Rosendal的Gowers定理精确版本，并通过博弈论对偶性将其推广至Borel集合。

实验结果

研究问题

• RQ1 是否可以在不依赖抽屉原理的情况下发展无限维Ramsey理论，特别是在巴拿赫空间等情形下？
• RQ2 是否存在一个统一原理，能同时推广Gowers关于块序列的定理与整数上博弈的Borel决定性定理？
• RQ3 在何种条件下，玩家I在Gowers型博弈中存在必胜策略，可推出在$Δ$-扩张中存在同质子空间？
• RQ4 是否能在一般拓扑Ramsey空间中证明Borel集合的对抗性Ramsey原理？
• RQ5 空间与目标集合的何种结构条件可确保博弈中的策略在扰动意义下蕴含同质性？

主要发现

• 证明了Borel集合的对抗性Ramsey原理，证实了Rosendal的一个猜想。
• 该框架成功处理了不依赖抽屉原理的Ramsey型结果，扩展了经典Mathias–Silver型定理的范围。
• 建立了一种新的对偶关系：无限博弈中的必胜策略与Borel集合$Δ$-扩张中同质子空间的存在性之间的对偶关系。
• 该结果同时推广了Rosendal的Gowers定理精确版本与整数上博弈的Borel决定性定理。
• 反例表明，即使玩家I有策略，在无限域中结论仍可能不成立，凸显了框架中紧致性与有限性条件的必要性。
• 证明依赖于预紧集系统与紧致性论证，表明'近似'子空间仍可产生同质结构。