The Riemann Hypothesis is false

这是一份关于 Tatenda Kubalalika 撰写的论文《黎曼猜想是假的》（THE RIEMANN HYPOTHESIS IS FALSE）的详细技术摘要。

重要提示：该论文声称证明了黎曼猜想（Riemann Hypothesis, RH）为假，即证明了黎曼 $\zeta$ 函数存在实部大于 $1/2$ 的零点，且这些零点的实部上确界 $\Theta = 1$。然而，必须指出的是，黎曼猜想是数学界最著名的未解难题之一，至今未被证明或证伪。 该论文发表于 arXiv 的 "General Mathematics" (math.GM) 分类下，且其结论与当前数学界的普遍认知及大量数值证据相悖。数学界通常认为此类声称“证伪”黎曼猜想的论文中存在未被发现的严重逻辑漏洞或计算错误。以下摘要仅基于论文文本本身的内容进行客观陈述。

---

1. 研究问题 (Problem)

论文旨在解决黎曼猜想（RH）的真伪问题。

• 背景：黎曼猜想断言黎曼 $\zeta$ 函数 $\zeta(s)$ 的所有非平凡零点的实部均为 $1/2$。
• 定义：令 $\Theta$ 为 $\zeta(s)$ 所有非平凡零点实部的上确界（supremum）。黎曼猜想等价于 $\Theta = 1/2$。
• 目标：作者试图证明 $\Theta = 1$，这意味着存在无穷多个零点位于临界线 $\Re(s) = 1/2$ 之外，且其实部可以任意接近 1，从而彻底推翻黎曼猜想。

2. 方法论 (Methodology)

作者采用了解析数论中的经典工具，结合显式公式和渐近分析，构建了一个反证法框架。主要技术路线如下：

A. 核心工具

1. Landau-Gonek 显式公式的变体：利用关于 $\zeta'(s)/\zeta(s)$ 的积分表示，将零点求和与素数分布函数（von Mangoldt 函数 $\Lambda(n)$）联系起来。
2. Dirichlet 多项式近似：利用 $\zeta(s)$ 的近似函数方程（Approximate Functional Equation）和截断和，处理 $\zeta(s)$ 在临界带内的行为。
3. 留数定理 (Residue Theorem)：构造一个矩形围道积分，通过计算围道内的留数来关联零点与 $\zeta'(s)/\zeta(s)$ 的积分。
4. 指数和估计：利用 Titchmarsh 的引理（如 Van der Corput 方法）处理涉及 $(2n)^{it}$ 的振荡项，特别是当 $2n$ 接近 $m$ 时的奇异行为。

B. 证明逻辑步骤

