On the discrete convolution of the Liouville and Möbius functions

この論文は、リーヴィ関数の離散畳み込み $S(n)$ の性質を研究し、最近の手法を用いて重み付き平均の明示的な公式を導出することで、$S(n)$ のディリクレ級数やべき級数、および任意個の因子を持つ畳み込みに関する重要な知見を得ることを目的としています。

要約

この論文は、数学の「素数（そすう）」という不思議な世界で、**「リウヴィル関数（Liouville function）」と「メビウス関数（Möbius function）」**という、2 つの「数字の性質を表す魔法のカード」を組み合わせることで、どんな新しいパターンが生まれるかを解明しようとする研究です。

専門用語を避け、日常の比喩を使って分かりやすく説明しましょう。

1. 物語の舞台：数字の「ダンス」と「足し算」

まず、この研究の舞台は「整数（1, 2, 3...）」の世界です。
ここでは、リウヴィル関数というカードが配られています。このカードには、数字が「素数を偶数個掛けたもの」なら**「＋1」、「奇数個掛けたもの」なら「－1」**と書かれています。

• 例：
  • 6 は「2 × 3」（素数 2 個）なので ＋1
  • 12 は「2 × 2 × 3」（素数 3 個）なので －1
  • 1 は特別で ＋1

このカードは、数字の「奇数・偶数」の性質を、まるで**「プラスとマイナスの波」**のように表しています。

2. 問題の核心：「ゴールドバッハの夢」との共通点

数学者たちは昔から、**「ゴールドバッハ予想」という難問に挑んでいます。
これは「2 以上の偶数は、すべて 2 つの素数を足して作れる」**というものです（例：4=2+2, 6=3+3, 8=3+5...）。

この研究では、素数そのものではなく、先ほどの「＋1／－1」のカード（リウヴィル関数）を足し合わせた場合、「2 つのカードを足して N になる組み合わせ」が、N が大きくなるとどうなるかを調べています。

• イメージ：
  大勢の人が「＋1」か「－1」の旗を持っています。
  「N 番目の人」にたどり着くまで、何通りの「＋1」と「－1」のペアが見つかるか？
  あるいは、それらの合計（足し算の結果）は、N が大きくなるにつれて**「0 に近づく（波が打ち消し合う）」のか、それとも「大きな値になる」**のか？

3. 研究の手法：「波の干渉」を計算する

この論文の著者たちは、この「足し算の結果」を、**「波の干渉」**に例えて分析しました。

• リウヴィル関数の足し合わせ ＝ 2 つの波がぶつかる
  波がぶつかると、高くなったり低くなったりします。しかし、もし波の形がランダムで複雑なら、長い時間を見れば「平均して 0 に近づくはずだ」という予想があります（これが「チャウラ予想」などと呼ばれます）。

著者たちは、この「波の干渉」を、**「重みをつけた平均」という新しいレンズを通して観察しました。
まるで、「特定の時間帯だけ、波の高さを測る」**ようなものです。

4. 発見された「魔法の公式」

彼らが導き出したのは、**「重みをつけた平均」を計算するための、非常に精密な「魔法の公式」**です。

この公式は、以下の 3 つの要素を組み合わせて結果を予測します。

1. メインの波（定数）： 波の基本的な大きさ（$\pi$ や $\zeta(1/2)$ などの定数）。
2. リズミカルな揺らぎ（リーマンの零点）： 素数分布の「リズム」を表す、**リーマンゼータ関数の「零点（ゼロになる点）」**という不思議な数値たち。これらが波の細かい揺らぎを作っています。
3. ノイズ（誤差）： 予測から少し外れる小さな誤差。

比喩で言うと：
「天気予報」のようなものです。
「明日の気温は平均して 20 度（メインの波）」ですが、**「風の向き（リーマンの零点）」によって、少し上がったり下がったりします。この論文は、「風の向きを正確に読み取り、気温の揺らぎを数式で表現する」**ことに成功したのです。

5. なぜこれが重要なのか？

• 素数のリズムの解明：
  この「リウヴィル関数の足し合わせ」は、実は「素数の分布」と深く関係しています。この公式が正しいということは、**「素数がランダムに見える中にも、実は隠れたリズム（リーマンの零点）がある」**ことを強く示唆しています。
• 新しい視点：
  以前は「素数そのもの」を足すこと（ゴールドバッハ予想）しか注目されていませんでしたが、今回は「素数の性質（＋1／－1）」を足すという、少し違う角度からアプローチしました。これにより、「素数の足し合わせ」だけでなく、「素数の性質の足し合わせ」も、同じような法則で説明できることが分かりました。

まとめ

