[논문 리뷰] Large Spaces Between the Zeros of the Riemann Zeta-Function

Samir H. Saker|arXiv (Cornell University)|2009. 06. 30.

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

한 줄 요약

이 논문은 Opial 및 Wirtinger 유형 부등식을 사용하여 리만 제타함수의 비자명한 영점들 사이의 간격에 대한 새로운 무조건적 및 조건부 하한을 확립한다. 무조건적으로는 연속된 영점들이 평균 간격의 최소 1.9902배 이상으로 다를 수 있음을 증명하며, 이는 이전의 하한 1.9 및 1.9799보다 향상된 결과이다. 조건부로는 하드리 Z-함수와 그 도함수의 고차 혼합 모멘트가 랜덤 매트릭스 이론의 예측과 일치한다는 가정 하에, 점차 증가하는 큰 간격에 대해 명시적인 하한을 도출하며, k=7일 경우 최대 4.0736까지 도달한다.

ABSTRACT

In this paper, we will employ the Opial and Wirtinger type inequalities to derive some conditional and unconditional lower bounds for the gaps between the zeros of the Riemann zeta-function. First, we prove (unconditionally) that the consecutive nontrivial zeros often differ by at least 1.9902 times the average spacing. This value improves the value 1.9 due to Mueller and the value 1.9799 due to Montogomery and Odlyzko. Second, on the hypothesis that the 2k-th mixed moments of the Hardy Z-function and its derivative are correctly predicted by random matrix theory, we derive some explicit formulae for the gaps and use them to establish new (conditional) large gaps.

연구 동기 및 목표

• 리만 제타함수의 비자명한 영점들 사이의 간격에 대한 향상된 무조건적 및 조건부 하한을 도출하는 것.
• 하드리 Z-함수와 그 도함수의 맥락에서 Opial 및 Wirtinger 유형 부등식을 적용하여 이러한 하한을 확립하는 것.
• 리만 가설 하에 최대 간격이 평균 간격으로 정규화되었을 때 무한으로 수렴한다는 추측의 타당성을 검토하는 것.
• 랜덤 매트릭스 이론의 예측과 일치하는 Z(t)와 Z'(t)의 2k차 혼합 모멘트를 가정할 때, 최대 정규화된 간격 Λ(k)에 대한 명시적 공식을 제공하는 것.

제안 방법

• 논문은 구간의 끝점에서 0이 되는 함수에 대해 Opial 유형 부등식을 적용하여, 도함수의 L2k 노름에 대한 하한을 함수의 L2k 노름으로 표현한다.
• Brnetić 및 Pečarić의 Wirtinger 유형 부등식을 사용하여, 함수의 진동 행동에 따라 달라지는 적분 I(k)를 포함하는 다른 하한을 유도한다.
• 분석은 하드리 Z-함수와 그 도함수의 2k차 혼합 모멘트가 랜덤 매트릭스 이론(RMT)의 예측과 일치한다는 것을 전제로 한다. 이는 핵심적인 조건부 가정이다.
• 이러한 부등식들을 Z(t)와 Z'(t)의 모멘트에 대한 渐近 공식과 결합함으로써, 최대 정규화된 간격 Λ(k)에 대한 명시적 하한을 도출한다.
• 하한은 연속된 영점 사이의 간격에서 부등식 체인을 분석하고 T → ∞로의 극한을 취함으로써 유도된다.
• I(k)와 알려진 모멘트 비율 b(0,k)/b(k,k)의 수치적 값들을 사용하여, k = 3에서 7까지 Λ(k)에 대한 명시적 추정치를 계산한다.

실험 결과

연구 질문

• RQ1 리만 제타함수의 비자명한 영점들 사이의 정규화된 간격에 대한 최선의 무조건적 하한은 무엇인가?
• RQ2 Z-함수와 그 도함수의 2k차 혼합 모멘트가 랜덤 매트릭스 이론의 예측과 일치한다는 가정 하에, 정규화된 간격 Λ = lim sup r_n이 무한으로 수렴한다는 추측을 지지할 수 있는가?
• RQ3 Opial 및 Wirtinger 유형 부등식은 최대 영점 간격에 대한 명시적 하한을 도출하는 데 어떻게 기여하는가?
• RQ4 RMT 모멘트 가정 하에, k = 3에서 7까지의 최대 정규화된 간격 Λ(k)에 대해 어떤 명시적 수치적 하한을 도출할 수 있는가?
• RQ5 모멘트 비율 b(0,k)/b(k,k)와 적분 I(k)의 구조를 이용하여, k가 증가함에 따라 Λ(k)가 무한히 증가하는지 여부를 판단할 수 있는가?

주요 결과

• 논문은 리만 제타함수의 비자명한 영점들 사이의 정규화된 간격에 대해 무조건적 하한 1.9902를 확립하며, 이는 이전의 하한 1.9 및 1.9799보다 향상된 결과이다.
• 하드리 Z-함수와 그 도함수의 2k차 혼합 모멘트가 랜덤 매트릭스 이론의 예측과 일치한다는 가정 하에, 논문은 최대 정규화된 간격 Λ(k)에 대한 명시적 하한을 도출한다.
• k = 3일 때, Opial 기반 방법을 사용하면 Λ(3) ≥ 2.2265이며, Wirtinger 기반 방법을 사용하면 Λ(3) ≥ 2.4905이다.
• k = 7일 때, Opial 방법을 사용하면 하한이 Λ(7) ≥ 3.7676에 도달하고, Wirtinger 방법을 사용하면 Λ(7) ≥ 4.0736에 도달하여 큰 간격에 대한 추정치에서 상당한 향상이 이루어졌다.
• 결과는 최대 정규화된 간격 Λ(k)가 k에 따라 증가함을 시사하며, RMT 모멘트 가정이 성립할 경우 리만 가설 하에 λ = ∞라는 추측을 지지한다.
• 유도된 하한은 모멘트 비율 b(0,k)/b(k,k)와 적분 I(k)의 값에 의해 결정되며, 이는 k = 3에서 7까지 수치적으로 계산되었다.