The critical-window profile for $d_k$ in short intervals

技術的要約：ほとんどすべての短区間における $k$ 重約数関数のクリティカル・ウィンドウ・プロファイル

問題設定
本論文は、$k$ 重約数関数 $d_k(n)$ の局所平均を、短区間におけるその長期平均と比較する問題を扱っている。著名な Matomäki–Radziwiłł の定理は、有界な乗法的関数が、長さが無限大に発散する短区間において期待される平均を示すことを確立しているが、$d_k(n)$ のような非有界な関数は異なる閾値現象を示す。中心的な困難は、$d_k(n)$ の「ヘビーテイル（重い裾）」にあり、多くの素因数を持つ整数が不釣り合いに大きな重みを担うため、有界関数の理論では不十分となる点にある。

具体的な目的は、$d_k(n)$ の**「ほとんどすべての（almost-all）」遷移スケール**を決定することである。Mangerel による先行研究では、区間の長さ $h$ が $h / (\log X)^{(k-1)^2} \to \infty$ を満たすとき、長期平均が回復されることが示されている。本論文は、この閾値における正確なクリティカル・スケールと、この閾値以下での遷移プロファイルを特定することを目指しており、特に区間の長さ $h$ がクリティカルな長さ $D_k(X) = (\log X)^{k \log k - k + 1}$ に近い場合を調査している。

手法
証明は、確率論的な分布結果と解析的な平均値評価を組み合わせた、主に2つの技術的な構成要素に基づいている。

1. 重み付き Erdős–Kac 定理: 著者は、$d_k(n)$ によって重み付けされた確率測度（測度 $\Omega(n)$、すなわち重複を込めた素因数の数）の下での中心極限定理を利用している。この測度の下では、正規化された変数 $\frac{\Omega(n) - k \log \log X}{\sqrt{k \log \log X}}$ は標準ガウス分布に収束する。これは、区間の長さと特定の $\Omega(n)$ カットオフを満たす整数の割合とを結びつけるために必要な、分布論的な入力を提供する。

2. $\Omega$ 截断された Matomäki–Radziwiłł 推定: 解析の中核は、$\Omega(n) \le L$ という条件によって截断されたディリクレ多項式の平均二乗推定を確立することである。

   • Ramaré 分解: 非乗法的な截断を扱うために、著者は Ramaré 分解を採用している。決定的なのは、著者が $\Omega$ カットオフをクリティカルな範囲において無視できる裾として扱っていない点である。代わりに、分解の後にコーシーの公式を適用して、残差条件 $\Omega(m) \le L-1$ を乗法的重み $z^{-\Omega(m)}$ へと変換している。
   • Halász 距離と大きな値: 分解における残りの大きな素数の層は、一様な高周波 Halász 距離を強制する。このメカニズムにより、直接的な裾の推定では達成できない、最終的な大きな値の範囲における必要な対数的節約（logarithmic saving）が供給される。
   • 平均値評価: 著者らは、截断された和の $L^2$ ノルムを制御するために、Montgomery–Vaughan の平均値評価、Shiu 型の約数関数の推定、および素数多項式の Halász 型の大きな値の評価を組み合わせて利用している。

主要な結果
本論文は、$x \in [X, 2X]$ のほとんどすべての $x$ について、短区間 $[x, x+h]$ における $d_k(n)$ の平均に関する正確な遷移プロファイルを確立している。

• クリティカル・スケール: クリティカルな長さは $D_k(X) = (\log X)^{k \log k - k + 1}$ と特定される。
• 遷移プロファイル (Theorem 1.1): $\ell = \log \log X$ とし、正規化されたパラメータ $A(X) = \frac{1}{\sqrt{\ell}} \log \frac{h}{D_k(X)}$ を定義する。もし $A(X) = O(1)$ ならば、ほとんどすべての $x$ に対して次が成立する：
  $$\frac{1}{h} \sum_{x < n \le x+h} d_k(n) = \left( \Phi_G\left( \frac{A(X)}{\sqrt{k \log k}} \right) + o(1) \right) M_k(x)$$
  ここで $\Phi_G$ は標準ガウス分布関数であり、$M_k(x)$ は長期平均である。この公式は、「有限の部分」の遷移を記述しており、局所平均がガウス累積分布関数によって決定される形で、グローバルな平均の分率となることを示している。
• 終端レジーム (Corollary 1.2): もし区間の長さが $\frac{\log(h/D_k(X))}{\sqrt{\ell}} \to +\infty$ （すなわち $A(X) \to +\infty$）を満たすならば、ガウス因子は 1 に収束し、ほとんどすべての $x$ について完全な長期平均が回復される。

意義と主張
本論文は、約数関数の長期平均を回復するために必要な区間の長さに関して、従来の（具体的には Mangerel の指数に対する）結果よりも強力な冪則による改善（power-saving improvement）を提供すると主張している。正確な遷移プロファイルを特定することで、本研究は、有界関数の理論と、ポリログ（polylogarithmic）スケールにおける非有界な乗法的関数の振る舞いとの間の溝を埋めるものである。

著者は、この遷移が $d_k$ 重みの下での $\Omega(n)$ の分布と区間の長さとの相互作用によって駆動されていることを強調している。技術的な新規性は $\Omega$ カットオフの扱いにある。単に裾として破棄するのではなく、Ramaré 分解とコーシーの公式を通じて解析的なメカニズムへと統合することで、クリティカルな範囲において不可欠な一様な高周波節約を実現している。これらの結果は、Matomäki–Radziwiłł 手法の確率的な性質と一致する、「ほとんどすべての（almost-all）」遷移定理として提示されている。