この論文は、**「数字の＋1 と－1 が、大きな数になるまで足し合わさるとどうなるか？」という問いに、「リーマンの零点という『リズム』を使って、非常に精密な予測式を作った」**という成果です。

まるで、**「無秩序に見える数字の嵐の中で、隠れたリズム（リーマンの零点）を見つけ出し、その波の動きを正確に描き出す地図」**を作ったようなものです。これにより、数学者たちは「素数」という謎の多い存在を、さらに深く理解する手がかりを得ることになりました。

技術概要

この論文「ON THE DISCRETE CONVOLUTION OF THE LIOUVILLE AND MÖBIUS FUNCTIONS（リウヴィル関数とメビウス関数の離散畳み込みについて）」は、数論における加法的問題、特にリウヴィル関数 $\lambda(n)$ とメビウス関数 $\mu(n)$ の離散畳み込みの性質を研究したものです。著者らは、ゼータ関数の非自明な零点を用いた明示的な公式（explicit formulas）を導き出し、これらの畳み込み和の加重平均やディリクレ級数、べき級数の解析的性質を明らかにしています。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、意義の観点から詳細に記述します。

1. 問題設定 (Problem)

数論において、素数の分布やその関連関数の挙動を制御することは中心的な課題の一つです。特に、ランダムで不規則な振る舞いを示す算術関数の「平均値」を研究する際、明示的な公式が重要な道具となります。

• ゴールドバッハ予想との関連: 古典的なゴールドバッハ予想は、フォン・マンゴルト関数 $\Lambda(n)$ の自己畳み込み $R(N) = \sum_{n \le N} \Lambda(n)\Lambda(N-n)$ が $N>2$ の偶数で正であることを示す問題です。
• リウヴィル関数の畳み込み: 本論文は、リウヴィル関数 $\lambda(n)$ の自己畳み込み
  $$S(N) := \sum_{n \le N} \lambda(n)\lambda(N-n)$$
  に焦点を当てます。これは、ゴールドバッハ型問題のアナロジーとして扱われます。
• 既知の結果と未解決: Corrádi と Kátai は $S(N) = o(N)$ を予想し、Siegel 零点が存在するという仮定のもとで証明されました。また、Mangerel は十分大きな $N$ に対して $|S(N)| < N^{-1}$ となることを証明しました。しかし、より詳細な構造、特に加重平均や級数展開における明示的な公式は、ゴールドバッハ数 $R(N)$ の研究に比べて十分に確立されていませんでした。
• 目的: 本論文の目的は、$S(N)$ の加重平均に対する明示的な公式を導出し、それを用いて $S(N)$ のディリクレ級数 $\sum S(n)n^{-s}$ やべき級数 $\sum S(n)e^{-ny}$ の解析的性質（特に解析接続と自然境界）を明らかにすることです。さらに、この結果をメビウス関数 $\mu(n)$ や、任意の項数 $d$ に対する畳み込み $S_d(N)$ に一般化することです。

2. 手法 (Methodology)

著者らは、直近の論文 [6] で導入された一般的なアプローチを応用し、ゼータ関数の非自明な零点 $\rho$ を用いた明示的な公式を構築しました。

• ペロンの公式と明示的公式の拡張:
  リウヴィル関数の総和 $L(x) = \sum_{n \le x} \lambda(n)$ について、従来の $x \ge 1$ の範囲だけでなく、$0 < x < 1$の領域でも有効な明示的な公式（ペロンの公式に基づく）を導出しました。これは、畳み込み積分$\int_0^x L(y)L(x-y)dy$を評価する際に、$y$が$0$に近い領域と$x$ に近い領域の両方の寄与を正確に扱うために不可欠です。
• ラプラス畳み込みと Cesàro 平均:
  $S(n)$ の Cesàro 平均（1 次）である $C_\lambda(x) = \sum_{n \le x} S(n)(x-n)$ は、$L(x)$ のラプラス畳み込み $\int_0^x L(y)L(x-y)dy$ と等価です。この積分を、$L(x)$ の明示的公式を代入して項別積分することで評価します。
• ゼータ関数の零点に関する仮定:
  主要な結果を導くために、以下の仮定を使用しています：
  1. リーマン仮説 (RH): $\zeta(s)$ のすべての非自明な零点が実部 $1/2$ にある。
  2. 零点の単一性: 非自明な零点はすべて重複しない。
  3. SZ 予想 (Conjecture 7): $\sum_{0<\gamma<T} |\zeta'(\rho)|^{-1} \ll T(\log T)^{1/2}$。これは零点の単一性や導関数の評価を可能にします。
