[논문 리뷰] Large deviations in Selberg's central limit theorem

Maksym Radziwiłł|arXiv (Cornell University)|2011. 08. 25.

Stochastic processes and statistical mechanics인용 수 8

한 줄 요약

이 논문은 리만 제타 함수의 임계선에서 셀버그의 중심극한정리의 범위를 확장하여 log|ζ(1/2 + it)|의 분포에 대한 대편차 점근적 성질을 확립함으로써, 이전까지 알려진 Δ ≪ (log log log T)^{1/2−ε} 범위를 훨씬 초월하여 Δ ≪ (log log T)^{1/10−ε}까지 성립함을 증명한다. 방법론은 장거리 딜리클레 다항식의 새로운 분석과 희귀한 큰 값들을 제어하기 위한 제한된 측도 접근법에 기반하며, 수론에서의 모멘트 추측과 값 분포 이론에 응용 가능하다.

ABSTRACT

Following Selberg it is known that uniformly for V << (logloglog T)^{1/2 - ε} the measure of those t \in [T;2T] for which log |ζ(1/2 + it)| > V*((1/2)loglog T)^{1/2} is approximately T times the probability that a standard Gaussian random variable takes on values greater than V. We extend the range of V to V << (loglog T)^{1/10 - ε}. We also speculate on the size of the largest V for which this normal approximation can hold and on the correct approximation beyond that point.

연구 동기 및 목표

• 이전까지 알려진 Δ ≪ (log log log T)^{1/2−ε} 범위를 초월하여, log|ζ(1/2 + it)|에 대한 셀버그의 중심극한정리의 유효 범위를 확장하는 것.
• t ∈ [T, 2T]에서 log|ζ(1/2 + it)|이 큰 임계값 Δ√(1/2 log log T)를 초과하는 경우의 측도의 점근적 행동을 조사하는 것.
• 가우시안 尾 꼬리 근사가 실패하는 지점과 그 이후의 정확한 점근적 형태를 추측하는 것.
• 모멘트 정보만을 사용하여 제타 함수 및 기타 L-함수의 값 분포, 정수에서의 덧셈 함수에 적용 가능한 일반적 방법을 개발하는 것.
• Δ ≫ √log log T에서의 가우시안 근사 실패와 ζ(s)의 모멘트 추측, 특히 k ∈ (0,1)에 대해 C_k ≠ 1임을 연결하는 것.

제안 방법

• x = T^{1/(log log T)^2}일 때, 장거리 딜리클레 다항식 ∑_{p≤x} p^{−1/2−it}의 실수부의 분포로 문제를 축소한다.
• 딜리클레 다항식이 큰 값을 취하지 않는 [T, 2T]의 부분집합 A ⊂ [T, 2T]를 도입하여, A를 제외한 오차가 무시 가능함을 보장한다.
• 딜리클레 다항식의 모멘트 생성함수를 표현하기 위해 ∏_{p≤x} I_0(z/√p)를 사용하고, 복소해석학을 적용하여 라플라스 변환을 역행한다.
• 대부분의 큰 값의 측도를 표현하기 위해 절단된 페론 유형 적분 공식을 적용하고, 베셀 함수의 곱에 대한 감쇠 추정을 통해 오차를 제어한다.
• 제곱 완성 기법과 해석적 계속을 적용하여 주요 점근항을 추출하며, 이가 가우시안 꼬리와 비례하고 있음을 보인다.
• 주요 항이 모멘트 생성함수의 해석적 부분 F(z)의 F(c)에 의존한다는 사실을 이용하고, T → ∞일 때 Δ ∼ k√(log log T)이면 F(c) → F(k)임을 보인다.

실험 결과

연구 질문

• RQ1 T → ∞일 때 Δ → ∞인 대편차 영역에서, log|ζ(1/2 + it)|에 대한 셀버그의 중심극한정리의 확장 범위는 어느 정도까지 가능할까?
• RQ2 큰 값의 측도에 대해 가우시안 꼬리 근사 ∫_Δ^∞ e^{−u²/2} du / √(2π)가 유지되는 최대 Δ는 얼마인가?
• RQ3 고정된 k > 0에 대해 Δ ∼ k√(log log T)일 때 측도의 점근적 행동은 어떻게 변화하며, 여전히 가우시안 꼬리와 비례하는가?
• RQ4 모멘트 생성함수 대신 모멘트 정보만 제공될 경우, 이 방법을 다른 L-함수 또는 덧셈 산술 함수로 일반화할 수 있는가?
• RQ5 Δ ≫ √log log T에서의 가우시안 근사 실패가 ∫_T^{2T} |ζ(1/2 + it)|^{2k} dt ∼ C_k T (log T)^{k²}라는 추측된 모멘트 공식과 모순되는가?

주요 결과

• log|ζ(1/2 + it)|의 큰 값의 측도에 대한 점근적 공식은 Δ ≪ (log log T)^{1/10−ε} 범위에서 균일하게 성립하며, 이는 셀버그의 원래 결과를 (log log log T)^{1/2−ε} 범위를 초월하여 확장한다.
• 고정된 k > 0에 대해 Δ ∼ k√(log log T)일 때, 측도는 c_k × 가우시안 꼬리와 점근적으로 비례하며, 0 < c_k ≠ 1이므로 표준 가우시안 형태에서의 이탈이 나타난다.
• 이 방법은 딜리클레 다항식 ∑_{p≤x} p^{−1/2−it}가 유계이고, [T, 2T]에서 밀도 1 − o(1)인 부분집합 A ⊂ [T, 2T]에서 큰 값을 취하지 않는다는 사실에 기반하며, 이로 인해 모멘트 생성함수를 통한 尾 꼬리 제어가 가능하다.
• 주요 결과의 증명은 ∏_{p≤x} I_0(z/√p)의 곱에 대한 새로운 추정에 의존하며, |Im z|가 √x에 비해 크다면 급격한 감쇠가 일어남을 보여준다.
• 점근 전개의 오차항은 O(e^{−c(log log T)^{1/2}})이며, δ = 3/20일 때 Δ ≤ (log log T)^{1/16 + δ/4 − ε}이면 무시 가능하므로 Δ ≪ (log log T)^{1/10−ε}를 얻는다.
• 가우시안 근사가 Δ = o(√log log T)일 때 성립한다는 추측은 결과에 의해 지지되며, Δ ≫ √log log T에서의 실패는 k ∈ (0,1)에 대해 C_k ≠ 1임의 비자명성과 연결된다.