[논문 리뷰] Nesterenko's linear independence criterion for vectors

Stéphane Fischler|arXiv (Cornell University)|2012. 02. 10.

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

한 줄 요약

이 논문은 스칼라 값에서의 네스터енко의 선형 독립성 기준을 벡터로 일반화하여, $ p $ 개의 벡터가 $ \mathbb{R}^k $에 있을 때 그 유리수 계수 랭크에 하한을 제공한다. 이는 $ k $ 개의 서로 다른 점에서 작아지는 정수 계수 선형 형식의 수열을 이용하며, 민코프스키의 볼록체 정리에 기반한다. 이 방법은 볼록체가 비영인 정수 점을 포함하지 않음을 보여주며, $ \mathbb{Q} $ 위에서의 선형 독립성에 대해 더 강력하고 양적 기준을 제공한다. 이는 발랄-리보알의 제타 함수의 홀수 정수에서의 초월성 결과를 확장하여, 더 강력한 유리수 계수 랭크 하한을 도출한다.

ABSTRACT

In this paper we deduce a lower bound for the rank of a family of $p$ vectors in $\R^k$ (considered as a vector space over the rationals) from the existence of a sequence of linear forms on $\R^p$, with integer coefficients, which are small at $k$ points. This is a generalization to vectors of Nesterenko's linear independence criterion (which corresponds to $k=1$), used by Ball-Rivoal to prove that infinitely many values of Riemann zeta function at odd integers are irrational. The proof is based on geometry of numbers, namely Minkowski's theorem on convex bodies.

연구 동기 및 목표

• 실수 수의 집합, 특히 리만 제타 함수의 홀수 정수에서의 값들에 대해 $ \mathbb{Q} $ 위에서의 선형 독립성을 증명하는 데 도전하는 것.
• 기존 방법이 $ \zeta(3), \zeta(5), \ldots, \zeta(a) $ 의 $ \mathbb{Q} $-스팬 차원에 대한 渐近 하한에서 상수를 향상시키지 못하는 한계를 극복하는 것.
• 디오판틴 근사에서 더 정밀한 랭크 추정을 가능하게 하기 위해 네스터енко의 기준을 벡터 값으로 일반화하는 것.
• $ \mathbb{R}^p $ 내의 벡터 집합에 적용 가능한 양적이고 효과적인 선형 독립성 기준을 제공하는 것.
• 단일 수열의 작은 선형 형식을 사용하여 $ p $ 개의 선형 독립적인 작은 형식을 구성하는 것의 필요성을 줄임으로써 초월성 결과의 새로운 증명을 가능하게 하는 것.

제안 방법

• 민코프스키의 볼록체 정리를 적용하여 $ \mathbb{R}^k $ 내의 $ p $ 개의 벡터 가족의 $ \mathbb{Q} $-랭크에 하한을 도출한다. 이는 $ \mathbb{Q} $-벡터 공간으로서의 시각화를 포함한다.
• 정수 계수 선형 형식 $ L_n $ 이 $ \mathbb{R}^p $ 상의 $ k $ 개의 서로 다른 점 $ e_1, \ldots, e_k \in \mathbb{R}^p $ 에서 작아지며, 계수의 성장률이 통제된 수열을 사용한다.
• 만약 $ |L_n(e_j)| = Q_n^{-\tau_j + o(1)} $ 이고 $ \max |\ell_{i,n}| \leq Q_n^{1+o(1)} $ 이라면, 행들이 $ e_1, \ldots, e_k $ 인 행렬의 열 벡터들의 유리수 랭크는 최소 $ k + \sum_{j=1}^k \tau_j $ 이상이다.
• 벡터 $ e_1, \ldots, e_k $ 가 $ \mathbb{R} $-선형 독립이며, 그 스팬이 비영인 유리수 점을 포함하지 않음을 증명한다.
• 특정 볼록체가 비영인 정수 점을 포함하지 않음을 보여주는 것으로, 선형 독립성의 양적 버전(결론 (iii))을 유도한다.
• 선형 형식이 점들에서 작아지는 것과 기저 벡터 시스템의 $ \mathbb{Q} $-위에서의 랭크 사이의 전환 원리를 사용한다.

실험 결과

연구 질문

• RQ1 정수 계수 선형 형식의 수열이 $ k $ 개의 서로 다른 점에서 작아질 때, $ \mathbb{R}^p $ 내의 $ p $ 개의 벡터 가족의 최소 유리수 랭크는 얼마인가?
• RQ2 스칼라에 대한 네스터енко의 선형 독립성 기준은 어떻게 고차원 공간 내의 벡터 시스템으로 일반화할 수 있는가?
• RQ3 선형 형식이 $ k $ 개의 점에서 감쇠하는 속도에 대한 양적 조건은 어떤 것이며, 이는 해당 벡터들의 유리수 스팬의 차원을 높이는가?
• RQ4 제타 함수의 홀수 정수에서의 초월성 결과 증명을 단일 수열의 작은 선형 형식을 사용함으로써, $ p $ 개의 독립적인 작은 형식이 필요로 하는 것을 줄여 단순화할 수 있는가?
• RQ5 완전한 선형 독립성을 증명하지 않더라도, 하나의 작은 선형 형식 수열만을 사용하여 벡터 가족의 랭크에 하한을 도출할 수 있는가?

주요 결과

• 논문은 네스터енко의 기준을 벡터 시스템으로 일반화하여, $ \mathbb{R}^p $ 내의 $ k $ 개의 점이 정수 계수 선형 형식의 수열을 통해 $ Q_n^{-\tau_j + o(1)} $ 정도로 감쇠한다면, 이 점들을 행으로 하는 행렬의 열 벡터들의 $ \mathbb{Q} $-랭크는 최소 $ k + \sum_{j=1}^k \tau_j $ 이상임을 증명한다.
• 모든 $ \varepsilon > 0 $ 과 충분히 큰 홀수 $ a $ 에 대해, $ N = \left\lfloor \frac{1 - \varepsilon}{1 + \log 2} \log a \right\rfloor $ 개의 홀수 $ \sigma_1, \ldots, \sigma_N \in [3, a] $ 가 존재하여, $ 1, \zeta(\sigma_1), \ldots, \zeta(\sigma_N) $ 가 $ \mathbb{Q} $ 위에서 선형 독립이며, $ \sigma_i $ 들 사이의 간격이 $ a^\varepsilon $ 이상이 된다.
• 이 방법은 $ \mathcal{C}(\varepsilon, Q) $ 라는 집합이 비영인 정수 점을 포함하지 않음을 증명한다. 이 집합은 $ e_1, \ldots, e_k $ 의 스팬 내에서 $ Q^{\tau_j - \varepsilon} $ 이내이며, 수직 보완 공간 내에서 $ Q^{-1 - \varepsilon} $ 이내인 벡터들로 구성된다.
• 결과적으로 $ e_1, \ldots, e_k $ 의 $ \mathbb{R} $-스팬이 비영인 유리수 벡터를 포함하지 않음을 의미하며, 이는 $ \mathbb{R} $ 위에서의 강력한 선형 독립성을 보장한다.
• 이 기준은 기존의 선형 독립성 결과(예: $ \zeta(2), \zeta(3), \log 2 $)에 대해, $ p $ 개의 독립적인 작은 형식이 아닌 하나의 수열만을 사용하여 다른 증명을 가능하게 한다.
• 제타 함수 값에 이 기준을 적용함으로써, 전체 집합이 독립임을 증명하지 못하더라도, 제타 값 가족의 $ \mathbb{Q} $-랭크에 하한을 도출할 수 있는 프레임워크를 제공한다.