[論文レビュー] Character sums over products of prime polynomials

Samuel Porritt|arXiv (Cornell University)|Mar 26, 2020

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$ からの文字和の明示的公式を、$n$ と共に増加する $k = k(n)$ に拡張すること。
• $k$ が固定でないが $n$ と共に増加する場合に、関数体 $L$-関数におけるチェビシェフ型バイアスの挙動を分析すること。
• $k \to \infty$ のときバイアスが消えるという直感とは反して、和におけるバイアス項が依然として顕著に残る条件を特定すること。
• $L$-関数の零点を用いて、$k$ が $q^{1/2 - \epsilon} \log n$ まで一様に有効な漸近展開を、正規化された和 $\widetilde{\pi}_k(n,\chi)$ に対して確立すること。

提案手法

• $\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$ のどの臨界値を超えると、$k$ が増加してもバイアスが強く保たれるか？

主な発見

• 非実 $\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$ である。