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

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

Analytic Number Theory ResearchMathematics인용 수 3

한 줄 요약

이 논문은 임계선 위의 짧은 간격에서 리만 제타함수의 극값에 대한 Fyodorov-Hiary-Keating 추측을 완성한다. |h| ≤ 1 범위에서 |ζ(1/2 + it + ih)|의 최댓값에 대한 날카운 상한을 확립함으로써, 최댓값의 분포가 꼬리 감쇠 ∼ye⁻²ʸ를 보이며 한계 법칙으로 수렴함을 확인함으로써, 로그적으로 관련된 필드의 보편성 클래스가 예측한 바와 같이 확인된다.

ABSTRACT

We prove a lower bound on the maximum of the Riemann zeta function in a typical short interval on the critical line. Together with the upper bound from the previous work of the authors, this implies tightness of $$ \max_{|h|\leq 1}|ζ( frac 12+{ m i} τ+{ m i} h)|\cdot \frac{(\log\log T)^{3/4}}{\log T}, $$ for large $T$, where $τ$ is uniformly distributed on $[T,2T]$. The techniques are also applied to bound the right tail of the maximum, proving the distributional decay $\asymp y e^{-2y}$ for $y$ positive. This confirms the Fyodorov-Hiary-Keating conjecture, which states that the maximum of $ζ$ in short intervals lies in the universality class of logarithmically correlated fields.

연구 동기 및 목표

• 임계선 위의 짧은 간격에서 리만 제타함수의 극값에 대한 Fyodorov-Hiary-Keating 추측을 완성하는 것.
• |h| ≤ 1 범위에서 |ζ(1/2 + it + ih)|의 정규화된 최댓값의 강도를 확립하여 이전 연구에서 구한 상한과 일치시키는 것.
• 최댓값의 한계 분포가 큰 양의 y에 대해 꼬리 감쇠 ∼ye⁻²ʸ를 보임을 확인하여 추측의 점 渐진적 특성화를 완성하는 것.
• 제타함수의 극값과 분열 과정 사이의 연결을 확장하여, Dirichlet 다항식 근사와 상관된 랜덤 워크를 사용하는 것.

제안 방법

• 임계선 위에서 log|ζ|를 Dirichlet 다항식의 부분합(Sₖ(h))으로 연결하기 위해 유한 오일러乘수의 새로운 적분 근사를 사용한다.
• 로그-로그 척도에서 소수로 색인화된 상관된 가우시안 랜덤 워크(Sₖ(h))에 대한 정교한 분석을 적용하여 제타함수의 행동을 모델링한다.
• 큰 소수에 대해서조차도 Sₖ(h)의 증분에서의 큰 이탈을 제어하기 위해 하한 장벽을 도입하여 극값의 발생을 보장한다.
• Dirichlet 합을 사용하여 Sₖ(h)가 상하 장벽으로 정의된 코로라도 내에 머무르는 사건을 정밀하게 인코딩한다.
• 볼레트 정리와 브라운 운동 브리지 쌍용을 활용하여 양의 상태를 유지할 확률를 제한함으로써 희귀 사건을 제어한다.
• [ArgBouRad2020]의 결과를 새로운 입력과 결합하여 하측 꼬리와 우측 꼬리 감쇠를 모두 증명함으로써 강도를 확인한다.

실험 결과

연구 질문

• RQ1 임계선 위의 일반적인 짧은 간격에서 |h| ≤ 1 범위에서 |ζ(1/2 + it + ih)|의 최댓값이 log T와 (log log T)^{-3/4}에 따라 예측된 점 渐진적 척도를 달성하는가?
• RQ2 짧은 간격에서 |ζ|의 최댓값의 한계 분포는 Fyodorov, Hiary, Keating가 추측한 바와 같이 꼬리 감쇠 ∼ye⁻²ʸ로 특징지어지는가?
• RQ3 최댓값의 하측 꼬리가 충분히 날카럽게 제한되어 정규화된 최댓값의 부분수열 수렴이 존재하는가를 확인할 수 있는가?
• RQ4 ζ의 극값은 Bramson의 시나리오가 제안한 바와 같이 분열 과정과 유사한 메커니즘으로 발생하는가?
• RQ5 ζ와 상관된 랜덤 워크 사이의 연결을 충분히 정밀하게 만들 수 있어 날카운 꼬리 추정치를 도출할 수 있는가?

주요 결과

• 논문은 t ∈ [T, 2T]에 대해 |ζ(1/2 + it + ih)|의 최댓값이 e^{-y} log T / (log log T)^{3/4} 이하일 확률에 대한 하한을 확립하여, y ≥ 0 에서 c^{-1} y^{-c} 의 속도로 감쇠함을 보였다.
• [ArgBouRad2020]에서 얻은 상한과 함께 이는 정규화된 최댓값의 강도를 증명하며, 최댓값이 (log log T - 3/4 log log log T)의 O(1) 범위 내에 있음을 확인한다.
• 정규화된 최댓값의 한계 분포 F(y)는 큰 양의 y에 대해 F(y) ≍ y e^{-2y} 를 만족함을 확인하여 추측된 우측 꼬리 감쇠를 확인한다.
• 부분수열 수렴의 존재가 입증되었다: Tₗ → ∞ 인 부분수열 Tₗ과 분포 F 가 존재하여, 최댓값이 e^y log T / (log log T)^{3/4} 를 초과하는 집합의 정규화된 측도가 y에 대해 가산 집합 외부에서 균일하게 F(y)로 수렴한다.
• 이 증명은 짧은 간격에서 제타함수의 극값이 Fyodorov-Hiary-Keating 추측이 예측한 바와 같이 로그적으로 관련된 필드의 보편성 클래스에 속함을 확인한다.
• 고점에서 Sₙₗ(h)의 정규성을 제어하기 위한 새로운 방법이 개발되었으며, 이를 통해 임계선 위에서 직접 분석이 가능해졌고, 이는 이전 방법보다 향상된 결과를 이끌어냈다.