[论文解读] Long gaps between primes

Kevin Ford, Ben Green+3 more|arXiv (Cornell University)|Dec 16, 2014

Analytic Number Theory Research参考文献 23被引用 13

一句话总结

本文建立了关于不超过 $ X $ 的连续素数之间最大间隔 $ G(X) $ 的新下界，证明了 $ G(X) \gg \frac{\log X \log_2 X \log_4 X}{\log_3 X} $，显著优于以往结果。作者通过将 Pippenger 和 Spencer 的超图覆盖定理推广，并运用 Rödl 啃食法，在多维素数探测筛法框架内构造出不含素数的长区间，从而实现该结果。

ABSTRACT

Let $p_n$ denotes the $n$-th prime. We prove that $$\max_{p_{n+1} \leq X} (p_{n+1}-p_n) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}$$ for sufficiently large $X$, improving upon recent bounds of the first three and fifth authors and of the fourth author. Our main new ingredient is a generalization of a hypergraph covering theorem of Pippenger and Spencer, proven using the Rödl nibble method.

研究动机与目标

• 改进不超过 $ X $ 的连续素数之间最大间隔 $ G(X) $ 的定量下界，超越以往未充分运用多维筛法潜力的研究成果。
• 将 Pippenger 和 Spencer 的超图覆盖定理推广，以在素数间隔的背景下实现更灵活、更有效的筛法构造。
• 通过结合筛法与先进覆盖技术，对先前结果（包括前三位作者及第五位作者、第四位作者的结果）实现有效且定量的改进。
• 为未来关于连续大素数间隔链的研究奠定基础，通过比定理 1 所需更一般的形式提出关键命题。

提出的方法

• 作者使用 Rödl 啃食法推广 Pippenger-Spencer 超图覆盖定理，以允许对集合进行更灵活、更稳健的覆盖，且误差项受控。
• 他们应用一种具有精心选择权重的多维素数探测筛法，以识别不含素数的长区间，利用素数中线性型的结构。
• 该方法涉及构造筛权函数 $ w_{k,\mathcal{L},B,R}(n) $，以检测具有受控密度的等差数列中的整数，利用筛法的对偶形式估算平移区间中素数的数量。
• 关键估计依赖于奇异级数 $ \mathfrak{S} $、奇异积分 $ J_k $ 和对偶奇异积分 $ I_k $，它们控制素数线性方程组解的期望数量。
• 证明采用混合方法，结合 [32] 的筛论框架与 [13] 的线性型方法，尤其通过使用容许元组和剩余类来覆盖区间。
• 一个关键步骤是证明筛权在直线型的小扰动下保持稳定，误差项通过 $ O(1/\log_{2}^{10}x) $ 边界控制。

实验结果

研究问题

• RQ1 能否将最大素数间隔 $ G(X) $ 的下界提升至先前工作所确立的 $ \frac{\log X \log_2 X}{\log_3 X} $ 阈值之上？
• RQ2 能否构造一个广义的超图覆盖定理，使得在多维素数探测中能有效控制筛法误差项？
• RQ3 Rödl 啃食法在多大程度上可被调整，以在筛论构造中实现素数间隔的定量改进？
• RQ4 如何统一多维筛法与素数中的线性型方法，以获得更大素数间隔的更强下界？

主要发现

• 本文为所有充分大的 $ X $ 建立了新下界 $ G(X) \gg \frac{\log X \log_2 X \log_4 X}{\log_3 X} $，相较于以往结果实现了显著的定量改进。
• 该下界中的隐含常数是有效的，意味着该结果不仅具有渐近意义，也具有计算上的实际意义。
• 作者证明了一个广义的超图覆盖定理，扩展了 Pippenger-Spencer 的结果，在极值组合学中具有独立兴趣。
• 该方法成功结合了 [32] 的筛论框架与 [13] 的线性型方法，实现了对误差项的更紧密控制和更优估计。
• 证明依赖于对奇异级数 $ \mathfrak{S} $、对偶奇异积分 $ I_k $ 和主项 $ J_k $ 的精细分析，这些是估算平移区间中素数解数量的关键。
• 作者证明筛权在直线型的小扰动下保持稳定，误差项被控制在 $ O(1/\log_{2}^{10}x) $ 以内，足以吸收低阶项的贡献。