Large fluctuations of sums of a random multiplicative function

ベスフォート・シャラ（Besfort Shala）による論文「LARGE FLUCTUATIONS OF SUMS OF A RANDOM MULTIPLICATIVE FUNCTION（ランダム乗法的関数の和の大きな揺らぎ）」の技術的な要約を以下に示します。

1. 問題設定と背景

ランダム乗法的関数
本論文は、ランダム乗法的関数 $f(n)$ の部分和 $\sum_{n \in A} f(n)$ の挙動、特に「大きな揺らぎ（large fluctuations）」、すなわち確率的な極値の振る舞いに焦点を当てています。ここで $f$ は以下の 2 種類のいずれかです。

• Steinhaus ランダム乗法的関数: 素数 $p$ に対して $f(p)$ が単位円上一様分布し、$f(mn)=f(m)f(n)$ を満たす。
• Rademacher ランダム乗法的関数: 素数 $p$ に対して $f(p)$ が $\{-1, 1\}$ 上一様分布し、互いに素な $m, n$ に対して $f(mn)=f(m)f(n)$ を満たす（平方自由数上で定義される）。

既存の研究と課題

• 全整数和 $\sum_{n \le N} f(n)$ については、Harper によって典型的なサイズが $\sqrt{N}/(\log \log N)^{1/4}$ であることが示され、正規分布に従わないことが判明しています。また、almost surely（ほとんど確実に）の上限・下限に関する研究（Harper, Lau-Tenenbaum-Wu, Caich など）が進められています。
• 特定の部分集合 $A$（短区間、多項式の像など）に制限された和については、Soundararajan と Xu によって中心極限定理（CLT）が確立されており、分布が近似的にガウス分布になることが示されています。
• 本研究の動機: 既存の CLT の枠組みは「平均的な振る舞い」を記述するものですが、本研究は「大きな揺らぎ」、すなわち和がその標準偏差よりも著しく大きい値をとる頻度と規模を、almost surely のレベルで理解することを目指します。特に、多項式の像や短区間における、almost surely の上限・下限の精密な評価が課題でした。

2. 主要な結果

論文は主に 2 つの具体的なケースに対して、almost surely の上下界を証明しています。

A. 多項式の像 (Polynomial Images)

多項式 $P \in \mathbb{Z}[x]$ に対する和 $\sum_{n \le N} f(P(n))$ を扱います。

• 定理 A: $P$ が特定の条件（2 つ以上の異なる線形因子の積、または 2 次既約多項式など）を満たす場合、almost surely 以下の関係が成り立ちます。
  $$\limsup_{N \to \infty} \frac{\left| \sum_{n \le N} f(P(n)) \right|}{\sqrt{N \log \log N}} > 0$$
  かつ
  $$\left| \sum_{n \le N} f(P(n)) \right| \ll \sqrt{N \log \log N} \quad (\text{almost surely})$$
• 意義: 上限の証明は新規です。下限の証明は Klurman, Shkredov, Xu および Chinis と著者自身の既存結果を、$P$ が線形因子に分解される場合（それまでは手法が適用困難だった）に拡張したものです。

B. 短区間 (Short Intervals)

区間 $(N-H, N]$ における和 $\sum_{N-H < n \le N} f(n)$ を扱います。ここで $H = H(N)$ は $N$ に依存する長さです。

• 定理 B: $N^{11/15} \le H \le N/(\log N)^c$ （$c > 2\log 2 - 1$）の範囲で、almost surely 以下の関係が成り立ちます。
  $$\limsup_{N \to \infty} \frac{\left| \sum_{N-H < n \le N} f(n) \right|}{\sqrt{H \frac{\log N}{H}}} > 0$$
  注：揺らぎのオーダーは $\sqrt{H \log(N/H)}$ です。
• 意義: 短区間における almost surely の下限を確立しました。このオーダーは、区間長 $H$ が短いほど相関が速く減衰し、区間 $N$ の中に約 $N/H$ 個の独立した和が存在するという直感と一致しています。

3. 手法と技術的貢献

本研究の核心は、マルチンゲール構造と量的な多変量中心極限定理を組み合わせ、確率論的な推定を数論的な条件（第 4 モーメントの制御）に還元する一般的な枠組みを構築した点にあります。

