2025-11-25T09:22:17.788960

Hausdorff dimension OF dynamical Dophantine approximation associated with ergodic mixing systems

Daviaud

In this article, we estimate the Hausdorff dimension of dynamical coverings with respect to mixing ergodic systems. More precisely, if the ergodic measure is exact-dimensionnal, we establish a formula provided that the system is polynomially fast mixing and if the measure is not exact-dimensionnal, we establish a similar result under super-polynomial speed of mix assumpetion. As an application of our result, we extend the result of Fan-Shmeling-Troubetzkoy for the doubling map on the circle to the case of the times 2, times 3 map on the two dimensional torus.

academic

Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems

基本信息

论文ID: 2502.13051
标题: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
作者: E. Daviaud (University of Liège)
分类: math.DS (Dynamical Systems), math.MG (Metric Geometry)
发表时间: 2025年2月 (arXiv预印本)
论文链接: https://arxiv.org/abs/2502.13051

摘要

本文研究与遍历混合系统相关的动力学丢番图逼近的Hausdorff维数。具体而言，当遍历测度是精确维数的时，在系统多项式快速混合的条件下建立了一个公式；当测度不是精确维数的时，在超多项式混合速度假设下建立了类似结果。作为应用，本文将Fan-Schmeling-Troubetzkoy关于圆周上倍角映射的结果推广到二维环面上的(×2,×3)映射情形。

研究背景与动机

问题背景

经典丢番图逼近问题：给定序列 $(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$ ，研究能以给定速率被该序列逼近的点集的维数是丢番图逼近、动力系统和多重分形分析中的核心问题。
历史发展：
- Dirichlet和Khintchine最早研究有理数逼近集合 $E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\}$ 的Hausdorff维数
- Beresnevich-Velani证明了估计 $\dim_H E_\psi$ 等价于Duffin-Schaeffer猜想的成立
- Koukoulopoulos-Maynard最近证明了该猜想，确立了 $\dim_H E_\psi = \min\{1, s_\psi\}$
动力系统中的类似问题：研究轨道 $(T^n(x))_{n\in\mathbb{N}}$ $(T^{n} (x))_{n \in N}$ 逼近给定点的维数问题，其中：
- Fan-Schmeling-Troubetzkoy研究了圆周上扩张Markov映射的情形
- Liao-Seuret将结果推广到更一般的Gibbs测度
- Persson研究了指数混合系统的情形

研究动机

理论完善：Persson猜想动力系统情形下的Hausdorff维数应该与随机逼近情形相同
技术突破：现有结果主要依赖保形性，本文旨在处理非保形情形
应用扩展：将一维结果推广到高维Bedford-McMullen地毯上的自仿射测度

核心贡献

建立了Σ-混合系统的完整理论：对于精确维数测度，在Σ-混合条件下给出了动力学逼近集合Hausdorff维数的精确公式
证明了超多项式混合情形的维数公式：对于 $\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}$
推广了Fan-Schmeling-Troubetzkoy结果：将圆周上×2映射的结果扩展到环面上的(×2,×3)映射
提供了最优性结果：构造了反例说明超多项式混合条件的必要性
发展了有限测度的质量转移原理：建立了适用于非Ahlfors正则测度的技术工具

方法详解

任务定义

研究动力学逼近集合的Hausdorff维数： $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}_+$ 是非增函数。称 $(T,\mu)$ 关于 $(C_1, C_2, \gamma)$ 是 $\varphi$ -混合的，如果对 $A \in C_1$ 和 $B \in C_2$ 有： $\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$ -本质Hausdorff含量： $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

实验设置

理论验证

本文主要是理论工作，通过以下方式验证结果：

与已知结果的比较：在特殊情形下恢复Fan-Schmeling-Troubetzkoy等人的结果
最优性构造：在伴随论文中构造反例说明混合条件的必要性
应用实例：将结果应用到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. 精确维数情形的完整刻画

对于精确维数测度和Σ-混合系统，建立了动力学逼近集合Hausdorff维数的完整理论，将随机情形的结果完全推广到动力学设置。

2. 超多项式混合的充分条件

证明了当 $\delta \geq \frac{1}{\dim_H \mu}$ 时，超多项式混合条件足以保证维数公式 $\frac{1}{\delta}$ 成立，确认了Persson的猜想。

3. Bedford-McMullen地毯的应用

推论3.12：对于 $(m,n)$ -Bedford-McMullen地毯上的自仿射测度 $\mu$ ，在多重分形正则性假设下，有： $\dim_H \{y : \|T_{m,n}^k(x) - y\|_\infty \leq \frac{1}{k^\delta} \text{ i.o.}\} = \begin{cases} \frac{1}{\delta} & \text{if } \delta \geq \frac{1}{\dim(\mu)} \\ D_\mu(\frac{1}{\delta}) & \text{if } \frac{1}{h_0} \leq \delta \leq \frac{1}{\dim(\mu)} \\ \dim_H K & \text{if } \delta \leq \frac{1}{h_0} \end{cases}$