[논문 리뷰] Character sums over products of prime polynomials

Samuel Porritt|arXiv (Cornell University)|2020. 03. 26.

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

한 줄 요약

이 논문은 $\mathbb{F}_q[t]$에서 주어진 수 $k$개의 기약 인수를 가진 모닉 다항식 위의 문자 합에 대한 명시적 공식을 유도하며, 이를 함수체에서의 디리클레 $L$-함수의 영점과 연결한다. 이는 $k(n)$이 $n$에 대해 빠르게 증가할 때, 편향 항이 진동 항을 지배할 수 있다는 새로운 편향 현상을 드러낸다. 이는 $k \to \infty$일 때 편향이 감소해야 한다는 기대와 배치되며, 강한 편향 유지의 임계 조건으로서 $k/\log n \approx \gamma \approx 1.2021$을 규명한다.

ABSTRACT

We study sums of Dirichlet characters over polynomials in $\mathbb{F}_q[t]$ with a prescribed number of irreducible factors. Our main results are explicit formulae for these sums in terms of zeros of Dirichlet L-functions. We also exhibit new phenomena concerning Chebyshev-type biases of such sums when the number of irreducible factors is very large.

연구 동기 및 목표

• 고정된 $k$에서부터 $k = k(n)$이 $n$에 따라 증가하는 경우로의 다항식에서 $k$개의 기약 인수를 가진 문자 합에 대한 명시적 공식을 확장하는 것.
• 고정되지 않은 $k$가 $n$에 따라 증가할 때 기능체 $L$-함수에서의 체비셰프 유형의 편향 행동을 분석하는 것.
• 비록 $k$가 증가하더라도 편향 항이 여전히 유의미하게 유지되는 조건을 규명하는 것. 이는 $k \to \infty$일 때 편향이 사라져야 한다는 직관과 배치된다.
• normalized 합 $\widetilde{\pi}_k(n,\chi)$의 균일한 점근 전개를 $L$-함수의 영점에 대해 유도하여, $k$가 $q^{1/2 - \epsilon} \log n$까지 유효하도록 하는 것.

제안 방법

• 역 멜린 변환과 페론 유형의 합을 사용하여 $\widetilde{\pi}_k(n,\chi)$에 대한 명시적 공식을 유도하며, $L(u,\chi)$의 영점에 의해 합을 표현한다.
• 복소해석 기법, 특히 멜린 변환과 잔여정리의 응용을 통해 합을 $L(u,\chi)$의 영점에 대한 합으로 표현한다.
• $L(u,\chi)$의 인수분해를 영점 $\alpha_j(\chi)$, $\beta_{j'}(\chi)$ 및 실수 영점 $\pm q^{-1/2}$에 관련된 항으로 나누며, $\chi^2 = \chi_0$ 여부에 따라 경우를 구분한다.
• 부록의 보조정리 2와 보조정리 3을 적용하여 $k$가 $n$에 따라 증가함에 따라 합의 점근적 행동을 다루며, 각 영점 기여를 별도로 다룬다.
• 스티링어의 공식과 감마 함수의 점근적 분석을 활용하여 전개의 주요 항을 평가하며, 특히 $\rho = \pm q^{-1/2}$ 및 비실수 $\rho$의 경우에 중점을 둔다.
• 임계 조건 $\gamma \approx 1.2021$을 도출하여, $k/\log n > \gamma$이면 모든 큰 짝수 $n$에 대해 편향 항이 진동 항을 지배함을 보인다.

실험 결과

연구 질문

• RQ1 $k$가 고정된 것이 아니라 $n$에 따라 증가할 때, $k$개의 기약 인수를 가진 다항식 위의 문자 합은 어떻게 행동하는가?
• RQ2 $L$-함수 $L(u,\chi)$의 영점은 $k$가 증가할 때 $\pi_k(n,\chi)$의 점근적 행동을 어떻게 결정하는가?
• RQ3 $k \to \infty$일 때, $\pi_k(n,\chi)$의 부호에 대한 체비셰프 유형의 편향은 유지되는가, 아니면 기대와 같이 사라지는가?
• RQ4 $\pi_k(n,\chi)$의 명시적 공식에서 편향 항이 비실수 영점에서 기인하는 진동 항을 지배하는 조건은 무엇인가?
• RQ5 $k/\log n$의 임계 값이 존재하는가? 그 이상이면 편향이 강하게 유지되는가?

주요 결과

• 비실수 $\chi$에 대해, 정규화된 합 $\widetilde{\pi}_k(n,\chi)$는 $L(u,\chi)$의 영점 $\alpha_j(\chi)^{-1}$에 대한 합으로 점근적으로 표현되며, 항 $m_j^k e^{in\gamma_j}$와 주항 $m_+^k + (-1)^n m_-^k$를 포함한다. 이는 $1 \leq k \leq q^{1/2 - \epsilon} \log n$ 범위에서 유효하다.
• $\chi$가 실수일 경우($\chi^2 = \chi_0$), 실수 영점 $\pm q^{-1/2}$에서 기인하는 추가 기여가 있으며, 이는 보조정리 3를 통해 처리되며 $m_\pm + 1/2$를 포함하는 항을 기여한다.
• 만약 $k/\log n > \gamma \approx 1.2021$이면 편향 항이 유지되며, 진동 항을 지배할 수 있으며, 이는 $k \to \infty$일 때 편향이 사라져야 한다는 직관과 배치된다.
• $m_j = 1$ 및 $m_\pm = 0$일 때, 점근 전개의 주항은 $h_j(\alpha) = F_{-\alpha}(\rho,\chi) c_\rho^{-\alpha} / \Gamma(1 + \alpha)$이며, 여기서 $\rho = \alpha_j(\chi)^{-1}$이고 $\alpha = (k-1)/\log n$이다.
• $\chi^2 = \chi_0$ 이고 $m_\pm = 0$일 경우, $\rho = \pm q^{-1/2}$에서의 기여는 점근적으로 $h_\pm(\alpha) \sqrt{1 + r^2/\alpha}$이며, 여기서 $r$는 $r^2 + r/2 = (k-1)/\log n$을 만족한다. 이 항이 $k/\log n > \gamma$이면 지배한다.
• 논문은 $k/\log n > \gamma$일 때 편향 항이 유의미하게 유지되며, 이 편향의 부호는 $b = \frac{1}{2} \left( \frac{s-1}{2} - \log(2s) \right)$의 부호에 따라 결정되며, 여기서 $s$는 $s^2 + \frac{s}{4u} - \frac{1}{4u} = 0$의 양의 근이며, $u = (k-1)/\log n$이다.