[论文解读] Bounded gaps between primes of the special form

Hongze Li, Hao Pan|arXiv (Cornell University)|Mar 18, 2014

Analytic Number Theory Research参考文献 5被引用 10

一句话总结

该论文通过将改进的Maynard筛法应用于满足 $ p+2 $ 因子较少的素数 $ p $，建立了特定形式素数之间的有界间隔。证明了存在无穷多组 $ m+1 $ 个素数，其间隔为 $ O(m^4 e^{8m}) $，其中每个 $ p_j + 2 $ 的素因子个数至多为 $ \frac{16m}{\log 2} + \frac{5\log m}{\log 2} + 37 $，将Maynard-Tao的有界间隔结果推广至 $ \mathcal{P}_d^{(2)} $ 类素数。

ABSTRACT

For each $m\geq 1$, there exist infinitely many primes $p_1

研究动机与目标

• 解决素数 $ p $ 满足 $ p+2 $ 素因子较少的渐近公式稀缺问题，这是素数分布理论中的一个关键空白。
• 通过控制 $ p+2 $ 的素因子个数，将Maynard-Tao有界间隔定理推广至特殊素数类 $ \mathcal{P}_d^{(2)} $，其中 $ \Omega(p+2) \leq d $。
• 建立对 $ p+2 $ 的素因子个数的定量界限，以保证此类素数中存在有界间隔。
• 提供 $ m+1 $ 个此类素数之间间隔大小的显式、有效上界，优于以往的定性结果。
• 将筛法推广以纳入除数函数约束，并保持对 $ p+2 $ 中素因子个数的控制。

提出的方法

• 将Maynard筛法改进以纳入除数函数 $ \tau(n) $，通过加权和实现对 $ p+2 $ 素因子个数的控制。
• 使用在单纯形 $ \Delta_{k_0,1} $ 上的光滑紧支函数 $ f $，并定义 $ F $ 和 $ G_m $ 为其混合偏导数，以构造筛权。
• 应用改进的Bombieri-Vinogradov定理，结合截断的除数函数和，利用平移集 $ \{h_1, \dots, h_{k_0}\} $ 的容许性。
• 引入参数 $ C_2 = 1161k_0^2 \gamma^{-1} $ 以控制 $ \Omega(p+2) \leq \frac{\log C_2}{\log 2} $，确保素因子个数保持较小。
• 通过仔细选择参数 $ \delta_1, \delta_2, A, \gamma $ 平衡主项 $ \alpha $ 与误差项 $ \beta_1, \beta_2 $，优化筛法，从而获得有效界限。
• 利用Möbius函数和互素条件，通过 $ W = \prod_{p \leq \log\log\log x} p $ 确保筛法能检测算术级数中素数，且 $ p+2 $ 的因式分解受控。

实验结果

研究问题

• RQ1 Maynard-Tao有界间隔结果能否推广至满足 $ p+2 $ 素因子个数有界的素数 $ p $？
• RQ2 当 $ d $ 是 $ m $ 的函数时，$ m+1 $ 个素数 $ p $ 满足 $ \Omega(p+2) \leq d $ 的间隔最优上界是什么？
• RQ3 如何修改Maynard筛法以纳入对 $ p+2 $ 素因子个数的约束，而不仅仅是检测素数？
• RQ4 能否推导出 $ p+2 $ 的间隔大小和素因子个数的显式、有效上界，而非仅存在性结论？
• RQ5 能否构造一个容许元组 $ \{h_1, \dots, h_{k_0}\} $，使得生成的素数 $ n + h_j $ 满足 $ \Omega(n + h_j) \leq d $，且对 $ m+1 $ 个指标有 $ n + h_j $ 为素数？

主要发现

• 存在无穷多组 $ m+1 $ 个素数 $ p_1 < \cdots < p_{m+1} $，其间隔 $ p_{m+1} - p_1 = O(m^4 e^{8m}) $，且该间隔大小有显式上界。
• 对每个 $ j $，$ p_j + 2 $ 的素因子个数满足 $ \Omega(p_j + 2) \leq \frac{16m}{\log 2} + \frac{5\log m}{\log 2} + 37 $，提供了对 $ p_j + 2 $ 因式分解的定量控制。
• 当 $ m = 1 $ 时，该界限表明存在无穷多组不同的素数 $ p_1, p_2 \in \mathcal{P}_{59}^{(2)} $，满足 $ |p_2 - p_1| \leq 3 \times 10^9 $，证实了该特殊类中存在有界间隔。
• 该方法在误差项和间隔界限中给出了有效常数，使结果具有构造性，并对小的 $ m $ 可数值验证。
• 通过选择 $ k_0 \geq m^2 e^{4m+8} $，该方法保证存在无穷多组 $ m+1 $ 个素数，满足 $ \Omega(p_j + 2) \leq \frac{3\log k_0}{\log 2} + \frac{1}{\log 2}\log\log k_0 + 9 $，优于先前的界限。
• 分析确认筛法可被调整以控制 $ p+2 $ 中的素因子个数，将有界间隔定理的适用范围从单纯素数检测扩展至更广泛的情形。