🔢 mathematics

On the sign changes of $ψ(x)-x$

この論文は、新しいゼロ点密度推定を用いて素数定理の誤差項 $\psi(x)-x$ の符号変化回数の下限を改善し、 $\liminf_{T\to\infty}\frac{V(T)}{\log T}\geq\frac{\gamma_{0}}{\pi}+\frac{1}{60}$ （ $\gamma_0$ はリーマンゼータ関数の最初の非自明なゼロ点の虚部）であることを示したものである。

原著者： Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

公開日 2026-03-17

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学の最も有名な謎の一つである「素数（2, 3, 5, 7, 11...）」の分布について、非常に高度な計算と新しいアイデアを使って、驚くべき成果を上げた研究です。

専門用語を避け、日常の風景に例えてこの研究の核心を解説します。

1. 物語の舞台：「素数の波」と「揺れ」

まず、素数は規則正しく並んでいるように見えますが、実は「波」のように揺れています。
数学者は「素数定理」という、素数が大体どれくらいあるかを予測する公式を持っています。しかし、実際の数と公式の予測値の間には、常に小さな「誤差（揺れ）」が生じています。

この論文の著者たちは、この**「誤差がプラスとマイナスに振れる回数（サインチェンジ）」**に注目しました。

イメージ： 潮が引いては満ちるのを繰り返すように、素数の数も予測値より多くなったり少なくなったりを繰り返しています。
問い： 「1 から T までの間に、この『多くなる・少なくなる』の切り替わりは何回起こるだろうか？」

これまでの研究では、「少なくともこれくらいは起こる」という下限（最低ライン）が知られていましたが、著者たちは**「実はもっと頻繁に揺れているはずだ！」**と証明しました。

2. 彼らが使った「新しい道具」

この研究の最大の功績は、2 つの新しい「道具」を開発したことです。

道具①：「歪んだパズル」の解き方（Proposition 1）

以前の方法では、揺れを計算するために「すべての条件が完璧に揃った時」しか計算できませんでした。まるで、パズルのピースがすべて同じ形をしている時しか組み立てられないようなものです。

著者たちは、**「ピースの形が少し違っても、重なり具合を工夫すれば組み立てられる」**という新しいルールを見つけました。

アナロジー： 以前は「すべての人が同じリズムで歩かなければ、行列が作れない」と言われていました。しかし、彼らは「少しリズムがズレていても、歩幅を調整すれば、結局は同じ場所にたどり着ける」と証明しました。これにより、より多くの「揺れ」の証拠を見つけられるようになりました。

道具②：「タイル張り」の魔法（The Tiling Method）

これが最も画期的な部分です。
「素数の揺れ」を調べるには、無限にある数字の組み合わせの中から、特定の条件を満たす「特別な場所」を探す必要があります。以前の方法は、この「特別な場所」を見つけるために、非常に狭い範囲しか探せませんでした。

著者たちは、**「タイル」**という概念を使いました。

アナロジー： 床にタイルを敷き詰める作業を想像してください。
- 昔の方法： 1 枚ずつ、手探りでタイルを置くので、隙間ができてしまい、床の広さを正確に測れませんでした。
- 新しい方法（タイル法）： 彼らは、タイルを「はめ込む」のではなく、**「敷き詰める」**方法を考えました。まるで、ジグゾーパズルのピースを、隙間なく、かつ重なりもせずに、広大な床全体に敷き詰めるように計算しました。
- これにより、これまで「見逃していた」広大な領域（揺れが発生する場所）を、ほぼ完全にカバーできるようになりました。

3. 超高速な「探偵」の活躍（LLL アルゴリズム）

この「タイル」を効率的に敷き詰めるために、彼らは「LLL アルゴリズム」という、数学的な「探偵」を使いました。
これは、膨大な数の数字の組み合わせの中から、最も効率的な「配置」を見つけるための計算機アルゴリズムです。

