Correlations of multiplicative functions with their partial sums

技術的概要：乗法的関数とその部分和との相関

問題提起
本論文は、乗法的関数とそれに対応する総和関数（部分和）との相関を調査するものであり、特にメビウス関数 $\mu(n)$ とその総和関数 $M(n)$（メルテンス関数）、およびリウヴィル関数 $\lambda(n)$ とその総和関数 $L(n)$ に焦点を当てている。著者は、特定の対数平均相関測度を定義する：
$$\langle a(n)A(n-1) \rangle(T) = \frac{1}{\zeta(1+\delta(T))} \sum_{n \le T^{1-c}} \frac{a(n)A(n-1)}{n^{1+\delta(T)}}$$
ここで、$0 < c < 1$ であり、$\delta(T)$ は $T \to \infty$ として適切に選択された減衰するパラメータである。中心的な問題は、リーマン予想（RH）および零点の単純性予想（SZC）を仮定して、これらの相関の漸近挙動を決定することである。本研究は、これらの関数がその部分和と反相関を示すかどうかを明確にし、リーマンゼータ関数の非自明な零点 $\rho$ における $1/\zeta'(\rho)$ の成長率に関する帰結を導出することを目的としている。

手法
証明は、総和関数を $\zeta(s)$ の零点と結びつける明示的な公式を用いた解析的整数論の手法に依存している。手法は以下の通り進行する：

1. 明示的な公式：著者は、ペロンの公式と留数計算から導出された $M(n-1)$ および $L(n-1)$ の明示的な公式を利用する。RH および SZC の下では、これらは非自明な零点 $\rho = 1/2 + i\gamma$ に関する和として表現される：
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{誤差項}$。
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{誤差項}$。
2. 有限和近似：本論文は、部分和を用いて $\mu(n)$、$\mu^2(n)$、$\lambda(n)$、および $\lambda^2(n)$ に対するディリクレ級数恒等式の有限版を確立する。これらの近似には、$N$（切断限界）および $\epsilon$ に依存する明示的な誤差 bound が含まれる。
3. ローラン展開とパラメータ選択：証明の核心は、重み付き和 $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$ を評価することにある。著者は、$\delta=0$ 周りで $\zeta(1+\delta)$ および $\zeta(1-\rho+\delta)$ をローラン級数を用いて展開する。重要なステップは、誤差項の収束を保証しつつ、零点の和からの支配的な寄与を分離する、$T$ および零点 $\rho$ に依存する特定関数 $\delta(T)$ の構成である。
4. 極限解析：切断限界を $N = T^{1-c}$ と設定し、$T \to \infty$ とすることで、著者は定数項および零点に関する和を分離し、誤差項が消失するか、$O(1/N)$ によって有界であることを示す。

主要な貢献と結果
本論文は、相関の漸近極限を記述する 2 つの主要な定理を提示する：

• 定理 1（メビウス相関）：RH および SZC の下、$\mu(n)$ と $M(n-1)$ の間の相関は次で与えられる：
  $$\langle \mu(n)M(n-1) \rangle(T) = -\frac{3}{\pi^2} \left(1 - T^{(c-1)\delta(T)}\right) + \sum_{0<\gamma<T} \frac{1}{|\rho \zeta'(\rho)|^2}$$
  この結果は、項 $-3/\pi^2$ によって支配される負のバイアス（反相関）を示唆している。

• 定理 2（リウヴィル相関）：RH および SZC の下、$\lambda(n)$ と $L(n-1)$ の間の相関は次で与えられる：
  $$\langle \lambda(n)L(n-1) \rangle(T) = \frac{1}{2} \left( \frac{1}{\zeta^2(1/2)} - 1 + T^{(c-1)\delta(T)} \right) + \sum_{0<\gamma<T} \left| \frac{\zeta(2\rho)}{\rho \zeta'(\rho)} \right|^2$$
  主要項 $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$ は約 $-0.2655$ であり、これも負の相関を示している。

• 数値的証拠：本論文は、$N \le 10^7$ に対する数値プロットを提供しており、$\mu(n)M(n-1)$ および $\lambda(n)L(n-1)$ の両方に対する計算された対数平均が頑健に負であることを示しており、理論的な予測と一致している。

意義と帰結
これらの結果の主な意義は、零点におけるゼータ関数の導関数の大きさ、すなわち $1/\zeta'(\rho)$ に関する帰結にある。

• 系 1：定理 1 の右辺が負である場合（数値データが示唆するように）、それは実効的な上限を意味する：
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{as } |\gamma| \to \infty$$
• 系 2：同様に、定理 2 の右辺が負である場合、それは以下を意味する：
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{as } |\gamma| \to \infty$$

本論文は、$1/|\zeta'(\rho)|$ のための実効的上限を見つけることが長年の未解決問題であることを指摘している。下限はよく研究されているが、実効的上限については理解が浅い。著者は、これらの数値結果は慎重に解釈されなければならないと警告し、強い数値的証拠にもかかわらず反証されたメルテンス予想の歴史的な例を引用して、数値的な傾向が証明を構成するものではないことを強調している。しかし、導出された漸近公式と観測された負の相関の組み合わせは、$|1/\zeta'(\rho)|$ に関する実効的上限が存在する可能性を示唆しており、ゼータ関数の零点の分布に対する新たな視点を提供している。