[논문 리뷰] Diophantine approximation, Khintchine's theorem, torus geometry and Hausdorff dimension

M. M. Dodson|ArXiv.org|2007. 10. 23.

Mathematical Dynamics and Fractals참고 문헌 21인용 수 6

한 줄 요약

이 논문은 유비티 이론과 토러스 기하학을 사용하여 $mn$-차원 토러스에서 $ψ$-근사 가능한 점들의 집합의 하우스도르프 차원을 규명한다. 이는 일차원에서의 Jarník-Besicovitch 정리의 고차원 일반화이다. $ψ(q) = q^{-v}$일 때, 차원은 $\min\left\{mn, (m-1)n + \frac{m+n}{v+1}\right\}$이며, 임계 임계점은 $v = m/n$에서 발생한다. 이는 메트릭 디오판틴 대수근사 이론의 고전적 결과를 일반화한다.

ABSTRACT

A general form of the Borel-Cantelli Lemma and its connection with the proof of Khintchine's Theorem on Diophantine approximation and the more general Khintchine-Groshev theorem are discussed. The torus geometry in the planar case allows a relatively direct proof of the planar Groshev theorem for the set of $ψ$-approximable points in the plane. The construction and use of Haudsorff measure and dimension are explained and the notion of ubiquity, which is effective in estimating the lower bound of the Hausdorff dimension for quite general lim sup sets, is described. An application is made to obtain the Hausdorff dimension of the set of approximable points in the plane when $ψ(q)=q^{-v}$, $v>0$, corresponding to the planar Jarnik-Besicovich theorem.

연구 동기 및 목표

• 주어진 근사 함수 $ψ(q) = q^{-v}$에 대해 $mn$-차원 토러스에서 $ψ$-근사 가능한 점들의 집합의 하우스도르프 차원을 결정하는 것.
• 일차원 디오판틴 근사에서의 고전적 Jarník-Besicovitch 정리를 고차원 선형형식의 시스템으로 일반화하는 것.
• 메트릭 디오판틴 근사에서 유비티 개념을 적용하여, lim sup 집합의 하우스도르프 차원에 대한 하한을 추정하는 것.

제안 방법

• 디오판틴 근사에서 유도된 lim sup 집합의 측도 이론적 성질을 분석하기 위해 일반형 Borel-Cantelli 보조정리를 사용한다.
• 평면 경우에서 토러스 기하학을 적용하여 평면의 Groshev 정리를 직접적으로 증명한다.
• 체수 $\mathbb{T}^{mn}$ 내의 공진 집합 $R_{{\mathbf{q}}}$에 대해 유비티 개념을 도입하며, 가족 $\mathcal{R}$이 함수 $\tilde{\rho}(N) = 2N^{-1-m/n}\log N$에 대해 유비티임을 확립한다.
• 공식 $\dim \Lambda(\widetilde{ψ}) \geq \dim \mathcal{R} + \gamma \cdot \operatorname{codim} \mathcal{R}$를 사용하여, lim sup 집합 $\Lambda(\widetilde{ψ})$의 하우스도르프 차원에 하한을 도출한다. 여기서 $\gamma = \min\left\{1, \frac{1 + m/n}{1 + v}\right\}$이다.
• 표준 근사 함수와 비교하여 $\widetilde{ψ}(N) = N^{-v-1}/m$을 고려함으로써 $\Lambda(\widetilde{ψ}) \subset W_v$임을 보이고, 정확한 차원 공식을 유도한다.
• Beresnevich와 Velani의 프레임워크를 활용하여, Khintchine의 정리에서의 급수 수렴 및 발산 결과를 하우스도르프 측도로 확장한다.

실험 결과

연구 질문

• RQ1 ψ(q) = q^{-v}일 때, $\mathbb{T}^{mn}$에서 $ψ$-근사 가능한 점들의 집합의 하우스도르프 차원은 무엇인가?
• RQ2 메트릭 디오판틴 근사에서 $\mathbb{T}^{mn}$ 내의 공진 집합의 유비티는 lim sup 집합의 차원과 어떻게 관련되는가?
• RQ3 유비티와 하우스도르프 차원의 프레임워크를 사용하여, Jarník-Besicovitch 정리를 고차원 선형형식의 시스템으로 일반화할 수 있는가?
• RQ4 집합의 하우스도르프 차원이 $ (m-1)n + \frac{m+n}{v+1} $에서 $ mn $으로 전이되는 임계 지수 $v$는 무엇인가?
• RQ5 집합 $W_v$의 하우스도르프 차원은 공진 집합 $R_{{\mathbf{q}}}$의 여차원과 위상 차원에 얼마나 의존하는가?

주요 결과

• ψ(q) = q^{-v}일 때, $\mathbb{T}^{mn}$에서 $ψ$-근사 가능한 점들의 집합 $W_v$의 하우스도르프 차원은 $\min\left\{mn, (m-1)n + \frac{m+n}{v+1}\right\}$이다.
• v ≤ m/n일 경우, 차원은 mn이며, 이는 집합의 전체 차원성을 나타낸다.
• v > m/n일 경우, 차원은 mn보다 엄밀히 작으며, $ (m-1)n + \frac{m+n}{v+1} $로 주어진다. 이는 근사 속도의 영향을 반영한다.
• 결과는 일차원에서의 Jarník-Besicovitch 정리를 고차원 선형형식의 시스템으로 일반화한다.
• 일반 조건 하에서 $\tilde{\rho}(N) = 2N^{-1-m/n}\log N$에 대해 공진 집합의 유비티가 확립되며, 이는 차원 추정에 기여한다.
• 이 프레임워크는 차원 전이의 임계 임계점이 정확히 $v = m/n$에서 발생하며, 이 시점에서 lim sup 집합의 행동이 변화한다는 것을 확인한다.