[논문 리뷰] Classical metric Diophantine approximation revisited

Victor Beresnevich, Vasily Bernik외 2명|ArXiv.org|2008. 03. 16.

Mathematical Dynamics and Fractals참고 문헌 26인용 수 33

한 줄 요약

이 논문은 히친의 정리의 확장과 더불어 두프린-샤플러 및 카틀린 추측의 일반화를 탐구함으로써 고전적 메트릭 디오판틴스 추측을 재검토한다. 르베그 측도에서 하우스도르프 측도로의 질량 이행 원리를 수립하여, 거의 모든 실수에 대해 잘 근사 가능한 수의 집합이 전체 하우스도르프 차원을 가짐을 증명하고, 차원 함수와 단조 증가하는 근사 함수를 사용한 근사 집합의 크기에 대한 새로운 기준을 제시한다.

ABSTRACT

The idea of using measure theoretic concepts to investigate the size of number theoretic sets, originating with E. Borel, has been used for nearly a century. It has led to the development of the theory of metrical Diophantine approximation, a branch of Number Theory which draws on a rich and broad variety of mathematics. We discuss some recent progress and open problems concerning this classical theory. In particular, generalisations of the Duffin-Schaeffer and Catlin conjectures are formulated and explored.

연구 동기 및 목표

• 르베그 측도와 차원 함수를 통합함으로써 히친의 정리 이외의 메트릭 이론을 확장한다.
• 일차원 및 고차원에서 두프린-샤플러 및 카틀린 추측의 일반화된 형태를 제안하고 조사한다.
• 로트의 정리(대칭 무리수에 대한 것)와 메트릭 근사 간의 상호작용을 탐색하며, 특히 차수 ≥3인 대칭 무리수가 상대적으로 나쁜 근사 가능성이 있는지 여부를 다룬다.
• 근사 함수에 대한 급수의 수렴/발산과 하우스도르프 측도의 근사 집합 간의 관계를 일반화된 프레임워크로 수립한다.
• 고차원 토러스에서 잘 근사 가능한 수의 집합의 정확한 하우스도르프 차원과 측도를 결정한다.

제안 방법

• 질량 이행 원리를 적용하여 르베그 측도 결과를 하우스도르프 측도 결과로 전환함으로써, 수렴/발산 기준에서 차원 성질을 유도한다.
• r^{-1}f(r)가 단조 증가하는 차원 함수 f를 사용하여, \sum f(\psi(r)) r^{n-1}의 수렴 또는 발산을 통해 근사 집합의 크기를 특성화한다.
• 고차원 설정, 특히 \mathbb{I}^{nm}에 원리를 적용하여 일차원 결과를 선형 형태의 시스템으로 일반화한다.
• 무한히 많은 q에 대해 \|qx\| < \psi(q)를 만족하는 \psi-근사 가능한 수의 개념을 사용하고, 그 측도와 차원을 연구한다.
• \mathcal{V}^f(\psi)를 \|qx\| < \psi(q)가 무한히 자주 성립하는 x의 집합으로 정의하고, 이러한 f와 \psi에 대한 모든 교차를 분석한다.
• 연분수의 구조와 유계 부분분모를 이용하여 나쁜 근사 가능한 수를 특성화하고, 이들을 집합 \mathcal{B}, \mathcal{R}, 및 \mathcal{V}와 연결한다.

실험 결과

연구 질문

• RQ1 두프린-샤플러 추측은 고차원 선형 형태의 시스템으로 일반화될 수 있는가?
• RQ2 \psi가 단조 증가하지 않을 경우, \psi-근사 가능한 수의 집합의 정확한 하우스도르프 차원과 측도는 무엇인가?
• RQ3 차수 n \geq 3인 대칭 무리수에 대해, 수렴하지 않는 급수 \sum \psi(r)를 가지며 |\mathcal{V}^\alpha(\psi)| < 1인 단조 증가 근사 함수 \psi가 존재하는가?
• RQ4 차수 \geq 3인 대칭 무리수 \alpha에 대해, \|q\alpha + b\| < \psi(q)가 모든 b \in B에 대해 유한한 해를 가지는 [0,1]의 양의 측도를 가진 집합 B \subset [0,1]을 구성할 수 있는가?
• RQ5 幾乎 모든 X \in \mathbb{I}^{nm}에 대해 딜레르트의 정리의 고차원 해석이 성립하는가? 그리고 이에 대응하는 \psi-근사 가능한 점들의 집합의 하우스도르프 차원은 무엇인가?

주요 결과

• 질량 이행 원리는 르베그 측도의 수렴/발산 결과로부터 하우스도르프 측도 결과를 도출할 수 있게 하여, 히친의 정리를 하우스도르프 측도로 일반화한다.
• 모든 r^{-1}f(r)가 단조 증가하는 차원 함수 f에 대해, \bigcap_{f \in \mathcal{F}} \bigcap_{\psi \in \mathcal{D}^f} \mathcal{V}^f(\psi) = \mathcal{B}가 성립함을 보여, 나쁜 근사 가능한 수의 집합이 보편적 교차로 나타남을 입증한다.
• 고차원에서 \psi(r) = r^{-\tau}이고 \tau > n/m일 경우, 집합 \mathcal{V}^X_{n,m}(\tau)는 하우스도르프 차원 n/\tau와 무한한 \mathcal{H}^{n/\tau}-측도를 가진다.
• 하우스도르프 기준의 수렴 부분은 모든 X \in \mathbb{I}^{nm}에 대해 성립하지만, 발산 부분은 거의 모든 X에 대해서만 성립하며, 모든 무리수에 대해 성립하지는 않는다.
• 논문은 로트의 정리가 모든 실수 대칭 무리수(차수 \geq 3)가 상대적으로 나쁜 근사 가능하다는 것을 확인하며, 이들이 나쁜 근사 가능하지 않다는 추측을 제기한다.
• 추측 I와 추측 J는, 차수 \geq 3인 대칭 무리수 \alpha에 대해, \sum \psi(r) = \infty이더라도 \|q\alpha + b\| < \psi(q)가 모든 b \in B에 대해 유한한 해를 가지는 양의 측도를 가진 집합 B \subset [0,1]이 존재한다고 제안한다.