2025-11-24T21:55:17.095288

The number of primes in short intervals and numerical calculations for Harman's sieve

Li
The author gives nontrivial upper and lower bounds for the number of primes in the interval $[x - x^θ, x]$ for some $0.52 \leqslant θ\leqslant 0.525$, showing that the interval $[x - x^{0.52}, x]$ contains prime numbers for all sufficiently large $x$. This refines a result of Baker, Harman and Pintz (2001) and gives an affirmative answer to Harman and Pintz's argument. New arithmetic information, a delicate sieve decomposition, various techniques in Harman's sieve and accurate estimates for integrals are used to good effect.
academic

The number of primes in short intervals and numerical calculations for Harman's sieve

基本信息

  • 论文ID: 2308.04458
  • 标题: The number of primes in short intervals and numerical calculations for Harman's sieve
  • 作者: Runbo Li
  • 分类: math.NT (数论)
  • 发表时间: 2023年8月 (最新版本2025年10月)
  • 论文链接: https://arxiv.org/abs/2308.04458

摘要

作者给出了区间 [x−xθ,x][x - x^θ, x] 中素数个数的非平凡上界和下界，其中 0.52⩽θ⩽0.5250.52 \leqslant θ \leqslant 0.525，证明了对于所有足够大的 xx，区间 [x−x0.52,x][x - x^{0.52}, x] 都包含素数。这改进了 Baker, Harman 和 Pintz (2001) 的结果，并给出了 Harman 和 Pintz 论证的肯定答案。文中有效运用了新的算术信息、精细的筛法分解、Harman 筛法中的各种技术以及积分的精确估计。

研究背景与动机

核心问题

该研究要解决的是经典的短区间素数分布问题：确定形如 [x−xθ,x][x - x^θ, x] 的短区间中素数个数的渐近行为，特别是找到使得此类区间必然包含素数的最小指数 θθ。

问题重要性

  1. 理论意义：短区间素数分布是解析数论的核心问题之一，直接关联素数定理的精细化
  2. 历史地位：自 Cramér 1937年猜想以来，该问题吸引了众多数学家的关注
  3. 技术挑战：需要结合筛法、指数和估计、L函数零点分布等深刻理论

历史发展

  • 1930年 Hoheisel：首次证明存在 θ<1θ < 1 使得渐近公式成立 (θ≥1−1/33000θ ≥ 1 - 1/33000)
  • 1972年 Huxley：通过零点密度估计将 θθ 降至 7/127/12
  • 2024年 Guth-Maynard：最新的零点密度结果将 θθ 降至 17/3017/30
  • 筛法发展：1979年 Iwaniec-Jutila 引入筛法，随后 BHP (2001) 达到 θ=0.525θ = 0.525

现有局限性

Baker-Harman-Pintz (BHP) 的开创性工作虽然达到了 θ=0.525θ = 0.525，但存在以下问题：

  1. 计算细节几乎完全省略，难以验证和改进
  2. Kumchev 指出 θ=0.52θ = 0.52 超出了当时技术范围
  3. 缺乏系统的数值计算框架

核心贡献

  1. 突破0.52壁垒：首次严格证明了 θ=0.52θ = 0.52 的可行性，解决了Kumchev提出的技术挑战
  2. 提供完整计算细节：填补了BHP工作中省略的大量计算，使结果可验证和可复现
  3. 发展新算术信息：证明了Lemmas 4.4-4.5等新的算术引理，扩展了筛法的适用范围
  4. 优化筛法分解：通过角色反转、反向Buchstab恒等式等技术显著改进了损失估计
  5. 建立数值计算框架：使用C++和Mathematica交叉验证，确保计算的准确性

方法详解

任务定义

输入：正整数 xx 和参数 θ∈[0.52,0.525]θ \in [0.52, 0.525]输出：区间 [x−xθ,x][x - x^θ, x] 中素数个数 π(x)−π(x−xθ)π(x) - π(x - x^θ) 的上界和下界 目标：证明存在常数 LB(θ),UB(θ)LB(θ), UB(θ) 使得 LB(θ)xθlog⁡x≤π(x)−π(x−xθ)≤UB(θ)xθlog⁡xLB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}

