[논문 리뷰] Large gaps between consecutive zeros, on the critical line, of the Riemann zeta-function

Johan Bredberg|arXiv (Cornell University)|2011. 01. 17.

Analytic Number Theory Research참고 문헌 1인용 수 9

한 줄 요약

이 논문은 임계선 상의 리만 제타함수의 연속적인 비자명한 영점들 사이의 최대 간격에 대한 하한을 확립한다. 즉, 충분히 큰 $ T $에 대해 $[T, 2T]$ 내부에 길이가 적어도 $ 2.766 imes rac{2 heta}{ ext{log} T} $ 이상인 영점이 없는 부분구간이 존재함을 증명한다. 증명은 모리피어 기법과, 정밀하게 구성된 함수 $ P(t,u,v, heta) $ 에 위팅거 부등식을 적용한 모순 추론을 조합한 하이브리드 방법을 사용한다. 이 함수의 모든 간격이 $ \theta / \text{log} T $ 이내로 제한된다고 가정할 경우, 큰 영점이 없는 간격이 존재하지 않으면서도 모순이 발생하며, 이는 유일하게 큰 영점이 없는 간격이 존재할 수 있음을 시사한다.

ABSTRACT

We show that for any sufficiently large $T,$ there exists a subinterval of $[T,2T]$ of length at least $2.766 imes \frac{2π}{\log{T}},$ in which the function $t \mapsto ζ(1/2 + it)$ has no zeros.

연구 동기 및 목표

• 임계선 상의 리만 제타함수의 연속적인 비자명한 영점들 사이의 최대 간격에 대한 정량적 하한을 확립하는 것.
• 셀버그의 1946년 결과를 초월하여, 영점 간 정규화된 간격의 limsup에 대한 이전의 조건부 결과를 향상시키는 것.
• 보조 함수 $ P(t,u,v,\theta) $ 의 모든 영점들이 조밀하게 분포되어 있다고 가정할 경우, 이는 큰 영점이 없는 간격이 반드시 존재해야 한다는 결과를 도출하는 것.
• 위팅거 부등식과 $ L^2 $-노름의 점근적 분석을 기반으로 한 모순 추론을 통해 주요 결과를 유도하는 것.

제안 방법

• 보조 함수 $ P(t,u,v,\theta) = \exp(vi\theta(t)) M(\frac{1}{2}+it) \zeta(\frac{1}{2}+it) \zeta(\frac{1}{2}+it+\frac{i\theta}{\text{log} T}) $ 를 정의한다. 여기서 $ M(s) $ 는 잘라낸 딜리클레 다항식이고, $ \theta(t) $ 는 리만-지젤 식각 함수이다.
• 구간 $[T, 2T - \frac{\theta}{\text{log} T}]$ 내에서 $ P(t,u,v,\theta) $ 의 모든 영점들이 최대 $ \frac{\theta}{\text{log} T} $ 간격으로 분리되어 있다고 가정하면, 큰 영점이 없는 간격이 존재하지 않으면서도 모순이 발생한다.
• 영점 간격에 대한 $ L^2 $-노름에 위팅거 부등식을 적용하여, $ \int |P|^2 \leq \left(\frac{\theta}{\pi \text{log} T}\right)^2 \int |P'|^2 $ 라는 부등식을 이끌어낸다.
• 적분의 국소화와 끝점 근처 행동 제어를 위해 가중함수 $ w_-(t) $ 와 $ w_+(t) $ 를 도입하여 핵심 부등식 (11) 에 도달한다.
• $ M(s) $, $ \zeta(s) $ 와 그 도함수의 곱의 $ L^2 $-노름의 점근 전개를 활용하며, 주요 항을 모델링하기 위해 함수 $ f $ 와 $ g $ 를 포함한다.
• 카우치의 적분 공식을 사용하여 주요 점근 공식의 이동 $ \alpha, \beta, \gamma, \delta $ 에 대한 도함수를 취함으로써 제타 함수 도함수의 적분 내 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 임계선 상의 연속적인 비자명한 영점들 사이의 최대 간격에 대한 최선의 조건부 하한은 무엇인가?
• RQ2 특정 보조 함수 $ P(t,u,v,\theta) $ 의 모든 영점들이 조밀하게 분포되어 있다는 가정이 모순을 일으키며, 이는 큰 영점이 없는 간격의 존재를 암시하는가?
• RQ3 최대 간격의 크기는 평균 간격 $ \frac{2\pi}{\text{log} T} $ 와 비교하여 어떻게 되며, 이를 조건부로 정량화할 수 있는가?
• RQ4 모리피어 기법과 $ L^2 $-노름 추정치를 위팅거 부등식과 조합하여 영점이 없는 영역을 도출할 수 있는 정도는 어느 정도인가?

주요 결과

• 논문은 임계선 상의 $ \zeta(\frac{1}{2} + it) $ 에 대해 충분히 큰 $ T $ 에 대해 $[T, 2T]$ 내부에 길이가 적어도 $ 2.766 \times \frac{2\pi}{\text{log} T} $ 이상인 영점이 없는 부분구간이 존재함을 증명한다.
• 이 결과는 리만 가설을 가정할 경우, 연속된 영점 간 정규화된 간격의 limsup가 $ \lambda \geq 2.766 $ 를 만족함을 시사한다.
• 모순 추론은 $ P(t,u,v,\theta) $ 의 모든 영점들이 $ \theta / \text{log} T $ 이내로 분포되어 있다고 가정할 경우, $ P $ 와 $ P' $ 의 $ L^2 $-노름을 비교함으로써 모순이 발생함을 보여준다.
• $ P $ 와 그 도함수의 $ L^2 $-노름의 점근적 분석은, 잘라낸 딜리클레 다항식과 그 로그 도함수의 산술 평균을 모델링하는 함수 $ f $ 와 $ g $ 를 포함한 정밀한 전개에 의존한다.
• 카우치의 적분 공식을 사용하여 주요 점근 공식의 도함수를 취함으로써, 적분 내에서 제타 함수 도함수의 제어가 가능해진다.
• 최종적인 모순은 $ P $ 의 $ L^2 $-노름 크기와 그 도함수의 크기를 비교함으로써 도출되며, 간격이 너무 작으면 첫 번째 노름이 두 번째 노름에 의해 유계화될 수 없다는 것을 보여준다.