[논문 리뷰] On some reasons for doubting the Riemann hypothesis

Aleksandar Ivić|ArXiv.org|2003. 11. 11.

Analytic Number Theory Research참고 문헌 46인용 수 25

한 줄 요약

이 논문은 리만 가설(RH)에 도전하는 여러 주장을 체계적으로 검토하며, 레이머 현상, Davenport–Heilbronn 제타함수, |ζ(1/2 + it)|의 극단적 값, 제타함수와 관련된 커플레션 함수들을 중심으로 분석한다. 이러한 이상 현상들을 바탕으로, RH에 대한 강력한 분석적·수치적 증거가 오히려 그 부정을 시사할 수 있음을 제시하며, RH가 널리 수긍되고 있음에도 불구하고 그 진위 여부에 의문을 제기한다.

ABSTRACT

Several arguments against the truth of the Riemann hypothesis are extensively discussed. These include the Lehmer phenomenon, the Davenport-Heilbronn zeta-function, large and mean values of $|ζ(1/2+it)|$ on the critical line, and zeros of a class of convolution functions. The first two topics are classical, and the remaining ones are connected with the author's research.

연구 동기 및 목표

• 리만 가설(RH)이 참이라는 일반적인 공감대를 도전하기 위해, 반증 자료를 체계적으로 검토하고 분석하는 것.
• ζ(s)의 비자명한 영점이 매우 가까이 위치하는 레이머 현상이 RH의 타당성에 미치는 영향을 조사하는 것.
• 비자명한 영점이 임계선 외부에 존재하는 Davenport–Heilbronn 제타함수를 반례로 삼아, 유사한 분석적 성질을 가진 제타함수들이 리만 가설과 유사한 행동을 하지 않을 수 있음을 보여주는 것.
• |ζ(1/2 + it)|의 큰 값과 평균값을 분석하여, RH 예측과의 괴리 가능성을 평가하는 것.
• 저자 최근 연구를 바탕으로 ζ(1/2 + it)와 밀접하게 관련된 커플레션 함수의 집합을 활용해 RH의 조건부 반증을 수립하는 것.

제안 방법

• ζ(s)의 비자명한 영점들이 이질적으로 가까이 위치하는 레이머 현상을 활용하여, 영점 분포의 잠재적 불안정성을 짐작할 수 있도록 한다.
• 리만 가설에 대한 알려진 반례인 Davenport–Heilbronn 제타함수를 분석하여, 유사한 분석적 성질을 가진 제타함수라도 임계선 외부에 비자명한 영점을 가질 수 있음을 보여준다.
• Motohashi와 Ivić의 연구를 바탕으로 |ζ(1/2 + it)|의 큰 값과 평균값에 관한 결과를 적용하여, 극단적 값이 RH 예측을 위반할 가능성을 평가한다.
• ζ(s)에서 유도된 디리클레 급수의 구조를 활용해 |ζ(1/2 + it)|의 행동을 모델링하고, RH와의 조건부 모순을 도출하기 위해 커플레션 함수의 집합을 도입한다.
• |ζ(1/2 + it)|의 2k차 모멘트에 대한 渐近 공식과 추측된 주항목을 활용하여, 임계선 상에서 제타함수의 성장률을 평가한다.
• RH와 ∑_{n≤x} μ(n) ≪ x^{1/2+ε} 사이의 동치성을 활용하여, 모비우스 함수 부분합의 관점에서 문제를 재구성하고, 메르텐스 추측과 그 반증과의 연관성을 제시한다.

실험 결과

연구 질문

• RQ1 레이머 현상은 ζ(s)의 비자명한 영점 분포에 대한 기대되는 균일성에 구조적 결함을 드러내는가?
• RQ2 임계선 외부에 영점을 가진 Davenport–Heilbronn 제타함수의 존재는 리만 가설의 보편성에 반박할 수 있는 근거가 될 수 있는가?
• RQ3 |ζ(1/2 + it)|의 극단적 및 평균값은 알려진 성장률을 고려할 때 리만 가설의 타당성을 어떻게 도전하는가?
• RQ4 ζ(1/2 + it)와 관련된 커플레션 함수를 활용해 리만 가설의 조건부 반증을 구성할 수 있는가?
• RQ5 오드리즈코와 테 루엘에 의한 메르텐스 추측의 반증은 리만 가설의 신뢰성에 어떤 의미를 갖는가?

주요 결과

• ζ(s)의 영점이 이질적으로 가까이 위치하는 레이머 현상은 RH가 요구하는 균일성과 어긋나는 잠재적 불안정성을 시사한다.
• 비자명한 영점이 임계선 외부에 존재하는 Davenport–Heilbronn 제타함수는 리만 가설에 대한 구체적인 반례로서, 유사한 제타함수들이 반드시 가설을 만족하지는 않음을 보여준다.
• 특히 2k차 모멘트의 맥락에서 |ζ(1/2 + it)|의 큰 값은 제타함수가 기대되는 크기에서 크게 벗어날 수 있음을 시사하며, 이는 RH의 유계 성장 예측에 도전한다.
• 저자가 제시한 커플레션 함수의 집합을 바탕으로, 그 영점 분포가 ζ(s)와 유사하다면 RH는 참일 수 없다는 조건부 반증을 제공한다.
• 오드리즈코와 테 루엘에 의한 메르텐스 추측(‖∑μ(n)‖ < √x)의 반증은 강력한 수치적 증거가 잘못된 방향으로 이끌 수 있음을 보여주는 중요한 사례로, RH에 대한 신뢰도를 약화시킨다.
• 저자는 무작위 행렬 이론이 제타함수 행동을 모델링하는 데 성공했음에도 불구하고, RH의 증명으로 이어지지 않았음을 지적하며, 리만 가설이 오랜 기간 동안 증명되지 않을 수 있음을 시사한다.