[논문 리뷰] Maximal gaps between prime k-tuples: a statistical approach

Alexei Kourbatov|arXiv (Cornell University)|2013. 01. 10.

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

한 줄 요약

이 논문은 극값 이론과 하디-리틀우드 k-튜플 추측을 기반으로 한 통계 모델을 제안하여 소수 k-튜플 간의 최대 간격을 예측한다. 오차가 $ \pm 2a $인 공식 $ a\log(x/a) - ba $를 유도하며, 여기서 $ a = C_k \log^k x $ 이다. 이 간격들은 渐近적 순서 $ O(\log^{k+1}x) $를 가지며, 가우시안 분포와 유사한 분포를 따른다. 이 모델은 선형 로그 기반 추정기보다 개선되었으며, 쌍둥이 소수, 소수 4중조, 소수 6중조에 적용된다.

ABSTRACT

Combining the Hardy-Littlewood k-tuple conjecture with a heuristic application of extreme-value statistics, we propose a family of estimator formulas for predicting maximal gaps between prime k-tuples. Computations show that the estimator a(log(x/a)-b) satisfactorily predicts the maximal gaps below x, where a is the expected average gap between the same type of k-tuples, a=O(log^k x). Heuristics suggest that maximal gaps between prime k-tuples near x are approximately a*log(x/a), and thus have the order O(log^{k+1}x). The distribution of maximal gaps around the trend curve a*log(x/a) is close to the Gumbel distribution. We explore two implications of this model of gaps: record gaps between primes and Legendre-type conjectures for prime k-tuples.

연구 동기 및 목표

• 통계적 극값 이론을 사용하여 소수 k-튜플 간 최대 간격을 예측하는 모델을 개발하기.
• 하디-리틀우드 k-튜플 추측과 극값 분포 원리를 통합하여 기존 히وري스틱을 정교화하기.
• 주어진 x 이하의 소수 k-튜플 간 기록 간격을 정확하게 추정할 수 있는 일반 공식을 제공하기.
• 최대 간격의 분포적 행동과 기대 추세 곡선에서의 이탈을 조사하기.
• 레전드르 유형의 추측과 k-튜플 패턴에서의 기록 소수 간격에 대한 함의 탐색하기.

제안 방법

• 소수 k-튜플 간 최대 간격의 분포를 모델링하기 위해 극값 통계를 적용한다.
• 최대 간격의 분포에 대한 극한 근사로 가우시안 분포를 사용한다.
• 하드-리틀우드 k-튜플 추측에서 유도된 $ C_k $를 사용하여 추정기 $ a\log(x/a) - ba $를 유도한다. 여기서 $ a = C_k \log^k x $ 이다.
• 매개변수 $ b $ 는 경험적으로 캘리브레이션되며, 다양한 k-튜플에 대해 $ b \approx 2/k $ 임을 발견하였다.
• 다양한 k-튜플 유형(k=2,4,6 등)에 걸쳐 광범위한 수치 계산을 통해 모델을 검증하였다.
• 예측된 추세 곡선 $ a\log(x/a) $ 와 실제 최대 간격을 비교하고 오차를 $ O(a) $ 로 정량화하였다.

실험 결과

연구 질문

• RQ1 극값 이론은 어떻게 소수 k-튜플 간 최대 간격을 예측하는 데 적용될 수 있는가?
• RQ2 x 근처의 소수 k-튜플 간 기대 최대 간격의 함수 형태는 무엇인가?
• RQ3 최대 간격의 분포는 가우시안과 같은 알려진 극값 분포와 어떻게 비교되는가?
• RQ4 소수 k-튜플 간 최대 간격의 渐近적 순서는 무엇인가?
• RQ5 이 모델은 기존의 기록 간격 히وري스틱을 어떻게 향상시킬 수 있는가?

주요 결과

• 추정기 $ a\log(x/a) - ba $ 는 오차가 $ \pm 2a $ 이며, 여기서 $ a = C_k \log^k x $ 이다.
• 소수 k-튜플 간 최대 간격의 渐近적 순서는 $ O(\log^{k+1}x) $ 로, 히وري스틱 모델과 일치한다.
• 추세 곡선 $ a\log(x/a) $ 근처의 최대 간격 분포는 거의 정확히 가우시안 분포를 따른다.
• 추정기의 매개변수 $ b $ 는 경험적으로 약 $ 2/k $ 로 발견되었으며, $ C_k $ 는 하드-리틀우드 k-튜플 상수에서 유도되었다.
• 이 모델은 쌍둥이 소수(k=2), 소수 4중조(k=4), 소수 6중조(k=6)의 기록 간격을 매우 높은 정확도로 예측하며, 테스트 범위 전반에서 성공적으로 작동한다.
• 적절한 $ C_k $ 와 $ b $ 의 재캘리브레이션을 통해 이 모델은 다른 k-튜플(k=3,5,7,10 등)에도 확장 가능하다.