[논문 리뷰] On the criteria for linear independence of Nesterenko, Fischler and Zudilin

Amarisa Chantanasiri|ArXiv.org|2009. 12. 24.

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

한 줄 요약

이 논문은 피셔와 줌딜린의 개선된 선형 독립성 기준에 대한 간소화된 증명을 제시하며, 민코프스키의 볼록체 정리와 중첩된 볼록체를 사용하여 네스터енко의 방법을 확장한다. 주요 기여는 네스터енко의 원래 결과를 포함하는 새로운 기준을 도출하는 것으로, 이는 대수적 독립성과 초월성에 대한 새로운 기준을 제공하며, 크기와 값이 제어된 정수 선형 형식의 수열로부터 유도된 정량적 경계를 포함한다.

ABSTRACT

In 1985, Yu. V. Nesterenko produced a criterion for linear independence, which is a variant of Siegel's. While Siegel uses upper bounds on full systems of forms, Nesterenko uses upper and lower bounds on sufficiently dense sequences of individual forms. The proof of Nesterenko's criterion was simplified by F. Amoroso and P. Colmez in 2003. More recently, S. Fischler and W. Zudilin produced a refinement, together with a much simpler proof. This new proof rests on a simple argument which we expand here. We get a new result, which contains Nesterenko's criterion, as well as criteria for algebraic independence.

연구 동기 및 목표

• 피셔와 줌딜린의 네스터енко 선형 독립성 기준 개선에 대한 증명을 더 단순화하고 일반화한다.
• 개선된 프레임워크에서 대수적 독립성에 대한 새로운 기준을 도출한다.
• 크기와 값이 제어된 정수 선형 형식의 수열을 사용하여 정량적 초월성 기준을 수립한다.
• 단일이고 강력한 분석적 방법을 통해 기존 초월수 이론 결과를 통합하고 확장한다.

제안 방법

• 민코프스키의 볼록체 정리를 사용하여 실수 벡터에서 평가된 선형 형식에 대한 경계로 정의된 R^{1+r_n} 내의 중첩된 볼록 대칭 컴act 집합을 분석한다.
• |x_0|과 |x_0 ξ_i - x_i|에 대한 경계를 사용해 볼록체 C_n을 정의하며, 이의 체적은 2^{r_n+1}이다.
• 정리를 적용하여, 특정 행렬식 조건이 실패할 경우 체적과 격자점 수의 모순이 발생함을 보인다.
• Q_n, A_n, B_n의 성장 조건을 가정할 때, 부등식 A_n ≤ 2^{r_n+1}(B_n Q_n)^{r_n}을 유도한다.
• 다항식 수열의 유계된 차수와 길이를 가질 경우, 동일한 프레임워크를 사용해 대수적 독립성 및 초월성 기준을 도출한다.
• σ(n)의 점근적 성장 조건과 비율 σ(n+1)/σ(n) → 1을 사용하여 기준의 적용 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 피셔와 줌딜린의 개선된 선형 독립성 기준은 민코프스키의 정리를 사용해 더 단순하게 증명될 수 있는가?
• RQ2 개선된 기준은 네스터енко의 원래 결과를 특수 케이스로 포함하는가?
• RQ3 이 프레임워크는 실수의 대수적 독립성에 대한 기준을 유도하는 데 확장될 수 있는가?
• RQ4 일변수 다항식에 동일한 방법을 적용했을 때 어떤 정량적 초월성 조건이 도출되는가?
• RQ5 이 새로운 기준은 게르포드의 고전적 초월성 기준보다 강도가 더 강한가?

주요 결과

• 개선된 기준은 네스터енко의 원래 선형 독립성 기준을 특수 케이스로 포함한다.
• 대수적 독립성에 대한 새로운 기준이 도출된다: 차수 ≤ d이고 길이 ≤ e^{σ(n)}인 다항식 P_n이 e^{-(τ_d+η_d)σ(n)} ≤ |P_n(ϑ_1,…,ϑ_t)| ≤ e^{-τ_d σ(n+1)}를 만족하면, ϑ_1,…,ϑ_t는 대수적으로 독립적이다.
• 초월성의 경우, α_n, β_n, γ_n의 성장 조건 하에 γ_n ≤ log 2 + d_n(α_n + β_n - γ_{n-1} + log 2)가 유도된다.
• 특수 케이스로 차수 ≤ d이고 길이 ≤ e^{σ(n)}일 경우, 기준은 τ_2 ≤ d + d(τ_1 - τ_2)를 도출하며, |P_n(ϑ)|에 하한이 존재할 경우 게르포드의 경계를 개선한다.
• 지수의 제곱형 성장의 경우, 차수가 δn + o(n)이고 길이가 e^{βn+o(n)}일 때 λ(1 - 2δ) ≤ δ(α + β - γ)가 도출된다.
• 이 방법은 A_n, B_n, Q_n를 포함하는 단일 기본 부등식으로부터 대수적 독립성과 초월성 결과를 동시에 도출하는 통합된 프레임워크를 제공한다.