論文「超臨界約数ねじれを持つランダム乗法的関数の部分和」の技術的サマリー

著者: Jad Hamdan
概要:
本論文は、ランダム乗法的関数（特に Steinhaus ランダム乗法的関数 $f$）と $\alpha$-約数関数 $d_\alpha$ の積 $d_\alpha(n)f(n)$ の部分和に関するモーメントの評価を扱っています。$\alpha \in (1, 2)$ の「超臨界（supercritical）」領域において、部分和の $2q$ 乗の期待値に対する精密な上界を確立し、ガウス乗法的カオス（GMC）の理論における予測と一致する結果を示しています。また、この手法を用いて、Helson 予想（$\alpha=1$ の場合）に対する簡潔な証明を再構成し、リーマンゼータ関数の擬似モーメントに関する Gerspach の予想に対する上界も証明しています。

1. 問題設定と背景

• 対象: Steinhaus ランダム乗法的関数 $f: \mathbb{N} \to \mathbb{C}$。これは素数 $p$ に対して独立同分布な単位円板上の複素数 $Z_p$ を割り当て、$f(p)=Z_p$ とし、完全乗法的に拡張したものです。
• 関心: 部分和 $S_x = \sum_{n \le x} d_\alpha(n)f(n)$ の大きさ、特にそのモーメント $E[|S_x/\sqrt{x}|^{2q}]$ の漸近挙動。
• 背景:
  • Harper (2017) は $\alpha=1$（臨界領域）の場合、部分和が独立確率変数の和よりも強い相殺（cancellation）を示すことを証明し、Helson 予想を解決しました。これはガウス乗法的カオス（GMC）の臨界相の理論と深く関連しています。
  • $\alpha > 1$ の場合、これは GMC の「超臨界相」に対応します。この領域では、部分和の振る舞いは臨界相とは異なり、より複雑な対数補正項が現れることが予想されていました。
  • Gerspach は、リーマンゼータ関数の擬似モーメント $\Psi_{2q, \alpha}(x)$ について、$\alpha \in (1, 2)$ かつ $q$ が小さい領域での次数を特定する予想を立てていました。

2. 主要な結果

定理 1.1 (超臨界領域におけるモーメント評価):
$\alpha \in (1, 2)$ に対して、$x$ が十分大きく、$q \in [0, 1/\alpha]$ において、以下の一様評価が成り立ちます。
$$E \left\{ \left| \frac{1}{\sqrt{x}} \sum_{n \le x} d_\alpha(n)f(n) \right|^{2q} \right\} \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log \log x)^{\frac{3\alpha q}{2}(1-\alpha q) + 1}}$$
この結果は、超臨界 GMC の理論からの予測と一致し、Harper の $\alpha=1$ における結果の自然な拡張です。

定理 1.3 (オイラー積の積分モーメント):
$\gamma \in (2, 4)$ に対して、オイラー積 $F_y(s) = \prod_{p \le y} (1 - f(p)p^{-s})^{-1}$ に関する積分のモーメントが評価されます。
$$E \left\{ \left( \frac{1}{\log y} \int_0^1 |F_y(\sigma_k + ih)|^\gamma dh \right)^q \right\} \ll \frac{(\log y)^{(\gamma-2)q}}{(\log \log y)^{\frac{3\gamma q}{4}(2-\gamma q) + 1}}$$
ここで $\sigma_k = 1/2 - k/\log x$ です。この評価は、超臨界 GMC の正規化定数と一致します。

定理 1.6 (リーマンゼータ関数の擬似モーメント):
$\alpha \in (1, 2)$ かつ $0 < q < 2(\alpha-1)/\alpha^2$ に対して、Gerspach の予想の最初の領域における上界が証明されました。
$$\Psi_{2q, \alpha}(x) \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log \log x)^{q(3\alpha/2)}}$$

補題 1.4, 1.5 (最大値とレベルセットの測度):
オイラー積 $|F_x(1/2+ih)|$ の最大値の分布と、最大値近傍でのレベルセットの測度に関する精密な評価（ガウス対数相関場の特徴的な挙動）が示されました。

