[논문 리뷰] The Riemann zeta function in short intervals [after Najnudel, and Arguin, Belius, Bourgade, Radziwiłł, and Soundararajan]

Adam J. Harper|arXiv (Cornell University)|2019. 04. 17.

Analytic Number Theory Research참고 문헌 15인용 수 8

한 줄 요약

이 논문은 임계선 위에서 짧은 간격에서 리만 제타함수의 분포에 관한 최근 발전을 조사하며, Fyodorov–Hiary–Keating 추측에 초점을 맞춘다. 이 추측은 h ∈ [−1, 1] 에서 |ζ(1/2 + it + ih)| 의 최댓값에 대한 것이다. 확률적 힌트, 랜덤 매트릭스 이론의 유사성, 그리고 순간 방법—특히 소수 합 근사와 분열 랜덤 워크 모델을 통해—엄밀한 하한값이 도출되었으며, 이 하한값은 log log T − c log log log T 의 공식적 대칭 성장률과 일치한다. 여기서 c = 3/4 + o(1) 이다.

ABSTRACT

This is the text to accompany my Bourbaki seminar from 30th March 2019, on the maximum size of the Riemann zeta function in "almost all" intervals of length 1 on the critical line. It surveys the conjecture of Fyodorov--Hiary--Keating on the behaviour of this typical maximum, as well as recent progress towards the conjecture by Najnudel and by Arguin--Belius--Bourgade--Radziwiłł--Soundararajan. There is also some general background discussion of the value distribution and large values of zeta.

연구 동기 및 목표

• t가 변할 때 h ∈ [−1, 1] 에서 |ζ(1/2 + it + ih)| 의 최댓값에 대한 최근 엄밀한 결과를 조사하는 것.
• Fyodorov–Hiary–Keating 추측을 설명하는 것—즉, 일반적인 짧은 간격에서 최댓값이 exp((log log T − 3/4 log log log T)/2) 의 속도로 증가한다는 것.
• 소수 p−it 가 단위 원 위에서 독립적인 균일 확률 변수처럼 행동한다는 확률 원리가 짧은 간격에서 제타함수의 행동을 어떻게 뒷받기하는지 명확히 하는 것.
• 순간 계산과 분열 랜덤 워크 힌트를 통해 |ζ(1/2 + it + ih)| 의 최댓값에 대한 하한값을 도출하는 방법을 보여주는 것.
• 현재 방법의 정밀도를 제한하는 요소로서 제타의 영점과 장기간 소수 합 근사에서의 비대칭 항목이 차지하는 역할을 밝혀내는 것, 특히 전망된 상한값에 도달하기 위한 나머지 과제를 규명하는 것.

제안 방법

• p−it 가 단위 원 위에서 독립적인 균일 확률 변수처럼 행동한다는 힌트를 사용하여 제타함수 행동의 확률적 모델링을 정당화한다.
• 순간 방법을 적용하여 log|ζ(1/2 + it + ih)| 를 소수에 대한 합 ∑_{p ≤ x} Re(p^{−1/2 − it − ih}) 로 근사하고, 이를 독립적인 확률 변수의 합으로 간주한다.
• 소수 합의 최댓값을 추정하기 위해 분열 랜덤 워크의 변형을 사용하여, 짧은 간격에서 제타함수의 극값 행동을 모델링한다.
• 제타함수를 국소적으로 근사하기 위해 하디–리틀우드의 근사 함수 방정식을 활용하여 부분합 ∑_{n ≤ T} n^{−1/2 − it} + O(T^{−1/2}) 로 제어한다.
• 포인트와 관련된 결과를 거의 확실히 일반화하기 위해 소볼레프–갈라거 타입의 추정을 사용하여, 결과가 대부분의 t 에 대해 성립함을 보장한다.
• 큰 값이 임계선에서 약간 떨어진 곳에서 발생하면 임계선 상에서도 큰 값이 존재함을 보여주는 전이 원리를 적용하여, Riemann 가설에 의존하지 않는 무조건적 결과를 확보한다.

실험 결과

연구 질문

• RQ1 T → ∞ 일 때 h ∈ [−1, 1] 에서 |ζ(1/2 + it + ih)| 의 최댓값의 정확한 주기적 크기는 무엇인가?
• RQ2 짧은 간격에서 ζ(1/2 + it) 의 변동성이 소수에 대한 오일러乘수의 통계적 성질과 어떻게 관련되는가?
• RQ3 제타함수는 짧은 간격에서 어느 정도까지 분열 랜덤 워크로 모델링될 수 있으며, 이는 극값에 어떤 함의를 갖는가?
• RQ4 log|ζ(1/2 + it + ih)| 의 최댓값에 대한 추측된 상한값 log log T − 3/4 log log log T 가 엄밀하게 증명될 수 있는가?
• RQ5 순간 계산에서 제타의 영점과 비대칭 항목은 현재 방법의 정밀도를 제한하는 데 어떤 역할을 하는가?

주요 결과

• Najnudel 은 Riemann 가설을 가정할 때 max_{|h|≤1/2} |ζ(1/2 + it + ih)| 에 대해 추측된 주기적 크기와 일치하는 하한값을 확립하였다.
• Arguin, Belius, Bourgade, Radziwiłł, 그리고 Soundararajan 은 Riemann 가설을 가정하지 않고도 Fyodorov–Hiary–Keating 추측과 일치하는 무조건적 하한값을 증명하였다.
• 하한값은 exp((log log T − 3/4 log log log T)/2) 의 순서이며, 짧은 간격에서 최댓값의 추측된 성장률과 일치한다.
• 이 방법들은 장기간 소수 합으로 제타함수를 근사하고, 이들이 독립적인 확률 변수의 합처럼 행동함을 보여, 분열 랜덤 워크 스타일 분석이 가능함을 보여준다.
• 기존의 L2 및 소볼레프 유형 추정을 사용하여 점근적 결과에서 거의 모든 점으로의 일반화가 가능함을 보였다.
• 핵심적인 기술적 단계는 하드리–리틀우드 근사에서 유도된 도함수 추정을 통해, 임계선에서 약간 떨어진 곳에서 큰 값이 존재하면 임계선 상에서도 큰 값이 존재함을 보이는 것임.