Well and badly approximable sets, and rapid winning

技术摘要：良近似集、坏近似集与快速胜出性

问题陈述
本文探讨了度量丢番图逼近领域中的一个基本问题：具有真正分数维（fractional dimension）的集合是否能携带一种自然的“胜出”（winning）性质？

在经典理论中，$\psi$-可逼近数集 $W(\psi)$ 与坏近似数集 $Bad$ 代表了两种截然相反的行为。

• $W(\psi) = \{x \in \mathbb{R} : \|qx\|_{\mathbb{Z}} < \psi(q) \text{ 对于无穷多个 } q \in \mathbb{N}\}$。对于 $\psi(q) = q^{-\tau}$ ($\tau \ge 1$)，Jarník–Besicovitch 定理确立了 $\dim_H W(\tau) = \frac{2}{\tau+1}$，该值严格小于 1。
• $Bad = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx\|_{\mathbb{Z}} > 0\}$。该集合具有全豪斯多夫维数（$\dim_H Bad = 1$），并拥有强大的规模性质，即在 Schmidt 博弈意义下是“胜出的”。

它们的交集 $W(\tau) \cap Bad$ 在 $\tau > 1$ 时为空集。然而，其非齐次类比 $Bad_\gamma = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx - \gamma\|_{\mathbb{Z}} > 0\}$（对于 $\gamma \not\equiv 0 \pmod 1$）是非空的，且同样具有全维数。核心问题在于确定交集 $W(\tau) \cap Bad_\gamma$ 的豪斯多夫维数。虽然该集合包含于 $W(\tau)$ 中，其上界平凡地为 $\frac{2}{\tau+1}$，但要建立匹配的下界，则需要证明这个分数维集合在博弈论意义上是“大”的。

方法论
作者引入了一种新的博弈论框架，称为 强 $\Psi$-快速博弈（Strong $\Psi$-Rapid Game），它是对 Hatefi 和 Simmons 引入的“快速博弈”的一种具有尺度敏感性的精细化改进。

1. 博弈结构：

   • 博弈在一个完备度量空间（具体为 $\mathbb{R}$ 中的区间）上进行。
   • Bob 选择嵌套球 $B_n$ 和参数 $\alpha_n$。Alice 选择子球 $A_n \subseteq B_n$。
   • 胜出条件： 如果交点落在目标集 $S$ 中，或者 Bob 未能实现“$\Psi$-快速”移动，则 Alice 胜出。
   • $\Psi$-快速性： 要求 Bob 必须以如下方式进行移动：$\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} = 0$。如果该条件失效（即 $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} > 0$），则 Bob 默认失败。
   • 与经典的 Schmidt 博弈（其中“胜出”意味着全维数）不同，$\Psi$-快速博弈是针对特定的丢番图尺度进行校准的。测度（gauge）$\Psi$ 的选择需与逼近函数 $\psi$ 的衰减相匹配。

2. 动力系统重构：

   • 证明过程利用 Dani 对应关系，将丢番图问题转化为在单位模格点空间（$X = SL_2(\mathbb{R})/SL_2(\mathbb{Z})$）和网格（$Y$）上的流动力学问题。
   • $Bad_\gamma$ 对应于远离原点（避免进入尖点/cusp）的网格轨道。
   • $W(\psi)$ 对应于进入特定尖点区域的轨道（代表良好的逼近）。

3. 策略分解：
   作者通过在两种不同的机制之间交替切换来构建 Alice 的获胜策略：

   • 默认策略（The Default Strategy）： 确保非齐次网格始终远离原点（保持在 $Bad_\gamma$ 中），并将从深层尖点游走后的齐次格点恢复到紧致区域。
   • 辅助策略（The Auxiliary Strategy）： 一种“单向”进入尖点的移动。Alice 迫使齐次格点进入尖点，以产生一个满足 $\|qx\| < \psi(q)$ 的特定逼近 $q$。至关重要的是，该策略并不试图返回紧致区域；这一任务留给后续轮次中的默认策略完成。这种分离消除了以往快速博弈论证中存在的“平方根损失”，从而实现了精确的维数界限。

主要贡献与结果

1. 定义强 $\Psi$-快速胜出性：
   论文定义了一个集合 $S$ 是强 $\Psi$-快速胜出的，如果 Alice 拥有在任何足够小的收缩参数 $\beta$ 下都能赢得博弈的策略。定理 1.9 证明了 $W(\psi) \cap Bad_\gamma$ 是强 $\Psi_\psi$-快速胜出的，其中测度 $\Psi_\psi$ 通过关系式 $\Psi_\psi(\rho) \asymp \rho^{-1/2}\psi(\rho^{-1/2})$ 由 $\psi$ 推导得出。

2. 维数命题（命题 2.1）：
   作者证明，如果一个集合 $S$ 是强 $(\Psi_\omega, \alpha, \beta)$-快速胜出的（其中 $\Psi_\omega(\rho) = \rho^\omega$），则其豪斯多夫维数满足：
   $$\dim_H S \ge \frac{1}{1+\omega}$$
   该命题将测度函数 $\Psi$ 的衰减速率直接与豪斯多夫维数的下界联系起来。

3. 主定理（定理 1.3）：
   对于 $\psi(q) = q^{-\tau}$ ($\tau \ge 1$) 且 $\gamma \not\equiv 0 \pmod 1$，论文确定了该交集的精确维数：
   $$\dim_H (W(\tau) \cap Bad_\gamma) = \frac{2}{\tau + 1}$$
   这恢复了交集的 Jarník–Besicovitch 维数，证实了在非齐次情况下，“坏近似”的约束并不会降低良近似集的维数。

意义与主张
本文声称回答了这样一个问题：具有真正分数维的丢番图集是否可以拥有一种自然的胜出性质。通过引入 $\Psi$-快速博弈，作者展示了“胜出”可以相对于特定的尺度来定义，而非仅仅暗示全维数。

• 现有理论的精细化： 本研究精细化了 Hatefi 和 Simmons 的快速博弈。其核心创新在于将“逼近”移动（迫使进入尖点）与“恢复”移动（返回紧致区域）进行分离。这种分离被明确归功于消除了此前阻碍实现精确维数界限的平方根损失。
• 普适性： 该结果对任何逼近函数 $\psi$ 均成立，其胜出性质是针对 $\psi$ 的特定衰减进行校准的。
• 局限性与未来方向： 作者指出，证明过程本质上是非对称的（齐次格点用于逼近，非齐次网格用于规避）。他们指出，反转这些角色（逼近一个非齐次偏移的同时规避原点）面临着与偏移量的有理相关性有关的算术障碍。他们建议，将此框架扩展到多网格设置或更高维度需要新的“仿射尖点进入引理”，以处理涉及多个偏移量的行列式的统一下界问题。

总而言之，本文通过一种新型的、尺度敏感的胜出策略，为良近似数与非齐次坏近似数的交集提供了严谨的博弈论特征描述，证明了该交集保留了完整的 Jarník–Besicovitch 维数。