[论文解读] Sharp conditional bounds for moments of the Riemann zeta function

Adam J. Harper|arXiv (Cornell University)|May 20, 2013

Analytic Number Theory Research参考文献 14被引用 55

一句话总结

本文在黎曼猜想的假设下，建立了黎曼ζ函数在临界线上的矩的精确条件上界，证明了对于固定的 $ k \geq 0 $ 和大的 $ T $，有 $ \int_T^{2T} |\zeta(1/2 + it)|^{2k} dt \ll_k T \log^{k^2} T $。该方法通过将 $ \log|\zeta(1/2 + it)| $ 分解为 dyadic 区间上的 Dirichlet 多项式之和，并分析其联合行为，扩展了 Soundararajan 的方法，从而实现了最优的对数指数。

ABSTRACT

We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant. Our proof builds on well known work of Soundararajan, who showed, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k,ε} T log^{k^{2}+ε} T for any fixed k \geq 0 and ε> 0. Whereas Soundararajan bounded \log|ζ(1/2+it)| by a single Dirichlet polynomial, and investigated how often it attains large values, we bound \log|ζ(1/2+it)| by a sum of many Dirichlet polynomials and investigate the joint behaviour of all of them. We also work directly with moments throughout, rather than passing through estimates for large values.

研究动机与目标

• 在黎曼猜想的假设下，建立黎曼ζ函数在临界线上 $ 2k $ 阶矩的精确上界。
• 通过消除对数指数中额外的 $ \epsilon $ 项，改进 Soundararajan 的条件上界，实现精确的指数 $ k^2 $。
• 通过将 $ \log|\zeta(1/2 + it)| $ 分解为 dyadic 区间上的 Dirichlet 多项式之和，而非依赖单一多项式，从而改进该方法的边界估计。
• 分析多个表示ζ函数对数贡献的 Dirichlet 多项式的联合行为，以实现更紧致的矩估计。
• 获得与已知无条件下界一致的结果，从而确认该上界在隐含常数的意义下是精确的。

提出的方法

• 将 $ \log|\zeta(1/2 + it)| $ 分解为 dyadic 区间 $[x_{i-1}, x_i]$ 上的 Dirichlet 多项式实部之和，每个区间捕捉该范围内素数的贡献。
• 采用多层分解，其中每个区间贡献一个 Dirichlet 多项式 $ \Re \sum_{x_{i-1} < p \leq x_i} \frac{1}{p^{1/2 + it}} $，其分量独立且均值为零。
• 对这些多项式的联合分布应用矩估计，将其类比为方差约为 $ \sim \frac{1}{2} \log \log(x_i/x_{i-1}) $ 的高斯随机变量。
• 通过注意到非平凡零点的负影响，控制其对贡献的影响，从而可将注意力集中于 Dirichlet 多项式部分以获得上界。
• 使用长度参数 $ \beta_{\mathcal{I}} \asymp e^{-1000k} $ 的截断版本 Dirichlet 多项式以控制误差项，尽管这限制了常数的最优性。
• 通过高阶矩估计的变体应用矩方法，避免依赖于 Soundararajan 方法中的大值估计。

实验结果

研究问题

• RQ1 在黎曼猜想下，是否可以将 $ |\zeta(1/2 + it)|^{2k} $ 的条件矩上界中的对数指数从 $ k^2 + \epsilon $ 改进为 $ k^2 $？
• RQ2 多个 dyadic Dirichlet 多项式分量的联合行为在多大程度上可用于建模 $ |\zeta(1/2 + it)| $ 的对数大小？
• RQ3 通过改进分解与矩分析，是否可以实现 $ \log^{k^2} T $ 的精确增长速率，而无需引入 $ \epsilon $ 项？
• RQ4 Dirichlet 多项式长度的选择如何影响最终上界中的隐含常数？是否可以优化该选择以匹配推测性模型？
• RQ5 忽略零点贡献的随机 Euler 乘积模型，是否能预测矩常数的正确渐近阶？

主要发现

• 本文证明了在黎曼猜想假设下，对所有固定的 $ k \geq 0 $ 和大的 $ T $，有 $ \int_T^{2T} |\zeta(1/2 + it)|^{2k} dt \ll_k T \log^{k^2} T $。
• 该上界在隐含常数的意义下是精确的，因为对 $ k \geq 1 $ 已知无条件的下界，对所有 $ k \geq 0 $ 条件下界也成立。
• 与 Soundararajan 的 $ \ll_{k,\epsilon} T \log^{k^2 + \epsilon} T $ 相比，该改进通过将 $ \log|\zeta(1/2 + it)| $ 分解为多个 Dirichlet 多项式并分析其联合行为实现。
• 该方法避免了通过大值估计，而是直接处理矩积分，从而实现了更紧密的控制。
• 由于对多项式长度的选择较为保守（$ \beta_{\mathcal{I}} \asymp e^{-1000k} $），上界中的隐含常数次优，限制了对小素数贡献的完整捕捉。
• 启发式随机模型表明，最优常数应为 $ e^{-k^2 \log k + O(k^2)} $，与随机矩阵理论的预测一致，但若不处理更长的 Dirichlet 多项式，则无法严格证明此结果。