[논문 리뷰] On the differences between consecutive prime numbers, I

D. A. Goldston, Andrew Ledoan|arXiv (Cornell University)|2011. 11. 14.

Analytic Number Theory Research참고 문헌 6인용 수 7

한 줄 요약

이 논문은 하디-리틀우드 소수 $k$-튜플 추측을 가정할 때, 간격이 $d$인 연속된 소수 쌍의 수가 $d \sim \lambda \log x$일 때 점 渐진적으로 $e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$가 됨을 보여주며, 갈라거의 포아송 분포 결과를 소수 간격에 대해 정밀화한다. 이 결과는 $k \geq 3$인 $k$-튜플에 대한 포함-배제 원리를 사용하여 포아송 모델을 개별 소수 간격까지 확장한다. 주요 기여는 정확한 점 渐진적 공식을 통해 연속된 소수 간격의 수를 유도한 것으로, 특이급수와 로그 적분 근사에 의해 검증된다.

ABSTRACT

We show by an inclusion-exclusion argument that the prime $k$-tuple conjecture of Hardy and Littlewood provides an asymptotic formula for the number of consecutive prime numbers which are a specified distance apart. This refines one aspect of a theorem of Gallagher that the prime $k$-tuple conjecture implies that the prime numbers are distributed in a Poisson distribution around their average spacing.

연구 동기 및 목표

• 주어진 간격 $d$를 가진 연속된 소수 쌍의 수에 대한 점 渐진적 공식을 도출함으로써 갈라거의 소수 간격 포아송 분포 결과를 정밀화하는 것.
• 소수 간격의 포아송 모델이 간격 수 계산뿐만 아니라 개별 연속된 소수 간격에도 확장됨을 보이는 것.
• 소수 $k$-튜플 추측 하에, 간격이 $d$인 연속된 소수 쌍의 수를 나타내는 $N(x,d)$에 대한 정확한 점 渐진적 공식을 수립하는 것.
• 소수 쌍의 간격이 $d$일 때 밀도를 결정하는 특이급수 $\mathfrak{S}(d)$가 연속된 소수 쌍의 밀도를 지배함을 보이는 것.
• $k$-튜플($k \geq 3$)에 대한 포함-배제 원리를 사용하여 $k$-튜플 수 계산에서 비연속된 쌍을 제거하고, 연속된 소수 쌍만을 분리하는 데 기여하는 것.

제안 방법

• 하드리-리틀우드 소수 $k$-튜플 추측(추측 H)을 사용하여 특정 간격을 가진 $k$-튜플의 소수 개수를 모델링한다.
• 비연속적인 경우를 제외하고 간격이 $d$인 연속된 소수 쌍만을 세기 위해 $k$-튜플 $\mathcal{D}_k = \{0, d_1, \dots, d_{k-2}, d\}$에 대해 포함-배제 원리를 적용한다.
• 계수 $Q_N(x,d)$를 부호가 번갈아가는 $k$-튜플의 합으로 표현하며, 특이급수 $\mathfrak{S}(\mathcal{D}_k)$와 로그 적분 $\operatorname{li}_k(x)$를 포함한다.
• 포함-배제 합에서 주항등항 $I(x,d) = \int_2^x \exp(-d/\log t) \frac{dt}{(\log t)^2}$를 추출하기 위해 $\exp(-d/\log t)$의 테일러 전개를 사용한다.
• 스티리링의 공식과 오차 한계를 활용하여 포함-배제 전개의 나머지 항을 제어하고, $N \to \infty$일 때 수렴함을 보장한다.
• 주항등항 $I(x,d) \sim e^{-\lambda} \frac{x}{(\log x)^2}$가 $d \sim \lambda \log x$일 때 성립함을 증명함으로써 주공식의 유도를 완료한다.

실험 결과

연구 질문

• RQ1 짧은 간격 내 소수의 포아송 분포가 간격 수 계산뿐만 아니라 개별 연속된 소수 간격에도 확장되는가?
• RQ2 하드리-리틀우드 $k$-튜플 추측을 사용하여 고정된 간격 $d$를 가진 연속된 소수 쌍의 수에 대한 점 渐진적 공식을 도출할 수 있는가?
• RQ3 소수 쌍의 간격이 $d$일 때 밀도를 결정하는 특이급수 $\mathfrak{S}(d)$가 소수가 연속되어야 한다는 조건과 어떻게 상호작용하는가?
• RQ4 포함-배제 원리가 $k$-튜플($k \geq 3$)에 적용될 때, $k$-튜플 수 계산에서 비연속된 쌍을 분리하는 데 어떤 역할을 하는가?
• RQ5 소수 $k$-튜플 추측 하에 $d \sim \lambda \log x$일 때 점 渐진적 공식 $N(x,d) \sim e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$가 성립하는가?

주요 결과

• 간격이 $d$인 연속된 소수 쌍의 수를 나타내는 $N(x,d)$는 $d \sim \lambda \log x$이고 $d$가 짝수일 때 $N(x,d) \sim e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$를 만족한다.
• 특이급수 $\mathfrak{S}(d)$는 짝수 $d$에 대해 $2C_2 \prod_{p>2, p|d} \left(\frac{p-1}{p-2}\right)$로 정의되며, 간격이 $d$인 연속된 소수 쌍의 밀도를 지배한다. 이때 $\mathfrak{S}(d) \gg 1$이다.
• 주항등항 $I(x,d) = \int_2^x \exp(-d/\log t) \frac{dt}{(\log t)^2}$는 $d \sim \lambda \log x$일 때 점 渐진적으로 $e^{-\lambda} \frac{x}{(\log x)^2}$와 일치하며, 포아송 인자임을 확인한다.
• $k \geq 3$인 $k$-튜플에 대한 포함-배제 방법은 연속된 소수 쌍을 성공적으로 분리하며, 스티리링의 공식과 테일러 전개를 통해 오차 항이 제어된다.
• 포함-배제 전개의 오차 항은 $N \to \infty$일 때 감소하며, $N$이 충분히 천천히 증가할 경우 점 渐진적 공식이 극한에서 복원된다.
• 결과는 소수 간격의 포아송 분포가 전역적인 것뿐만 아니라 개별 연속된 소수 간격까지도 정밀화될 수 있음을 확인하며, 특이급수 $\mathfrak{S}(d)$가 산술적 보정을 제공함을 보여준다.