[论文解读] Schmidt games and Cantor winning sets

Dzmitry Badziahin, Stephen Harrap+2 more|arXiv (Cornell University)|Apr 17, 2018

Mathematical Dynamics and Fractals参考文献 31被引用 7

一句话总结

本文引入了Cantor博弈这一新颖的拓扑博弈，其获胜集合恰好与Cantor获胜集合一致，统一了Schmidt博弈与Cantor型构造。研究证明，在度量空间中，1-Cantor获胜集合等价于绝对获胜集合；在R中，1/2获胜集合蕴含绝对获胜集合，从而解决了丢番图逼近与度量数论中主要获胜概念之间的关键联系。

ABSTRACT

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in doubling metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb{R}$, and we suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.

研究动机与目标

• 通过新的拓扑博弈框架，统一Schmidt博弈与Cantor获胜集合。
• 厘清度量空间中绝对获胜、Cantor获胜与势获胜之间的关系。
• 解决关于不同获胜性质之间蕴含关系的开放问题，特别是在R中的情形。
• 通过一个典型例子，展示Cantor获胜集合在丢番图逼近与遍历理论中的普遍性。
• 建立在完备加倍度量空间中，1-Cantor获胜集合等价于绝对获胜集合；在R中，1/2获胜集合蕴含绝对获胜集合。

提出的方法

• 将Cantor博弈引入为一种新的拓扑博弈，其获胜集合恰好为Cantor获胜集合。
• 运用势博弈技术，证明在R^N中，ε-Cantor获胜集合等价于N(1−ε)-势获胜集合。
• 证明R^N中的绝对获胜集合是1-Cantor获胜集合，并在特定条件下证明其逆命题成立。
• 构造显式反例，表明在R中获胜与Cantor获胜并非等价，但它们的交集具有全Hausdorff维数。
• 利用有限弱博弈与数位控制策略，证明某些集合（如Cantor型集合的补集）是σ-有限弱获胜。
• 利用Bohr集合与无理旋转的性质，证明某些集合不包含Bohr集合，从而不属于E₀，进而证明其补集为σ-有限弱获胜。

实验结果

研究问题

• RQ1 在度量空间中，Schmidt博弈、Cantor获胜集合与势博弈之间有何关系？
• RQ2 在R中，1/2获胜是否蕴含绝对获胜？若成立，其条件为何？
• RQ3 能否构建一个统一的博弈论框架，以同时捕捉Schmidt博弈与Cantor型构造？
• RQ4 在R^N中，Cantor获胜与势获胜之间的精确关系为何？
• RQ5 获胜集合与Cantor获胜集合的交集是否具有全Hausdorff维数？

主要发现

• 引入Cantor博弈，并证明其获胜集合恰好为ε-Cantor获胜集合，为Cantor获胜性质提供了博弈论基础。
• 在完备加倍度量空间中，一个集合是1-Cantor获胜当且仅当它是绝对获胜，建立了强等价关系。
• 在R中，若一个集合是1/2获胜，则其必为绝对获胜，解决了关于获胜集合层次结构的长期开放问题。
• 存在R中的集合是Cantor获胜但非获胜，反之亦然，表明这两个概念并不等价。
• 在R^N中，Schmidt博弈的获胜集合与Cantor获胜集合的交集具有Hausdorff维数N，表明其在度量意义下是“大”的。
• 某个Cantor型集合E₀的补集是σ-有限弱1/3获胜，该性质被用于证明E₀不包含于任何Bohr集合，从而确认其在丢番图背景下的结构丰富性。