Escaping Chaos in Random Multiplicative Functions

技術的サマリー：ランダム乗法的関数におけるカオスからの脱出

問題提起
本論文は、Steinhaus ランダム乗法的関数 $f(n)$ の挙動に関する根本的な問いに答えるものである。$f(n)$ は素数に対する引数において、複素単位円上の独立同一分布する値によって定義されるが、$f(n)$ の完全乗法性は強い大域的依存性を導入する。その結果、完全な部分和 $\frac{1}{\sqrt{x}}\sum_{1 \le n \le x} f(n)$ は標準的な中心極限定理（CLT）に従わず、複素正規分布 $\mathcal{CN}(0, 1)$ に収束しない。代わりに、極限分布は非ガウス的であり、「ランダム分散」$V_\infty$ と「ガウス乗法的カオス」効果によって特徴づけられ、その大きさは $\sqrt{x}$ ではなく $\sqrt{x}(\log \log x)^{1/4}$ としてスケーリングする。

本研究の中心課題は、標準的な CLT を回復する正規化された和が得られるような部分集合 $A \subset [1, N]$ の最大可能なサイズは何かという点である。具体的には、どのような条件下で以下の収束が成り立つかを問う：
$$\frac{1}{\sqrt{|A|}} \sum_{n \in A} f(n) \xrightarrow{d} \mathcal{CN}(0, 1)$$
目標は、$f(n)$ に内在するカオス的な大域的依存性から「脱出」するために必要な $A$ の閾値密度を決定することである。

手法
著者は、確率的なヒューリスティック、モーメント解析、およびマルチンゲール中心極限定理の組み合わせを用いる。

1. ヒューリスティックな分解：解析は、密度 $\rho$ を持つランダム集合として $A$ をモデル化することから始まる。指示関数 $1_A(n)$ を平均成分 $\rho$ と変動成分 $w(n) = 1_A(n) - \rho$ に分解することで、和は以下の 2 つの部分に分割される：
   $$\sum_{n \in A} f(n) = \sum_{n \le N} w(n)f(n) + \rho \sum_{n \le N} f(n).$$
   Harper の定理を利用すると、$\rho$ が 1 に近すぎない場合、第 2 項（大域的な和）は正規化因子に対して無視できるほど小さいことが示される。したがって、問題は重み付き和 $\sum w(n)f(n)$ の解析に帰着する。

2. モーメント収束と矛盾（定理 1）：標準的な正規化に対して $A$ が正の密度を持ち得ないことを証明するため、著者は正規化された和の 2 乗モーメントを解析する。$|A| = \rho N$ かつ $\rho \gg 1$ の場合、正規化された和の 2 乗モーメントは $1-\rho$ となることが示され、これは厳密に 1 より小さい。$\mathcal{CN}(0, 1)$ への分布収束は一般的に 2 乗モーメントが 1 に収束すること（あるいは少なくとも極限と矛盾する形で厳密に 1 から離れて拘束されないこと）を必要とするため、この不一致は正の密度を持つ集合に対して標準的な CLT が成立しないことを証明する。

3. マルチンゲール中心極限定理（定理 2）：密度 $\rho$ が小さく非ゼロである場合、著者は正しい正規化を確立する。証明には、Soundararajan と Xu [10] によって確立された McLeish のマルチンゲール中心極限定理の重み付き版が用いられる。戦略は以下の通りである：

   • ランダムな重み $w(n)$ に対して条件付ける。
   • $n_1 n_2 = m_1 m_2$ を満たす 4 つ組 $(n_1, n_2, m_1, m_2)$ に関する和を含む特定の「乗法的エネルギー」型の条件を検証する。
   • 集中不等式を用いて、これらの条件がランダムな集合だけでなく、密度 $\rho$ を持つ ほとんどすべての 決定論的集合 $A$ に対して成り立つことを示す。

主要な結果

• 定理 1（正の密度の非存在性）：$A \subset [1, N]$ が正規化された和を $\mathcal{CN}(0, 1)$ に収束させるような集合列であるならば、$A$ のサイズは $o(N)$ でなければならない。言い換えれば、正の漸近密度を持つ集合は、標準的な正規化 $\frac{1}{\sqrt{|A|}}$ において標準的な CLT を満たすことはできない。
• 定理 2（正の密度に対する正しい正規化）：条件 $(1-\rho)^{-1} = o((\log \log N)^{1/2})$ を満たす密度 $\rho$ を持つ集合 $A$ に対して、正規化因子を調整すれば標準的な CLT が成り立つ。具体的には、そのような密度を持つほとんどすべての集合 $A$ について：
  $$\frac{1}{\sqrt{(1-\rho)|A|}} \sum_{n \in A} f(n) \xrightarrow{d} \mathcal{CN}(0, 1).$$
  因子 $\sqrt{1-\rho}$ は、$\rho$ が無視できない場合の分解に内在する「平均の引き算」によって引き起こされる分散の減少を補うために不可欠である。

意義と主張
本論文は、「単純な」CLT が成立する $A$ の最大サイズを決定する問題を解決したと主張する。主な意義は以下の点にある：

1. 密度閾値：理想的な CLT（標準的な正規化付き）の閾値は、厳密に線形未満の密度（$\rho = o(1)$）である。
2. 密度の鋭さ：条件 $(1-\rho)^{-1} = o((\log \log N)^{1/2})$ は鋭い。密度が高すぎる（1 に近い）場合、正規化の如何にかかわらず、極限分布は完全な和で観察された非ガウス的挙動に戻る。
3. 補正因子：本論文は $\sqrt{1-\rho}$ 補正因子の必要性を特定し、確認する。この因子は $\rho \to 0$ の場合には自明であるが、$\rho$ が増加するにつれて非自明な乗数定数となり、疎な集合と稠密な集合の挙動の間のギャップを埋める。

この研究は、ランダム乗法的関数における「カオス的」な大域的挙動と「ガウス的」な局所的挙動の境界を明確にし、大域的依存性が完全な和に対する標準的な CLT を妨げる一方で、慎重に選ばれた部分集合（または特定の密度調整を施した部分集合）は効果的にこのカオスから「脱出」できることを示している。