[论文解读] Primes in intervals of bounded length

Andrew Granville|arXiv (Cornell University)|Oct 30, 2014

Analytic Number Theory Research参考文献 40被引用 4

一句话总结

本文綜合了素數有界間隔的突破性進展，將張益唐與梅納德-陶的工作推廣，證明對任意整數 $ m \geq 1 $，存在無限多組長度為 $ B_m = e^{8m+5} $ 的區間，其中至少包含 $ m $ 個不同的素數。本文統合並簡化了張益唐、Polymath8 和梅納德-陶的方法，顯示結合兩者方法可將有界間隔縮小至 246，並強調現有技術的限制，指出需新思路才能達成孿生素數猜想所追求的間隔大小 2。

ABSTRACT

The Twin Prime conjecture states that there are infinitely many pairs of distinct primes which differ by $2$. Until recently this conjecture had seemed to be far out of reach with current techniques. However, in April 2013, Yitang Zhang proved the existence of a finite bound $B$ such that there are infinitely many pairs of distinct primes which differ by no more than $B$. This is a massive breakthrough, making the twin prime conjecture look highly plausible, and the techniques developed help us to better understand other delicate questions about prime numbers that had previously seemed intractable. Zhang even showed that one can take $B = 70000000$. Moreover, a co-operative team, \emph{polymath8}, collaborating only on-line, had been able to lower the value of $B$ to ${4680}$. They had not only been more careful in several difficult arguments in Zhang's original paper, they had also developed Zhang's techniques to be both more powerful and to allow a much simpler proof (and forms the basis for the proof presented herein). In November 2013, inspired by Zhang's extraordinary breakthrough, James Maynard dramatically slashed this bound to $600$, by a substantially easier method. Both Maynard, and Terry Tao who had independently developed the same idea, were able to extend their proofs to show that for any given integer $m\geq 1$ there exists a bound $B_m$ such that there are infinitely many intervals of length $B_m$ containing at least $m$ distinct primes. We will also prove this much stronger result herein, even showing that one can take $B_m=e^{8m+5}$.

研究动机与目标

• 統合並釐清張益唐、Polymath8 和梅納德-陶在素數有界間隔上的突破性方法。
• 建立一個定量界限 $ B_m = e^{8m+5} $，使得存在無限多組長度為 $ B_m $ 的區間，其內至少包含 $ m $ 個不同的素數。
• 展示將張益唐的原始方法與梅納德-陶的框架結合，可將目前已知最佳間隔大小縮小至 246。
• 強調現有技術的限制，並指出需新思路才能達成孿生素數猜想所追求的間隔大小 2。
• 提供張益唐關於短等差級數中素數分佈之關鍵估計的自-contained 證明，此為整個研究計畫的基礎。

提出的方法

• 適應張益唐對短等差級數中素數的創新估計，以控制篩法中的誤差項。
• 應用梅納德-陶的多變數篩法技術，利用加權篩函數在短區間中偵測多個素數。
• 採用 Polymath8 合作團隊對誤差界進行的優化，並簡化張益唐原始證明的結構。
• 採用廣義篩法框架，允許變動的位移與每區間多個素數，進而提升對素數星座的偵測能力。
• 提出一種新證明策略，在維持原張益唐論證強度的同時簡化其結構，特別是在處理有界間隔這一基本開放問題上。
• 建立梅納德-陶定理的定量形式，並提供在 $ n \in [x,2x] $ 中，使得 $ n + a_j $ 包含大量素數的整數數量之下界。

实验结果

研究问题

• RQ1 張益唐、梅納德與陶的方法能否被統合，以證明存在無限多組長度為 $ B_m $ 的區間，其內至少包含 $ m $ 個不同的素數？
• RQ2 對於存在無限多組 $ m $-元素數組於長度為 $ B_m $ 區間的情況，最佳可能的有效界限 $ B_m $ 是什麼？
• RQ3 張益唐-梅納德-陶框架在多大程度上可被優化，以將目前已知最佳間隔大小縮小至 246 以下？
• RQ4 梅納德-陶定理對短區間中素數分佈的定量影響為何？
• RQ5 為縮小至 2 並解決孿生素數猜想，需具備哪些新的分析工具或數論洞見？

主要发现

• 對於任意 $ m \geq 1 $，存在無限多組長度為 $ B_m = e^{8m+5} $ 的區間，其內至少包含 $ m $ 個不同的素數。
• 透過結合張益唐的方法與梅納德-陶的框架，目前已知無限多組素數對之間最小間隔的界限已縮小至 246。
• 梅納德-陶方法可推廣至顯示：對於任意 $ m \geq 1 $，存在無限多組長度為 $ e^{8m+5} $ 的區間，其內包含 $ m $-元素數組。
• 若將所有現有技術推至理論極限，最小間隔大小或可縮小至 12（或可能 6），但需新想法才能達成 2。
• 梅納德-陶定理的定量形式表明：對於任意 $ x,y \geq 1 $，存在 $ \gg x \exp(-\sqrt{\log x}) $ 個整數 $ n \in (x,2x] $，使得 $ (n,n+y] $ 內包含 $ \gg \log y $ 個素數。
• 歸一化素數間隔的極限點集 $ \mathcal{L} $ 滿足 $ [0,c] \subset \mathcal{L} $（某個 $ c > 0 $），且 $ \mathcal{L} \cap [0,x] $ 的測度至少為 $ x/49 $。