[논문 리뷰] The maximum size of $L$-functions

David W. Farmer, S. M. Gonek외 1명|ArXiv.org|2005. 06. 11.

Analytic Number Theory Research참고 문헌 12인용 수 4

한 줄 요약

논문은 람다 함수의 최대 크기의 진짜 성장률을 추측하며, 무작위 행렬 이론, 모멘트 추측, 소수의 확률 모델을 사용한다. 이는 |ζ(1/2 + it)|의 최대값이 exp((1+o(1))√(½ log T log log T))의 형태로 성장한다고 제안하며, '1 또는 2?' 문제에서 하위항이 맞다는 견해를 지지한다. 대칭 유형에 기반한 다른 람다 함수 가족에 대해서도 유사한 결과를 도출한다.

ABSTRACT

We conjecture the true rate of growth of the maximum size of the Riemann zeta function and other $L$-functions. We support our conjecture using arguments from random matrix theory, conjectures for moments of $L$-functions, and also by assuming a random model for the primes.

연구 동기 및 목표

• 비판선에서 L-함수의 최대 크기의 진짜 성장률을 결정하는 것.
• 해석적 수론에서 현재 O 및 Ω 경계가 로그 거듭제곱의 지수에서 2배의 격차를 보이는 '1 또는 2?' 문제를 해결하는 것.
• 도함수 성장에 기반해 다양한 대칭 유형(유니터리, 심플렉틱, 옥타드로닉)을 가진 L-함수 가족으로 추측을 확장하는 것.
• 무작위 행렬 이론과 산술 계수의 확률 모델을 사용하여 L-함수의 임계값 최대 크기의 통합 프레임워크를 제공하는 것.
• S(t) 및 L-함수 값의 추측된 성장률이 타원 곡선의 랭크와 영점 분포에 미치는 영향을 탐색하는 것.

제안 방법

• 소수에 대한 곱과 비자명한 영점에 대한 곱으로 ζ(s)를 엄밀하게 근사하며, 후자를 무작위 유니터리 행렬의 특성 다항식으로 모델링한다.
• 영점과 관련된 곱을 모델링하기 위해 무작위 행렬 이론을 적용하며, 영점의 분포가 무작위 유니터리 행렬의 고유값과 유사하다고 가정한다.
• Granville와 Soundararajan의 작업에 기반한 소수 곱 항에 대한 확률 모델을 활용하여 곱계수의 불규칙한 행동을 포착한다.
• 두 모델을 결합하여 |ζ(1/2 + it)|의 최대값을 추정하고, 극값 분석을 통해 추측된 성장률을 도출한다.
• 대칭 유형(유니터리, 심플렉틱, 옥타드로닉)에 따라 L-함수 가족을 일반화하며, 지수 내의 상수 B를 다르게 할당한다.
• 큰 변화 이론과 무작위 행렬 다항식의 모멘트 생성 함수를 사용하여 최대 모듈러스의 尾確率를 추정하고, 추측된 점근적 성장률에 도달한다.

실험 결과

연구 질문

• RQ1 O 경계와 Ω 경계 사이의 격차를 감안할 때, 비판선에서 리만 제타 함수의 최대값의 진짜 성장률은 무엇인가?
• RQ2 '1 또는 2?' 문제에서 지수의 하위항이 맞는가, 즉 지수 상수 값이 2보다 1에 더 가까운가?
• RQ3 가족의 대칭 유형(유니터리, 심플렉틱, 옥타드로닉)은 도함수를 통해 L-함수의 최대 크기에 어떻게 영향을 미치는가?
• RQ4 ζ(1/2 + it)에 대한 추측된 성장률은 디리클레 L-함수나 촘프스 형식의 L-함수와 같은 다른 L-함수로 일반화될 수 있는가?
• RQ5 추측된 성장률은 L-함수의 최대 영점 차수와 타원 곡선의 랭크에 어떤 영향을 미치는가?

주요 결과

• t ∈ [0, T] 범위에서 |ζ(1/2 + it)|의 최대값은 exp((1+o(1))√(½ log T log log T))의 형태로 성장한다고 추측하며, 이는 '1 또는 2?' 문제에서 '1'을 지지한다.
• 영점 수 계산 함수의 오차 항 S(t)에 대해, limsup of S(t)/√(log t log log t)는 1/(π√2)로 추측되며, 이는 무작위 행렬 예측과 일치한다.
• 도함수 c(F)를 가진 L-함수 가족의 경우, |F(1/2)|의 최대 크기는 exp((1+o(1))√(B log D log log D))의 형태로 성장한다고 추측되며, 여기서 B = 1/2는 유니터리 가족, B = 1은 심플렉틱 및 옥타드로닉 가족에 해당한다.
• 이 추측은 특정 가족에 적용된다: 실수의 원시 디리클레 L-함수의 경우, max|L(1/2, χ_d)| ≈ exp((1+o(1))√(log D log log D)) for |d| ≤ D이다.
• 레벨 N과 무게 k인 정칙 촘프스 형식 f에 대해, kN ≤ D 범위에서 |L(k/2, f)|의 최대 크기는 exp((1+o(1))√(log D log log D))의 형태로 성장한다고 추측된다.
• 이 추측은 Q 위의 타원 곡선의 랭크의 limsup가 √(log c_E log log c_E)의 형태로 성장함을 시사하며, 이는 랭크 성장에 로그 상한을 제시한다.