3. 手法とアプローチ

本論文の核心的な手法は、ランダムオイラー積のレベルセット測度の研究にあります。

1. オイラー積への還元:
   Harper の手法を踏襲し、部分和のモーメントを、オイラー積 $F_x(s)$ の積分のモーメントと比較します（篩論的議論と Parseval の定理を用いる）。
   $$E[|S_x|^{2q}] \approx E \left[ \left( \int |F_x(1/2+ih)|^{2\alpha} dh \right)^q \right]$$

2. レベルセット測度の解析:
   積分 $\int |F_x|^\gamma dh$ の値は、対数 $\log |F_x|$ が最大値に近づく点（レベルセット）によって支配されます。

   • 臨界相 ($\alpha=1, \gamma=2$): 積分は $\log |F_x| \approx \log \log x$ となる点全体にわたって寄与します。
   • 超臨界相 ($\alpha>1, \gamma>2$): 積分は、$\log |F_x|$ が局所最大値をとる点の周囲の狭い領域に集中します。

3. 大偏差理論と確率過程の近似:

   • $\log |F_x(1/2+ih)|$ を、分散が $1/2$ 程度のランダムウォーク $S_t$ で近似します。
   • $S_t$ が特定のバリア（上限 $U_A(j)$）を超えない確率を評価するために、**離散化（discretisation）とチェーニング（chaining）**の手法を用います。
   • 確率測度を歪める（tilted measure）ことで、最大値近傍の挙動をガウス過程の挙動と比較します。これにより、Girsanov の定理の近似版を必要とせず、より直接的な証明が可能になります。

4. 最大値の構造:
   超臨界領域では、積分の主要な寄与は $\log |F_x|$ の局所最大値の周囲から生じます。この最大値の分布は、ガウス対数相関場の極値統計（extremal statistics）の理論（Bramson の結果など）に基づいて解析されます。最大値は $t - \frac{3}{4}\log t$ のオーダーで振動し、その周囲の測度が積分の値を決定します。

4. 技術的貢献と新規性

• Helson 予想の簡潔な証明:
  Harper の元の証明（Girsanov の定理の非ガウス版の証明と古典的な投票定理の適用）を、レベルセット測度の解析を用いることで大幅に短縮し、自立的な証明を提供しました。
• 超臨界領域の精密な評価:
  $\alpha \in (1, 2)$ における部分和のモーメント評価を初めて確立しました。特に、$(\log \log x)$ のべき乗における補正項（$3\alpha q/2$ など）を正確に導出しました。
• 擬似モーメントへの応用:
  リーマンゼータ関数の擬似モーメントに関する Gerspach の予想に対して、$\alpha \in (1, 2)$ かつ $q$ が小さい領域での上界を証明し、予想の正当性を支持しました。
• 一般化されたバリア評価:
  臨界相だけでなく、超臨界相におけるランダムウォークの最大値とバリアの交差確率に関する新しい評価（Proposition 3.1 など）を導出しました。

5. 意義と今後の展望

• 数論と確率論の融合:
  数論的な対象（約数関数、リーマンゼータ関数）の確率的な性質を、ガウス乗法的カオス（GMC）の理論と結びつける重要な一歩です。特に、臨界相から超臨界相への遷移における振る舞いの違いを明確にしました。
• 手法の汎用性:
  提案された「レベルセット測度の解析」と「歪められた測度を用いた最大値評価」の手法は、他のランダム乗法的関数や、異なる重み付けを持つ部分和の問題にも適用可能である可能性があります。
• 予想の解決:
  Gerspach の予想に対する上界の証明は、リーマンゼータ関数のモーメント問題における未解決課題の進展を示唆しています。

要約すると、本論文は、ランダム乗法的関数の部分和の振る舞いを、ガウス乗法的カオスの超臨界相の理論を用いて統一的に理解し、それによって長年の予想を解決し、新たな精密な評価式を導出した画期的な研究です。