[논문 리뷰] Estimates for character sums and Dirichlet $L$-functions to smooth moduli

A. J. Irving|arXiv (Cornell University)|2015. 03. 24.

Analytic Number Theory Research참고 문헌 1인용 수 3

한 줄 요약

이 논문은 제수 $q$가 제곱-free이자 $q^\delta$-smooth일 때, 문자합과 디리클레 $L$-함수의 $s = \frac{1}{2}$에서 향상된 경계를 확립한다. 이는 $q$-analogue 형태의 반-더 코르푸 $ABA^3B$ 과정을 사용하여 이루어지며, 주요 결과는 $L\left(\frac{1}{2},\chi\right) \ll_\epsilon q^{\frac{27}{164} + O(\delta) + \epsilon}$이다. 이는 충분히 매끄러운 $q$에 대해 이전까지의 최선이었던 $q^{1/6}$ 경계를 뛰어넘는다. 이는 이전의 매끄러운 제수에 대한 추정치를 향상시키며, 지수 쌍 기법의 적용 범위를 매끄러운 제수로 확장한다.

ABSTRACT

We use the $q$-analogue of van der Corput's method to estimate short character sums to smooth moduli. If $χ$ is a primitive Dirichlet character modulo a squarefree, $q^δ$-smooth integer $q$ we show that $$L(\frac12,χ)\ll_εq^{\frac{27}{164}+O(δ)+ε}.$$

연구 동기 및 목표

• 제수 $q$가 제곱-free이자 $q^\delta$-smooth일 때, 문자합과 $L$-함수의 기존 추정치를 향상시키는 것.
• 반-더 코르푸 $ABA^3B$ 과정의 $q$-analogue를 개발하여 지수 쌍 기법의 적용 범위를 매끄러운 제수로 확장하는 것.
• 이전까지의 최선이었던 $q^{1/6}$ 경계를 $L(\frac{1}{2}, \chi)$의 추정치에서 뛰어넘는 것.
• 헤이스-브라운의 $q^{1/6 + O(\delta)}$ 추정치를 $q^{27/164 + O(\delta)}$로 개선함으로써 정량적 향상을 이루는 것. 여기서 $27/164 \approx 0.1646 < 1/6 \approx 0.1667$이다.

제안 방법

• 이 방법은 매끄럽고 제곱-free인 $q$에 대해 모듈로 문자합에 적합한 반-더 코르푸 $ABA^3B$ 과정의 $q$-analogue를 사용한다.
• 증명은 $q = q_0 q_1$로 인수분해하며, $q_1 \in [q^{1/3}, q^{1/3 + \delta}]$이 되도록 하여 $A$-과정을 적용해 제수를 줄이는 데에 사용된다.
• $A$-차분화 이후 $B$-과정(합의 완성)을 적용하며, $q$의 매끄러움을 활용해 $q_0$-왜지드 와일 합을 통해 지수합을 통제한다.
• 분석은 $q_0$-왜지드 와일 합을 사용해 $k$-중 지수합을 bound하고, $\tau_k(h)$와 $\gcd(h, q_0)^{1/2}$를 통해 약수 유형의 합을 추정함으로써 $k$에 대한 재귀적 bound를 이끌어낸다.
• 이 방법은 키 레마에 기반하며, 완전한 간격에서 와일 합의 $2^k$-승을 $q_0$-왜지드 문자합과 이동 매개변수 $h_i$에 대한 평균화를 통해 추정한다.
• 최종 경계는 $k$에 대해 최적화하고, $L$-함수에 대해 부분 적분을 적용함으로써 도출되며, 버거스 추정치 대신 정리 1.1에서 얻은 새로운 문자합 추정치를 사용한다.

실험 결과

연구 질문

• RQ1 매끄러운 제수에 대해 $L(\frac{1}{2}, \chi)$의 와일 경계 $q^{1/6}$를 개선된 문자합 추정치를 통해 뛰어넘을 수 있는가?
• RQ2 모든 제수 $q$가 제곱-free이자 $q^\delta$-smooth일 때, $L(\frac{1}{2}, \chi) \ll_\epsilon q^{\theta + \epsilon}$가 균일하게 성립하는 최적의 지수 $\theta$는 무엇인가?
• RQ3 반-더 코르푸 $ABA^3B$ 과정의 $q$-analogue는 버거스 및 헤이스-브라운 추정치를 초월해 문자합 추정치를 얼마나 향상시킬 수 있는가?
• RQ4 매끄러움 매개변수 $\delta$는 $L(\frac{1}{2}, \chi)$의 경계에서 지수에 어떤 영향을 미치며, 이 의존성은 명시적으로 기술될 수 있는가?

주요 결과

• 논문은 제수 $q$가 제곱-free이자 $q^\delta$-smooth일 때, $L\left(\frac{1}{2}, \chi\right) \ll_\epsilon q^{\frac{27}{164} + O(\delta) + \epsilon}$를 확립한다. 이는 이전의 $q^{1/6 + O(\delta)}$ 추정치를 향상시킨다.
• 지수 $\frac{27}{164} \approx 0.1646$는 $\frac{1}{6} \approx 0.1667$보다 엄밀히 작으며, 이는 매끄러운 제수에 대해 와일 경계를 뛰어넘는다.
• 모든 $N \leq q$에 대해 $\sum_{M \leq n \leq M+N} \chi(n) \ll_\epsilon N^{23/41} q^{11/82 + O(\delta) + \epsilon}$라는 문자합 추정치가 증명되며, 이는 $L$-함수 경계의 기초가 된다.
• 이 방법은 반-더 코르푸 $ABA^3B$ 과정의 $q$-analogue를 개발함으로써, 고전적 지수 쌍 기법을 매끄러운 제수로 일반화한다.
• 작은 $\delta$에 대해 정량적 향상이 뚜렷하며, $O(\delta)$ 항 덕분에 $\delta \to 0$일 때 지수가 $27/164$에 수렴한다.
• 결과는 제수가 단순히 매끄럽기만 한 경우가 아니라 제곱-free일 경우 더 강력한 경계가 가능함을 보이며, $ABA^3B$ 방법의 $q$-analogue가 매끄러운 $q$에 대해 이전 방법보다 비트리비얼한 향상을 이룬다.