Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

技術要約：低次モーメントにおける下界、I

問題設定
本論文は、ディリクレ指標和および連続的な指標和（ゼータ和）の低次モーメント（$0 \le q \le 1$）に対する鋭い下界を確立するという問題に取り組んでいる。具体的には、以下の量の平均的な大きさについて調査している：
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
ここで、$r$ は大きな素数であり、$1 \le x \le r^{0.499}$ である。また、著者は乗法的重み $h(n)$（ただし $|h(p)|=1$ かつ $|h(p^k)| \le 1$）を持つ重み付き和 $\sum_{n \le x} h(n)\chi(n)$ および連続的な和 $\sum_{n \le x} n^{it}$ についても検討している。

著者による先行研究 [10] では、これらのモーメントに対して「平方根による打ち消しよりも優れた」次数の上界が確立されている。すなわち、以下のオーダーである：
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
ここで、$L = \min\{x, r/x\}$ である。これらの上界は鋭いと予想されていたが、既存の下界（例えば La Bretèche, Munsch, Tenenbaum [1] によるもの）は対数因子の冪によって及ばなかった。本論文の目的は、このギャップを埋め、指定された $x$ の範囲において、これらの上界が実際に鋭いことを証明することである。

手法
証明は、指標和 $\sum_{n \le x} \chi(n)$ の挙動を模倣するように設計された特定の補助的対象 $I(\chi)$ を構築する、という $L$ 関数のモーメント解析における定番の手法である「プロキシ（代理）」法に基づいている。

1. プロキシ $I(\chi)$ の構成：
   プロキシは、「バリア調整済み（barrier-adjusted）」ペロン積分によって定義される：
   $$I(\chi) = \frac{1}{2\pi i} \int_{1/2-iT}^{1/2+iT} \left( \sum_{x^{1-3\beta} < p \le x^{1-\beta}} \frac{\chi(p)}{p^s} \right) F^*_\chi(s) G_\chi(s) \frac{x^s}{s} ds$$

• 切断： 積分は高さ $T$ で切断される。
• 構造化された多項式： 内側の和は、互いに素な素数範囲（大きな素数 $(x^{1-3\beta}, x^{1-\beta}]$、 $P$-滑らかな数 ($\le x^\beta$)、および $P$-粗な数 ($> P$)）にわたるディリクレ多項式の積に置き換えられる。
• バリア（障壁）： 決定的な要素は、近似的な「バリア」関数 $G_\chi(s)$ である。このバリアは、複数のスケール（$P e^{-j}$ によって定義される）にわたって部分オイラー積 $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$ の増大を制限する。このバリアは、ランダム乗法的関数の結果から着想を得ており、第4次モーメントを爆発させる原因となる「異常な」大きな値を抑制するように設計されている。

2. 相関とモーメントの境界：
   証明戦略は、メイン定理をプロキシ $I(\chi)$ に関する2つの主要な命題に帰着させる：

• 相関： 指標和とプロキシの間の相関に関する下界：$E_{\text{char}} |\sum \chi(n)| |I(\chi)|$。
• モーメント： プロキシの第2次および第4次モーメントの上界：$E_{\text{char}} |I(\chi)|^2$ および $E_{\text{char}} |I(\chi)|^4$。
  ヘルダーの不等式を適用することで、対象となるモーメントの下界がこれらの量から導かれる。

3. ランダム乗法的関数への移行：
   クリティカルなステップは、指標和からシュタインハウス・ランダム乗法的関数 $f(n)$ への移行である。直交関係 $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$ （$n,m < r$ に対して有効）を用いることで、関連するディリクレ多項式の長さが $r$ に対して十分に小さい（具体的には $x^{2+4\beta} \ll r$）場合、指標の平均がランダム乗法的関数の期待値と一致することを示す。これにより、プロキシ $I(\chi)$ のモーメントを推定するために、確率論的な道具（クンチンの不等式、ランダム・オイラー積の性質）を使用することが可能になる。

4. バリアの取り扱い：
   核心となる技術的な困難は、プロキシの第4次モーメントの推定にある。バリア $G_\chi(s)$ は、近接する点 $s$ と $s'$ におけるオイラー積の相関から生じる「爆発」因子が無視できる程度に留まるように構成されている。このバリアは、部分的な対数オイラー積の和が特定の範囲内に収まるように制限し、実質的に「マルチプリカティブ・カオス（乗法的混沌）」の挙動を制御する。

主な貢献と結果
本論文は、既知の上界と一致する以下の鋭い下界を確立している：

• 定理 1： 大きな素数 $r$ に対して、$1 \le x \le r^{0.499}$ および $0 \le q \le 1$ について一様に、
  $$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q} \gg \left( \frac{x}{1 + (1-q)\sqrt{\log \log (10x)}} \right)^q$$
• 定理 2： $|h(p)|=1$ かつ $|h(p^k)| \le 1$ である乗法的関数 $h(n)$ を持つ重み付き和 $\sum_{n \le x} h(n)\chi(n)$ に対しても、同じ鋭い下界が成立する。
• 定理 3： $1 \le x \le T^{0.499}$ における連続的な指標和（ゼータ和）$\sum_{n \le x} n^{it}$ に対しても、同じ鋭い下界が成立する。

意義と主張

• 鋭さ： これらの結果は、[10] で得られた上界が $x \le r^{0.499}$ の範囲で鋭いという予想を裏付けるものである。これは、この領域における低次モーメントの完全なオーダー・オブ・マグニチュードの理解を提供する。
• 方法論的革新： 本論文は、指標和の挙動を正確に模倣しつつ、厳密な第4次モーメントの推定を可能にする、特定の「バリア調整済み」プロキシ対象を導入している。このアプローチは、導手 $r$ の制約により、ランダム乗法的関数の設定で使用される条件付けの議論を直接適用することが困難な、指標和に対して代わりとなるものである。
• 範囲の制限： $x \le r^{0.499}$（具体的には $x < r^{1/2}$）という制限は、直交関係 (1.3) を適用するために必要なプロキシのディリクレ多項式の長さの制約から自然に生じるものである。
• 今後の展望： 著者は、非重み付き和の全範囲 $x \le 0.99r$ に対して、非重み付き和の特殊な性質を利用してここでの長さの制限を克服する、随伴論文 [14] について言及している。この拡張は、ディリクレ・シータ関数の非消滅の結果へとつながる。

本論文は、$1 < q < 2$ の場合の挙メント（第2次と第4次の間のギャップ）の挙動を解決するものではないことを述べており、これは依然として未解決の課題であるが、同様の対数的パターンに従うことが予想されている。