Distribution of random multiplicative functions in short intervals, with proper normalization

技術要約：短区間におけるランダム乗法的関数の分布

問題提起
本論文は、シュタインハウス（Steinhaus）型のランダム乗法的関数 $f(n)$ の、短区間 $[x, x+y]$ における部分和の極限分布を調査している。ここで、$y \to \infty$ だが $y = o(x)$ である。具体的には、著者らは和 $S(x, y) = \sum_{x \le n \le x+y} f(n)$ の振る舞いを研究している。

先行研究では、非常に小さい $y$（具体的には $y \ll x/(\log x)^c$）に対して、正規化された和 $S(x, y)/\sqrt{y}$ が標準複素ガウス分布に収束することが確立されている。しかし、$y$ が $x$ に近づくにつれ、その挙動は変化する。$y$ が $x$ に十分に近く（例えば $y \ge x/\exp((\log \log x)^{1/2-\epsilon})$）、「平方根より優れた打ち消し（better than square-root cancellation）」の効果が生じる場合、標準的な正規化 $1/\sqrt{y}$ は自明な極限分布をもたらすことが知られていた。中心的な未解決問題は、$y \to \infty, y=o(x)$ の全範囲において極限分布を決定すること、および、このスペクトル全体にわたって非退化なガウス極限を与える正しい正規化因子を特定することであった。

手法
著者らは、Harper, Soundararajan, Xu の枠組みに基づき、マルチンゲール技法と精緻なバリア（障壁）議論を融合させた高度な手法を用いている。証明戦略には、以下の主要な技術的革新が含まれる：

1. 小素数への条件付け： 全体の和に対して直接マルチンゲール中心極限定理（CLT）を適用する代わりに、著者らは $z = x^{1/\log \log \log x}$ となる素数 $p \le z$ に対する $f(p)$ の値に条件付けている。これにより、和を、小素数によって決定される係数で重み付けされた、大きな素因数を持つ整数の和へと分解することが可能になる。
2. 条件付き分散の解析： 論理の核心は、小素数を与えたときの和の条件付き分散 $V_f(x, y)$ の解析にある。著者らは、$V_f(x, y)$ が高確率で決定論的な量 $V(x, y)$ の周囲に集中することを示す。
3. フーリエ側の定式化： パルセイの等式（Parseval's identity）を用いて、条件付き分散を、物理空間の和から、周波数範囲 $x/y$ に決定されるランダムなオイラー積 $F_z(1/2 + it)$ の絶対値の二乗の積分へと変換する。
4. バリア事象： オイラー積のヘビーテイル（重い裾）の性質（これが $y$ が大きい場合の標準的なモーメント法を妨げる）を扱うため、著者らはバリア事象 $G(t)$ および精緻化されたバリア $H(t)$ を導入している。これらは様々なスケールにおける部分オイラー積の増大を制約するものである。
   • $G(t)$ は、オイラー積が高確率で大きくなりすぎないことを保証する。
   • $H(t)$ は、より厳格な制約を課し、分散を支配してしまう可能性のある稀な極端な事象を実質的に抑制する。
   • これらのバリアを組み合わせることで、$y$ が $x$ に近い場合でも成立する条件付き分散の集中推定が可能となる。
5. 四次モーメントの推定： マルチンゲールCLTを適用するために、著者らは「非対角」項への四次モーメントへの寄与を制御する必要がある。彼らは、コンツァウ・積分表現とランダム・オイラー積を用いた調和和を利用し、再びバリア事象を用いることで、積分を管理し、非対角項が対角項に比べて無視できるほど小さいことを示す。

主要な貢献と結果

• 定理 1.1（主結果）： 著者らは、$y \to \infty, y = o(x)$ である任意の $y$ に対して、正規化された和
  $$\frac{1}{\sqrt{V(x, y)}} \sum_{x \le n \le x+y} f(n)$$
  が標準複素ガウス乱数に分布収束することを証明している。
• 正規化因子 $V(x, y)$： 決定的な貢献は、$y$ が $x$ に近いときのナイーブな $\sqrt{y}$ とは異なる正規化因子 $V(x, y)$ の決定である。この因子は漸近的に次のように与えられる：
  $$V(x, y) \sim \frac{y}{\sqrt{2\pi}} \int_{-\kappa}^{\kappa} e^{-u^2/2} du, \quad \text{ただし } \kappa = \frac{\log(x/y)}{\sqrt{2 \log \log x}} \text{ である。}$$
  これは以下を意味する：
  • $y \ll x/(\log x)^c$ のとき、$V(x, y) \sim y$ となり（標準的なガウス挙動を回収）、
  • $y$ が $x$ に近いとき（具体的には $\log(x/y) \ll \sqrt{\log \log x}$ のとき）、$V(x, y) \asymp y \frac{\log(x/y)}{\sqrt{\log \log x}}$ となる。
  • 正規化因子のこの遷移は、マルチプリカティブ・カオス（multiplicative chaos）効果によって駆動される「平方根より優れた打ち消し」現象を反映している。
• 長い和との対比： 本論文は、この結果を長い和 $\sum_{n \le x} f(n)$ の挙動と対比させている。短区間では決定論的な正規化によってガウス極限が認められる一方で、著者らは（Gorodetsky と Wong による最近の研究を引用し）、長い和はどのような正規化の下でもガウス分布には収束しないことを指摘している。代わりに、長い和の極限分布は、クリティカルなマルチプリカティブ・カオスの全質量に関連した、非ガウス的でヘビーテイルな分布となる。
• 命題 1.2： 著者らは、長い和の裾の確率の下限を確立し、$P(|\sum_{n \le x} f(n)| \ge \lambda \sqrt{x}/(\log \log x)^{1/4}) \ge 1/\lambda^A$ であることを示している。これは、どのような正規化も非退化なガウス極限をもたらさないことを裏付けている。

意義

本論文は、すべての短区間 $y = o(x)$ におけるランダム乗法的関数の分布を完全に決定し、これまで部分的にしか理解されていなかった挙動の遷移を解明したと主張している。

• 新しい正規化： これは、部分和が（単なる和の標準偏差ではなく）非自明な正規化因子を持つガウス極限を持つことが示された初めての事例である。因子 $V(x, y)$ は、条件付き分散の集中から自然に導出される。
• 構造的洞察： 本研究は、短区間と長い和の間の根本的な違いを浮き彫りにしている。短区間では、条件付き分散が決定論的な値に集中するためガウス極限が可能となる。一方、長い和では、条件付き分散自体がヘビーテイルな分布を持つ確率変数となるため、ガウス収束が妨げられる。
• 手法の進展： 論文は、$y$ が $x$ に近い領域において、ヘビーテイルな条件付き分散を扱うことに成功した、洗練されたバリア法を導入している。この手法は、四次モーメントが「爆発」してしまうほど $y$ が大きい場合に失敗した、従来の四次モーメント法の限界を克服している。

著者らは、証明はシュタインハウス関数（複素数値）に対して展開されているが、その戦略はラデマッハー関数（実数値）にも拡張可能であると考えている。ただし、法則の移動不変性に関する非自明な技術的調整が必要になるであろうとしている。