Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

该论文通过计算黎曼$\zeta$函数的小林多夫型最小无零区域，证明了在$k \ge 65$的连续$k$次幂之间总存在素数，具体确立了连续$86$次幂间必含素数的结论，并找到了一个在连续$70$次幂间存在素数的整数子序列，从而量化了向勒让德猜想推进的进展。

要点

这篇论文就像是一位数学侦探，正在努力解开一个困扰了人类很久的谜题：在两个紧挨着的“完美数字方块”之间，是否一定藏着一个“质数”（素数）？

为了让你轻松理解，我们把这篇论文的核心内容拆解成几个生动的故事场景：

1. 核心谜题：质数在哪里？

想象一下，数字世界是由一个个完美的立方体（或者更高维度的方块）组成的。

• $1^k, 2^k, 3^k \dots$ 就是这些方块的大小。
• 传奇的猜想（勒让德猜想）：数学家们一直想知道，在 $n^2$ 和 $(n+1)^2$ 这两个紧挨着的平方数之间，是不是永远至少有一个质数？（比如 4 和 9 之间有 5, 7；9 和 16 之间有 11, 13）。
• 现状：这个猜想太难了，目前连最聪明的数学家都证明不了。

2. 侦探的退而求其次：先找“大”方块

既然证明“平方数”之间一定有质数太难，作者 Ethan Simpson Lee 决定先退一步：

• 如果我们把方块做得更大（比如 $n^{86}$ 和 $(n+1)^{86}$ 之间），是不是就更容易找到质数了？
• 以前的成绩：之前的侦探们证明，只要方块大到 $n^{90}$ 次方，中间就肯定有质数。
• 本文的突破：作者把门槛从 90 降低到了 86。
  • 通俗解释：以前我们要找 $n^{90}$ 这么大的两个数字之间才有质数，现在作者证明，只要找 $n^{86}$ 这么大的数字之间，就肯定有质数。这虽然看起来只是数字变小了一点点，但在数学上，这是向终极目标迈出的巨大一步。

3. 侦探的武器：寻找“幽灵”的禁区

为什么证明这件事这么难？因为质数的分布像是一个调皮的幽灵，有时候很密集，有时候又很稀疏。

• 黎曼 Zeta 函数：这是数学家用来追踪这个“幽灵”行踪的雷达。
• 零点的幽灵：这个雷达上有一些特殊的点叫“零点”。如果这些零点出现在某些特定的区域（就像幽灵出现在不该出现的房间），质数的分布就会变得混乱，我们就没法保证两个数字之间一定有质数。
• 作者的策略：
  • 作者计算出了这些“幽灵”绝对不能出现的禁区（Zero-free regions）。
  • 这就好比给幽灵画了一个圈，只要幽灵不在这个圈里捣乱，我们就敢拍着胸脯说：“这两个大数字之间，绝对有质数！”
  • 作者发现，只要幽灵不进入一个非常狭窄、非常特殊的“禁区”，我们就能把那个 $n^{86}$ 的门槛进一步降低。

4. 两个特别的“战术”

为了证明更小的数字之间也有质数，作者用了两个聪明的战术：

• 战术一：绕过“小数字”的坑（针对 $n^{70}$）

  • 对于非常大的数字，证明很容易；但对于刚开始的几百个数字，证明很难。
  • 作者想：如果我不从 $n=1$ 开始数，而是从 $n=10^{98}$ 这么大的数字开始数，是不是就简单了？
  • 结果：他证明了，只要数字大到一定程度（比如 $10^{98}$以上），在$n^{70}$和$(n+1)^{70}$ 之间，肯定有质数。这就像说：“虽然我不能保证你刚出生的时候口袋里有钱，但我保证你活到 100 岁以后，口袋里肯定有钱。”

• 战术二：如果幽灵听话，我们就能走得更远（针对 $n^{65}$ 到 $n^{85}$）

  • 作者列出了一张“愿望清单”（表 1）。
  • 他说：“如果我们能证明幽灵（零点）在某个特定的狭窄区域里绝对不出现，那么我就能证明在 $n^{70}$、$n^{75}$ 甚至 $n^{85}$ 之间都有质数。”
  • 意义：这就像是在给未来的数学家指路。作者说：“看，只要你们能攻克这个具体的‘禁区’，我们就能把质数存在的门槛从 86 降到 70，甚至更低！”这量化了我们距离解决那个终极谜题还有多远。

5. 总结：这篇论文到底说了什么？

