On a new approach to the Riemann hypothesis

リーマン予想が偽であるという仮定のもと、特定の有理数$p$に対してディリクレ$L$関数の非自明な零点における級数の留数とある連続関数の間の漸近関係式を確立し、それがリーマン予想への示唆を与えることを示しています。

要約

🕵️‍♂️ 物語の舞台：「素数の迷路」と「完璧な壁」

まず、背景となる話を簡単にしましょう。
リーマン予想とは、「素数（2, 3, 5, 7...）」という数字の並びには、ある「完璧な壁」のような規則性が隠れているという仮説です。もしこの壁が正しければ、素数の分布は非常に予測しやすく、数学の世界は整然と保たれます。

しかし、もしこの壁に**「小さな亀裂（欠陥）」があったらどうなるでしょうか？
この論文の著者・Hisanobu Shinya さんは、「もしリーマン予想が間違っていて、その亀裂（壁から外れた場所）に何かがあるとしたら、その影響をどうやって検出できるか？」**という実験を提案しています。

🔍 実験道具：「素数の探偵ツール」

著者さんは、新しい探偵ツールを開発しました。
それは、**「素数（Mangoldt 関数）」と「分数（有理数 p）」**を組み合わせた特殊な式です。

• 普通の探偵： 素数だけを眺めて「ここにおかしい点があるかな？」と探す。
• 著者さんの探偵： 素数に「特定のリズム（分数 p）」を掛け合わせて、**「もし壁に亀裂（リーマン予想の反例）があれば、このリズムがどう反応するか」**を観察します。

このツールを使うと、もしリーマン予想が間違っていて、**「1/2 という壁から少し外れた場所（η > 0）」に素数の「幽霊（零点）」が潜んでいたら、その幽霊が「特殊な波（極）」**として現れることを発見しました。

🌊 発見：「波の共鳴と連続性」

ここが論文の最も面白い部分です。

1. 波の共鳴：
   もし壁に亀裂（リーマン予想の反例）があれば、著者さんが作ったツール（M 関数）は、その亀裂の位置で**「大きな波（極）」を起こします。
   この波の高さや形は、「分数 p（リズム）」**を変えることで、非常に繊細に反応します。

2. 滑らかな変化（連続性）：
   論文の核心は、**「この波の形は、リズム p を少しずつ変えても、ガクガクせず、滑らかに変化する」**という点です。
   想像してください。

   • 壁が完璧な場合： 波は一定の形を保ちます。
   • 壁に亀裂がある場合： 波は「亀裂の位置」に反応して形を変えますが、その変化は**「滑らかな曲線」**を描きます。

   著者さんは、この「滑らかな変化」を数式で厳密に証明しました。
   「もしリーマン予想が間違っていれば、この滑らかな波の式が成り立つはずだ」という**「もしも（仮定）」の結論**を導き出したのです。

🧩 なぜこれが重要なのか？（パズルの欠片）

この論文は、「リーマン予想は間違っている！」と宣言しているわけではありません。
むしろ、**「もし間違っていたら、世界はこう見えるはずだ」という「反証のための設計図」**を描いています。

• アナロジー：
  暗闇で何かを探しているとき、「もしそこに猫がいたら、足音がこうなるはずだ」というシミュレーションをするようなものです。
  もし実際に「猫の足音（この論文で導かれた滑らかな波の式）」が聞こえなければ、「猫（リーマン予想の反例）はいない」と確信できます。逆に、もしその足音が聞こえれば、猫の正体を突き止められます。

📝 まとめ：この論文が伝えたいこと

1. 新しい視点： リーマン予想を否定する（間違っていると仮定する）ことで、新しい数学的な関係式を見つけました。
2. 道具の開発： 素数と分数を組み合わせた「M 関数」という新しい探偵ツールを使いました。
3. 滑らかな変化： もしリーマン予想が間違っていれば、その影響は「分数 p」を変えると**「滑らかに変化する波」**として現れることを示しました。
4. 今後の課題： この「滑らかな波」が本当に存在するかどうか、あるいはその波の大きさをどう制御するかが、リーマン予想を解くための次の鍵となります。

一言で言えば：
「もしリーマン予想という『完璧な壁』にヒビが入っていたら、素数のリズムを変えたときに『滑らかな波』が観測されるはずだ。その波の形を計算したよ。これが本当かどうか、これからみんなで探そう！」

という、数学的な冒険の地図を描いた論文です。

技術概要

論文の技術的概要

1. 問題設定 (Problem)

本論文は、リーマン予想（Riemann Hypothesis: RH）が偽であるという仮定に基づき、その帰結として導かれる新しい漸近関係式を確立することを目的としています。
具体的には、リーマンゼータ関数 $\zeta(s)$ が臨界線 $\text{Re}(s) = 1/2$ から外れた位置に非自明な零点 $\rho^* = 1/2 + \eta^* + i\gamma^*$ （$\eta^* > 0$）を持つと仮定した場合、特定のディリクレ $L$ 関数の極（pole）と、有理数 $p$ を含む級数の留数（residue）との間に、$\gamma^* \to \infty$ の極限で成り立つ漸近的な関係式を導出します。

2. 手法 (Methodology)

著者は、以下の主要な道具と手法を用いて議論を展開しています。

