[논문 리뷰] The Fyodorov-Hiary-Keating Conjecture. I

Louis‐Pierre Arguin, Paul Bourgade외 1명|arXiv (Cornell University)|2020. 07. 02.

Analytic Number Theory Research참고 문헌 29인용 수 22

한 줄 요약

이 논문은 임계선 위의 짧은 간격에서 리만 제타 함수의 최대값에 관한 Fyodorov-Hiary-Keating 추측의 상계 부분을 확립한다. Dirichlet 다항식 근사와 분리 기법에 기반한 반복 장벽 방법을 사용하여, $ t \in [T, 2T] $ 중에서 최대값이 $ e^y \frac{\log T}{(\log\log T)^{3/4}} $ 를 초과하는 측도는 $ y \geq 1 $ 에 대해 일관되게 $ C y e^{-2y} T $ 로 유계화됨을 증명한다. 여기서 $ C > 0 $ 는 절대 상수이다. 이 결과는 $ y = O(\sqrt{\log\log T}) $ 범위에서 최적이다.

ABSTRACT

By analogy with conjectures for random matrices, Fyodorov-Hiary-Keating and Fyodorov-Keating proposed precise asymptotics for the maximum of the Riemann zeta function in a typical short interval on the critical line. In this paper, we settle the upper bound part of their conjecture in a strong form. More precisely, we show that the measure of those $T \leq t \leq 2T$ for which $$ \max_{|h| \leq 1} |ζ(1/2 + i t + i h)| > e^y \frac{\log T }{(\log\log T)^{3/4}}$$ is bounded by $Cy e^{-2y}$ uniformly in $y \geq 1$. This is expected to be optimal for $y= O(\sqrt{\log\log T})$. This upper bound is sharper than what is known in the context of random matrices, since it gives (uniform) decay rates in $y$. In a subsequent paper we will obtain matching lower bounds.

연구 동기 및 목표

• 임계선 위 짧은 간격에서 리만 제타 함수 국소 최대값의 추측된 분포를 다루다.
• 극단치에 대한 정확한 尾 꼬리 붕괴 비율을 예측하는 Fyodorov-Hiary-Keating 추측의 상계 부분을 해결하다.
• 지수 붕괴를 포함한 균일한 날카운 상계를 확립하여 이전 분석적 수론 결과를 향상시키다.
• 소수 근처 $ T $ 에서의 Dirichlet 다항식의 큰 이탈을 제어하기 위해 새로운 반복 장벽 방법을 개발하다. 이는 표준 모멘트 방법의 한계를 극복한다.
• 무작위 행렬 이론과 분열 랜덤 워크의 예측을 반영하는 엄밀한 프레임워크를 제공하며, 특히 $ (\log\log T)^{3/4} $ 지수에 초점을 맞추다.

제안 방법

• 크기 $ k \leq \log\log T $ 가 증가하는 스케일에서 부분합의 Dirichlet 다항식에 대해 상하 제약 조건을 반복적으로 강제하는 반복 장벽 체계를 구성하여 분열 랜덤 워크 역학을 모방하다.
• 잘 분포된 점들 $ \mathcal{T}_n $ 을 이용한 이산화를 통해 $ |h| \leq 1 $ 에서 $ |\zeta(\frac{1}{2} + it + ih)| $ 의 최대값을 근사하고, 부드러운 캐트오프와 푸리에 분석을 통해 오차를 통제하다.
• 분리 부등식과 두 번째 모멘트 추정을 적용하여 최대값의 꼬리 확률을 통제하며, Dirichlet 다항식의 조화 분석과 $ L^2 $-유형 유계를 기반으로 하다.
• 최대값의 분산을 통제하기 위해 비틀린 네 번째 모멘트 추정을 활용하며, $ |\zeta|^{4} $ 의 하모닉성과 작은 원판 위의 적분 평균을 이용하다.
• 짧은 간격에서 균일한 근사가 보장되는 스무스 캐트오프를 갖는 길이 $ T $ 의 Dirichlet 다항식으로 $ \zeta(s) $ 를 근사하다. 이는 근사 함수 방정식을 통해 이루어지며.
• 모리피어 기반 접근법을 사용하여 하단 꼬리 제어 및 장벽 구조의 정밀화를 달성하여, 강한 상관관계가 존재하는 상황에서도 큰 이탈을 정밀하게 제어하다.

실험 결과

연구 질문

• RQ1 T \to \infty 일 때, $ |\zeta(\frac{1}{2} + it + ih)| $ 의 최대값에 대한 날카운 상측 꼬리 붕괴 비율은 무엇인가? (|h| \leq 1 범위에서)
• RQ2 정규화에서 $ (\log\log T)^{3/4} $ 지수는 짧은 간격에서 제타 함수 값의 상관관계에서 어떻게 유도되는가?
• RQ3 높은 모멘트 계산이 어려운 상황에서도, Dirichlet 다항식 부분합에 기반한 장벽 방법이 제타 함수의 큰 이탈을 제어하는 데 적합하게 조정될 수 있는가?
• RQ4 최대값의 꼬리 확률에 대한 추측된 붕괴 비율 $ \ll y e^{-2y} $ 이 분석적 수론 기법으로 달성 가능한가?
• RQ5 상계가 $ y $ 에 대해 균일하게 유지될 수 있으며, $ y = O(\sqrt{\log\log T}) $ 범위에서 최적이 되는가?

주요 결과

• 논문은 균일한 상계를 확립한다: $ t \in [T, 2T] $ 중에서 $ \max_{|h| \leq 1} |\zeta(\frac{1}{2} + it + ih)| > e^y \frac{\log T}{(\log\log T)^{3/4}} $ 를 만족하는 측도는 $ C > 0 $ 인 절대 상수를 사용해 $ C y e^{-2y} T $ 이하이다.
• 이 상계는 $ y = O(\sqrt{\log\log T}) $ 범위에서 최적이며, Fyodorov-Hiary-Keating 추측이 예측한 꼬리 붕괴 $ 1 - F(y) \sim C y e^{-2y} $ 와 정확히 일치한다.
• 이 결과는 최대값의 오른쪽 꼬리에 대한 $ e^{-2y} $ 붕괴 비율에 대한 첫 번째 엄밀한 확인을 제공하며, 이는 랜덤 행렬 이론의 상황보다 더 강력하다.
• 방법론은 $ y $ 에 대해 균일한 붕괴를 달성하여 이전 결과에 없던 특징을 갖으며, 소수 근처 $ T $ 에서의 장기 Dirichlet 다항식의 고차 모멘트 계산 과제를 극복한다.
• 반복 장벽 구성은 부분합의 Dirichlet 다항식에 대해 제약 조건을 반복적으로 강제하여 큰 이탈을 성공적으로 제어하며, 분열 랜덤 워크의 구조를 모방한다.
• 증명은 잘 분포된 점들 $ \mathcal{T}_n $ 을 사용한 이산화 추론에 기반하며, $ |h| \leq 1 $ 에서의 최대값은 $ \mathcal{T}_n $ 에서의 최대값으로 유계화되며, 무시할 수 없는 오차 $ O_A(e^{-An}) $ 이다.