[논문 리뷰] On the large values of the Riemann zeta-function on the critical line - II

Maxim Aleksandrovich Korolev|arXiv (Cornell University)|2014. 12. 19.

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

한 줄 요약

이 논문은 리만 가설 하에 짧은 간격 [T, T+H]에서 |ζ(1/2 + it)|의 최댓값에 대한 새로운 조건부 하한을 확립한다. 셀버그의 복합 공식과 급감소하는 함수의 푸리에 변환에 대한 정밀한 추정을 사용하여, H ≥ (ln ln ln T)^{1+ε}일 때 F(T;H) = max_{|t−T|≤H} |ζ(1/2+it)| 가 log H 의 어떤 거듭제곱보다도 더 빠르게 증가함을 증명한다. 이는 H 와 T 에 따라 달라지는 명시적인 지수적 및 이중지수적 하한을 포함한다.

ABSTRACT

We prove some new bounds for the maximum of Riemann zeta-function on very short segments of the critical line. All the theorems are based on the Riemann hypothesis.

연구 동기 및 목표

• 비극선에서 짧은 간격에 대해 |ζ(1/2 + it)| 의 최댓값에 대한 향상된 하한을 확립하는 것, 특히 H ≥ (ln ln ln T)^{1+ε} 인 경우.
• 카라츠바가 제기한 조건부 문제를 해결하는 것: F(T;H) ≥ 1 이 되는 H 가 ln ln T 보다 훨씬 작을 때에도 성립하는가?
• 이전 결과를 확장하여, H 가 T 에 대해 로그 이하일지라도 H 와 함께 증가하는 명시적이고 비자명한 하한을 제공하는 것.
• 급감소하는 함수의 푸리에 변환의 감쇠 속도에 대한 새로운 추정을 개발하고 적용하여 제타함수 극값 분석을 정교화하는 것.

제안 방법

• 셀버그의 복합 공식을 사용하여 제타함수의 로그를 소수와 비자명한 근의 합으로 연결함으로써, 제타함수 평균의 적분 표현을 가능하게 한다.
• K.-M. 츠앙의 핵심 보조정리를 적용하여 가중함수 W(t) 의 L2k 노름을 |ζ(1/2+it)| 의 최댓값과 연결한다.
• 특정 급감소 함수 Φ(u) = exp(−(cosh√u + cos√u)) 의 푸리에 변환에 대한 새로운 추정을 사용하며, 그 감쇠 속도는 해당 푸리에 변환의 최소 양의 근과 관련된다.
• 시험 함수 f(u) 의 최적화를 위해 변분 방법을 도입하여, 주어진 하한을 달성하기 위해 필요한 H 를 최소화한다.
• 리만 가설을 사용하여 모든 비자명한 근이 임계선 위에 있음을 보장함으로써, 증명에서 스펙트럼 분해와 오차 제어가 가능해진다.
• 점근적 분석과 은밀한 함수 해법을 적용하여 유계 구조에서 최적의 매개변수(예: τ₀)를 결정함으로써, H 와 T 에 따라 명시적인 증가율을 도출한다.

실험 결과

연구 질문

• RQ1 H ≫ (ln ln ln T)^{1+ε} 인 범위에서, [T, T+H] 간격에서 |ζ(1/2 + it)| 의 최댓값이 log H 의 어떤 거듭제곱보다도 더 빠르게 증가하는가?
• RQ2 H 가 (ln ln ln T)^{1+ε} 수준일 때, F(T;H) 의 하한을 이중지수적 또는 초지수적 속도로 향상시킬 수 있는가?
• RQ3 리만 가설 하에 H 가 (ln ln T)^{1/(2m)} ≤ H ≤ ln ln T 범위에 있을 때, 하한의 최적의 H 의 의존성은 무엇인가?
• RQ4 특정 커널 함수 Φ(u) = exp(−(cosh√u + cos√u)) 의 스펙트럼 성질을 사용하여 F(T;H) 의 증가율을 정량화할 수 있는가?
• RQ5 Φ(u) 의 푸리에 변환의 최소 양의 근이 F(T;H) 의 최고 가능한 하한에 어떻게 영향을 미치는가?

주요 결과

• H ≥ (ln ln ln T)^{1+ε} 일 때, F(T;H) > exp(0.5 exp((ln ln H)^{0.5ε})) 를 증명함. 이는 이중지수적 하한이다.
• H ≥ (ln ln ln T)^{2+ε} 일 때, F(T;H) > exp(√(ln H) exp(−c (ln ln H)^{1−0.5ε})) 를 도출함. 이는 초다항적이지만 지수적 이하의 증가를 보인다.
• H ∈ [(ln ln T)^{1/(2m)}, ln ln T] 일 때, F(T;H) > exp(0.05 √(ln H) / (2m ln ln H)^m) 를 확보함. 이는 중간 크기의 H 에서 이전 하한을 향상시킨다.
• 하한의 지수는 함수 h(λ) = ∫₀^∞ e^{−(cosh√u + cos√u)} cos(λu) du 의 최소 양의 근 ϱ ≈ 2.37689 에 의해 결정되며, 이에 따라 날카로운 상수 γ = 1/(2 + (πϱ)^{−1}) ≈ 0.4686 을 도출한다.
• H ≥ (ln ln ln T)^2 일 때, F(T;H) > exp((ln H)^{γ−ε}) 를 확보함. 여기서 γ = 0.46862145… 이며, 이는 로그 척도에서 거듭제곱처럼 증가함을 보여준다.
• 모든 결과는 리만 가설에 조건적으로 성립하며, 이는 비자명한 근의 위치를 제어하고 복합 공식에서 스펙트럼 분해의 타당성을 보장하기 위함이다.