The variance of a general class of multiplicative functions in short intervals

技術要約：一般の乗法的関数の短区間における分散

問題設定
本論文は、短区間における乗法的関数の分散の漸近評価を扱っている。乗法的関数の大域的な振る舞い（具体的には部分和 $\sum_{n \le X} f(n)$）は十分に研究されているが、短区間（$H \ll X$）におけるそれらの揺らぎを理解することは大きな課題である。著者らは、以下の連続分散として定義されるものを対象とする：
$$\text{Var}_f(X; H) := \frac{1}{X} \int_X^{2X} \left| \sum_{x < n \le x+H} f(n) - \frac{H}{X} \sum_{n \le X} f(n) \right|^2 dx$$
主な目的は、モビウス関数や平方フリー指標などの特定のケースを超えて、成長率と次数に関するパラメータを含む広範なクラスに対して、この分散の精密な漸近公式を確立することである。

手法
著者らは、フーリエ解析、複素解析、および二元形式の算術幾何学を組み合わせた手法を用いている。その手法は、乗法的関数 $f(n)$ を、特定のクラスに属する乗法的関数 $h$ を用いた畳み込み構造 $f = 1 *_k h$ へと分解することに基づいている。

1. 分解と切断： 短区間の和を、「小さな約数」（パラメータ $z$ まで）と「大きな約数」（$z$ より大きい）に分割する。分散は、これら二つの部分の寄与を $J_{h,z}(X; H)$ および $K_{h,z}(X; H)$ として個別に推定することによって分析される。
2. フーリエ解析と留数計算： 小さな約数の部分については、フーリエ解析、具体的にはベルヌーイ多項式および関数 $S(x) = \frac{\sin \pi x}{\pi x}$ のフーリエ展開を利用する。著者らは、ディリクレ級数とリーマンゼータ関数の積分を評価するために、輪郭積分とコーシーの留数定理を用いている。これにより、関連する生成関数の極から主項を抽出し、誤差項を処理することが可能となる。
3. 二元形式上の有理点の計数： 高次の場合（$k \ge 3$）を扱うための決定的な革新は、二元形式上の有理点の計数を用いることである。従来の著作（$k=2$ の場合）で用いられていたディリクレ近似のみに頼るのではなく、著者らは二元形式 $F(x, y)$ の整数解の密度に関する Heath-Brown、Stewart、および Xiao の結果を適用している。この手法は、分散計算における非対角項を抑えるために不可欠である。
4. 大値定理： 大きな約数の部分については、リンデレフ予想を仮定しない「無条件」の設定において誤差項を制御するために、ハクスリーの大値定理、ブールガインのリーマンゼータ関数の劣凸性評価、およびモンゴメリーの平均値定理を利用している。

主要な貢献と結果

• 一般クラスの定義： 本論文では、パラメータ $\alpha$（成長）、$\beta$（素数における値の大きさに関連）、および $k$（次数）によって特徴付けられる、一般的な乗法的関数のクラス $\mathcal{F}_{\alpha, \beta, k}$ を定義している。このクラスには、$\mu_k(n)$（$k$ 自由整数の指標）、$\phi(n)/n$、および一般化された約数関数 $\sigma_\alpha(n)$ が含まれる。
• 分散の漸近公式：
  • $0 \le \alpha < 1/2$ の場合： 著者らは、分散が $H^{(1-2\alpha)/k} (\log H)^{\beta^2-1}$ のスケールで変化するという漸近公式を導出している。主項は定数 $c_{h,k}$ と $\log H$ の多項式を含む。
  • $1/2 < \alpha < 2$ の場合： 分散は、区間長 $H$ に依存する定数 $c_{h,k}(H)$ に収束し、誤差項は $O(H^{-\epsilon})$ である。
  • 臨界点 $\alpha = 1/2$： 本論文では、この臨界点における直接的な漸近公式は導出されていないが、$O((\log H)^{\beta^2})$ という上界が確立されている。
• 短区間の範囲の改善： 本論文は、これらの漸近公式が成立する $H$ の既知の範囲を大幅に拡張している。
  • $k$ 自由整数（$k \ge 3$）について、有効な $H$ の範囲は、およそ $X^{0.3}$ から $X^{e(k,0)}$ へと拡張されており（ここで $e(k,0)$ は $k$ とともに増加する。例：$e(3,0) \approx 0.605$）、
  • リンデレフ予想の下では、これらの範囲はさらに $X^{g(k)}$ まで拡張される。
• 予想の反証： 著者らは、正規化されたオイラーのファイ関数 $\phi(n)/n$ に関する詳細な分析を提供している。彼らは、分散の極限が van Overbeeke が予想したような絶対定数ではなく、むしろ $H$ によって変動する関数 $c_\zeta(H)$ であることを示している。具体的には、素数 $H$ に対して、定数が $\approx 0.1036$ を下回らないことを示し、$\approx 0.03$ という予想された値に矛盾することを示した。
• 一般化された約数関数： 本結果は、$\alpha \in (-1, -1/2)$ における $\sigma_\alpha(n)$ の分散に関する従来の境界を改善しており、より広い $H$ の範囲にわたる漸近公式を提供し、特定の $\alpha$ に対して $1/2$ の障壁を突破している。

意義
本論文は、多様な乗法的関数の分散の研究を単一の理論的枠組みの下に統一することを主張している。「短い平均」をフーリエ解析と数論的幾何学（二元形式）を通じて「長い平均」へと結びつけることで、著者らは短区間における揺らぎを分析するための強固な手法を提供している。

本研究は、特に以下の点で注目に値する：

1. van Overbeeke 予想の反証： $\phi(n)/n$ の分散に関する特定の予測を修正し、極限が普遍的な定数ではなく、区間長 $H$ の算術的性質に依存することを示した。
2. 「半分障壁（Half-Barrier）」の突破： この手法により、特定の関数クラスに対して、従来のメソッドが失敗したり弱い境界しか得られなかったりした領域、すなわち区間が $X^{1/2}$ より長い領域での分散の分析が可能となった。
3. 離散分散と連続分散： 論文では離散分散と連続分散を区別しており、連続分散はフーリエ空間において $1/2$ の障壁を越えられる一方で、離散分散は依然としてそれに制限されることを指摘しており、小さな区間の揺らぎの検出における根本的な違いを浮き彫りにしている。

著者らは、自らの結果が、リーマン予想のような未解決の予想に依拠することなく（主要な無条件の結果については）、$k$ 自由整数の指標、正規化されたオイラーのファイ関数、および一般化された約数和を含む関数について、短区間分析の領域における新しい漸近公式と改善をもたらすと強調している。ただし、範囲の拡張の可能性については、RH（リーマン予想）およびリンデレフ予想についても議論されている。