[論文レビュー] A note on character sums over short moving intervals

Adam J. Harper|arXiv (Cornell University)|Mar 17, 2022

Analytic Number Theory Research被引用数 4

ひとこと要約

本稿は、短い移動区間における文字和の分布を調査し、Lamzouriの予想——$ H = o(q/\log q) $ の下で正規化された和 $ S_{\chi,H}(X)/\sqrt{H} $ がガウス分布に収束する——が、いくつかのディリクレ指標に対しては成立しないことを示している。特に $ H = q/\log^A q $ の場合でさえも、そのような反例が存在する。一方、$ q^{1-o(1)} \leq H = o(q) $ の範囲では、モーメント法とポリヤのフーリエ展開を用いて、『ほとんどすべての』指標に対してその予想が成り立つことが証明されている。

ABSTRACT

We investigate the sums $(1/\sqrt{H}) \sum_{X < n \leq X+H} χ(n)$, where $χ$ is a fixed non-principal Dirichlet character modulo a prime $q$, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H ightarrow \infty$ and $(\log H)/\log q ightarrow 0$ as $q ightarrow \infty$, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $χ$, even when $H = q/\log^{A}q$ for any fixed $A > 0$. On the other hand, we show it is true for "almost all" characters on the range $q^{1-o(1)} \leq H = o(q)$. Using Pólya's Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.

研究の動機と目的

• Lamzouriの予想、すなわち短い移動区間における正規化された文字和のガウス分布の有効性を検証すること。
• Lamzouriが予想した $ H = o(q/\log q) $ の弱い条件下でも、文字和の中心極限定理が成り立つかどうかを特定すること。
• 非本質的ディリクレ指標 $ \chi $ を法 $ q $ とする素数として、$ X \in \{0, \dots, q-1\} $ を一様にランダムに選んだときの $ S_{\chi,H}(X)/\sqrt{H} $ の統計的挙動を分析すること。
• 特に $ H = o(q) $ の範囲で、中心極限定理が成り立つ指標の集合を特定し、その割合を定量化すること。

提案手法

• ポリヤのフーリエ展開を用いて、文字和を数論的係数を持つ三角多項式に再表現する。
• モーメント法を用いて分布収束を分析し、正規化された和の $ j $ 次および $ k $ 次のモーメントに注目する。
• 確率的ツールと指標の直交性を用いて、ランダムな乗法的係数を持つ三角多項式のモーメントを推定する。
• シュタインハウスのランダム乗法的関数をモデルとして用い、モーメント積分とガウスモーメントの差の $ L^2 $ ノルムの境界を確立する。
• $ j,k \leq \min\{ \log^{1/4}(q/H)/50, \log q / (4\log(q/H)) \} $ の範囲で、モーメント差が指数関数的に減少することを証明する。
• 低次のモーメントにおける和集合の不等式を用いて、「悪い」指標の集合の密度が指数的に小さくなることを示し、したがって「ほとんどすべての」指標が中心極限定理を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 Lamzouriが予想した $ H = o(q/\log q) $ の下で、短区間における文字和の中心極限定理は成り立つか？
• RQ2 固定された $ A > 0 $ に対して $ H = q/\log^A q $ であっても、正規化された和 $ S_{\chi,H}(X)/\sqrt{H} $ がガウス分布に収束しない特定のディリクレ指標が存在するか？
• RQ3 $ H \in [q^{1-o(1)}, o(q)] $ の範囲で、法 $ q $ の指標のうち中心極限定理を満たす割合はどの程度か？
• RQ4 モーメント法を $ (\log H)/\log q \to 0 $ の範囲を超えて、より大きな $ H $ に拡張できるか。もし可能であれば、どのような条件下で成立するか？
• RQ5 ポリヤの展開におけるフーリエ係数は、短い文字和の分布的挙動にどのように影響を与えるか？

主な発見

• Lamzouriの予想は、任意の固定された $ A > 0 $ に対して $ H = q/\log^A q $ であっても、一部のディリクレ指標に対しては成立しない。これは期待されるガウス的挙動と矛盾する。
• $ H \in [q^{1-o(1)}, o(q)] $ の範囲では、「ほとんどすべての」法 $ q $ の指標に対して中心極限定理が成り立ち、その「悪い」指標の割合は $ \exp(-c \log^{3/4}(q/H)) $ のオーダーで減少する。
• 確率的推定を用いてランダム乗法的関数の性質を制御することで、$ L^2 $ ノルムの差を制御することにより、モーメント法をより大きな $ H $ に拡張できる。
• 主な技術的ステップは、$ j,k $ が $ \log^{1/4}(q/H)/50 $ 未満である限り、正規化された和の $ (j,k) $ 次モーメントがガウスモーメント $ k! \mathbf{1}_{j=k} $ に収束することを示すことで、これは $ \chi $ が「良い」指標の集合に属する限り成り立つ。
• 証明の根拠は、$ j,k $ が $ \log^{1/4}(q/H)/50 $ 未満の範囲では、関係する文字和が $ \leq q^{0.51} $ の整数にのみ支持されているため、直交性を適用可能になることにある。
• 期待される $ L^2 $-距離がガウス極限との間で $ q $ の任意のべきよりも速く減少することを示すことで、測度収束が成立し、結果として「ほとんどすべての」指標に対して確率的収束が成立することが示された。