核心架构：Harman筛法

1. 基本设置

定义关键参数：

  • A={a:a∈Z,x−y≤a<x}A = \{a : a ∈ Z, x - y ≤ a < x\}，其中 y=xθ+εy = x^{θ+ε}
  • B={b:b∈Z,x−y1≤b<x}B = \{b : b ∈ Z, x - y_1 ≤ b < x\}，其中 y1=xexp⁡(−3(log⁡x)1/3)y_1 = x \exp(-3(\log x)^{1/3})
  • S(C,z)=∑a∈C,(a,P(z))=11S(C, z) = \sum_{a∈C, (a,P(z))=1} 1

目标转化为估计 S(A,x1/2)S(A, x^{1/2})。

2. 筛法分解策略

通过Buchstab恒等式递归分解： S(C,z)=S(C,w)−∑w≤p<zS(Cp,p)S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)

关键思想：证明稀疏集合AA与密集集合BB的渐近关系： S(A,z)=yy1(1+o(1))S(B,z)S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)

3. 区域划分

将积分区域分为三个子区域：

  • 区域A：{α2:1/4≤α1≤2/5,1/3(1−α1)≤α2≤min⁡(α1,1/2(1−α1))}\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}
  • 区域B：{α2:1/3≤α1≤1/2,max⁡(1/2α1,1−2α1)≤α2≤1/2(1−α1)}\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}
  • 区域C：其余区域

技术创新点

1. 新算术信息 (Lemmas 4.4-4.5)

扩展了传统的Type-II信息到Type-II5和Type-II6，通过更精细的Hölder不等式和均值定理：

Lemma 4.4：对于5维情况，在满足特定条件下可获得渐近公式： ∑l1l2l3l4l5∈Aal1bl2cl3dl4el5\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}

2. 角色反转技术

在4维和6维求和中，通过交换变量角色，将较大的4D损失替换为更小的6D损失。

3. 反向Buchstab恒等式

∑α4S(Ap1p2p3p4,(x/(p1p2p3p4))1/2)=∑α4S(Ap1p2p3p4,p4)−∑α4∑α4<α5<1/2(1−α1−α2−α3−α4)S(Ap1p2p3p4p5,p5)\sum_{α_4} S(Ap_1p_2p_3p_4, (x/(p_1p_2p_3p_4))^{1/2}) = \sum_{α_4} S(Ap_1p_2p_3p_4, p_4) - \sum_{α_4} \sum_{α_4<α_5<1/2(1-α_1-α_2-α_3-α_4)} S(Ap_1p_2p_3p_4p_5, p_5)

通过这种"分割"技术，使几乎素数变得可见，从而减少损失。

实验设置

计算环境

  • 硬件：Intel(R) Xeon(R) Platinum 8383C CPU，160线程
  • 软件：C++ (主要计算) + Mathematica 14 (交叉验证)
  • 并行化：80个Wolfram核心

数值积分策略

  1. 分层计算：按维数递增顺序计算积分
  2. 误差控制：使用上界函数ω1(u)ω_1(u)和下界函数ω0(u)ω_0(u)
  3. 交叉验证：C++和Mathematica独立计算后比较

区域定义

定义了13个不同的积分区域(UC01UC_{01}到UC13UC_{13}, VC1VC_1到VC7VC_7等)，每个对应特定的筛法分解路径。

实验结果

主要结果

Theorem 1：对于所有足够大的xx，区间[x−x0.52,x][x - x^{0.52}, x]包含素数。

Theorem 2：对于0.52≤θ≤0.5250.52 ≤ θ ≤ 0.525和ε>0ε > 0，有 LB(θ)xθ+εlog⁡x≤π(x)−π(x−xθ+ε)≤UB(θ)xθ+εlog⁡xLB(θ) \frac{x^{θ+ε}}{\log x} ≤ π(x) - π(x - x^{θ+ε}) ≤ UB(θ) \frac{x^{θ+ε}}{\log x}

