[论文解读] Schmidt Games and Conditions on Resonant Sets

Steffen Weil|arXiv (Cornell University)|Oct 3, 2012

Mathematical Dynamics and Fractals参考文献 34被引用 5

一句话总结

本文提出了一种广义的Schmidt游戏，统一并扩展了先前的修改版本，建立了充分的公理化条件，使得相对于共振集的病态逼近点集为获胜集合。关键贡献在于构建了一个简化证明并适用于多种情境的新框架，包括CAT(-1)空间中的测地射线、R^n、C^2和Z_p^2中的病态逼近向量，以及加权的分形子集。

ABSTRACT

Winning sets of Schmidt's game enjoy a remarkable rigidity. Therefore, this game (and modifications of it) have been applied to many examples of complete metric spaces (X, d) to show that the set of "badly approximable points", with respect to a given collection of resonant sets in X, is a winning set. For these examples, strategies were deduced that are, in most cases, strongly adapted to the specific dynamics and properties of the underlying setting. We introduce a new modification of Schmidt's game which is a combination and generalization of the ones of [18] and [20]. This modification allows us to axiomatize conditions on the collection of resonant sets under which there always exists a winning strategy. Moreover, we discuss properties of winning sets of this modification and verify our conditions for several examples - among them, the set of badly approximable vectors in the Euclidian space and the p-adic integers with weights and, as a main example, the set of geodesic rays in proper geodesic CAT(-1) spaces which avoid a suitable collection of convex subsets.

研究动机与目标

• 开发Schmidt游戏的一种统一修改版本，通过Kleinbock-Weiss和McMullen的版本推广先前的版本。
• 识别在共振集和度量空间上使病态逼近点集成为获胜集合的公理化条件。
• 通过聚焦于结构条件而非特定策略，简化并统一Diophantine逼近与动力系统中现有证明。
• 在关键例子中验证这些条件，包括CAT(-1)空间中的测地射线和各种空间中加权的病态逼近向量。
• 证明全Hausdorff维数和获胜性质是所提公理化框架的推论。

提出的方法

• 引入一种新的Schmidt游戏修改版本，结合Kleinbock-Weiss和McMullen游戏的特点，允许对共振集邻域进行灵活控制。
• 对共振集和周围空间的几何与动力条件进行公理化，包括局部分布、凸性及收缩行为。
• 利用Gromov双曲几何和Horoball投影，将收缩参数与测地线进入/离开时间相关联。
• 通过分析Horoball投影并利用可见性度量控制逼近常数，将该游戏应用于CAT(-1)空间。
• 利用获胜集合的刚性，推导出全Hausdorff维数及其他测度性质，而无需构造显式策略。
• 在多种设定中验证公理：R^n、C^2、Z_p^2以及加权分形子集，使用度量和几何估计。

实验结果

研究问题

• RQ1 在何种几何与动力条件下，共振集的病态逼近点集在所提出的Schmidt游戏修改版本中为获胜集合？
• RQ2 是否可以通过统一的公理化框架而非逐案策略，建立Bad(X, F)的获胜性质？
• RQ3 CAT(-1)空间中Horoball投影与收缩参数如何与游戏中的逼近常数相关联？
• RQ4 该框架在R^n、C^2和Z_p^2中加权病态逼近集合上的适用范围有多大？
• RQ5 测地线在Horoball中停留的时间与终点在无穷远处的收缩参数之间有何关系？

主要发现

• 在R^n、C^2和Z_p^2中与'良好'分形集相交的病态逼近向量集，在所提游戏修改下为获胜集合。
• 在完备测地CAT(-1)空间中，避开适当凸子集族的测地射线集为获胜集合。
• 对于进入并离开Horoball C的测地射线，其在C中停留的时间受2s + 2c₀的限制，其中s为收缩参数，c₀为统一常数。
• 在无穷远处的可见性度量满足d_o(ξ, η) ≤ c e^{-d(o,C)} e^{-l/2}，其中l为在C中停留的时间，c依赖于几何结构。
• 该框架通过减少对特定策略的依赖，简化了多个设定下获胜性质的证明。
• 所有主要例子中的公理条件均已验证，包括非阿基米德和复空间中的加权病态逼近集合。