On the sign changes of $ψ(x)-x$

1. 研究问题 (Problem Statement)

论文的核心研究对象是素数定理中的误差项 $\psi(x) - x$，其中 $\psi(x) = \sum_{n \le x} \Lambda(n)$ 是切比雪夫函数。
定义 $V(T)$ 为区间 $[1, T]$ 内 $\psi(x) - x$ 变号的次数。
主要目标是确定当 $T \to \infty$ 时，$V(T)$ 的增长速率下界，具体即寻找常数 $\kappa_0$ 使得：
$$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \kappa_0$$

历史背景与现状：

• Ingham (1936): 在假设某种广义黎曼猜想下证明 $\kappa_0 > 0$。
• Kaczorowski (1980s): 无条件证明 $\kappa_0 \ge \gamma_0 / (4\pi)$，随后改进为 $\kappa_0 \ge \gamma_0 / \pi$。
• 后续进展: 突破 $\gamma_0 / \pi$ 的障碍非常困难。Morrill, Platt, 和 Trudgian (2023) 证明了 $\kappa_0 \ge \gamma_0 / \pi + 1.867 \times 10^{-30}$。
• 本文目标: 将这一下界显著改进，证明 $\kappa_0 \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$。

2. 核心方法论 (Methodology)

论文的方法论建立在将变号问题转化为复平面上解析函数零点的密度问题。

2.1 理论框架：归一化 $k$-函数

假设黎曼猜想（RH）成立，作者利用 Kaczorowski 之前的工作，将 $\kappa_0$ 与归一化函数 $F^*(z)$ 的零点密度联系起来：
$$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$$
其中 $\rho_n = 1/2 + i\gamma_n$ 是黎曼 $\zeta$ 函数的非平凡零点，$\gamma_0 \approx 14.1347$ 是第一个零点的虚部。
根据定理，若 $\kappa$ 是 $F^*(z)$ 在上半平面零点的某种密度，则：
$$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$$
因此，问题转化为寻找 $\kappa$ 的下界。

2.2 关键工具：几乎周期函数的零点存在性

作者考虑部分和函数 $F_N(z)$ 及其扰动。核心思想是：如果在某个轮廓 $z_1(t)$ 上，$F_N(z)$ 的值绕原点旋转，且误差项 $R_N(y)$ 足够小，那么通过适当的平移 $\tau$，$F(z)$ 在平移后的轮廓内必然存在零点。

主要创新点：

1. 更灵活的充分条件 (Proposition 1):

   • 传统方法要求平移量 $\tau$ 使得所有频率项 $\|\frac{\omega_n \tau}{2\pi}\|$ 都足够小（即均匀界）。
   • 本文提出一个加权求和条件：$\sum w_n(\|\frac{\omega_n \tau - \eta_n}{2\pi}\|) \le 1$。
   • 这允许某些频率项的平移误差较大，只要其他项足够小即可，极大地扩展了可行平移量的集合。
   • 引入了相位调整 $\eta_n$ 和辅助函数 $\eta(t)$，增加了优化的自由度。

