[논문 리뷰] A computational history of prime numbers and Riemann zeros

Pieter Moree, Izabela Petrykiewicz외 1명|arXiv (Cornell University)|2018. 10. 11.

Analytic Number Theory Research참고 문헌 44인용 수 11

한 줄 요약

이 논문은 소수의 분포와 리만 제타함수의 비자명한 영점에 대한 계산 및 역사적 조사를 제공하며, 가우스의 초기 추정에서 현대의 랜덤 매트릭스 이론과의 연결까지 발전 과정을 추적한다. 리만 가설이 참이라면 π(x) 소수 세기 함수에 대해 날카러운 경계를 도출할 수 있으며, 이는 해석적 수론과 랜덤 매트릭스 이론의 이론적 통찰과 숫자 계산의 발전에 의해 주로 이뤄진다.

ABSTRACT

We give an informal survey of the historical development of computations related to prime number distribution and zeros of the Riemann zeta function.

연구 동기 및 목표

• 수학적 소수 표에서 현대적 수치적 검증에 이르기까지 소수 이론에서의 계산 방법의 역사를 추적한다.
• 리만 가설이 π(x), 즉 소수 세기 함수에 대해 날카러운 추정을 가능하게 하는 바를 설명한다.
• 비자명한 제타 영점의 분포와 랜덤 매트릭스 이론(RMT) 사이의 깊은 연결 고리를 탐구하며, 특히 제타 함수의 모멘트를 예측하는 데 중점을 둔다.
• 특히 T = 10^22 근처에서 오드리즈코가 수행한 고정밀도 영점 계산을 통해 이론적 추측을 검증하는 데서 수치 계산의 역할을 강조한다.
• 반복 로그 함수의 미묘한 증가 양상으로 인해 이론적 기초 없이 수치 데이터에 과도하게 의존할 경우 오해의 소지가 있음을 경고한다.

제안 방법

• 가우스의 칠리아드 방법에서 쿨리크의 4,212페이지 분할표에 이르기까지 수작업 및 알고리즘 기반의 소수 세기 추적.
• 소수 세기 함수 π(x)에 대한 중심적인 근사로 로그 적분 Li(x)를 사용하며, 소수 정리에 의해 π(x) ~ x/log x임이 증명됨.
• 리만 가설을 적용하여 날카러운 경계를 도출: x > 2,657일 때 |π(x) − Li(x)| < (1/(8π))√x log x.
• 비자명한 제타 영점의 통계적 분포를 모델링하기 위해 랜덤 매트릭스 이론(RMT)을 활용하여 제타 함수의 모멘트 I_k(T)에 대한 추측을 이끌어냄.
• I_k(T) ~ (f(k)a(k)/k²!) T (log T)^{k²}의 점근적 공식에서 f(k)의 추측적 정수값을 유도하며, f(3)=42 및 f(4)=24024는 RMT에 의해 확인됨.
• 특히 T = 10^22 근처에서 오드리즈코의 고정밀도 영점 데이터를 활용해 RMT 기반의 추측을 광범위하게 수치적으로 검증함.

실험 결과

연구 질문

• RQ1 역사적 소수 계산은 수작업 표에서 현대적 수치 방법으로 어떻게 발전했는가?
• RQ2 리만 가설이 Li(x)에 의한 π(x)의 정밀한 근사화에 어떤 의미를 지니며, 어떤 경계를 암시하는가?
• RQ3 랜덤 매트릭스 이론이 제타 함수의 모멘트에 대해 예측하는 바는 해석적 수론 결과와 어떻게 비교되는가?
• RQ4 특히 T = 10^22 근처에서의 고정밀도 제타 영점 계산은 이론적 추측을 검증하는 데 어떤 역할을 하는가?
• RQ5 왜 log log log x와 같은 천천히 증가하는 함수에 대해서는 수치 데이터에서 추측을 도출할 때 경계가 필요할까?

주요 결과

• 가우스의 초기 추측 π(x) ≈ Li(x)는 소수 정리로 이어졌으며, 나중에 하다마르드와 드 라 발레 푸생에 의해 독립적으로 증명됨.
• 리만 가설은 모든 x > 2,657에 대해 |π(x) − Li(x)| < (1/(8π))√x log x라는 날카러운 경계를 암시하며, 오차 추정을 크게 향상시킴.
• 랜덤 매트릭스 이론은 제타 함수의 점근적 모멘트에 대해 f(3) = 42 및 f(4) = 24024의 정수값을 성공적으로 예측하였으며, 이는 이전의 해석적 결과와 일치함.
• 오드리즈코가 T = 10^22 근처에서 수행한 제타 영점의 수치 계산은 제타 함수가 그러한 큰 높이에서야 진정한 통계적 행동을 보임을 드러냄.
• 함수체에서 L-함수와 랜덤 매트릭스 이론의 연결은 강력하며, 여기서 리만 가설이 이미 증명되어 있어, RMT 사전을 통해 수론의 정리들이 도출됨.
• 강력한 수치적 및 히우리스틱적 지지에도 불구하고, RMT 사전이 항상 성립한다는 증명은 존재하지 않으며, 이는 계산 수론의 계속된 중요성을 강조한다.