1. 构造积分：
   选取大参数 $T$ 和 $H \in [2T, 2T+1]$，构造围道积分：
   $$\sum_{T \le \gamma \le H} (2n)^{\rho-1} = \frac{1}{2\pi i} \oint \frac{\zeta'}{\zeta}(s) (2n)^{s-1} ds$$
   将积分分解为四部分 $I_1, I_2, I_3, I_4$。

2. 估计非主项 ($I_2, I_3, I_4$)：
   利用 $\zeta'(s)/\zeta(s)$ 的界和 $\zeta(s)$ 的近似函数方程，证明这些边界积分项的和在 $n$ 的特定范围内被 $O(T^{1/2} \log^8 T)$ 控制，相对于主项是低阶的。

3. 计算主项 ($I_1$)：
   $I_1$ 对应于垂直线 $\Re(s) = 1 + \frac{1}{\log 2n}$ 上的积分。利用 $\frac{\zeta'}{\zeta}(s) = -\sum \frac{\Lambda(m)}{m^s}$ 展开，得到涉及 $\Lambda(m)$ 和 $(2n)^{iT}$ 的级数。

   • 作者对 $m$ 和 $2n$ 的接近程度进行了精细分类（特别是 $|2n - m|$ 很小的情况）。
   • 利用分数部分 $\{x\}$ 的傅里叶级数性质，将振荡和转化为包含常数项（如欧拉 - 马斯刻若尼常数 $B$）的主项。
   • 最终推导出 $I_1$ 的渐近行为包含一个与 $T$ 成正比的非零主项：$(1 - B + \log(\pi/4)) \frac{T}{2\pi}$。

4. 矛盾推导 (反证法)：

   • 假设：假设黎曼猜想成立，即 $\Theta < 1$（实际上假设 $\Theta < 1$ 即可导出矛盾，因为若 $\Theta=1/2$ 则更成立）。
   • 推导：如果 $\Theta < 1$，则根据引理 1，零点求和 $\sum (2n)^{\rho-1}$ 的增长速度应被 $O(T^{\Theta-1})$ 控制。当 $\Theta < 1$ 时，该和随 $T \to \infty$ 趋于 0（或增长极慢）。
   • 矛盾：然而，通过上述积分计算得到的总和（结合 $I_1$ 的主项）显示其量级为 $O(T)$（线性增长）。
   • 结论：$O(T)$ 与 $O(T^{\Theta-1})$（当 $\Theta < 1$ 时）产生矛盾。因此，假设 $\Theta < 1$ 不成立，必须 $\Theta = 1$。

3. 关键贡献 (Key Contributions)

• 声称的证伪：论文声称通过严格的解析推导证明了 $\Theta = 1$，即存在无穷多个零点其实部趋于 1。
• 技术细节：
  • 详细处理了 Landau-Gonek 公式中涉及 $\log(2n/m)$ 奇异点的求和估计。
  • 提出了对 $I_1$ 积分中指数和的精细展开，利用分数部分的性质提取出了非零的线性主项。
  • 讨论了为何该方法不适用于 Weil zeta 函数或 Beurling zeta 函数（指出这些函数不满足论文中使用的特定引理，如 Titchmarsh 定理 4.11 的特定条件）。

4. 结果 (Results)

• 定理 1：$\Theta = 1$。
• 推论 1：存在一个无穷序列的零点，其实部收敛于 1。
• 推论 2：黎曼猜想（$\Theta = 1/2$）为假。
• 备注：作者指出，对于足够大的 $T$，存在零点 $\rho_T$ 使得 $T \le \Im(\rho_T) \le 2T+1$ 且 $\Re(\rho_T) = 1 - o(1)$。

5. 意义与局限性 (Significance & Limitations)

理论意义（基于论文主张）

如果该证明成立，它将彻底改变解析数论的基础，推翻过去一百多年来基于黎曼猜想成立的无数定理（如素数分布的误差项估计、密码学中的某些假设等）。它表明 $\zeta$ 函数的零点分布比预期的要“混乱”得多。

现实评估与潜在问题（基于数学界共识）

尽管论文试图通过严谨的渐近分析来构建证明，但此类声称证伪黎曼猜想的论文通常存在以下问题，这也是数学界尚未接受该结论的原因：

1. 数值证据的缺失：目前已有超过 $10^{13}$ 个非平凡零点被计算，且全部位于临界线上。如果 $\Theta=1$，在如此大的范围内应该能观察到明显的偏离，但并未发现。
2. 逻辑漏洞的可能性：
   • 论文中涉及的渐近展开（特别是 $O(T)$ 主项的提取）极其复杂，极易在交换求和顺序、处理误差项或估计指数和时出现隐蔽的错误。
   • 作者假设了某些特定的 $T$ 和 $H$ 存在，且依赖于 $\zeta'(s)/\zeta(s)$ 的特定界，这些界在 $\Theta$ 接近 1 的假设下可能不再成立（循环论证风险）。
   • 论文中使用的 Titchmarsh 定理 4.11 通常要求 $\sigma$ 有下界，作者在推广到 $\sigma \to 0$ 时的处理可能不够严谨（作者在 Remark 4 中承认了这一点，但这反而削弱了证明的普适性）。
3. 分类与同行评审：该论文发布在 arXiv 的 "General Mathematics" 分类，而非经过严格同行评审的顶级数学期刊。在黎曼猜想问题上，任何声称的证明都需要经过极其严苛的审查。

总结

Tatenda Kubalalika 的这篇论文提出了一种基于 Landau-Gonek 显式公式和精细指数和估计的新方法，试图证明黎曼 $\zeta$ 函数零点的实部上确界为 1，从而证伪黎曼猜想。论文在形式上构建了一个完整的反证法链条，导出了线性增长的主项与假设下的次线性增长之间的矛盾。然而，鉴于黎曼猜想的极端难度和现有的强有力数值证据，该证明极大概率包含未被发现的深层错误。目前，黎曼猜想仍被视为真，该论文尚未被主流数学界接受为有效证明。