2. 平铺方法 (Tiling Method, Theorem 3):

   • 这是本文最核心的算法贡献。传统方法使用闵可夫斯基凸体定理（Minkowski's Convex Body Theorem）来估计满足条件的 $\tau$ 的密度，其下界通常仅为 $2^{-N} \text{vol}(A)$，非常保守。
   • 作者提出了一种平铺方法：利用格点（Lattice）填充超立方体 $[-1/2, 1/2]^N$。
   • 通过构造一个密集的格点（使用改进的 LLL 算法），证明可行平移量 $\tau$ 的分布几乎是均匀分布的（equidistributed），从而将密度估计从 $2^{-N} \text{vol}(A)$ 提升到接近 $\text{vol}(A')$（其中 $A'$ 是 $A$ 的一个子集，但在极限情况下非常接近 $A$）。
   • 该方法不再要求解集 $A$ 是凸的，允许使用完整的解集。

3. 数值验证与严格计算:

   • 利用 Mathematica 和 ARB 库（基于区间算术）进行严格的高精度数值计算。
   • 选取 $N=21$，构造特定的轮廓 $z_1(t)$ 和相位函数 $\alpha(t)$。
   • 通过算法 1（改进的 LLL 算法）生成整数系数矩阵，验证平移量的存在性。

3. 主要结果 (Key Results)

定理 1 (Theorem 1)

作者证明了：
$$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$
其中 $\gamma_0 \approx 14.1347$ 是黎曼 $\zeta$ 函数第一个非平凡零点的虚部。

数值意义：

• 之前的最佳结果是 $\gamma_0/\pi + 1.867 \times 10^{-30}$。
• 本文将增量从 $10^{-30}$ 量级提升到了 $1/60 \approx 0.0166$。这是一个数量级上的巨大飞跃。

辅助结果

• 命题 1 (Proposition 1): 给出了在加权条件下，平移后的轮廓内存在零点的充分条件。
• 定理 3 (Theorem 3): 建立了关于格点平移密度的新估计，证明了在特定条件下，可行平移量的密度下界为 $\frac{1}{\delta} \text{vol}(A')$。
• 计算验证: 通过 $N=21$ 的具体计算，验证了 $\text{vol}(A')$ 足够大，使得 $2\kappa > 1/60$。

4. 技术细节与算法流程

1. 参数选择:

   • 取 $N=21$（前 21 个非平凡零点）。
   • 定义权重函数 $w_n(x)$，基于数值计算得到的 $F_N(z)$ 在特定轮廓上的实部下界。
   • 定义集合 $A = \{ (x_n) : \sum w_n(|x_n|) \le 1 \}$。

2. 格点构造 (Algorithm 1):

   • 输入向量 $u_j$（与频率向量 $\theta$ 正交的单位向量投影）。
   • 使用改进的 LLL 算法（参数 $\delta=1/4$，系数界限 $M=10^{300}$）寻找小整数线性组合，生成格基 $v_k$。
   • 验证生成的格基满足命题 2 的条件，即格点能紧密覆盖目标区域。

3. 体积估计 (Lemma 3 & Claim 5):

   • 将集合 $A'$ 离散化，通过计算超矩形（hyperrectangles）的体积和来估计 $\text{vol}(A')$。
   • 利用计算机严格证明：在选定的参数下，$\frac{2}{\delta} \text{vol}(A') \ge \frac{1}{60}$。

4. 误差控制:

   • 利用引理 1 和引理 2 严格控制截断误差 $R_N(y)$ 和数值近似误差。
   • 所有数值计算均使用区间算术（Interval Arithmetic）以确保数学上的严格性，排除舍入误差。

5. 意义与贡献 (Significance)

1. 突破长期停滞的界限:
   自 1980 年代以来，$\kappa_0$ 的下界改进一直非常微小（$10^{-248}$ 到 $10^{-30}$）。本文首次将这一改进提升到了常数级别（$1/60$），打破了长期以来的技术瓶颈。

2. 方法论创新:

   • 加权条件: 放弃了传统的“最坏情况”均匀界，采用加权求和，更贴合实际函数的性质。
   • 平铺方法: 将数论中的格点理论与复分析中的零点分布问题结合，提供了一种新的估计零点密度的范式。这种方法可能适用于其他涉及几乎周期函数零点分布的问题。

3. 计算数学的典范:
   论文展示了如何将复杂的解析数论问题转化为可计算的优化问题，并利用现代计算机代数系统（Mathematica, ARB）进行严格证明。这为处理涉及大量参数和复杂不等式的数论猜想提供了新的思路。

4. 对黎曼猜想的启示:
   虽然结果是在假设黎曼猜想成立的前提下推导的（用于处理 $N=21$ 的情况），但其核心方法（关于 $F^*(z)$ 的零点密度）本身具有独立性。如果黎曼猜想不成立，作者指出 $\kappa_0$ 的下界实际上会更大（$\ge 3 \times 10^{11}$），因此该结果在逻辑上是稳健的。

总结:
这篇论文通过引入“平铺方法”和改进的格点算法，结合严格的数值验证，成功地将素数定理误差项变号次数的下界从 $\gamma_0/\pi + \epsilon$ 提升到了 $\gamma_0/\pi + 1/60$。这不仅是一个数值上的巨大飞跃，更是解析数论中处理零点密度问题方法论上的重要突破。