[논문 리뷰] Exponents of inhomogeneous Diophantine Approximation

Yann Bugeaud, Laurent Michel|ArXiv.org|2004. 06. 03.

Mathematical Dynamics and Fractals참고 문헌 14인용 수 4

한 줄 요약

이 논문은 비균질 디오판틴스 추측에 새로운 지수를 도입하고, 일반적인 점에서 행렬 A의 비균질 근사 지수와 그 전치행렬 ᵗA의 균일한 균질 지수 사이의 이중성(duality)을 확립한다. 주요 결과는 거의 모든 θ ∈ ℝⁿ에 대해 w(A,θ) ≥ 1/ŵ(ᵗA) 및 ŵ(A,θ) ≥ 1/w(ᵗA)임을 보이며, 등호는 거의 어디서나 성립함으로써, 날카로운 양적 경계를 제공하는 바탕이 되는 고전적 전환 원리(classical transference principles)를 개선한다.

ABSTRACT

In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that the exponent of approximation to a generic point in R^n by a system of n linear forms is equal to the inverse of the uniform homogeneous exponent associated to the system of dual forms.

연구 동기 및 목표

• 고전적 전환 원리를 비균질 디오판틴스 추측에서 새로운, 정량적으로 제어 가능한 지수를 사용하여 재구성하는 것.
• 행렬 A의 비균질 근사 지수와 그 전치행렬 ᵗA의 균일한 균질 지수 사이의 정밀한 이중성(duality)을 확립하는 것.
• 幾乎 모든 ℝⁿ 내 점에 대해 비균질 근사 지수의 일반적 행동을 규명하는 것.
• 특히 w > 1/ŵ(ᵗA)일 때, 주어진 근사 지수를 갖는 점들의 집합의 하우스도르프 차원을 분석하는 것.

제안 방법

• 두 개의 새로운 지수를 도입한다: w(A,θ)는 ||Ax + θ|| ≤ X⁻ʷ 및 |x| ≤ X 를 만족하는 해가 임의의 큰 X에 대해 존재하는 w의 상한이다.
• 균일 지수 ŵ(A,θ)는 모든 충분히 큰 X에 대해 동일한 부등식이 성립하는 w의 상한으로 정의한다.
• Borel–Cantelli 보조정리를 적용하여 거의 모든 행렬 A ∈ Mₙ,ₘ(ℝ)에 대해 w(A) = ŵ(A) = m/n 임을 보인다.
• A와 ᵗA 사이의 이중성에 기반하여 하한을 유도한다: w(A,θ) ≥ 1/ŵ(ᵗA) 및 ŵ(A,θ) ≥ 1/w(ᵗA).
• 하우스도르프–Cantelli 보조정리를 사용하여 높은 근사 지수를 갖는 점들의 집합의 하우스도르프 차원을 유계로 제한한다.
• 특정 θ에 대해 ||Ax + θ||의 명시적 하한을 구성하여 w(A,θ)가 일정한 한계를 초과할 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 비균질 근사 지수 w(A,θ)와 전치행렬의 균일한 균질 지수 ŵ(ᵗA) 사이의 정확한 관계는 무엇인가?
• RQ2 균일 지수를 사용하여 디오판틴스 추측의 고전적 전환 정리들을 날카롭게 개선할 수 있는가?
• RQ3 w > 1/ŵ(ᵗA)일 때, w(A,θ) ≥ w 를 만족하는 점 θ ∈ ℝⁿ의 집합의 하우스도르프 차원은 얼마인가?
• RQ4 w(A,θ)의 일반적 행동은 균일 지수 ŵ(ᵗA)와 어떻게 비교되는가?

주요 결과

• 幾乎 모든 θ ∈ ℝⁿ에 대해 비균질 지수 w(A,θ)는 w(A,θ) ≥ 1/ŵ(ᵗA)를 만족하며, 등호는 거의 어디서나 성립한다.
• 균일 비균질 지수 ŵ(A,θ)는 ŵ(A,θ) ≥ 1/w(ᵗA)를 만족하며, 거의 모든 θ에서 등호가 성립한다.
• 집합 {θ ∈ ℝⁿ : w(A,θ) ≥ w} 는 르베그 측도가 0이며, w > 1/ŵ(ᵗA)일 경우 하우스도르프 차원이 n보다 작다.
• w > 1/ŵ(ᵗA)일 때, 집합 {θ ∈ ℝⁿ : w(A,θ) ≥ w} 의 하우스도르프 차원은 n − 1 + 1/(δ + 1) 이하로 유계로 제한되며, 여기서 δ = (wŵ(ᵗA) − 1)/(2 + w + 1/ŵ(ᵗA))이다.
• A가 열 행렬일 경우, 집합 {θ ∈ ℝⁿ : w(A,θ) ≥ w} 의 하우스도르프 차원은 w ≥ 1일 때 1/w이다.
• A = (ξ)일 경우, 집합 {θ ∈ ℝ : w((ξ),θ) ≥ w} 의 하우스도르프 차원은 w ≥ 1일 때 1/w이며, 기존 결과와 일치한다.