Hausdorff-Dimension der dynamischen diophantischen Approximation assoziiert mit ergodischen Mischsystemen

Grundlegende Informationen

• Papier-ID: 2502.13051
• Titel: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
• Autor: E. Daviaud (Universität Lüttich)
• Klassifizierung: math.DS (Dynamische Systeme), math.MG (Metrische Geometrie)
• Veröffentlichungsdatum: Februar 2025 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2502.13051

Zusammenfassung

Dieses Papier untersucht die Hausdorff-Dimension der dynamischen diophantischen Approximation, die mit ergodischen Mischsystemen assoziiert ist. Konkret wird eine Formel unter der Bedingung polynomialer schneller Mischung etabliert, wenn das ergodische Maß exakte Dimension besitzt; wenn das Maß nicht exakte Dimension besitzt, werden ähnliche Ergebnisse unter der Annahme superpolynomialer Mischgeschwindigkeit etabliert. Als Anwendung werden die Ergebnisse von Fan-Schmeling-Troubetzkoy über die Verdopplungsabbildung auf dem Kreis auf den Fall der (×2,×3)-Abbildung auf dem zweidimensionalen Torus verallgemeinert.

Forschungshintergrund und Motivation

Problemhintergrund

1. Klassisches diophantisches Approximationsproblem: Für eine gegebene Sequenz $(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$ ist die Untersuchung der Dimension von Punktmengen, die mit einer gegebenen Geschwindigkeit durch diese Sequenz approximiert werden, ein Kernproblem in der diophantischen Approximation, dynamischen Systemen und multifraktalen Analyse.
2. Historische Entwicklung:
   • Dirichlet und Khintchine untersuchten zunächst die Hausdorff-Dimension von Mengen rationaler Approximationen $E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\}$
   • Beresnevich-Velani zeigten, dass die Schätzung von $\dim_H E_\psi$ äquivalent zur Gültigkeit der Duffin-Schaeffer-Vermutung ist
   • Koukoulopoulos-Maynard bewiesen kürzlich diese Vermutung und etablierten $\dim_H E_\psi = \min\{1, s_\psi\}$
3. Ähnliche Probleme in dynamischen Systemen: Untersuchung der Dimension von Problemen, bei denen Orbits $(T^n(x))_{n\in\mathbb{N}}$ einen gegebenen Punkt approximieren, wobei:
   • Fan-Schmeling-Troubetzkoy den Fall expandierender Markov-Abbildungen auf dem Kreis untersuchten
   • Liao-Seuret die Ergebnisse auf allgemeinere Gibbs-Maße verallgemeinerten
   • Persson den Fall exponentiell mischender Systeme untersuchte

Forschungsmotivation

1. Theoretische Vervollständigung: Persson vermutete, dass die Hausdorff-Dimension im Fall dynamischer Systeme mit der zufälligen Approximation identisch sein sollte
2. Technischer Durchbruch: Bisherige Ergebnisse hingen hauptsächlich von Konformität ab; dieses Papier zielt darauf ab, den nicht-konformen Fall zu behandeln
3. Anwendungserweiterung: Verallgemeinerung eindimensionaler Ergebnisse auf selbstaffine Maße auf höherdimensionalen Bedford-McMullen-Teppichen

Kernbeiträge

1. Etablierung einer vollständigen Theorie für Σ-Mischsysteme: Für Maße mit exakter Dimension wird unter Σ-Mischbedingungen eine exakte Formel für die Hausdorff-Dimension von Mengen dynamischer Approximation gegeben
2. Beweis der Dimensionsformel für superpolynomiale Mischung: Für $\delta \geq \frac{1}{\dim_H \mu}$ wird bewiesen, dass $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$
3. Verallgemeinerung der Fan-Schmeling-Troubetzkoy-Ergebnisse: Erweiterung der Ergebnisse der ×2-Abbildung auf dem Kreis zur (×2,×3)-Abbildung auf dem Torus
4. Bereitstellung von Optimalitätsergebnissen: Konstruktion von Gegenbeispielen, die die Notwendigkeit der superpolynomialen Mischbedingung zeigen
5. Entwicklung eines Massentransfer-Prinzips für endliche Maße: Etablierung von technischen Werkzeugen, die auf nicht-Ahlfors-reguläre Maße anwendbar sind

Methodische Erklärung