役割： 人間が何百年かけても探せないような、複雑な数字の迷路の中で、「ここだ！」という最適な場所を瞬時に見つけ出し、タイルを敷き詰めるための設計図を作りました。

4. 結果：「揺れ」はもっと激しかった！

これまでの研究では、「揺れ」の回数はある程度低いと予想されていました。しかし、この新しい「タイル法」と「歪んだパズル」の組み合わせにより、著者たちは**「揺れは、これまでの予想よりも、はるかに頻繁に起こっている」**ことを証明しました。

具体的には、以前は「1 回揺れるのに、これだけの時間がかかる」という見積もりでしたが、新しい計算では**「もっと短い時間で、もっと激しく揺れている」**ことがわかりました。

まとめ：なぜこれがすごいのか？

この論文は、単に「数字を数え直した」だけではありません。
**「複雑な数学的な迷路を、新しい視点（タイル法）と強力な計算機（LLL アルゴリズム）を使って、これまで誰も到達できなかった領域まで広げることができた」**という点で画期的です。

以前のイメージ： 暗闇の中で、ろうそく（古い計算方法）で少しだけ先を照らして、「ここには何かある」と言っていた。
今回の成果： 強力な懐中電灯（新しい理論）と、広大な地図（タイル法）を持って、暗闇の大部分を照らし、「実はここにも、あそこにも、揺れが溢れている！」と宣言した。

彼らは、素数の世界が、私たちが思っていたよりもずっと「活発に動き回っている（激しく揺れている）」ことを、数学的に厳密に証明したのです。これは、素数という宇宙の法則を解き明かすための、大きな一歩となりました。

この論文「On the sign changes of ψ(x) −x（素数定理の誤差項 $\psi(x) - x$ の符号変化について）」は、M. Grześkowiak, J. Kaczorowski, Ł. Pańkowski, M. Radziejewski によって執筆され、Riemann 予想が真であると仮定した場合、素数定理の誤差項 $\psi(x) - x$ が区間 $[1, T]$ で符号を変える回数 $V(T)$ の下限を大幅に改善したことを報告しています。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、意義に分けて記述します。

1. 問題設定と背景

対象: 素数定理における誤差項 $\psi(x) - x$ の符号変化の回数 $V(T)$ 。ここで $\psi(x) = \sum_{n \le x} \Lambda(n)$ はチェビシェフ関数である。
目的: $T \to \infty$ における $\frac{V(T)}{\log T}$ の下限（ $\liminf$ ）をより精密に評価すること。
歴史的経緯:
- Ingham (1936) は、擬似的な Riemann 予想を仮定してこの極限が正であることを示した。
- Kaczorowski (1980 年代) は無条件で $\kappa_0 \ge \gamma_0 / (4\pi)$ を示し、後に $\gamma_0 / \pi$ まで改善した（ $\gamma_0 \approx 14.13$ は Riemann ゼータ関数の最初の非自明な零点の虚部）。
- Pólya は $\limsup$ に対して $\gamma_0 / \pi$ を示していた。
- 近年、Morrill, Platt, Trudgian (2023) は $\kappa_0 \ge \gamma_0 / \pi + 1.867 \cdot 10^{-30}$ という結果を発表したが、これは改善幅が極めて小さかった。
本研究の目標: この「 $\gamma_0 / \pi$ の壁」を破り、より大きな定数項を持つ下限を示すこと。

2. 主要な手法とアプローチ

本研究は、Riemann 予想が真であると仮定した場合の議論に焦点を当てており、以下の 2 つの新しいアイデアを組み合わせることで、従来の Diophantine 近似の手法を大幅に強化しています。

A. 零点の存在条件の一般化（Proposition 1）

