[논문 리뷰] Some heuristics on the gaps between consecutive primes

Marek Wolf|arXiv (Cornell University)|2011. 02. 02.

Analytic Number Theory Research참고 문헌 42인용 수 12

한 줄 요약

이 논문은 소수 간격의 분포를 위한 히우리스틱 공식을 제안하며, 소수 개수 함수 $\pi(x)$를 직접적으로 사용하여 연속된 소수 쌍 중 간격 $d$를 가진 것의 수를 표현한다. 최대 간격, 간격의 첫 번째 발생, 일반화된 브룬 상수에 대한 추측을 도출하며, $2^{48}$까지 강력한 수치적 근거를 제시하고, $n \to \infty$일 때 $\sqrt{p_{n+1}} - \sqrt{p_n} \to 0$임을 시사한다. 핵심 기여는 $\pi(x)$와 간격 통계를 연결하는 새로운 히우리스틱 프레임워크로, 소수 간격 행동에 대한 검증 가능한 예측을 제공한다.

ABSTRACT

We propose the formula for the number of pairs of consecutive primes $p_n, p_{n+1}

연구 동기 및 목표

• 소수 쌍 중 간격 $d$를 가진 것의 수를 $x$ 이하로 표현하는 히우리스틱 공식을 개발한다. 이는 $\pi(x)$로 직접 표현된다.
• 연속된 소수 사이의 최대 간격의 분포와 $\pi(x)$ 간의 관계를 조사한다.
• 소수 간격의 渐近적 행동에 기반하여 간격 $d$의 첫 번째 발생에 대한 추측을 제안한다.
• 히우리스틱 추론을 통해 $\log \log x$ 항을 포함하는 소수 조화합의 새로운 표현식을 도출한다.
• 수치 데이터와 히우리스틱 모델을 통해 앤디카라 추측의 타당성을 검토한다.

제안 방법

• 소수 쌍 중 간격 $d$를 가진 것의 수 $\tau_d(x)$에 대한 히우리스틱 공식을 유도하며, $\pi(x)$를 유일한 입력으로 사용한다.
• 하디–리틀우드 추측 B를 기초로 삼되, 임의의 소수 쌍이 아닌 연속된 소수 쌍에 적용되도록 수정한다.
• 간격 $d$의 첫 번째 발생인 $p_f(d)$에 대한 추측을 제시하며, 그 형태는 $p_f(d) \sim \sqrt{d} \, e^{\sqrt{d}}$로 가정한다.
• 소수 $\sqrt{p_{n+1}} - \sqrt{p_n}$ 의 차이를 渐近 전개로 모델링하여, $\lim_{n\to\infty} (\sqrt{p_{n+1}} - \sqrt{p_n}) = 0$ 이라는 극한을 이끌어낸다.
• $x = 2^{48} \approx 2.81 \times 10^{14}$까지 수집된 데이터를 사용하여 추측을 수치적으로 검증한다.
• 첫 번째 발생 간격의 행동을 분석하고 지수 감소 추정을 도출하기 위해 함수 $R(x) = \sqrt{p_{f}(x)+x} - \sqrt{p_{f}(x)}$ 를 사용한다.

실험 결과

연구 질문

• RQ1 소수 쌍 중 간격 $d$를 가진 것의 수를 $x$ 이하로 $\pi(x)$로 직접 표현할 수 있는가?
• RQ2 연속된 소수 사이의 최대 간격 $G(x)$의 渐近적 행동은 무엇이며, $\pi(x)$와 어떻게 관련이 있는가?
• RQ3 간격 $d$의 첫 번째 발생은 무엇이며, 그 크기는 $d$에 따라 어떻게 척도가 변하는가?
• RQ4 소수 $n \to \infty$일 때, 차이 $\sqrt{p_{n+1}} - \sqrt{p_n}$ 는 0으로 수렴하는가? 그리고 감쇠 속도는 어떠한가?
• RQ5 히우리스틱 예측이 소수 조화합의 알려진 $\log \log x$ 성장과 얼마나 일치하는가?

주요 결과

• 간격 $d$를 가진 연속된 소수 쌍의 수는 $\tau_d(x) \sim C_2 \cdot \mathfrak{S}(d) \cdot \frac{x}{\log^2 x}$ 로 추측되며, $\mathfrak{S}(d)$ 는 $d$의 산술적 구조를 반영한다.
• 소수 $x$ 이하에서 연속된 소수 사이의 최대 간격 $G(x)$ 는 $G(x) \sim \log^2 x$ 로 추측되며, $2^{48}$까지의 수치 데이터와 일치한다.
• 간격 $d$의 첫 번째 발생은 $p_f(d) \sim \sqrt{d} \, e^{\sqrt{d}}$ 로 추측되며, 이에 따라 $\sqrt{p_f(d)+d} - \sqrt{p_f(d)} \sim \frac{1}{2} d^{3/4} e^{-\frac{1}{2}\sqrt{d}}$ 로 유도된다.
• 소수 $\sqrt{p_{n+1}} - \sqrt{p_n}$ 의 차이는 $n \to \infty$일 때 0으로 수렴하며, 그 감쇠 속도는 $\sqrt{d}$ 에 대한 지수 항에 의해 결정된다.
• 히우리스틱 모델은 소수 조화합의 주요 $\log \log x$ 항을 재현하며, $\sum_{p \leq x} \frac{1}{\sqrt{p}} \sim \log \log x$ 라는 추측을 뒷받침한다.
• 함수 $R(x) = \sqrt{p_f(x)+x} - \sqrt{p_f(x)}$ 는 $\sqrt{x}$ 에 따라 지수적으로 감소하며, 그 모델은 그림 12의 수치 데이터와 일치한다.