エルゴード混合系統に関連する動力学ディオファントス近似のハウスドルフ次元

基本情報

• 論文ID: 2502.13051
• タイトル: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
• 著者: E. Daviaud (リエージュ大学)
• 分類: math.DS (力学系), math.MG (計量幾何)
• 発表時期: 2025年2月 (arXiv プレプリント)
• 論文リンク: https://arxiv.org/abs/2502.13051

要約

本論文は、エルゴード混合系統に関連する動力学ディオファントス近似のハウスドルフ次元を研究する。具体的には、エルゴード測度が正確な次元を持つ場合に、系が多項式速度で高速混合する条件下で公式を確立し、測度が正確な次元を持たない場合には、超多項式混合速度の仮定下で類似の結果を確立する。応用として、本論文はFan-Schmeling-Troubetzkoyによる円周上の倍角写像に関する結果を、二次元トーラス上の(×2,×3)写像の場合に一般化する。

研究背景と動機

問題の背景

1. 古典的ディオファントス近似問題：与えられた数列$(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$に対して、与えられた速度でこの数列に近似できる点集合の次元を研究することは、ディオファントス近似、力学系、マルチフラクタル解析における中心的な問題である。
2. 歴史的発展：
   • DirichletとKhintchineは有理数近似集合$E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\}$のハウスドルフ次元を最初に研究した
   • Beresnevich-Velaniは$\dim_H E_\psi$の推定がDuffin-Schaeffer予想の成立と同値であることを証明した
   • Koukoulopoulos-Maynardは最近この予想を証明し、$\dim_H E_\psi = \min\{1, s_\psi\}$を確立した
3. 力学系における類似問題：軌道$(T^n(x))_{n\in\mathbb{N}}$が与えられた点に近似する次元問題を研究する。ここで：
   • Fan-Schmeling-Troubetzkoyは円周上の拡張Markov写像の場合を研究した
   • Liao-Seuretはより一般的なGibbs測度に結果を拡張した
   • Perssonは指数混合系の場合を研究した

研究の動機

1. 理論の完成：Persson予想では、力学系の場合のハウスドルフ次元はランダム近似の場合と同じであるべきとしている
2. 技術的突破：既存の結果は主に保形性に依存しており、本論文は非保形の場合を扱うことを目指している
3. 応用の拡張：一次元の結果をBedford-McMullen絨毯上の自己相似測度に一般化する

核心的貢献

1. Σ-混合系の完全な理論を確立：正確な次元を持つ測度に対して、Σ-混合条件下で動力学的近似集合のハウスドルフ次元の正確な公式を与えた
2. 超多項式混合の場合の次元公式を証明：$\delta \geq \frac{1}{\dim_H \mu}$に対して、以下を証明した $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$
3. Fan-Schmeling-Troubetzkoy結果を一般化：円周上の×2写像の結果をトーラス上の(×2,×3)写像に拡張した
4. 最適性結果を提供：超多項式混合条件の必要性を示す反例を構成した
5. 有限測度の質量転移原理を発展：非Ahlfors正則測度に適用可能な技術的ツールを確立した

方法の詳細

タスク定義

動力学的近似集合のハウスドルフ次元を研究する： $E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ i.o.}\}$ ここで$(r_n)_{n\in\mathbb{N}}$は単調減少する半径数列である。

核心的技術フレームワーク

1. 混合性質の定義

定義2.4：$(T,\mu)$を$\mathbb{R}^d$上のエルゴード系とし、$\varphi: \mathbb{N} \to \mathbb{R}_+$を非増加関数とする。$A \in C_1$と$B \in C_2$に対して以下が成り立つとき、$(T,\mu)$は$(C_1, C_2, \gamma)$に関して$\varphi$-混合であるという： $\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)$

$\sum_{n\geq 1} \varphi(n) < +\infty$のときΣ-混合と呼ぶ。

2. 主定理の陳述

定理3.2（Σ-混合の場合）：$(T,\mu)$をΣ-混合のエルゴード系とし、$\mu$が正確な次元を持つとする。非増加数列$r = (r_n)_{n\in\mathbb{N}}$が $s_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu$ を満たすとき、$\mu$-ほぼすべての$x$に対して$\dim_H E(x,r) = s_r$が成り立つ。

定理3.4（超多項式混合の場合）：$(T,\mu)$を超多項式混合のエルゴード系とし、$\dim_H \mu > 0$とする。各$\delta \geq \frac{1}{\dim_H \mu}$に対して、$\mu$-ほぼすべての$x$に対して以下が成り立つ： $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$

技術的革新点

1. 動力学的Borel-Cantelli補題

補題6.5：Σ-混合系下での動力学的版Borel-Cantelli補題を確立し、以下を証明した： $\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1$

2. ヒット時間の正確な推定

命題2.2：Σ-混合系に対して、ヒット時間$\tau_r(x,y)$が以下を満たすことを証明した： $\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1$

3. 有限測度質量転移原理

定理6.1：古典的質量転移原理を有限測度の場合に一般化し、$\mu$-本質ハウスドルフ含量を使用する： $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

実験設定

理論的検証

本論文は主に理論的研究であり、以下の方法で結果を検証する：

1. 既知結果との比較：特殊な場合にFan-Schmeling-Troubetzkoyなどの結果を復元する
2. 最適性の構成：伴論文で混合条件の必要性を示す反例を構成する
3. 応用例：Bedford-McMullen絨毯上の自己相似測度に結果を適用する

Bedford-McMullen絨毯への応用

命題3.10：$(m,n)$-Bedford-McMullen絨毯に関連する自己相似測度$\mu$がΣ-混合性質を満たすことを証明した： $\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B)$ ここで$C > 0$，$\tau < 1$である。

実験結果

主要な結果

1. 正確な次元の場合の完全な特性化

正確な次元を持つ測度とΣ-混合系に対して、動力学的近似集合のハウスドルフ次元の完全な理論を確立し、ランダムな場合の結果を動力学的設定に完全に一般化した。

2. 超多項式混合の十分条件

$\delta \geq \frac{1}{\dim_H \mu}$のとき、超多項式混合条件が次元公式$\frac{1}{\delta}$の成立を保証するのに十分であることを証明し、Persson予想を確認した。

3. Bedford-McMullen絨毯への応用

系3.12：$(m,n)$-Bedford-McMullen絨毯上の自己相似測度$\mu$に対して、マルチフラクタル正則性の仮定下で、以下が成り立つ：