[논문 리뷰] Finite Euler products and the Riemann Hypothesis

S. M. Gonek|arXiv (Cornell University)|2007. 04. 26.

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

한 줄 요약

이 논문은 Riemann zeta-함수 ζ(s)를 잘라낸 오일러乘수로 근사함으로써 Riemann zeta-함수를 모델링하는 비해석적 함수의 매개변수화된 가족 ζ_X(s)를 구성한다. 리만 가설이 참일 경우, ζ_X(s)는 ζ(s)를 잘 모방하며, X가 증가함에 따라 모든 영점이 단순하고 상호로 밀어내는 성질을 띠며 ζ(s)의 영점으로 수렴한다. 이 모델은 영점의 단순성과 상호 밀어냄을 위한 구조적 메커니즘을 드러내며, ζ(s)에서 이러한 성질이 더 깊은 이유를 암시한다.

ABSTRACT

We show that if the Riemann Hypothesis is true, then in a region containing most of the right-half of the critical strip, the Riemann zeta-function is well approximated by short truncations of its Euler product. Conversely, if the approximation by products is good in this region, the zeta-function has at most finitely many zeros in it. We then construct a parameterized family of non-analytic functions with this same property. With the possible exception of a finite number of zeros off the critical line, every function in the family satisfies a Riemann Hypothesis. Moreover, when the parameter is not too large, they have about the same number of zeros as the zeta-function, their zeros are all simple, and they "repel". The structure of these functions makes the reason for the simplicity and repulsion of their zeros apparent and suggests a mechanism that might be responsible for the corresponding properties of the zeta-function's zeros. Computer evidence suggests that the zeros of functions in the family are remarkably close to those of the zeta-function (even for small values of the parameter), and we show that they indeed converge to them as the parameter increases. Furthermore, between zeros of the zeta-function, the moduli of functions in the family tend to twice the modulus of the zeta-function. Both assertions assume the Riemann Hypothesis. We end by discussing analogues for other L-functions and show how they give insight into the study of the distribution of zeros of linear combinations of L-functions.

연구 동기 및 목표

• 오일러乘수와 함수방정식의 상호작용을 분석하여 리만 가설이 참일 수 있는 이유를 이해하기 위해.
• ζ(s)의 핵심 성질인 영점 분포와 근사 행동을 재현하는 함수의 가족 ζ_X(s)를 구성하기 위해.
• 유한한 X에 대해 ζ_X(s)의 행동을 연구함으로써 ζ(s)에서 영점의 단순성과 상호 밀어냄의 구조적 근본 원인을 조사하기 위해.
• 특히 영점 수렴과 모듈러스 관계에 대해, ζ_X(s)와 ζ(s)가 임계선에서 어떻게 관련되어 있는지 조사하기 위해.
• 기존의 L-함수와 선형 조합으로의 프레임워크 확장하여, 그들의 영점이 임계선 위에 있을 수 있는 새로운 히우리스틱을 제시하기 위해.

제안 방법

• X가 잘라내기 길이를 제어하는 매개변수화된 함수 가족 ζ_X(s)를 정의하여, ζ(s)를 잘라낸 오일러乘수로 근사한다.
• 리만 가설에 기반하여 페론의 공식과 경로적분을 사용해 ζ(s)의 디리클레 다항식 근사의 오차 추정을 유도한다.
• 리만 가설이 참일 경우, ζ_X(s)가 임계띠의 대부분의 오른쪽 반부분을 포함하는 영역에서 ζ(s)를 잘 근사함을 증명한다.
• 함수의 해석적 구조를 이용해, 중간 크기의 X에 대해 ζ_X(s)의 모든 영점이 단순하고 상호로 밀어내는 성질을 증명한다.
• X → ∞일 때, ζ_X(s)의 영점이 ζ(s)의 영점으로 수렴하고, ζ(s)의 영점 사이에서는 |ζ_X(1/2 + it)| → 2|ζ(1/2 + it)| 임을 보인다.
• 디리클레 L-함수 L(s,χ)로의 프레임워크를 일반화하여 L_X(s,χ)를 구성하고, 이러한 함수의 선형 조합의 영점 분포를 분석한다.

실험 결과

연구 질문

• RQ1 리만 zeta-함수의 비자명한 영점들이 단순하고 상호로 밀어내는 성질을 결정짓는 구조적 특징은 무엇인가?
• RQ2 리만 가설 하에서, 유한한 오일러乘수는 임계띠에서 ζ(s)를 어떻게 근사하는가? 이는 영점이 없는 영역에 어떤 함의를 갖는가?
• RQ3 ζ(s)의 영점 분포와 근사 행동을 재현하는 비해석적 함수의 가족을 구성할 수 있으며, 이는 리만 가설에 대해 어떤 통찰을 제공하는가?
• RQ4 왜 L-함수의 선형 조합은 100%의 영점이 임계선 위에 있는가? 이는 표준적인 캐리어 웨이브 히우리스틱과 다른 메커니즘으로 설명될 수 있는가?
• RQ5 X가 증가함에 따라 ζ_X(s)의 영점이 ζ(s)의 영점으로 얼마나 잘 수렴하는가? 임계선에서 그들의 모듈러스는 어떻게 비교되는가?

주요 결과

• 리만 가설이 참일 경우, ζ(s)는 임계띠의 대부분의 오른쪽 반부분을 포함하는 영역에서 오일러乘수의 짧은 잘라내기로 잘 근사된다.
• 반대로, 이 영역에서 유한한 오일러乘수 근사가 잘 되어 있다면, ζ(s)는 그 영역에 유한 개 이하의 영점만을 가진다.
• 중간 크기의 X에 대해, ζ_X(s)는 ζ(s)와 거의 같은 수의 영점을 가지며, 유한 개 이하의 낮은 영점 외에는 모든 영점이 단순하다.
• ζ_X(s)의 영점은 상호로 밀어내며, 이 밀어냄 현상은 함수의 정의에 명백한 구조적 요소로 드러난다.
• X → ∞일 때, ζ_X(s)의 영점은 ζ(s)의 영점으로 수렴하고, ζ(s)의 영점 사이에서는 리만 가설 하에 |ζ_X(1/2 + it)| → 2|ζ(1/2 + it)| 임을 보였다.
• L_X(s,χ)의 선형 조합에 대해선, 결과가 임계선 위에 100%의 영점이 존재하는 데 대해 기존의 캐리어 웨이브 모델과는 다를 새로운 히우리스틱을 제안한다.