[논문 리뷰] Harmonic Analysis on the Positive Rationals II: Multiplicative Functions and Maass Forms

P. D. T. A. Elliott, Jonathan Kish|arXiv (Cornell University)|2014. 05. 28.

Analytic Number Theory Research참고 문헌 14인용 수 11

한 줄 요약

이 논문은 마스 촉형과 헬로모르픽 뉴폼과 관련된 곱셈적 산술 함수에 대한 중심극한정리들을 수립하며, 라만두잔의 $\tau$-함수 추측을 확장한다. 양의 유리수 위에서의 조화해석학, 자동형식 이론, 스펙트럼 방법을 사용하여, 적절한 정규화 하에 정규분포로의 약한 수렴을 증명하며, 명시적인 오차 항과 수준 및 캐릭터에 대한 일관성을 확보한다.

ABSTRACT

This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.

연구 동기 및 목표

• 라만두잔의 $\tau$-함수에 대한 중심극한 추측을 일반적인 마스 촉형과 헬로모르픽 뉴폼으로 확장하기.
• 비영인성과 곱셈적 구조를 고려하여 정규화된 계수들이 표준 정규분포로의 약한 수렴을 확립하기.
• L-함수 이론과 프라그멘-린델뢰프 원리를 사용하여 수준 $D$와 딜리클레 캐릭터 모듈러스에 대한 균일한 경계를 유도하기.
• 복소 곱승의 영향이 계수 분포에 미치는 영향을 다루고, 중심극한정리의 스케일링을 이를 바탕으로 수정하기.
• 아델릭 표현 이론과 히케 고유형식을 통한 헬로모르픽 및 비헬로모르픽 자동형식의 통합적 처리하기.

제안 방법

• 자기곱셈군 $\mathbb{Q}^*$ 위에서의 조화해석학을 적용하여 자동형식의 계수 분포를 연구하기.
• L^2(\Gamma_0(N)\backslash SL(2,\mathbb{R}))의 스펙트럼 이론을 사용하여 계수들이 히케 연산자에 대한 고유함수로 해석되도록 하기.
• Euler 곱과 사타케 매개변수를 사용하여 마스 형식과 관련된 L-함수, 특히 그 로그 도함수를 분석하기.
• Borel-Carathéodory 부등식을 $\operatorname{Re}(s) \geq 3/4$ 인 $f(s)/f(s_0)$에 적용하여 $D$에 대해 균일한 경계를 도출하기.
• Chebotarev 밀도 정리와 $\ell$-adic 표현을 사용하여 비영인 계수의 밀도를 추정하기.
• 오차 항을 제어하기 위해 지수 합 $\sum_{D < p \leq x} a_p^2 \chi(p) p^{-1-it}$ 의 점근적 경계를 도출하기.

실험 결과

연구 질문

• RQ1 마스 촉형의 정규화된 계수 분포는 표준 정규분포로 약하게 수렴하는가?
• RQ2 복소 곱승이 자동형식 계수의 중심극한정리에서 스케일링과 최종 분산에 어떤 영향을 미치는가?
• RQ3 중심극한정리의 오차 항에 대해 수준 $D$와 캐릭터 모듈러스에 대해 균일한 경계를 확립할 수 있는가?
• RQ4 계수 $a_n$ 이 양의 밀도 집합에서 영이 되는 경우, 계수 분포에 대한 적절한 정규화 인자가 무엇인가?
• RQ5 Sato-Tate 추측과 그 오차 추정은 헬로모르픽 뉴폼에 대한 중심극한정리를 얼마나 정교하게 개선할 수 있는가?

주요 결과

• 복소 곱승이 없는 헬로모르픽 뉴폼의 경우, 정규화된 계수 $|a_n|n^{-(k-1)/2}$ 는 $\rho x$ 스케일링 하에 분산 $\delta^2 = \pi^2/12 + 1/2$ 를 가지며 중심극한정리를 만족한다. 여기서 $\rho$ 는 비영인 계수의 밀도이다.
• 마스 촉형의 경우, 계수 분포 $|a_n|n^{-(k-1)/2}$ 는 $a_n \neq 0$ 가 밀도 $Ax(\log x)^{-1/2}$ 인 집합에서 정규분포로 약하게 수렴하며, 분산은 $\lambda^2 = \pi^2/24$ 이다.
• Sato-Tate 추정의 오차 $\sum_{p \leq x} |a_p|^2 p^{-k} (\log |a_p|p^{-(k-1)/2})^2$ 는 $o(x(\log x)^{-3})$ 으로 개선되어 일반 중심극한정리 추측을 완전히 확립할 수 있다.
• Borel-Carathéodory 부등식을 $f(s)/f(s_0)$ 에 적용하여 $D$에 대해 균일한 경계를 확보하였으며, $1 < \sigma_1 \leq \sigma_2$ 에 대해 $|f(\sigma_1 + it)/f(\sigma_2 + it)| \ll (D(2+|s|))^{c_1(\sigma_2 - \sigma_1)}$ 를 도출하였다.
• 비영인 계수의 밀도 $\rho$ 는 적절한 가정 하에 $\rho \geq (1/16)L_2 - \log L_2 + O(1)$ 를 만족한다. 여기서 $L_2 = \log(\log x / \log D)$ 이다.
• 이 방법은 Shimura-Gelbart 이론을 통해 L-함수의 딜리클레 스트레칭으로까지 확장되며, 원시적 캐릭터에 대해 $D$에 대해 균일성이 확립된다.