[논문 리뷰] Primes in intervals of bounded length

Andrew Granville|arXiv (Cornell University)|2014. 10. 30.

Analytic Number Theory Research참고 문헌 40인용 수 4

한 줄 요약

이 논문은 소수 간의 유계 간격에 대한 돌풍 같은 발전을 통합하여 Zhang과 Maynard-Tao의 작업을 확장하여, 임의의 정수 $ m \geq 1 $에 대해 길이 $ B_m = e^{8m+5} $인 구간이 적어도 $ m $개의 서로 다른 소수를 포함하는 경우가 무한히 많음을 증명한다. 이 논문은 Zhang, Polymath8, Maynard-Tao의 기법을 통합하고 단순화하며, 조합된 방법을 통해 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}$.

연구 동기 및 목표

• Zhang, Polymath8, Maynard-Tao의 소수 간 유계 간격에 대한 돌풍 같은 방법들을 통합하고 명확화하는 것.
• 무한히 많은 길이 $ B_m = e^{8m+5} $의 구간이 적어도 $ m $개의 서로 다른 소수를 포함하도록 하는 정량적 경계 $ B_m $를 설정하는 것.
• Zhang의 원래 방법을 Maynard-Tao의 프레임워크와 조합함으로써 현재까지 알려진 최소 간격 크기를 246으로 줄이는 것.
• 현재 기법의 한계를 부각하고 쌍둥이 소수 추측의 목표인 간격 크기 2를 달성하기 위해 새로운 아이디어가 필수적이라는 점을 강조하는 것.
• Zhang의 짧은 등차수열에서의 소수에 대한 핵심 추정치에 대한 자가 포함된 증명을 제공하여 전체 프로그램의 기초를 다지는 것.

제안 방법

• 선형 체에서 소수의 분포를 제어하는 오차 항을 다루기 위해 Zhang의 새로운 추정치를 적응 적용함.
• 다중 차원 체를 사용하여 가중치가 부여된 체 함수를 통해 짧은 간격 내에서 다수의 소수를 탐지하는 Maynard-Tao 방법을 적용함.
• Polymath8 협업의 정교화를 활용하여 오차 경계를 강화하고 Zhang의 원래 증명의 구조를 단순화함.
• 변동 가능한 이동과 구간당 다수의 소수를 허용하는 일반화된 체 프레임워크를 도입하여 소수 성층의 탐지 능력을 향상시킴.
• 특히 유계 간격의 근본적인 열린 문제를 다룰 때 원래 Zhang의 추론을 유지하면서도 단순화하는 새로운 증명 전략을 도입함.
• Maynard-Tao 정리의 정량적 형태를 확립하여, $ n \in [x,2x] $ 중에서 $ n + a_j $가 많은 소수를 포함하는 경우의 수에 하한을 설정함.

실험 결과

연구 질문

• RQ1 Zhang, Maynard, Tao의 기법을 통합하여 길이 $ B_m $인 무한히 많은 구간이 적어도 $ m $개의 서로 다른 소수를 포함함을 증명할 수 있는가?
• RQ2 무한히 많은 $ m $-튜플의 소수가 길이 $ B_m $인 구간에 존재하는 데 있어 가능한 최선의 효과적 경계 $ B_m $는 무엇인가?
• RQ3 Zhang-Maynard-Tao 프레임워크는 얼마나 최적화될 수 있으며, 현재까지 알려진 최소 간격 크기를 246 이하로 낮출 수 있는가?
• RQ4 Maynard-Tao 정리의 정량적 함의는 짧은 간격 내 소수 분포에 대해 어떤가?
• RQ5 간격 크기를 2로 줄이고 쌍둥이 소수 추측을 해결하기 위해 어떤 새로운 분석 도구나 수론적 통찰이 필요한가?

주요 결과

• 모든 $ m \geq 1 $에 대해 길이 $ B_m = e^{8m+5} $인 무한히 많은 구간이 적어도 $ m $개의 서로 다른 소수를 포함한다.
• Zhang의 방법을 Maynard-Tao의 프레임워크와 조합함으로써, 무한히 많은 소수 쌍 간의 최소 간격에 대한 현재까지 알려진 경계가 246으로 줄어든다.
• Maynard-Tao 방법은 일반화되어 임의의 $ m \geq 1 $에 대해 길이 $ e^{8m+5} $인 구간에 무한히 많은 $ m $-튜플의 소수가 존재함을 보여준다.
• 모든 현재 기법을 이론적 한계까지 활용할 경우 최소 간격 크기를 12(혹은 가능하면 6)까지 줄일 수 있지만, 2에 도달하기 위해서는 새로운 아이디어가 필요하다.
• Maynard-Tao 정리의 정량적 형태는 임의의 $ x,y \geq 1 $에 대해 $ \gg x \exp(-\sqrt{\log x}) $개의 정수 $ n \in (x,2x] $ 가 존재하여 $ (n,n+y] $ 가 $ \gg \log y $개의 소수를 포함함을 시사한다.
• 정규화된 소수 간격의 극한점 집합 $ \mathcal{L} $ 는 어떤 $ c > 0 $에 대해 $ [0,c] \subset \mathcal{L} $ 를 만족하며, $ \mathcal{L} \cap [0,x] $ 는 최소 $ x/49 $ 의 측도를 가진다.