3.1. マルチンゲール構造の活用

Harper の観察に基づき、和 $\sum f(n)$ を最大素因子 $P^+(n)$ によるフィルトレーションに対してマルチンゲール差数列として記述します。
$$\sum_{n \in A} f(n) = \sum_p f(p) \sum_{n \in A, P^+(n)=p} f(n/p)$$
これにより、和の分布をガウス分布で近似する際、第 2 モーメントと第 4 モーメントの制御に焦点を当てることができます。

3.2. 量的な多変量中心極限定理 (Quantitative Multivariate CLT)

単一の和だけでなく、異なるスケール $N_1, \dots, N_k$ における複数の和の同時分布を扱うために、以下のステップを踏みます。

1. 一次結合の近似: 任意の線形結合 $\sum c_l S_{N_l}$ に対して、Hall & Heyde の定理（Proposition 2.1）を用いて、コルモゴロフ距離（ガウス分布からの誤差）を評価します。誤差は第 4 モーメントと分散の揺らぎに依存します。
2. 多変量への拡張: Bobkov & Götze の結果（Proposition 2.2）を用いて、一次結合の近似誤差から、ベクトル値の分布間の Kantorovich–Wasserstein 距離を評価します。これにより、$k$ 個の和の同時分布が、特定の共分散構造を持つ多変量ガウス分布に近づくことを示します。

3.3. 数論的な第 4 モーメントの制御

ガウス近似の精度を高めるためには、非自明な解（trivial solutions 以外）を持つ方程式
$$n_1 n_2 n_3 n_4 = \square \quad (\text{または } n_1 n_2 = n_3 n_4)$$
の解の数を厳密に抑える必要があります。

• 多項式の場合: 多項式の性質を利用し、非自明な解の数が $N^{2-\delta}$ 程度に抑えられることを既存の結果（Klurman et al., Chinis et al.）を用いて示します。
• 短区間の場合: 非自明な解の数が多くなるため、直接の制御が困難です。そこで、小素数への条件付けを行います。
  • $P^+(n) > Y$ となる整数のみを考慮する（$Y$ は適当に選んだ閾値）。
  • これにより、条件付き確率空間において独立なランダム変数の和として扱えるようになり、第 4 モーメントの制御が容易になります。
  • 除外された「滑らかな整数（smooth integers）」や「素因子が多い整数」の寄与は、マルコフ不等式や既存の補題（Lemma 3.3, 3.4）を用いて無視できることを示します。

3.4. almost surely の上下界の導出

• 上限: 得られた量的 CLT と、Borel-Cantelli 補題、および和の「緩やかな変動性（slow variation）」（Proposition 4.7）を組み合わせ、確率が十分小さくなるスケールで和が制御されることを示します。
• 下限: 多変量ガウス分布の極値分布（Lemma 3.8, Slepian の補題の定量化版）を利用します。$k$ 個のスケールで和を評価し、それらが独立に近いガウス変数として振る舞う場合、最大値が $\sqrt{\log k}$ のオーダーで発散することを示します。適切な $k$ を選ぶことで、$\sqrt{\log \log N}$ や $\sqrt{\log(N/H)}$ のオーダーの揺らぎが almost surely 発生することを証明します。

4. 意義と今後の展望

• 理論的進展: ランダム乗法的関数の和における almost surely の極値挙動に対する、統一的で強力な枠組みを提供しました。特に、多項式の線形分解因子の場合や、短区間の広範なパラメータ領域で結果を拡張しました。
• 手法の革新: 従来の Stein 法や交換可能な対（exchangeable pairs）に依存せず、マルチンゲール構造と Kantorovich–Wasserstein 距離を直接利用するアプローチは、複雑な数論的依存関係（例：$n$ と $n+1$ の素因子の相関）を扱う際に柔軟性を示しました。
• 今後の課題:
  • 短区間における almost surely の上限の証明（現在の結果は下限のみ）。
  • 指数和や、素因数の数が制限された整数（$\omega(n) \le w$）など、他の部分集合への適用可能性の検討。
  • 関数体（function fields）への拡張（Hoban et al. の研究との組み合わせ）。

総じて、この論文はランダム乗法的関数の確率的振る舞い、特に「稀に起こる大きな揺らぎ」の理解において、重要な一歩を踏み出したものです。