従来の手法: 部分和 $F_N(z)$ の零点の周りを囲む輪郭（contour）を定義し、その輪郭をシフトさせたときに、元の関数 $F(z)$ の零点が含まれることを示すために、シフト量 $\tau$ に対して $\|\frac{\omega_n \tau}{2\pi}\|$ が一様に小さいことを要求していた。
本研究の革新:
- 重み付き和による条件: 一様 bound を、重み付き和 $\sum w_n(\|\frac{\omega_n \tau - \eta_n}{2\pi}\|) \le 1$ というより柔軟な条件に置き換えた（Proposition 1）。
- 位相の調整: 各項の位相を任意の値 $\eta_n$ でシフトさせ、輪郭上の関数の偏角の変化率を制御可能にしている。これにより、より高い位置にある零点（ $F_N$ の零点ではなく、 $G_N$ の零点など）を利用できるようになり、計算上の制約を緩和した。

B. 密度推定のための「タイル法（Tiling Method）」（Theorem 3）

従来の課題: シフト量 $\tau$ の密度を推定する際、Minkowski の凸体定理を用いると、解集合 $A$ の体積に対して $2^{-N}$ という因子が掛かり、密度が過小評価されていた（特に $N$ が大きい場合）。
本研究の革新:
- タイル法: 高次元の超立方体を、格子点（lattice points）の「タイル」で埋め尽くす手法を導入した。
- LLL アルゴリズムの応用: 特定の格子（lattice）を生成するために、LLL アルゴリズムの専用バージョン（Algorithm 1）を使用し、非常に密な格子を構築した。
- 結果: 従来の $2^{-N} \text{vol}(A)$ という見積もりを、解集合 $A$ の内部にある適当な部分集合 $A'$ の体積 $\text{vol}(A')$ に置き換えた。これにより、解集合の体積を理論的な上限（Kronecker-Weyl 定理に基づく予想値）に極めて近い値まで推定できるようになった。

3. 数値計算と検証

厳密な数値検証: 証明の最終段階では、Mathematica と ARB ライブラリ（球面演算）を用いた厳密な数値計算が行われた。
パラメータ設定:
- $N=21$ （部分和の項数）。
- 輪郭 $z_1(t)$ や位相関数 $\alpha(t)$ は、数値実験に基づいて最適化された。
- Riemann ゼータ関数の零点の値は、Flint ライブラリと Odlyzko のデータを用いて高精度に確認された。
計算結果: 構築された集合 $A'$ の体積を評価し、 $\frac{2}{\delta} \text{vol}(A') > \frac{1}{60}$ であることを示した。

4. 主要な結果（Theorem 1）

論文の主要な定理は以下の通りである。

$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$

ここで、 $\gamma_0 \approx 14.1347$ は Riemann ゼータ関数の最初の非自明な零点の虚部である。

従来の結果（ $\gamma_0/\pi + 1.867 \cdot 10^{-30}$ ）と比較して、定数項が $1/60 \approx 0.0167$ へと劇的に改善された。
この結果は、Riemann 予想が偽である場合（非自明な零点が臨界線上にない場合）には、より強い結果が既知であるため、Riemann 予想が真であると仮定した場合の議論として成立する。

5. 意義と貢献

理論的ブレークスルー: 素数定理の誤差項の振る舞いに関する長年の未解決問題において、定量的な改善を達成した。特に、 $\gamma_0/\pi$ という定数項に $1/60$ という大きな値を加えることに成功した。
手法の革新: 解析的数論における「零点の密度」や「Diophantine 近似」の問題を解くための新しい枠組み（タイル法と重み付き条件）を提案した。これは、他の almost periodic 関数に関する問題にも応用可能な独立した重要性を持つ。
計算数学との融合: 高次元の幾何学的構造（体積計算）と、LLL アルゴリズムを用いた格子構成、そして厳密な数値計算（Interval Arithmetic）を統合することで、数学的な証明を完成させた点も特筆すべきである。

要約すれば、この論文は、Riemann 予想の下での素数分布の揺らぎ（符号変化）の頻度に関する下限を、従来の限界を遥かに超える精度で決定し、そのために新しい解析的・幾何的・計算的手法を開拓した画期的な研究である。