• 一般化された加重平均の定理:
  論文 [6] の Proposition 2 を応用し、任意の重み関数 $f(w)$ に対する和
  $$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right)$$
  について、$L(x)$ の明示的公式を積分に代入することで、ゼータ関数の零点 $\rho$ を含む項と誤差項からなる明示的公式を導出しました。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 明示的公式の導出 (Theorem 1)

リーマン仮説と零点の単一性を仮定し、重み関数 $f$ がある条件（コンパクトな台、$C^1$、導関数の絶対連続性など）を満たす場合、以下の明示的公式が成立します。

$$\begin{aligned} \sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right) &= \frac{\pi \eta}{8 \zeta(1/2)^2} \int_a^b f''(w) w^2 dw \\ &+ \frac{\sqrt{\pi}}{\zeta(1/2)} \sum_{\rho} \frac{\zeta(2\rho)\Gamma(\rho)}{\zeta'(\rho)\Gamma(\rho+5/2)} \eta^{\rho+1/2} \int_a^b f''(w) w^{\rho+3/2} dw \\ &+ \sum_{\rho_1} \sum_{\rho_2} \frac{\zeta(2\rho_1)\zeta(2\rho_2)}{\zeta'(\rho_1)\zeta'(\rho_2)} \frac{\Gamma(\rho_1)\Gamma(\rho_2)}{\Gamma(\rho_1+\rho_2+2)} \eta^{\rho_1+\rho_2} \int_a^b f''(w) w^{\rho_1+\rho_2+1} dw \\ &+ O_\epsilon(\dots) \end{aligned}$$

ここで、$\rho$ は $\zeta(s)$ の非自明な零点です。この公式は、単一の零点の和だけでなく、零点のペアの和（二重級数）を含む構造を持っています。

B. ディリクレ級数とべき級数の解析的性質 (Corollary 2, Theorem 17, Corollary 18)

上記の一般公式に特定の重み関数（$f(w)=w^{-s}$ や $f(w)=e^{-wy}$）を適用することで、以下の結果を得ました。

1. ディリクレ級数の解析接続:
   $$D(s) = \sum_{n=1}^\infty S(n) n^{-s}$$
   は、実部 $\text{Re}(s) > 1$ の半平面へ解析接続可能です。
2. 自然境界:
   さらに、非自明な零点の虚部が有理数体上で線形独立であると仮定すると、直線 $\text{Re}(s) = 1$ がこの級数の自然境界となります。これは、零点の和 $\gamma_1 + \gamma_2$ が実数全体に稠密になること（Goldbach の場合と同様の状況）に起因します。
3. メビウス関数への適用:
   同様の手法で、メビウス関数の畳み込み $S^*(N) = \sum_{m_1+m_2=N} \mu(m_1)\mu(m_2)$ に対しても、ディリクレ級数 $\sum S^*(n)n^{-s}$ の解析接続と自然境界の存在を示しました。

C. 任意の項数への一般化 (Section 5)

結果を $d$ 項の畳み込み $S_d(N) = \sum_{m_1+\dots+m_d=N} \lambda(m_1)\dots\lambda(m_d)$ に一般化しました。

• $d$ 項の畳み込みの Cesàro 平均は、$L(x)$ の $d-1$ 重積分（または $d-2$ 回の Cesàro 平均の積分）として表現できます。
• これにより、$d$ 項の場合の明示的公式が導かれ、主項が $x^d$ に比例し、誤差項が $x^{d-1/2+\epsilon}$ 程度であることが示されました。

4. 意義と結論 (Significance and Conclusion)

• 理論的進展: ゴールドバッハ予想の類似問題であるリウヴィル関数の畳み込みについて、従来の「オーダーの評価」を超えて、ゼータ関数の零点を直接含んだ明示的な漸近公式を初めて提供しました。
• 手法の汎用性: 論文 [6] で開発された重み付き平均の一般理論が、リウヴィル関数やメビウス関数といった重要な算術関数に適用可能であることを示し、より複雑な加法的問題（任意の項数 $d$）への拡張を可能にしました。
• 解析的構造の解明: $S(n)$ の生成関数が $\text{Re}(s)=1$ で自然境界を持つことを示したことは、この数列が非常に複雑な振る舞い（零点の和による干渉）を内包していることを意味し、数論的関数の平均値の限界を浮き彫りにしています。
• 今後の展望: 得られた明示的公式は、$S(N)$ の具体的な値の推定や、零点分布に関する統計的性質の検証に利用でき、加法的数論におけるさらなる研究の基礎となるでしょう。

要約すれば、本論文はリーマン仮説の下で、リウヴィルおよびメビウス関数の畳み込み和に対する精密な明示的公式を構築し、それらの生成関数の解析的性質（特に自然境界の存在）を決定づけた重要な成果です。