Well and badly approximable sets, and rapid winning

技術的要約：良近似集合、悪近似集合、および急速勝利性

問題設定
本論文は、計量ディオファントス近似における根本的な問いに取り組んでいる。すなわち、「真に分数的なハウスドルフ次元を持つ集合が、自然な『勝利（winning）』特性を持ち得るか？」という問いである。

古典的に、$\psi$-近似数（well-approximable numbers）の集合 $W(\psi)$ と、悪近似数（badly approximable numbers）の集合 $Bad$ は、対照的な振る舞いを表している。

• $W(\psi) = \{x \in \mathbb{R} : \|qx\|_{\mathbb{Z}} < \psi(q) \text{ for infinitely many } q \in \mathbb{N}\}$ である。$\psi(q) = q^{-\tau}$ ($\tau \ge 1$) の場合、ヤルニーク・ベシコヴィッチの定理により、$\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$）を持ち、シュミット・ゲームの意味での「勝利（winning）」という強い大きさの性質を有している。

交差集合 $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}$ となるが、これと一致する下界を確立するには、この分数次元の集合がゲーム理論的な意味で「大きい」ことを証明する必要がある。

手法
著者らは、Hatefi と Simmons によって導入された「ラピッド・ゲーム（rapid game）」のスケール感受的な洗練版として、**強 $\Psi$-ラピッド・ゲーム（Strong $\Psi$-Rapid Game）**と呼ばれる新しいゲーム理論的枠組みを導入している。

1. ゲームの構造:

   • ゲームは完備距離空間（具体的には $\mathbb{R}$ 内の区間）上で展開される。
   • ボブ（Bob）は入れ子状の球 $B_n$ とパラメータ $\alpha_n$ を選択する。アリス（Alice）は $B_n$ の部分球 $A_n \subseteq B_n$ を選択する。
   • 勝利条件: アリスは、交差点がターゲット集合 $S$ に含まれるか、あるいはボブが「$\Psi$-急速（$\Psi$-rapidly）」にプレイできなかった場合に勝利する。
   • $\Psi$-急速性: ボブは $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} = 0$ となるようにプレイすることが要求される。もしこの条件が成立しない場合（すなわち $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} > 0$ の場合）、ボブはデフォルトで敗北する。
   • 古典的なシュミット・ゲーム（勝利がフル次元を意味するもの）とは異なり、$\Psi$-ラピッド・ゲームは特定のディオファントス的なスケールに合わせて較正されている。ゲージ $\Psi$ は、近似関数 $\psi$ の減衰に一致するように選ばれる。

2. 力学系による定式化:
   証明にはダニ対応（Dani correspondence）が用いられ、ディオファントス近似の問題を、単模格子（unimodular lattices）の空間（$X = SL_2(\mathbb{R})/SL_2(\mathbb{Z})$）およびグリッド（grids）上のフローの力学系へと翻訳する。

   • $Bad_\gamma$ は、原点から一定距離を保って離れている（尖点／cusp を回避している）グリッド軌道に対応する。
   • $W(\psi)$ は、特定の尖点領域に入り込む（良好な近似を表す）軌道に対応する。

3. 戦略の分解:
   著者らは、2つの異なるメカニズムを交互に用いることで、アリスの勝利戦略を構築している。

   • デフォルト戦略（The Default Strategy）: 不均一なグリッドが原点から一様に離れた状態を維持し（$Bad_\gamma$ への所属を維持）、深い尖点への脱出から再びコンパクトな領域へと均質格子を回復させることを保証する。
   • 補助戦略（The Auxiliary Strategy）: 「一方通行」の尖点進入動作である。アリスは、均質格子を尖点へと強制的に押し込み、$\|qx\| < \psi(q)$ を満たす特定の近似 $q$ を生成させる。極めて重要な点は、この戦略は格子を再び有界な領域に戻そうとは試みないことである。その役割は、後続のラウンドにおけるデフォルト戦略に委ねられる。この分離により、従来のラピッド・ゲームの議論に見られた「平方根の損失（square-root loss）」が排除され、鋭い次元の境界値を得ることが可能となった。

主要な貢献と結果

1. 強 $\Psi$-ラピッド勝利性の定義:
   本論文は、集合 $S$ が、任意の十分に小さな縮小パラメータ $\beta$ に対してアリスが勝利戦略を持つとき、強 $\Psi$-ラピッド勝利であると定義する。定理 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}$$
   これにより、不均一なケースにおいて「悪近似」の制約が、ウェル近似集合の次元を減少させないことが確認され、ヤルニーク・ベシコヴィッチの次元が回収された。

意義と主張
本論文は、真に分数的な次元を持つディオファントス集合が、自然な勝利特性を持ち得るかという問いに答えたと主張している。$\Psi$-ラピッド・ゲームを導入することで、著者らは「勝利」がフル次元を意味するのではなく、特定のスケールに対して定義され得ることを示した。

• 既存理論の洗練: 本研究は、Hatefi と Simmons によるラピッド・ゲームを洗練させたものである。鍵となる革新は、「近似」の動作（尖点への進入）と「回復」の動作（有界領域への帰還）を分離したことにある。この分離が、以前のラピッド・ゲームの議論において鋭い次元の下界を得ることを妨げていた平方根の損失を排除したと明示的に述べられている。
• 普遍性: この結果は、あらゆる近似関数 $\psi$ に対して成立し、その勝利特性は $\psi$ の特定の減衰に較正されている。
• 限界と今後の方向性: 著者らは、証明が本質的に非対称であること（近似には均質格子を用い、回避には不均一グリッドを用いること）を指摘している。彼らは、役割を逆転させること（不均一なシフトを近似しつつ、原点を回避すること）は、シフトの有理依存性に関連する算術的な障害に直面すると述べている。また、マルチグリッド設定や高次元への拡張には、複数のシフトを含む行列式に対して一様な下界を扱うことができる、新しい「アフィン尖点進入補題（affine cusp-entry lemmas）」が必要であると示唆している。

要約すれば、本論文は、ウェル近似数と不均一な悪近似数の交差に関する厳密なゲーム理論的特徴付けを提供し、新しいスケール感受的な勝利戦略を通じて、この交差集合がヤルニーク・ベシコヴィッチの次元を完全に保持していることを証明している。