[论文解读] Nesterenko's linear independence criterion for vectors

Stéphane Fischler|arXiv (Cornell University)|Feb 10, 2012

Mathematical Dynamics and Fractals参考文献 7被引用 4

一句话总结

本文将内斯特坚科的线性无关性判别法从标量推广到向量，利用在 $ k $ 个不同点处取值较小的整系数线性型序列，建立 $ \mathbb{R}^k $ 中 $ p $ 个向量族的有理秩下界。该方法基于闵可夫斯基关于凸体的定理，扩展了巴尔与里沃阿尔关于奇数阶黎曼ζ函数值的超越性结果，提供了关于 $ \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} $-秩下界，将其视为 $ \mathbb{Q} $-向量空间。
• 使用 $ \mathbb{R}^p $ 上的一系列整系数线性型 $ L_n $，这些线性型在 $ 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}^k $ 中 $ p $ 个向量族的最小有理秩是多少？
• RQ2 如何将内斯特坚科针对标量的线性无关性判别法推广到高维空间中的向量系统？
• RQ3 在 $ k $ 个点处线性型的衰减速率满足何种定量条件，可确保对应向量的有理张成空间具有高维？
• RQ4 能否通过减少所需独立的小型线性型数量，简化奇数阶ζ函数值的超越性证明？
• 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} $ 上的强线性无关性。
• 该判别法允许仅使用一个线性型序列，而非 $ p $ 个独立的小型形式，即可提供已知线性无关性结果（如 $ \zeta(2), \zeta(3), \log 2 $）的替代证明。
• 通过将该判别法应用于ζ函数值，本文提供了一个框架，可在无需完全线性无关性的情况下，对ζ函数值族的 $ \mathbb{Q} $-秩给出下界估计，即使整个集合的线性无关性尚未被证明。