[논문 리뷰] On some open problems in Diophantine approximation

Nikolay Moshchevitin|arXiv (Cornell University)|2012. 02. 21.

Mathematical Dynamics and Fractals참고 문헌 101인용 수 19

한 줄 요약

이 논문은 디오판틴 대수근사 이론의 주요 미해결 문제들을 조사하며, 주로 리틀우드 추측과 실수를 유리수로의 동시 근사와 관련된 질문들을 중심으로 다룬다. 이 논문은 디오판틴 대수근사, 대수적 수체, 그리고 수의 기하학 간의 연관성을 밝혀내며, 특정 대수적 수에 대해 추측이 성립한다는 것을 증명하고, 연속 분수의 부분분수의 성장과 민코프스키 질문 표지 함수의 미분 가능성 간의 관계를 연결한다.

ABSTRACT

We discuss several open problems in Diophantine approximation. Among them there are famous Littlewood's and Zaremba's conjectures as well as some new and not so famous problems.

연구 동기 및 목표

• 디오판틴 대수근사 이론에서 오랫동안 미해결된 문제들, 특히 리틀우드 추측과 자레마 바 추측에 대한 인식을 제고하기 위해.
• 디오판틴 대수근사, 대수적 수체, 그리고 격자의 기하학 간의 관계를 탐구하기 위해.
• 연속 분수의 부분분수와 관련된 민코프스키 질문 표지 함수의 미분 가능성 성질을 조사하기 위해.
• 양의 동차 최소값을 갖는 격자의 구조와 옹페르스키 추측과의 연결 고리를 검토하기 위해.
• 연속 분수 전개에서 부분분수의 합의 渐近적 행동과 그에 따른 특수 함수에 대한 영향을 연구하기 위해.

제안 방법

• 동시 근사 오차의 경계를 구하기 위해 딜리클레의 근사 정리를 기본 도구로 사용한다.
• 특히 R^n 내의 격자의 동차 최소값에 대한 연구를 포함한 수의 기하학 결과를 적용한다.
• 전적으로 실수인 체에서의 대수적 수에 대해 동시 근사의 정량적 경계를 확립하기 위해 페크의 정리를 활용한다.
• 민코프스키 질문 표지 함수와 그 일반화를 덴로이-티히-우츠 가족의 특수 함수를 통해 분석한다.
• 특수 함수의 미분 가능성과 도함수의 경계를 유도하기 위해 부분분수의 합 S_x(t)를 사용하여 특성화한다.
• 기하학적 측도 이론과 메트릭 수론, 특히 갈라거의 정리를 활용하여 근사 부등식의 거의 모든 곳에서의 행동을 분석한다.

실험 결과

연구 질문

• RQ1 리틀우드 추측은 모든 실수 쌍에 대해 성립하는가? 그리고 대수적 수에 대해서는 어떤 상태인가?
• RQ2 2차원에서 옹페르스키 추측을 증명할 수 있는가? 그리고 리틀우드 추측과의 관계는 무엇인가?
• RQ3 연속 분수의 부분분수의 성장률과 민코프스키 질문 표지 함수의 미분 가능성 간의 정확한 관계는 무엇인가?
• RQ4 λ의 어떤 값에 대해 덴로이-티히-우츠 함수 g_λ(x)가 자연스러운 연속 분수 수열의 극한 분포 함수로 나타나는가?
• RQ5 S_x(t)/t의 limsup와 liminf에 대한 최적의 경계는 g_λ(x)의 도함수와 어떤 관련이 있는가?

주요 결과

• 모든 쌍 (θ₁, θ₂)에 대해 리틀우드 추측이 성립하며, 이는 1과 함께 실수 삼차 체의 기저를 이룬다.
• 모든 공액체가 실수인 차수 n+1의 실수 대수적 수체에 대해, ||qθ_j|| ≤ C/q^{1/n} 및 ||qθ_j|| ≤ C/(q^{1/n} (log q)^{1/(n-1)}) 를 만족하는 무한히 많은 q가 존재하므로, 이러한 수에 대해 추측이 성립한다.
• 리틀우드 추측을 위반하는 쌍 (θ₁, θ₂)의 집합은 에인스타인, 캐토크, 린든스트라우스에 의해 영원한 하우스도르프 차원을 가진다.
• 모든 λ ∈ [κ₁, κ₂]에 대해, [0,1] 내의 무리수 x, y, z가 존재하여 S_x(t)/t → λ 이고, ?′(x) = 0, ?′(y) = +∞ 이지만, ?′(z)는 존재하지 않는다.
• 상수 κ₁과 κ₂는 각각 κ₁ = sup{κ : limsup S_t(x)/t < κ ⇒ ?′(x) = +∞} 및 κ₂ = inf{κ : liminf S_t(x)/t > κ ⇒ ?′(x) = 0} 를 만족한다.
• (3−√5)/2 인 λ에 대해, 함수 g_λ(x)는 반정규 연속 분수 수열의 극한 분포 함수이며, 가이플린에 의해 κ₁(λ), κ₂(λ) 가 계산되었다.