Amplified moments of the Riemann zeta function

技术摘要：黎曼 $\zeta$ 函数的放大矩 (Amplified Moments)

问题陈述
黎曼 $\zeta$ 函数的矩的评估，定义为 $M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$，是解析数论中的一个核心问题。虽然对于 $k=1$ 和 $k=2$ 已知渐近公式（Hardy–Littlewood 和 Ingham），且对于更高阶的 $k$ 已存在尖锐界限（在黎曼假设条件下对于上界），但对于 $k \ge 3$ 的无条件渐近公式仍难以实现。本工作的首要目标是为经典矩 $M_k(T)$ 以及涉及 $\zeta(s)$ 导数的各种联合矩建立改进的、无条件的有效下界。这些下界与由随机矩阵理论驱动的 Keating–Snaith、Keating–Wei 等人的猜想进行了比较。

方法论
作者采用了一种“放大矩”的方法，利用扭曲平均值来探测高阶矩。其核心技术是将 Hölder 不等式应用于如下形式的积分：
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
其中 $A(s)$ 是长度为 $y = T^\theta$（或对于四阶矩为 $T^\vartheta$）的狄利克雷多项式，具有光滑多项式系数 $P[n]$。

关键方法组成部分包括：

1. 两部分放大器 (Two-Piece Amplifier)： 不同于以往使用单一狄利克雷多项式的方法，作者使用了“两部分”放大器 $A(s) + \chi(s)A(1-s)$，它模拟了近似函数方程。这使得对 $\zeta(s)$ 的建模更加精确，并便于处理联合矩。
2. 二项式分解 (Binomial Decomposition)： 利用二项式定理展开放大器的幂次，将积分分解为主项（对角贡献项）和涉及 $\chi(1-s)$ 的振荡项。
3. 渐近评估 (Asymptotic Evaluation)： 作者建立了带有高次放大器的扭曲二阶和四阶矩的渐近公式。他们证明，只要放大器长度参数满足 $\theta_k < 1/(2k)$ 且 $\vartheta_k < 1/(4k)$，由于快速振荡，包含高次 $\chi(1-s)$ 的项（具体而言，对于二阶矩 $\nu \ge 2$ 以及对于四阶矩 $\nu \ge 3$）是微不足道的（$O(T^{1-\varepsilon})$）。
4. 多胞体积分 (Polytope Integrals)： 主项被简化为在多胞体（单纯形）上的高维积分。这些积分通过使用 Mellin 变换和黎曼 $\zeta$ 函数的性质进行显式评估，其结果涉及 Barnes $G$-函数和算术因子。
5. 优化 (Optimization)： 通过数值方法（使用 Wolfram Mathematica）优化多项式 $P(x)$ 的系数，以最大化所得的下界。

主要贡献与结果

• 经典矩的无条件下界：
  本文建立了一个新的六阶矩无条件下界：
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  这改进了 Conrey–Ghosh、Soundararajan 和 Page 之前的界限，接近了 Keating–Snaith 猜想的 $42c_3 T (\log T)^9$。

• 导数矩：
  获得了 $\zeta(s)$ 一阶和二阶导数六阶矩的新无条件下界：
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  这些结果改进了 Page 等人的研究。

• 联合矩：
  作者为涉及 $\zeta(s)$ 及其导数的若干联合矩（例如 $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$ 等）提供了无条件下界。这些下界与 Keating–Wei 的猜想高度一致。

• 对 Soundararajan 界限的改进 (定理 10)：
  本文移除了 Soundararajan 关于 $M_5(T)$ 和 $M_6(T)$ 界限中对 Lindelöf 假设的依赖，使其变为无条件。此外，通过引入第二部分放大器，作者改进了 $7 \le k \le 11$ 时 $M_k(T)$ 的下界。例如：
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  这些结果是通过修改 Soundararajan 的论证以无条件地处理振荡项而得出的。

• 一般联合矩 (定理 11)：
  本文为所有 $\zeta(s)$ 及其导数的整数联合矩建立了一个通用的无条件下界。该界限由一个基于欧拉乘积和有理函数导数的常数 $C(a_1, \dots, a_K)$ 给出，这与随机矩阵理论的预测一致。

意义与主张
本文声称显著推进了关于 $\zeta$ 矩下界的研究现状。其主要意义在于：

1. 消除条件性假设： 它成功地移除了特定高阶矩（$k=5, 6$）对 Lindelöf 假设的依赖，并为广泛的联合矩提供了无条件界限。
2. 改进数值常数： 所得的下界在数值上比以往任何无条件结果都更接近猜想值（Keating–Snaith, Keating–Wei）。
3. 方法论的灵活性： “两部分”放大矩方法被证明对于联合矩特别有效，通过结合 Soundararajan 的放大器技术，克服了处理高阶矩时多胞体积分带来的计算困难。

作者指出，虽然他们的方法产生了很强的界限，但允许的狄利克雷多项式的长度随着矩阶数 $k$ 的增加而减小，这限制了对其他框架（如 Bui, Hall, 和 Subira Jorge 的工作）中所观察到的某些统一现象的恢复。然而，对于获取有效的整数矩无条件下界这一特定目标，该方法被证明是非常成功的。