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

에르고딕 혼합 시스템과 관련된 동역학적 디오판토스 근사의 하우스도르프 차원

기본 정보

논문 ID: 2502.13051
제목: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
저자: E. Daviaud (University of Liège)
분류: math.DS (동역학계), math.MG (메트릭 기하학)
발표 시간: 2025년 2월 (arXiv 프리프린트)
논문 링크: https://arxiv.org/abs/2502.13051

초록

본 논문은 에르고딕 혼합 시스템과 관련된 동역학적 디오판토스 근사의 하우스도르프 차원을 연구한다. 구체적으로, 에르고딕 측도가 정확한 차원을 가질 때 시스템의 다항식 빠른 혼합 조건 하에서 공식을 수립하고, 측도가 정확한 차원을 갖지 않을 때 초다항식 혼합 속도 가정 하에서 유사한 결과를 수립한다. 응용으로서, 본 논문은 원 위의 배각 사상에 관한 Fan-Schmeling-Troubetzkoy의 결과를 2차원 원환면 위의 (×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.}\}$ 의 하우스도르프 차원을 최초로 연구함
- 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은 동역학계 경우의 하우스도르프 차원이 무작위 근사 경우와 동일해야 한다고 추측
기술적 돌파: 기존 결과는 주로 보형성에 의존하며, 본 논문은 비보형 경우를 다루는 것을 목표로 함
응용 확장: 1차원 결과를 Bedford-McMullen 카펫 위의 자기유사 측도로 확장

핵심 기여

Σ-혼합 시스템의 완전한 이론 수립: 정확한 차원 측도에 대해, Σ-혼합 조건 하에서 동역학적 근사 집합의 하우스도르프 차원에 대한 정확한 공식 제시
초다항식 혼합 경우의 차원 공식 증명: $\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 정규 측도에 적용 가능한 기술 도구 수립

방법 상세 설명

작업 정의

동역학적 근사 집합의 하우스도르프 차원 연구: $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$ -본질 하우스도르프 함량을 사용: $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. 정확한 차원 경우의 완전한 특성화

정확한 차원 측도와 Σ-혼합 시스템에 대해, 동역학적 근사 집합의 하우스도르프 차원에 대한 완전한 이론을 수립하여 무작위 경우의 결과를 동역학적 설정으로 완전히 일반화한다.

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}$

Persson 추측의 완전한 해결: 적절한 혼합 조건 하에서, 동역학적 근사의 차원은 실제로 무작위 경우와 동일하다
비보형 경우의 이론 수립: 이전의 보형성 의존성 제한을 돌파
최적의 혼합 조건 제공: Σ-혼합은 정확한 차원 경우에 충분하며, 초다항식 혼합은 일반 경우에 필요하다