[논문 리뷰] Prime pairs and Zeta's zeros

Jacob Korevaar|ArXiv.org|2008. 06. 05.

Analytic Number Theory Research참고 문헌 27인용 수 3

한 줄 요약

이 논문은 하디-리틀우드 소수 쌍 추측(PPC)과 리만 제타 함수의 비자명한 영점과 관련된 딜리클레 급수의 경계 행동 사이에 깊은 등가성을 확립한다. 타우버리안 접근법을 사용하고 리만 가설을 가정할 때, PPC가 성립함과 동시에 특정 제타 영점 관련 함수가 Re(s) = 1에서 가짜함수 경계 행동을 보일 때에만 성립하며, 이는 소수 쌍 분포를 제타 영점의 미세 척도 통계와 연결한다.

ABSTRACT

There is extensive numerical support for the prime-pair conjecture (PPC) of Hardy and Littlewood (1923) on the asymptotic behavior of pi_{2r}(x), the number of prime pairs (p,p+2r) with p not exceeding x. However, it is still not known whether there are infinitely many prime pairs with given even difference! Using a strong hypothesis on (weighted) equidistribution of primes in arithmetic progressions, Goldston, Pintz and Yildirim have shown (2007) that there are infinitely many pairs of primes differing by at most sixteen. The present author uses a Tauberian approach to derive that the PPC is equivalent to specific boundary behavior of certain functions involving zeta's complex zeros. Under Riemann's Hypothesis and on the real axis, these functions resemble pair-correlation expressions. A speculative extension of Montgomery's classical work (1973) would imply that there must be an abundance of prime pairs.

연구 동기 및 목표

• 소수 쌍 추측(PPC)과 제타 함수의 비자명한 영점과 관련된 딜리클레 급수의 경계 행동 사이의 정확한 등가성을 확립하는 것.
• 타우버리안 이론를 활용하여 산술급수 내 소수에 대한 강력한 등분포 가정으로부터 PPC를 도출할 수 있는지 탐구하는 것.
• 리만 가설과 몬고메리의 쌍상관 추측이 소수 쌍의 풍부성에 미치는 영향을 탐색하는 것.
• 리만 가설 하에서 제타 영점에서 유도된 함수들이 임계선에서 쌍상관 표현과 유사하게 행동함을 보이는 것.
• 제타 영점과 필터 함수를 포함한 특정 이중합의 양성 조건을 바탕으로 소수 쌍의 풍부성에 대한 조건부 증명을 제공하는 것.

제안 방법

• 두 방향의 위너-이케하라 타우버리안 정리를 적용하여 소수 쌍 수세기 함수 π₂ᵣ(x)의 점 渐진 행동과 제타 영점과 관련된 딜리클레 급수 D₂ᵣ(s)의 경계 행동을 연결한다.
• f(u+iv) − A/(u+iv)가 u ↘ 1일 때 분포적 한계를 가지며, 이 한계가 유한 구간 위에서 가짜함수여야 한다는 조건을 사용한다.
• 2r ≤ λ인 짝수 차이에 대한 ∑π₂ᵣ(x)를 분석하기 위해 비연속성은 있으나 효과적인 행동을 보이는 필터 함수 E^λ(ν)를 도입한다.
• 이중합 Σ²_λ(s) = ∑_{ρ,ρ'} Γ(ρ−s)Γ(ρ′−s) t^{2s−ρ−ρ′} cos(πρ/2)cos(πρ′/2)를 분석하여, E^λ(t) ≥ 0일 때 비음성임을 보인다.
• s ↘ 1/2일 때 (s−1/2)D₂ᵣ(s) → 0이 되는 항등식을 활용하며, 이는 가짜함수 조건을 만족하기 위해 필수적이다.
• D₂ᵣ(s)에 대한 추정과 π₂ₘⱼ(x)의 평균이 모든 2r ≤ λ에 대한 평균보다 c 배 이상으로 아래bound된다는 가정을 결합하여, π₂ₘ(x)/(x/log²x)의 limsup에 하한을 도출한다.

실험 결과

연구 질문

• RQ1 소수 쌍 추측(PPC)은 제타 함수의 비자명한 영점과 관련된 딜리클레 급수의 특정 경계 행동과 등가인가?
• RQ2 리만 가설과 가짜함수 경계 조건이 동시에 성립할 경우, 주어진 짝수 차이를 가진 소수 쌍이 무한히 존재함을 유추할 수 있는가?
• RQ3 E^λ(t) ≥ 0 조건 하에서 1/2 < s < 1 범위에서 이중합 Σ²_λ(s)의 양성은 조건부로 소수 쌍의 풍부성을 이끌어내는가?
• RQ4 몬고메리의 쌍상관 추측이 PPC 하에서 소수 쌍의 풍부성에 얼마나 강하게 영향을 미치는가?
• RQ5 비연속적인 필터 함수 E^λ(ν)를 사용하는 타우버리안 접근법이 여전히 π₂ᵣ(x)에 대한 의미 있는 점 渐진 추정을 도출할 수 있는가?

주요 결과

• 소수 쌍 추측(PPC)은 함수 g(w) = f(w) − A/w가 Re(w) = 1에서 가짜함수 경계 한계를 가지는 조건과 등가이다.
• 리만 가설 하에서 제타 영점에서 유도된 함수들은 임계선 Re(s) = 1/2에서 몬고메리의 쌍상관 표현과 유사하게 행동한다.
• 1/x ∑_{r≤m} ψ₂ᵣ(x)의 limsup가 (2−ε)m를 초과함을 시사하며, 이는 x 이하에서 차이 2r를 가진 소수 쌍의 평균 수가 m에 대해 일정한 상한을 가지며 하한이 존재함을 의미한다.
• π₂ₘⱼ(x)의 평균이 일정한 하한 조건을 만족할 경우, π₂ₘ(x)/(x/log²x)의 limsup는 양수인 상수 c로 하한이 존재한다.
• E^λ(t) ≥ 0일 때 1/2 < s < 3/4 범위에서 이중합 Σ²_λ(s)는 제타 영점에 대한 합의 제곱 모듈러스 구조로 인해 비음성임을 보인다.
• δD₂ₘ((1/2)+δ) ≥ c(1/2 − 1/(4λδ)) − o(1) 이며, δ↘0 및 λ→∞일 때 적절한 수열 S 내에서 성립함을 통해 s=1/2에서의 잔여항이 하한이 존재함을 보이며, 이는 소수 쌍의 풍부성에 기여한다.