• 主要な関数 $M(s, p)$ の導入:
  曼ンゴルト関数 $\Lambda(n)$ と有理数 $p \in \mathbb{Q} \cap (0, 1)$ を用いて、以下の級数を定義します。
  $$M(s, p) \equiv \sum_{n \ge 1} \Lambda(n) e^{-2\pi i p n} n^{-s}$$
  この級数は、弱ゴールドバッハ予想の研究で用いられる部分和とは異なり、文献ではあまり扱われていませんが、ディリクレ $L$ 関数の対数微分 $L'/L$ と関連付けることで解析的に扱いやすくなります（補題 1.1）。

• 積分変換と留数定理:
  定理 1.2 において、$M(s, p)$ を含む複素積分を評価します。被積分関数にはガンマ関数 $\Gamma(s), \Gamma(s+\delta), \Gamma(1-s)$ が含まれており、これにより積分路のシフト（留数定理の適用）が可能になります。

  • 左辺の積分路を $\text{Re}(s) = c$ から $\text{Re}(s) = 1/2$ へシフトし、極からの寄与（留数）を抽出します。
  • 右辺の積分では、$\zeta(s)$ の零点 $\rho_j$ に関する留数の和を導出します。

• 漸近評価:
  ガンマ関数の漸近公式 $\Gamma(\sigma + it) \asymp |t|^{\sigma-1/2} e^{-\pi|t|/2}$ を利用し、虚部 $\gamma$ が大きくなる場合の項の振る舞いを評価します。特に、$\gamma_{n1, p} \to \infty$ における主要項と誤差項の分離を行います。

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

定理 1.2 (積分恒等式):
任意の有理数 $p$ と適切なパラメータ条件下で、$M(s, p)$ を含む複素積分が、$\zeta(s)$ の対数微分と関数 $K(p, \xi)$ を用いた積分式と等しくなることを示しました。これは後の定理の基礎となる恒等式です。

定理 1.3 (主結果):
リーマン予想が偽であり、$M(s, p)$ が臨界線から外れた極 $\rho_{n1, p} = 1/2 + \eta_{n1, p} + i\gamma_{n1, p}$ を持つと仮定すると、$\gamma_{n1, p} \to \infty$ において以下の漸近関係が成り立ちます。

$$c(p)\Gamma(\rho_{n1, p})e^{\pi\gamma_{n1, p}/2} \sim \Gamma(1 + \nu + i\gamma_{n1, p})e^{\pi\gamma_{n1, p}/2} \times \sum_{\rho_j} \rho_j^{-1} (2\pi p)^{-\nu - i\gamma_{n1, p} + \rho_j} e^{(\nu + i\gamma_{n1, p} - \rho_j)\pi i/2} \Gamma(-\nu - i\gamma_{n1, p} + \rho_j)$$

ここで、$c(p)$ は $p$ に依存する係数、$c_{\rho_{n1, p}}$ は $M(s, p)$ の極 $\rho_{n1, p}$ における留数です。
重要な性質:
この式の右辺は、変数 $p$ に対して連続であることが示されています。

考察と予想 (Remark & Conjecture):

• 連続性の矛盾の可能性: 左辺の項は $M(s, p)$ の極（留数）に依存しており、$p$ の変化に対して不連続に振る舞う可能性があります。一方、右辺は $p$ に対して連続です。この矛盾が、リーマン予想が偽であるという仮定と両立しない可能性を示唆しています。
• 予想 1.4: 漸近評価を正当化するために必要な、$M(s, p)$ のある種の和（$b$ が大きい場合のバウンド）に関する予想を提示しています。
  $$\sum_{\chi} A(a, b; \chi) \sum_{|t-\gamma|<1} \frac{1}{s - \rho_\chi} \ll t^\epsilon$$
  この予想が証明されれば、リーマン予想の理解が深まるとされています。

4. 意義 (Significance)

1. 背理法による新たなアプローチ:
   従来の「リーマン予想の否定から矛盾を導く」というアプローチにおいて、既存の手法とは異なる「$M(s, p)$ という新しい級数と、その極の漸近挙動」を用いることで、新たな帰結を導き出しました。
2. 連続性と不連続性の対比:
   導かれた漸近式において、左辺（極の留数に依存）と右辺（$p$ に対して連続）の性質の対比は、リーマン予想が偽である場合の論理的な矛盾を浮き彫りにする可能性を示唆しています。これは、リーマン予想の真偽を判定するための新しい視点を提供します。
3. ディリクレ $L$ 関数との関連:
   級数 $M(s, p)$ をディリクレ $L$ 関数の対数微分の線形結合として表現し、それらの極構造を解析的に結びつけた点は、数論的解析における新しい技術的貢献です。

結論:
本論文は、リーマン予想が偽であるという仮定の下で、特定の級数 $M(s, p)$ の極とディリクレ $L$ 関数の零点の間に、変数 $p$ に対して連続な漸近関係が成立することを示しました。この結果は、$p$ の連続性と極の離散性（留数）の間の潜在的な矛盾を指摘しており、リーマン予想の証明（または反証）に向けた新たな道筋を提示するものです。ただし、完全な矛盾の導出には、予想 1.4 に示されたバウンドの証明などのさらなる研究が必要とされています。