技術的要約：$L^p$ ノルムにおけるディリクレ改善可能性

問題設定

本論文は、$\mathbb{R}^2$ 上の一般的な $L^p$ ノルムに関する**ディリクレ改善可能数（Dirichlet improvable numbers）**の分類を扱っている。古典的な上限ノルム（$L^\infty$）の場合、ある数は「悪く近似される（badly approximable）」数ではない場合に限りディリクレ改善可能であるという性質がよく理解されている（定理 B）。一方で、他のノルム（$1 \le p < \infty$）におけるこれらの集合の振る舞いは、大部分が未解決のままであった。

具体的には、著者らは以下の3つの相互に関連する問題に取り組んでいる：

1. 分類（問題 I）： 古典的な $L^\infty$ の結果と同様に、正の整数（$p$-Dirichlet improvable numbers, $DI_p$）を、その連分数展開に見られるパターンによって特徴付けることができるか？
2. 差集合の計量的な大きさ（問題 II）： 集合の差 $DI_p \setminus BA$（$p$-改善可能であるが悪く近似される数ではない数の集合）は、フル・ハウスドルフ次元を持つか？これは Kleinbock と Rao によって、ユークリッドノルム（$p=2$）について提起された未解決問題であった。
3. 比較的な大きさ（問題 III）： 異なる2つのノルムにおける改善可能数の集合の差、具体的には $DI_{p_1} \setminus DI_{p_2}$ の大きさはどのようなものか？

手法

著者らは、幾何学的数論、力学系、および連分数に関する計量論を組み合わせて用いている。

1. ダニの対応と臨界格子：
   本研究は、ダニの対応（Dani's correspondence）を利用して、ディオファントス近似の問題を、一様格子空間における格子の軌跡の力学へと翻訳している。数 $\alpha$ が $F$-ディリクレ非改善可能であるための必要十分条件は、格子の軌跡 $\Lambda_\alpha(t)$ が、単位球 $B_F$ に対する**臨界格子（critical lattice）**に集積することである。
   著者らは、$L^p$ 単位球（$B_p$）に対する臨界格子の分類に大きく依拠しており、この結果は Glazunov, Golovanov, および Malyshev [14] によって完成されている。この分類は、臨界定数 $p_0 \approx 2.57$ における構造的な分岐を明らかにしている。

2. 連分数におけるパターン解析：
   臨界格子に収束する格子の軌跡の極限挙動を分析することにより、著者らは $p$-ディリクレ非改善可能性のための必要十分条件を導出している。これらの条件は、$\alpha$ の連分数展開における特定の回文的または対称的なパターンの出現として表現される。

   • $2 < p < p_0$ の場合、非改善性は $x, 1, 1, y$ または $x, 2, y$（ここで $x, y$ は大きい）といったパターンに対応する。
   • $p \in (1, 2) \cup (p_0, \infty)$ の場合、パターンは特定の定数 $\varsigma_p$（$\varsigma + (1+\varsigma)^p = 2$ の根）の連分数展開に依存する。

3. ハウスドルフ次元の下界：
   特定の集合がフル・ハウスドルフ次元を持つことを証明するために、著者らは連分数の中に特定のパターンを挿入することによって、悪く近似される数の部分集合を構成している。著者らは、挿入写像が局所リプシッツ連続であり、その逆写像が局所ヘルダー連続であることを示すために、**記号空間写像（symbolic space mapping）**の手法（補題 9.1）を用いている。これにより、基礎となる集合の次元を保持しながら、ディオファントス的な性質を変化させることができる。

主要な貢献と結果

1. 完全な分類（定理 3.1）

本論文は、すべての $p \in [1, \infty)$ に対して、$p$-ディリクレ改善可能数の補集合 $DI_p^c$ の完全かつ有効な特徴付けを提供している。

• ケース $2 < p < p_0$： $\alpha \in DI_p^c$ であるための必要十分条件は、その連分数に $\min(x, y) \to \infty$ となるパターン $x, 1, 1, y$ または $x, 2, y$ が含まれることである。
• ケース $p \in (1, 2) \cup (p_0, \infty)$： 条件は $\varsigma_p$ に依存する。$\varsigma_p$ が有理数の場合、$\varsigma_p$ の数字を含む特定の有限な回文パターンが出現しなければならない。$\varsigma_p$ が無理数の場合、$\varsigma_p$ の連分数展開から導かれる任意に長い回文パターンが出現しなければならない。
• ケース $p=1$ および $p= 2$： 特徴付けはより複雑な対称パターンを含み、$p=2$ の場合は $\beta \cdot \beta^* = 3$ を満たす一対の数 $\beta, \beta^*$ に関わる。

2. 次に関する未解決問題の解決

• 定理 1.1： 任意の $p \in [1, \infty)$ について、集合 $DI_p \setminus BA$ は**フル・ハウスドルフ次元（次元 1）**を持つ。これは Kleinbock と Rao による $p=2$ の場合の未解決問題を解決し、それをすべての $L^p$ ノルムへと一般化したものである。著者らは、$p=\infty$ の場合には $DI_\infty \setminus BA = \mathbb{Q}$ となり、これが成立しないことを明記している。
• 定理 1.2： 集合 $DI_2 \setminus DI_1$ および $DI_1 \setminus DI_2$ はともにフル・ハウスドルフ次元を持つ。これは、異なる $L^p$ ノルムにおける改善可能数の集合が互いに異なり、その差がフラクタル的な意味で「大きい」ことを示している。

3. 特定の定数の特徴付け

• 系 3.9： 著者らは分類を数 $e$ に適用している。彼らは、$e \in DI_p$ であるための必要十分条件は $p \in (1, 2) \cup (p_0, \infty)$ であることを証明している。したがって、$e$ は $p \in [2, p_0]$ において $p$-ディリクレ改善可能ではない。
• 系 3.8： $p$-ディリクレ非改善な悪く近似される数が存在するような $p$ の値の集合は、$(1, 2) \cup (p_0, \infty)$ において稠密であり、ルベーグ測度はゼロであるが、フル・ハウスドルフ次元を持つ。

4. ミンコフスキー予想の検証

本論文には、Glazunov ら [14] の元の証明におけるコードの欠如に対処するため、$L^p$ 球に対する臨界格子に関するミンコフスキー予想の独立した検証（付録 A）が含まれている。

意義と主張

本論文は、連分数パターンを用いた $L^p$ ノルムにおけるディリクレ改善可能数の初のリテラルかつ有効な分類を提供すると主張している。これは、古典的な $L^\infty$ 理論と、他のノルムのより複雑な幾何学との間の溝を埋めるものである。

その意義は以下の点にある：

1. 統一化： 全ての $L^p$ ノルムにわたるディリクレ改善可能性の理解を統一し、$p_0 \approx 2.57$ における相転移を明らかにした。
2. 計量的解決： 集合 $DI_p \setminus BA$ および $DI_{p_1} \setminus DI_{p_2}$ の「大きさ」に関する問題を解決し、それらが単に空ではないだけでなく、最大の可能なハウスドルフ次元を持つことを示した。
3. 具体的な応用： $L^p$ ノルムの下での数 $e$ のディオファントス的性質に関する決定的な回答を提供し、広範な分類の具体的な事例を示した。

著者らは、自らの結果が、ヒューリスティックな議論を避け、臨界格子の分類と連分数理論から導出されていることを強調している。この研究は、ほとんどすべての数が非改善的である（定理 C）一方で、改善可能な数の集合は構造的に豊かであり、選択するノルム $p$ によって大きく変化することを裏付けている。