用一句话概括：
作者通过更精密的计算，证明了在两个巨大的“完美方块”（$n^{86}$ 和 $(n+1)^{86}$）之间，一定藏着至少一个质数。同时，他还画出了一张“藏宝图”，告诉未来的数学家：只要你们能确认“幽灵”不在某个特定的小房间里，我们就能把质数存在的门槛降得更低，离解开“平方数之间必有质数”的终极谜题就更近一步。

打个比方：
这就好比我们要证明“在两座高山之间一定有一条路”。

• 以前大家只能证明：两座极高的山（$n^{90}$）之间肯定有路。
• 现在作者证明：两座稍微矮一点的山（$n^{86}$）之间也肯定有路。
• 而且作者还画了张图说：“如果我们能确认山顶没有‘迷雾’（零点）遮挡，我们就能证明两座更矮的山（$n^{70}$）之间也有路。”

这篇论文虽然没有直接证明那个最难的猜想，但它把“路”铺得更宽、更近了，让那个看似遥不可及的数学圣杯，看起来触手可及了一些。

技术摘要

这是一份关于 Ethan Simpson Lee 论文《MINIMAL ZERO-FREE REGIONS FOR RESULTS ON PRIMES BETWEEN CONSECUTIVE PERFECT kTH POWERS》（连续完全 $k$ 次幂之间素数的最小无零区域）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
Legendre 猜想（Legendre's Conjecture）断言在任意两个连续完全平方数 $(n^2, (n+1)^2)$ 之间至少存在一个素数。尽管这是一个著名的未解决问题，甚至在黎曼猜想（RH）成立的假设下目前也无法证明，但数学家们致力于寻找最小的整数 $k \ge 3$，使得对于所有 $n \ge 1$，区间 $(n^k, (n+1)^k)$ 内至少存在一个素数。

现有进展：

• Ingham (1937) 证明了对于充分大的 $n$，在 $(n^3, (n+1)^3)$ 中存在素数。
• Cully-Hugill (2023) 将结果显式化，证明对于 $n \ge \exp(\exp(32.892))$，$k=3$ 成立。
• 近期研究（如 [8]）表明，无条件地（unconditionally）证明对于所有 $n \ge 1$ 成立的最小 $k$ 值目前为 $k=90$。

本文目标：

1. 改进上述界限，证明更小的 $k$ 值（具体为 $k=86$）对于所有 $n \ge 1$ 成立。
2. 针对 $k < 86$ 的情况，探索两种替代策略：
   • 针对 $k=70$，证明在正整数的一个特定子集上存在素数。
   • 计算黎曼 $\zeta$ 函数所需的最小无零区域（Minimal Zero-Free Regions），以确定若 $\zeta$ 函数在这些区域内无零点，则 $k=85, 80, 75, 70$ 等值成立。

2. 方法论 (Methodology)

证明区间 $(n^k, (n+1)^k)$ 内存在素数，等价于证明切比雪夫函数 $\theta(x)$ 的差值 $\theta((n+1)^k) - \theta(n^k) > 0$。通过变量代换 $x = n^k$ 和 $h = kx^{1-1/k}$，问题转化为证明 $\theta(x+h) - \theta(x) > 0$。

作者采用了以下三个核心要素的组合策略：

1. $\zeta$ 函数的无零区域 (Zero-free Regions)：

   • 利用 Littlewood 形式的无零区域：$\sigma \ge 1 - \frac{\log \log |t|}{Z \log |t|}$。
   • 结合了 Yang 的博士论文结果以及 Ford 的改进结果，构建了更紧致的无零区域边界 $\hat{Z}(t)$。

2. 零点密度估计 (Zero-density Estimates)：

   • 使用 $N(\sigma, T)$ 表示实部 $\beta > \sigma$ 且虚部 $\gamma \le T$ 的非平凡零点个数。
   • 应用了 Bellotti 和 Wong 的最新显式常数，以及 Bellotti 的显式上界 $N(\sigma, T) \le C T^{B(1-\sigma)}$。
   • 创新点：为了获得更优的 $k$ 值，作者没有单一依赖某个 $N(\sigma, T)$ 的界限，而是组合使用了多个界限。对于 $67 \le k \le 85$，通过在不同$x$范围内切换使用不同的$N(\sigma, T)$上界（针对小$T$和大$T$分别优化），显著降低了所需的$x$ 阈值。

3. 截断 Riemann-von Mangoldt 公式的误差控制：

   • 利用 Cully-Hugill 和 Johnston 的显式误差界。
   • 推导了命题 3.1，给出了 $\theta(x+h) - \theta(x)$ 的显式下界，该下界依赖于无零区域参数 $Z$、零点密度参数 $(C, B)$ 以及误差项常数。

具体技术路径：

