[論文レビュー] Schmidt games and Cantor winning sets

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

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

ひとこと要約

本稿では、勝利集合が正確にカントール勝利集合と一致する、新しい位相的ゲーム「カントール・ゲーム」を導入する。このゲームは、シュミットのゲームとカントール型構成を統一する。メトリック空間において、1-カントール勝利集合は絶対的勝利集合と同値であり、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.

研究の動機と目的

• 新しい位相的ゲーム枠組みを通じて、シュミットのゲームとカントール勝利集合を統一すること。
• メトリック空間における絶対的勝利、カントール勝利、およびポテンシャル勝利の関係を明確化すること。
• 特にRにおける異なる勝利性の性質の間の含意関係についての未解決問題を解消すること。
• 代表的な例を通じて、ディオファントス近似およびエルゴディック理論におけるカントール勝利集合の広範な存在を示すこと。
• 完備な倍加メトリック空間において、1-カントール勝利集合が絶対的勝利集合と同値であり、Rにおける1/2勝利集合が絶対的勝利集合を意味することを確立すること。

提案手法

• 勝利集合が正確にカントール勝利集合と一致する新しい位相的ゲームとしてカントール・ゲームを導入する。
• ポテンシャルゲームの技法を用いて、R^Nにおいてε-カントール勝利集合がN(1−ε)-ポテンシャル勝利集合と同値であることを証明する。
• R^Nにおける絶対的勝利集合が1-カントール勝利集合であること、および逆に特定の条件下でその逆が成り立つことを示す。
• 勝利集合とカントール勝利集合が同値でないことを示す明示的反例を構成するが、それらの共通部分集合はフル・ハウスドルフ次元を持つ。
• 有限の弱いゲームと桁制御戦略を用いて、特定の集合（例えば、カントール型集合の補集合）がσ-有限に弱い勝利であることを証明する。
• ボール集合および無理数回転の性質を活用し、特定の集合がボール集合を含まないことを示す。これにより、それらがE₀に属さないことが示され、補集合のσ-有限な弱い勝利性が確認される。

実験結果

リサーチクエスチョン

• RQ1 メトリック空間において、シュミットのゲーム、カントール勝利集合、およびポテンシャルゲームはどのように関係しているか？
• RQ2 Rにおいて1/2勝利は絶対的勝利を意味するか？もしそうなら、どのような条件下で成立するか？
• RQ3 シュミットのゲームとカントール型構成を両方とも捉える統一的なゲーム理論的枠組みを構築できるか？
• RQ4 R^Nにおいて、カントール勝利とポテンシャル勝利の正確な関係は何か？
• RQ5 勝利集合とカントール勝利集合の共通部分集合は、フル・ハウスドルフ次元を持つのか？

主な発見

• カントール・ゲームが導入され、その勝利集合が正確にε-カントール勝利集合と一致することが証明され、カントール勝利性にゲーム理論的基盤が与えられた。
• 完備な倍加メトリック空間において、集合が1-カントール勝利であるための必要十分条件は、それが絶対的勝利集合であることである。これは強い同等性を確立する。
• Rにおいて、1/2勝利である集合は必然的に絶対的勝利であることが示され、勝利集合の階層に関する以前未解決だった問題が解消された。
• Rに存在する集合のうち、カントール勝利であるが勝利ではないもの、逆に勝利であるがカントール勝利でないものも存在し、両者の概念が同値でないことが示された。
• R^Nにおいて、シュミットのゲームの勝利集合とカントール勝利集合の共通部分集合のハウスドルフ次元はNに達する。これは、それらの共通部分集合が測度論的にも大きいことを示している。
• 特定のカントール型集合E₀の補集合はσ-有限に弱い1/3勝利である。この性質が、E₀がいかなるボール集合にも含まれないことを示し、ディオファントス的文脈における構造的豊かさを確認する。