具体数值结果：

θLB(θ)UB(θ)
0.520>0.004<2.874
0.521>0.075<2.700
0.522>0.134<2.583
0.523>0.169<2.536
0.524>0.209<2.437
0.525>0.249<2.347

技术改进效果

下界改进

通过新的分解策略，总损失控制在：

  • 区域A：< 0.241 (2维损失)
  • 区域C：< 0.514 (包含高维补偿)
  • 总损失：< 0.996，确保下界 > 0.004

上界计算

上界计算更为复杂，总损失 < 1.874，得到上界 < 2.874。

数值验证

C++和Mathematica计算结果的对比显示了良好的一致性，误差在可接受范围内。

相关工作

历史发展脉络

  1. 经典方法：基于黎曼ζ函数零点分布的解析方法
  2. 筛法革命：Iwaniec-Jutila (1979) 引入筛法
  3. BHP突破：结合Harman筛法和Watt功率均值定理
  4. 后续发展：各种技术改进和数值优化

本文定位

  • 在BHP框架内的深度优化
  • 首次提供完整可验证的计算
  • 为进一步改进奠定基础

应用与推广

论文展示了15个重要应用：

1. 算术级数中的素数 (Theorem 3)

π(x;q,a)−π(x−x0.52;q,a)≥0.004x0.52φ(q)log⁡xπ(x; q, a) - π(x - x^{0.52}; q, a) ≥ 0.004 \frac{x^{0.52}}{φ(q) \log x}

2. 素数间隙问题 (Theorem 4)

短区间内存在≫ x0.52(log⁡x)−kx^{0.52}(\log x)^{-k}对连续素数，间隙有界。

3. Goldbach问题

  • Theorem 6：几乎所有区间[x,x+x13/225][x, x + x^{13/225}]中的偶数都是Goldbach数
  • Theorem 7：区间[x,x+x26/1075][x, x + x^{26/1075}]包含Goldbach数

4. 其他应用

包括虚二次域的素理想分布、Carmichael数估计、Linnik常数等。

结论与讨论

主要结论

  1. 技术突破：成功突破了θ = 0.52的壁垒
  2. 方法创新：发展了多项筛法优化技术
  3. 计算验证：建立了完整的数值验证框架
  4. 应用广泛：在多个数论问题上取得改进

局限性

  1. 方法局限：仍在Harman筛法框架内，难以获得质的飞跃
  2. 计算复杂：高维积分计算极其复杂，限制了进一步改进
  3. 常数问题：虽然改进了指数，但常数仍有优化空间

未来方向

  1. 新筛法技术：探索超越现有框架的新方法
  2. 计算优化：发展更高效的数值计算技术
  3. 理论突破：寻求与L函数零点分布的新联系

深度评价

优点

  1. 技术深度：在极其复杂的技术框架内实现了实质性突破
  2. 计算严谨：提供了前所未有的计算细节和验证
  3. 应用丰富：展示了广泛的数论应用
  4. 方法创新：发展了多项有价值的技术改进

不足

  1. 阅读难度：技术细节极其复杂，理解门槛很高
  2. 改进幅度：虽有突破但改进相对有限
  3. 通用性：方法高度专门化，难以推广到其他问题

影响力

  1. 学术价值：解决了该领域的一个重要技术难题
  2. 方法贡献：为筛法理论提供了新的技术工具
  3. 实用价值：在多个相关问题上产生了直接应用

适用场景

该方法特别适用于需要精确控制筛法损失的数论问题，尤其是涉及短区间分布的各类问题。

参考文献

论文包含了丰富的参考文献，涵盖了从经典的素数定理到最新的筛法技术的完整发展历程，为读者提供了深入学习的指引。

这篇论文代表了解析数论中筛法理论的一个重要进展，通过精细的技术改进和大量的数值计算，成功突破了长期存在的技术壁垒，为相关领域的进一步发展奠定了坚实基础。