[논문 리뷰] Sharp upper bounds for moments of quadratic Dirichlet $L$-functions

Peng Gao|arXiv (Cornell University)|2021. 01. 21.

Analytic Number Theory Research참고 문헌 16인용 수 7

한 줄 요약

이 논문은 0 ≤ k ≤ 2인 경우 제곱형 디리클레 L-함수의 중심점에서 k차 모멘트에 대한 조건부가 아닌 날카로운 상계를 도출한다. 이는 라드지빌-사운다라자잔 원리의 정교한 응용을 통해 이루어지며, 지수합, 헬더 부등식, 그리고 디리클레 다항식의 주의 깊은 절단을 통해 수행된다. 결과적으로 모멘트의 성장률은 X(log X)^{k(k+1)/2} 이하로 증가함을 보이며, GRH를 가정하지 않더라도 예측된 크기 주도의 성장률과 일치한다.

ABSTRACT

We establish unconditional sharp upper bounds of the $k$-th moments of the family of quadratic Dirichlet $L$-functions at the central point for $0 \leq k \leq 2$.

연구 동기 및 목표

• 0 ≤ k ≤ 2인 경우 L(1/2, χ₈ₔ)의 k차 모멘트에 대해 조건부가 아닌 날카로운 상계를 확립하는 것.
• 라드지빌과 사운다라자잔의 방법을 특수한 성분 χ₈ₔ를 가진 제곱형 디리클레 L-함수의 가족에 확장하는 것.
• GRH 하에서의 조건부 결과를 개선하여, 예측된 점근적 성장률과 일치하는 조건부가 아닌 상계를 제공하는 것.
• 지수합을 이용해 정교한 주요 함수를 구성함으로써, 모멘트 성장률 X(log X)^{k(k+1)/2} 가 최적임을 보여주는 것.

제안 방법

• 라드지빌-사운다라자잔 원리를 적용하여 고차 모멘트를 소수에 대한 지수합, 특히 ∑_{p≤z} (1/√p)χ₈ₔ( p )과 연결한다.
• L(1/2, χ₈ₔ)의 로그 크기를 모델링하기 위해 함수 𝒫(d) = ∑_{p≤z} (1/√p)χ₈ₔ( p )를 사용하여 L-함수의 크기를 지수 감쇠를 통해 제어한다.
• 영의 부등식과 헬더 부등식을 사용하여 |L(1/2, χ₈ₔ)|^{nk}를 |L(1/2, χ₈ₔ)|^n 과 𝒫(d)의 지수함수를 포함하는 항들의 합으로 주요화한다.
• 테일러 전개를 통해 exp(kn𝒫(d))의 지수 생성함수를 절단하여 평균화에 적합한 디리클레 다항식을 얻는다.
• 오차와 주항목을 균형 있게 하기 위해 ℓ를 선택함으로써, 지수를 근사하기 위해 함수 𝒩(d, α) = ∏_p (1 + α/p^{1/2} + ⋯ + α^{2ℓ}/p^{ℓ+1/2})를 사용한다.
• 레마 4.1을 적용하여 E_ℓ(x)E_ℓ(-x) ≥ 1임을 보이고, 이를 통해 헬더 부등식을 사용하여 k차 모멘트를 낮은 차수의 모멘트와 𝒩(d, α)의 곱으로 제한한다.

실험 결과

연구 질문

• RQ1 0 ≤ k ≤ 2인 경우 제곱형 디리클레 L-함수의 중심점에서 k차 모멘트에 대해 조건부가 아닌 날카로운 상계를 확립할 수 있는가?
• RQ2 라드지빌-사운다라자잔 원리는 홀수 제곱 자유수 d를 가진 L(s, χ₈ₔ) 가족에 어떻게 적용될 수 있는가?
• RQ3 ∑_{d≤X, (d,2)=1} |L(1/2, χ₈ₔ)|^k 의 k차 모멘트의 정확한 성장률은 무엇이며, 예측된 X(log X)^{k(k+1)/2} 와 일치하는가?
• RQ4 이 방법은 k = 1/2 또는 정수 m > 2에 대해 k = 1/m인 비정수 모멘트를 다룰 수 있도록 확장될 수 있는가?

주요 결과

• 홀수 제곱 자유수 d ≤ X에 대해 L(1/2, χ₈ₔ)의 k차 모멘트는 0 ≤ k ≤ 2인 경우 조건부가 아닌 O_k(X(log X)^{k(k+1)/2}) 이하로 상계된다.
• 상계는 예측된 점근적 크기 주도의 성장률과 일치하며, 무작위 행렬 이론과 CFKRS 추측을 확인한다.
• k = 1 및 k = 2인 경우 상계는 날카롭고 기존의 점근 공식과 더 나은 오차 항을 포함한다.
• 이 방법은 GRH에 의존하지 않고, 절단된 지수합과 헬더 부등식에 기반한 주요 함수를 사용함으로써 성공적으로 피하기를 방지한다.
• 오차 항은 오일러 곱의 수렴성과 디리클레 다항식 전개에서 계수의 감쇠를 통해 제어됨을 증명한다.
• 이 방법은 E_ℓ(x)E_ℓ(-x) ≥ 1임을 보여주는 항등식과 헬더 부등식의 다중 적용을 통해 비정수 모멘트, 예를 들어 k = 1/2에 대해서도 일반화 가능하다.