Aufgabendefinition

Untersuchung der Hausdorff-Dimension von Mengen dynamischer Approximation: $E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ i.o.}\}$ wobei $(r_n)_{n\in\mathbb{N}}$ eine abnehmende Radiussequenz ist.

Technischer Kernrahmen

1. Definition von Mischungseigenschaften

Definition 2.4: Sei $(T,\mu)$ ein ergodisches System auf $\mathbb{R}^d$ und $\varphi: \mathbb{N} \to \mathbb{R}_+$ eine nicht-steigende Funktion. Das System $(T,\mu)$ heißt $\varphi$-mischend bezüglich $(C_1, C_2, \gamma)$, wenn für $A \in C_1$ und $B \in C_2$ gilt: $\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)$

Wenn $\sum_{n\geq 1} \varphi(n) < +\infty$, wird es Σ-mischend genannt.

2. Aussage der Hauptsätze

Satz 3.2 (Σ-Mischfall): Sei $(T,\mu)$ ein Σ-mischendes ergodisches System und $\mu$ ein Maß mit exakter Dimension. Für eine nicht-steigende Sequenz $r = (r_n)_{n\in\mathbb{N}}$ mit $s_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu$ gilt für $\mu$-fast jeden $x$: $\dim_H E(x,r) = s_r$.

Satz 3.4 (Superpolynomialer Mischfall): Sei $(T,\mu)$ ein superpolynomial mischendes ergodisches System mit $\dim_H \mu > 0$. Für jedes $\delta \geq \frac{1}{\dim_H \mu}$ gilt für $\mu$-fast jeden $x$: $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$

Technische Innovationspunkte

1. Dynamisches Borel-Cantelli-Lemma

Lemma 6.5: Etablierung einer dynamischen Version des Borel-Cantelli-Lemmas für Σ-Mischsysteme, die beweist: $\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1$

2. Exakte Schätzung von Treffzeiten

Proposition 2.2: Für Σ-Mischsysteme wird bewiesen, dass die Treffzeit $\tau_r(x,y)$ erfüllt: $\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1$

3. Massentransfer-Prinzip für endliche Maße

Satz 6.1: Verallgemeinerung des klassischen Massentransfer-Prinzips auf den Fall endlicher Maße unter Verwendung des $\mu$-essentiellen Hausdorff-Inhalts: $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

Experimentelle Einrichtung

Theoretische Verifikation

Dieses Papier ist hauptsächlich theoretisch und verifiziert Ergebnisse durch:

1. Vergleich mit bekannten Ergebnissen: Wiederherstellung von Ergebnissen von Fan-Schmeling-Troubetzkoy und anderen in Spezialfällen
2. Optimalitätskonstruktionen: Konstruktion von Gegenbeispielen in einem begleitenden Papier, die die Notwendigkeit von Mischbedingungen zeigen
3. Anwendungsbeispiele: Anwendung der Ergebnisse auf selbstaffine Maße auf Bedford-McMullen-Teppichen

Anwendung auf Bedford-McMullen-Teppiche

Proposition 3.10: Beweis, dass das selbstaffine Maß $\mu$, das mit dem $(m,n)$-Bedford-McMullen-Teppich assoziiert ist, die Σ-Mischungseigenschaft erfüllt: $\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B)$ wobei $C > 0$ und $\tau < 1$.

Experimentelle Ergebnisse

Hauptergebnisse

1. Vollständige Charakterisierung im Fall exakter Dimension

Für Maße mit exakter Dimension und Σ-Mischsysteme wird eine vollständige Theorie der Hausdorff-Dimension von Mengen dynamischer Approximation etabliert, die die Ergebnisse aus dem zufälligen Fall vollständig auf die dynamische Einstellung verallgemeinert.

2. Hinreichende Bedingung für superpolynomiale Mischung

Beweis, dass die superpolynomiale Mischbedingung für $\delta \geq \frac{1}{\dim_H \mu}$ ausreicht, um die Dimensionsformel $\frac{1}{\delta}$ zu sichern, was Perssons Vermutung bestätigt.

3. Anwendung auf Bedford-McMullen-Teppiche

Korollar 3.12: Für das selbstaffine Maß $\mu$ auf dem $(m,n)$-Bedford-McMullen-Teppich gilt unter der Annahme multifraktaler Regularität: