[논문 리뷰] Unexpected biases in the distribution of consecutive primes

Robert J. Lemke Oliver, K. Soundararajan|arXiv (Cornell University)|2016. 03. 11.

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

한 줄 요약

이 논문은 q 모듈로에서 연속된 소수 쌍의 분포에 나타나는 놀라운 편향을 설명하며, 하디-리틀우드 k-튜플 추측에 기반한 히우리스틱을 제안한다. 대각선 패턴(pₙ ≡ a mod q, pₙ₊₁ ≡ a mod q)이 비대角선 패턴보다 현저히 덜 발생하는 것으로 드러나며, 점근 공식의 보조 항들—반복되는 잔여류의 수와 복소 L-함수에 의해 유도되는 것들—이 균일성에서의 체계적인 이탈을 일으킨다.

ABSTRACT

While the sequence of primes is very well distributed in the reduced residue classes (mod $q$), the distribution of pairs of consecutive primes among the permissible $ϕ(q)^2$ pairs of reduced residue classes (mod $q$) is surprisingly erratic. This paper proposes a conjectural explanation for this phenomenon, based on the Hardy-Littlewood conjectures. The conjectures are then compared to numerical data, and the observed fit is very good.

연구 동기 및 목표

• q 모듈로에서의 감소 잔여류에 대한 연속된 소수 쌍의 관측된 비균형 분포를 설명하는 것.
• 소수가 q 모듈로에서 균일하게 분포되지만, 연속된 소수 쌍은 균일성에서 강한 이탈을 보이는 모순을 다루는 것.
• 하디-리틀우드 k-튜플 추측에 기반한 히우리스틱 모델을 개발하여 이러한 편향을 예측하는 것.
• π(x;q,a)의 점근 공식에서 발생하는 보조 항들의 크기와 구조를 정량화하여 관측된 편향을 이끌어내는 원인을 규명하는 것.
• 다양한 모듈러스(q = 3, 8, 10, 12, 5)에 걸쳐 광범위한 수치 데이터와의 비교를 통해 추측을 검증하는 것.

제안 방법

• π(x;q,a)에 대한 주요 점근 공식을 제안하며, 주항목 ∼ li(x)/φ(q)^r 와 log log x / log x 및 1/log x 항을 포함한 보조 항들을 포함한다.
• 튜플 a에서 연속된 동일 잔여류의 수에 따라 c₁(q;a)를 정의하여 주요 편향을 기록한다.
• r=2인 경우 c₂(q;a)를 명시적으로 계산하고, r≥3인 경우는 국소 밀도와 캐릭터 합의 기여를 포함하여 재귀적으로 계산한다.
• 복소 모듈러스의 경우 딜리클레 캐릭터와 L-함수를 사용하여 c₂(q;a)를 계산하며, q=8, 12, 5 등의 특수 케이스를 포함한다.
• 모델을 적용하여 다양한 잔여류 패턴에서의 편향의 순서와 크기를 예측하고, 대칭성과 비대칭성을 분석한다.
• x=10¹²까지의 수치 데이터와 예측을 비교하여 크기와 추세 모두에서 뛰어난 일치를 보였다.

실험 결과

연구 질문

• RQ1 소수가 q 모듈로에서 균일하게 분포되는데도 불구하고, 연속된 소수 쌍이 왜 q 모듈로에서 균일 분포에서 현저히 이탈하는가?
• RQ2 왜 연속된 소수 쌍에서 대각선 패턴(a,a)이 지속적으로 저조하게 나타나는가?
• RQ3 하디-리틀우드 k-튜플 추측이 관측된 연속된 소수 분포의 편향을 설명할 수 있는가?
• RQ4 π(x;q,a)의 점근 공식에서 보조 항들이 다양한 잔여류 패턴의 상대 빈도에 어떤 영향을 미치는가?
• RQ5 점근 전개의 저차항이 q=5의 경우에서 관찰된 임시적인 순서 뒤집힘을 일으키는가?

주요 결과

• q=3일 때, (1,1), (1,2), (2,1), (2,2)의 연속된 소수 쌍 수는 각각 예상된 250,000과 현저히 다름을 보이며, (1,1)과 (2,2)는 빈도가 더 낮게 나타남.
• q=10일 때, 대각선 쌍(1,1), (3,3), (7,7), (9,9)는 비대각선 쌍보다 빈도가 낮게 나타나며, 첫 10⁸개의 소수 중 (1,1)은 460만 건, (3,3)은 444만 건으로 측정됨.
• q=12일 때, (5,7) 패턴은 예측된 c₂ 값이 가장 높으며, x=10¹²에서의 수치 데이터는 π(x;12,(5,7)) ≈ 2.83×10⁹로 (1,1)의 1.84×10⁹보다 현저히 높게 나타남.
• q=5일 때, 추측은 π(x;5,(1,3)) > π(x;5,(1,2)) 를 큰 x에 대해 예측하며, 수치 데이터는 이 뒤집힘이 x≈5.08×10¹¹에서 발생함을 확인하여 모델을 검증함.
• 편향은 체비셰프 유형의 편향이 아니라, 특히 c₁(q;a)와 c₂(q;a)와 같은 고차항의 점근 전개에 기인함.
• 캐릭터 합과 L-함수 값의 기반으로 모델은 대칭성((a,b)와 (−b,−a)가 같은 c₂를 가짐)과 비대칭성((5,7)과 (11,1)이 q=12에서 다른 c₂를 가짐)을 설명함.