[논문 리뷰] On Diophantine approximations with positive integers: a remark to W.M.Schmidt's theorem

Nikolay Moshchevitin|arXiv (Cornell University)|2009. 04. 13.

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

한 줄 요약

이 논문은 W.M. 슈미트의 디오판틴스 근사 정리의 일반화를 통해 양의 정수 x₁, x₂에 대한 선형형식 α₁x₁ + α₂x₂에 대해 정교화된 지수를 확립한다. 디오판틴스 조건이 만족될 경우, 근사 오차가 함수 g(γ)에 의해 결정되는 비율로 감소하는 무한한 양의 정수 쌍의 열이 존재함을 증명하며, 고전적 지수 τ = (1+√5)/2를 초월하는 개선된 결과를 도출한다.

ABSTRACT

We prove a generalization of W.M. Schmidt's theorem related to the Diophantine approximations for a linear form of the type $α_1x_1+α_2x_2 +y$ with {\it positive} integers $x_1,x_2$.

연구 동기 및 목표

• 양의 정수 x₁, x₂에 대한 선형형식 α₁x₁ + α₂x₂에 대한 W.M. 슈미트의 디오판틴스 근사 정리를 확장한다.
• 디오판틴스 조건 하에서 고전적 지수 τ = (1+√5)/2를 초월하는 근사 속도의 지수를 개선한다.
• 디오판틴스 지수 γ에 의존하는 함수 g(γ)를 사용하여 근사 오차의 정량적 bound를 수립한다.
• 최적 근사와 격자 기하학의 분석을 통한 구조적 증명을 제시하여 날카로운 감소율을 도출한다.

제안 방법

• g(γ) = τ + (2τ − 2)/(τ²γ − 2) 라는 함수를 도입하며, γ가 2에서 ∞로 증가함에 따라 τ와 2 사이를 보간한다. 여기서 τ = (1+√5)/2이다.
• 디오판틴스 조건을 도입한다: 모든 비영인 정수 벡터 (m₁,m₂)에 대해 ||α₁m₁ + α₂m₂|| ≥ Γ / (max{|m₁|,|m₂|})^γ 를 만족하며, Γ ∈ (0,1) 이고 γ ≥ 2 이다.
• 세 차원에서 최적 근사의 이론을 사용하여, max{|m₁|,|m₂|} 가 유계일 때 ||m₀ + α₁m₁ + α₂m₂|| 를 최소화하는 정수 벡터 (m₀, m₁, m₂) 의 수열을 정의한다.
• 민코프스키의 볼록체 정리(민코프스키의 볼록체 정리)를 적용하여 근사 품질의 bound를 유도하며, 특히 ||ζ(ν)||M_{ν+1}² ≤ 1 을 도출한다.
• 격자 기하학과 연속된 최적 근사 벡터가 정의하는 평면에서의 벡터 분해를 활용하여 새로운 양의 정수 해를 식별한다.
• 연속된 근사 오차의 상대 크기에 따라 두 가지 대체 구축법 (i) 및 (ii) 을 도입하여 새로운 양의 정수 쌍 (x₁⁰, x₂⁰) 을 유도한다.

실험 결과

연구 질문

• RQ1 디오판틴스 조건 하에서 슈미트 정리의 지수 τ를 양의 정수 해에 대해 개선할 수 있는가?
• RQ2 디오판틴스 조건이 지수 γ로 주어질 때, max{x₁,x₂} → ∞ 일 때 ||α₁x₁ + α₂x₂|| 의 최적 감소율은 무엇인가?
• RQ3 하한 조건에서 디오판틴스 상수 Γ 와 지수 γ 가 근사 품질에 어떻게 영향을 미치는가?
• RQ4 무한한 양의 정수 해에 대해 ||α₁x₁ + α₂x₂|| · (max{x₁,x₂})^{g(γ)} 의 균일한 bound 를 확립할 수 있는가?
• RQ5 최적 근사 벡터에 어떤 조건이 만족될 경우, 제어 가능한 크기 범위 내에서 새로운 작은 값의 해가 존재하는가?

주요 결과

• 논문은 임의의 γ ≥ 2 와 Γ ∈ (0,1) 에 대해, 모든 비영인 (m₁,m₂) 에 대해 ||α₁m₁ + α₂m₂|| ≥ Γ / (max{|m₁|,|m₂|})^γ 라는 디오판틴스 조건이 만족되면, ||α₁x₁(i) + α₂x₂(i)|| · (max{x₁(i),x₂(i)})^{g(γ)} ≤ C(Γ) 를 만족하는 양의 정수 쌍 (x₁(i), x₂(i)) 의 무한한 수열이 존재함을 증명한다.
• 지수 함수 g(γ) 는 엄격히 감소하며, g(2) = 2 이고 lim_{γ→∞} g(γ) = τ = (1+√5)/2 이다. 따라서 고전적 지수 2 와 슈미트의 원래 τ 사이를 보간한다.
• 상수 C(Γ) 는 명시적으로 C(Γ) = 2^{18} Γ^{(τ−τ²)/(τ²γ−2)} 로 주어지며, Γ 와 γ 에 의존하며, 더 줄일 수 있다.
• 증명은 연속된 최적 근사의 분석에 기반하며, 또는 작은 크기 범위 내에 양호한 근사가 존재함을 보여주며 (표현 (i)), 또는 제어 가능한 크기와 감소율을 갖는 더 나은 근사가 존재함을 보여준다 (표현 (ii)).
• 결과적으로 M_ν → ∞ 일 때 슈미트의 원래 정리가 회복되며, γ → ∞ 일 때 지수 τ 가 수렴함을 의미한다.
• 비퇴화 조건 (3) 을 만족하는 무한한 수의 ν 가 존재하므로, 이 구축법은 유한한 수의 반복을 거쳐 필수적인 무한한 해 수열을 도출한다.