[논문 리뷰] Beyond pair correlation

Hugh L. Montgomery, K. Soundararajan|ArXiv.org|2000. 03. 27.

Markov Chains and Monte Carlo Methods인용 수 28

한 줄 요약

이 논문은 소수의 쌍 상관관계 추측을 개선하여, 짧은 간격에서 소수 개수 함수의 분산이 Cramér 모델이나 원래의 쌍 상관관계 예측보다 오일러 상수와 log(2π)를 포함한 수정 항에 의해 더 잘 예측됨을 보여준다. X = 10^10 및 h = 10^5일 때의 수치적 증거는 두 번째 모멘트가 9.066 × 10^5임을 확인하며, 이는 새로운 이론적 예측값 9.098 × 10^5와 매우 유사하여 쌍소수 상수 추정치의 오차 항 사이에 미세한 상쇄 작용이 있음을 시사한다.

ABSTRACT

The authors study the distribution of psi(x+h)-psi(x)-h and compare it with numerical data.

연구 동기 및 목표

• Cramér 모델과 π(x+h)−π(x)−h의 분산에 대한 수치적 데이터 사이의 모순을 해결하기 위해.
• 짧은 간격에서 소수 개수 함수의 두 번째 모멘트에 대한 더 정확한 渐近 공식을 유도함으로써 쌍 상관관계 추측을 보완하기 위해.
• 관측된 분산(9.066×10^5)이 Cramér 예측(23.02×10^5)과 원래의 쌍 상관관계 예측(11.51×10^5)보다 현저히 작은 이유를 설명하기 위해.
• 하디–리틀우드 k-튜플 추측에서 유도된 특이 급수를 사용하여 관측된 수치적 행동에 대한 이론적 근거를 제공하기 위해.

제안 방법

• 하디–리틀우드 k-튜플 추측에서 유도된 특이 급수 S(k)를 포함한 ∑_{k=1}^h (h−k)S(k)의 渐近 전개를 유도한다.
• 디리클레 급수와 경로 적분을 포함한 해석적 수론 기법을 사용하여 S(k)를 포함한 합을 평가한다.
• 리만 제타 함수의 함수방정식과 스타링의 공식을 적용하여 임계선에서 제타 함수의 적분을 추정한다.
• s=1 및 s=0에서의 잔여치를 평가하여 주항등 K²/2 및 −K log K/(2A)를 추출하며, 이로써 상수 A = (1−C₀−log 2π)/2를 도출한다.
• 리만 가설 하에 소수 정리의 나머지 항을 고려하고, 세사로 가중치를 통해 그 기여도를 추정한다.
• 이론적 예측을 X=10^10 및 h=10^5에서의 수치 데이터와 비교하여 모멘트와 분포 형태를 검증한다.

실험 결과

연구 질문

• RQ1 왜 짧은 간격에서 π(x+h)−π(x)−h의 관측된 분산이 Cramér 모델과 원래의 쌍 상관관계 예측보다 현저히 작을까?
• RQ2 관측된 데이터와 Cramér 모델 사이의 모순은 특이 급수 S(k)를 포함한 개선된 渐近 공식으로 설명될 수 있는가?
• RQ3 π(x+h)−π(x)−h의 두 번째 모멘트의 渐近 전개에서 정확한 상수 항은 무엇이며, 이는 이전의 예측보다 어떻게 개선되는가?
• RQ4 k에 대한 합에서 쌍소수 상수 추정치의 오차 항은 어느 정도 상쇄되며, 이는 최종 분산에 어떤 영향을 미치는가?

주요 결과

• X=10^10 및 h=10^5일 때 π(x+h)−π(x)−h의 두 번째 모멘트는 수치적으로 9.066×10^5로 발견된다.
• 새로운 이론적 예측은 상수 B = −C₀ − log(2π) ≈ −2.41509를 포함하여 9.098×10^5를 도출하며, 이는 Cramér 모델(23.02×10^5)이나 원래의 쌍 상관관계 예측(11.51×10^5)보다 데이터와 더 잘 일치한다.
• 분포의 정규화된 모멘트는 정규 분포의 값과 유사하며, 여섯 번째 모멘트(15.5288)는 정규 분포의 값(15)보다 略로 크게 나타나 약간 무거운 꼬리가 있음을 시사한다.
• 관측된 최대 편차는 평균으로부터 5.30 표준편차 상향인 x=9559758537에서 발생했으며, 정규 모델 기준 확률는 0.00577이다.
• 최소 편차는 평균으로부터 5.17 표준편차 하향인 x=5116809527에서 발생했으며, 정규성 기준 확률는 0.01163이다.
• |π(x+h)−π(x)−h| > 3000인 점의 수는 3,080,882개이며, 정규 분포 기준 예상 수의 다섯 분의 일 미만으로, 예측보다 큰 편차가 더 적게 발생함을 나타낸다.