[논문 리뷰] Limitations to mollifying $\zeta(s)$

Maksym Radziwiłł|arXiv (Cornell University)|2012. 07. 27.

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

한 줄 요약

이 논문은 리만 제타 함수 ζ(s)의 임계선에서 Dirichlet 다항식을 이용한 모티프리케이션의 기본 한계를 규명한다. 무조건적 하한을 𝒪(1/θ)로 증명하여, 길이 T^θ인 어떤 모티프리케이터를 선택하더라도 이 적분의 크기를 1/θ보다 크게 줄일 수 없음을 보이며, 이는 큰 θ에 대해서도 성립한다. 리만 가설과 쌍 상관 추측을 가정할 경우, 이 하한은 (1+o(1))/(0.5+θ)로 향상되며, 이는 제로 분포와 비트리비얼한 연결고리를 드러낸다.

ABSTRACT

We establish limitations to how well one can mollify the Riemann zeta-function on the critical line with mollifiers of arbitrary length. Our result gives a non-trivial lower bound for the contribution of the off-diagonal terms to mollified moments of \\zeta(s). On the Riemann Hypothesis, we establish a connection between the mollified moment and Montgomery's Pair Correlation Function.

연구 동기 및 목표

• 임계선에서 모티프리케이션된 L² 모멘트 ∫|1−ζ(1/2+it)M(1/2+it)|²dt/T의 최적 하한을 결정하는 것.
• 길이가 T^θ인 더 긴 모티프리케이터(θ>1)가 기존의 고전적 모티프리케이터 Lθ가 달성한 𝒪(1/θ)의 하한을 크게 향상시킬 수 있는지 조사하는 것.
• 리만 가설 하에서 몬고메리의 쌍 상관 함수와 모티프리케이션된 모멘트 간의 관계를 탐구하는 것.
• θ<1/2일 때 고전적 모티프리케이터 Lθ가 𝒫(Mθ)를 최소화함을 증명하는 것.
• 제로 분포가 모티프리케이션의 효율성에 제한을 둔다는 역할을 이해하는 것.

제안 방법

• 모티프리케이터의 효율성을 측정하기 위해 적분 𝒫(Mθ) = (1/T)∫_T^{2T} |1−ζ(1/2+it)Mθ(1/2+it)|²dt 를 사용한다.
• θ<1/2일 때 Balasubramanian-Conrey-Heath-Brown의 점근 공식을 적용하여 하한 1/θ+o(1)을 유도한다.
• 산술 함수와 곱셈 계수를 포함하는 세 개의 이차형식 S₁, S₂, S₃로 모티프리케이션된 모멘트를 분해한다.
• 코시-슈바르츠 부등식을 적용하고 곱셈 함수의 합에 대한 추정을 사용하여 S₁과 S₂를 평가하여 주항등항에 비해 작다는 것을 보인다.
• 주항등항 S₃를 평가하기 위해 항등식 ∑_{p^αℓ≤N} (log p)/p^α · φ(ℓ)/ℓ² · z(ℓ)z(p^αℓ) ≈ −1 + O((log log N)/log N) 를 활용한다.
• 모든 추정치를 종합하여 무조건적 하한 𝒫(Mθ) ≥ c/θ (c>0는 절대적 상수)를 도출하고, 리만 가설과 쌍 상관 추측 하에서 이를 향상시킨다.

실험 결과

연구 질문

• RQ1 θ>1인 길이 T^θ인 모티프리케이터에 대해, 모티프리케이션된 모멘트 ∫|1−ζ(1/2+it)M(1/2+it)|²dt/T 가 1/θ보다 크게 줄어들 수 있는가?
• RQ2 θ<1/2일 때 고전적 모티프리케이터 Lθ는 𝒫(Mθ)를 최소화하는 데 최적인가?
• RQ3 모티프리케이션된 모멘트와 ζ(s)의 제로 분포, 특히 짧은 간격 내에서의 관계는 무엇인가?
• RQ4 쌍 상관 추측은 큰 θ에 대해 𝒫(Mθ)의 하한에 어떤 영향을 미치는가?
• RQ5 L² 이론의 비트리비얼 하한은 제타 제로와의 연결을 활용하여 향상시킬 수 있는가?

주요 결과

• 무조건적으로, 모든 θ>0 및 계수가 a(n)≪n^ε 이고 a(1)=1을 만족하는 T^θ 길이의 Dirichlet 다항식 Mθ에 대해 절대적 상수 c>0가 존재하여 𝒫(Mθ) ≥ c/θ 를 만족한다.
• θ<1/2일 때 상수 c는 1로 취할 수 있으며, 따라서 𝒫(Mθ) ≥ 1/θ + o(1) 이다. 이는 Balasubramanian, Conrey, 및 Heath-Brown의 점근 공식과 일치한다.
• 리만 가설과 쌍 상관 추측을 가정할 경우, 하한은 𝒫(Mθ) ≥ (1+o(1))/(0.5+θ) 로 향상되며, 이는 더 긴 모티프리케이터가 제로 분포를 더 효과적으로 통제할 수 있음을 보여준다.
• θ<1/2일 때, 모든 길이 T^θ인 Dirichlet 다항식 중에서 모티프리케이터 Lθ가 𝒫(Mθ)를 최소화한다.
• 모티프리케이션된 모멘트 적분의 비대칭 항들은 최적의 모티프리케이터를 사용하더라도 제거할 수 없는 비트리비얼 하한을 기여한다.
• 분석을 통해 모티프리케이션된 모멘트와 제타 제로의 분포 사이에 깊은 연결고리가 드러나며, 이는 길이 2π/(1+θ)log T인 간격에서 발생하며, θ가 증가함에 따라 간격이 좁아진다.