• 命题 3.1：建立了 $\theta(x+h) - \theta(x)$ 的通用下界公式，该公式显式依赖于无零区域参数和零点密度估计。
• 命题 3.2：利用现有的无零区域和密度估计，计算了对于 $k \in [65, 90]$，使得不等式成立的 $x$ 的下界（分为 $x_A$ 和 $x_B$ 两个区间，分别对应不同的参数策略）。
• 命题 3.3：利用 Cully-Hugill 和作者之前的工作，覆盖了中等范围的 $x$（$4 \cdot 10^{18} \le x \le \dots$），这部分是无条件成立的。
• 命题 3.4：针对未被上述命题覆盖的中间区间，计算了所需的最小无零区域参数 $Z$ 和 $T$ 的上限。

3. 主要贡献与结果 (Key Contributions & Results)

A. 主要定理结果

1. 定理 1.2 (改进的无条件界限)：

   • 证明了对于所有整数 $n \ge 1$，在区间 $(n^{86}, (n+1)^{86})$ 内至少存在一个素数。
   • 这比之前的 $k=90$ 有了显著改进。

2. 定理 1.3 (特定子集上的 $k=70$)：

   • 构造了一个整数序列 $a_n = n(1 + \lfloor N/n \rfloor)$。
   • 证明了若 $N \ge \exp(\frac{15951}{70}) - \exp(\frac{2135}{70}) \approx 9.189 \times 10^{98}$，则在区间 $(a_n^{70}, a_{n+1}^{70})$ 内至少存在一个素数。
   • 这意味着对于所有 $n > 9.189 \times 10^{98}$，区间 $(n^{70}, (n+1)^{70})$ 内存在素数。

3. 定理 1.4 (最小无零区域条件)：

   • 给出了 $k \in \{85, 80, 75, 70\}$ 成立所需的 $\zeta$ 函数无零区域的具体参数 $(z_k, T_k)$。
   • 核心发现：如果 $\zeta(\sigma + it) \neq 0$ 在区域 $1 - \frac{\log \log |t|}{z_k \log |t|} \le \sigma \le 1$且$H_R < |t| \le T_k$内成立，则$k$ 值成立。
   • 具体数值示例：
     • 对于 $k=70$，若 $\zeta$ 在 $0.99168 \le \sigma \le 1$且$|t| \le e^{264.334}$ 范围内无零点，则结论成立。
     • 表 1 列出了 $k=85, 80, 75, 70$ 对应的 $z_k$ 和 $\log T_k$ 值。

B. 辅助结果

• 命题 3.1：提供了一个参数化的 $\theta(x+h) - \theta(x)$ 下界公式，该公式易于更新，对未来研究具有独立价值。
• 计算优化：通过组合使用不同的 $N(\sigma, T)$ 界限，成功将 $k$ 的适用范围从 $k \ge 86$ 扩展到了 $67 \le k \le 85$ 的更精细计算中。

4. 意义与影响 (Significance)

1. 推进 Legendre 猜想的边界：
   虽然完全证明 $k=2$（Legendre 猜想）仍遥不可及，但本文将无条件证明的 $k$ 值从 90 降低到了 86，并量化了证明 $k=70$ 等里程碑所需的“无零区域”难度。

2. 量化计算难度：
   论文通过计算所需的 $T_k$（即需要验证 $\zeta$ 函数无零点的虚部高度），直观地展示了距离证明 $k=70$ 还有多远。例如，对于 $k=70$，需要验证的高度高达 $e^{264.334}$，这远超目前的计算能力（Platt 和 Trudgian 已验证到 $3 \times 10^{12}$ 左右）。这为未来的计算数论研究提供了明确的目标和难度评估。

3. 方法论的改进：
   作者展示了通过组合多个零点密度界限（而非单一界限）可以显著优化结果。这种策略在 $67 \le k \le 85$ 的范围内特别有效，为处理类似素数分布问题提供了新的技术思路。

4. 显式常数与可复现性：
   论文提供了详细的显式常数表（Table 1-5），并公开了 Python 代码，使得结果完全可复现，且参数化公式便于未来随着 $\zeta$ 函数零点分布知识的更新而进行调整。

总结

Ethan Simpson Lee 的这篇论文通过精细的解析数论技术，特别是结合最新的 $\zeta$ 函数零点分布估计和误差控制，成功将“连续 $k$ 次幂间存在素数”的无条件证明界限从 $k=90$ 推进至 $k=86$。同时，论文通过计算所需的“最小无零区域”，清晰地描绘了证明更小 $k$ 值（如 $k=70$）所需的理论突破方向，为理解素数在短区间内的分布提供了重要的定量参考。