Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

この論文は、$k \geq 65$ に対するリーマンゼータ関数の最小の零点不在領域を計算し、$k=86$ の場合および特定の整数列における連続する完全 $k$ 乗数の間に必ず素数が存在することを証明することで、レジェンドルの予想への進展を定量化しています。

要約

素数の「隙間」を埋めるための新しい地図

～リーマン・ゼータ関数の「空白地帯」を探る旅～

この論文は、数学の最も有名な未解決問題の一つである**「レジェンドルの予想」**に挑む、新しい一歩を記したものです。

簡単に言うと、この研究は**「連続する 2 つの『完璧な数』（例えば $n$ 乗と $(n+1)$ 乗）の間には、必ず『素数』という特別な数字が 1 つ以上隠れている」**という事実を、これまでよりも狭い範囲で証明しようとする試みです。

以下に、専門用語を避け、日常の比喩を使ってこの研究の内容を解説します。

---

1. 物語の舞台：素数という「隠れ家」

まず、素数（2, 3, 5, 7, 11...）を想像してください。これらは自然数の世界に点在する「隠れ家」のようなものです。

• レジェンドルの予想（目標）： 「どの整数 $n$ に対しても、$n^2$ と $(n+1)^2$ の間（2 つの平方数の間）には、必ず素数が 1 ついるはずだ！」という予想です。
  • これは非常に難しく、まだ証明されていません。
• インガムの定理（過去の成果）： 「$n^3$ と $(n+1)^3$ の間（3 つの立方数の間）なら、十分大きな数になれば素数がいる」ということは証明されています。
• 今回の課題： 「3 乗」ではなく、もっと大きな「86 乗」や「70 乗」の間でも、素数が必ず存在することを証明できるか？という挑戦です。

2. 道具：リーマン・ゼータ関数の「ゼロフリー領域」

この研究で使われる最大の武器は、リーマン・ゼータ関数という、素数の分布を支配する「魔法の地図」です。

この地図には、**「ゼロ（0）が存在しない安全地帯（ゼロフリー領域）」**と呼ばれる場所があります。

• 比喩： この「安全地帯」が広ければ広いほど、素数の分布が予測しやすくなり、「素数の隙間」を埋める証明が容易になります。
• 逆説： もしこの安全地帯が狭すぎると、素数がどこに隠れているか分からなくなり、証明ができなくなります。

この論文の著者（イサン・シンプソン・リー氏）は、**「もしこの安全地帯が、この特定の形（Littlewood 型）であれば、86 乗の間には必ず素数がいる！」**という条件を突き止めました。

3. 3 つの重要な発見

この論文は、主に 3 つの重要な成果を報告しています。

① 86 乗の壁を突破（Theorem 1.2）

• 成果： 「$n^{86}$ と $(n+1)^{86}$ の間には、すべての整数 $n$ に対して必ず素数が存在する」ことを証明しました。
• 意味： これまでの記録（90 乗）を塗り替え、86 乗まで「安全地帯」を広げることができました。これは、素数を探すための「網」を、より細かく、より狭い間隔で張れるようになったことを意味します。

② 70 乗の「一部」の証明（Theorem 1.3）

• 成果： 「すべての整数」ではなく、**「特定の条件を満たす整数の列」**については、70 乗の間にも必ず素数がいることを証明しました。
• 比喩： 「すべての道に素数がいる」とは言えないけれど、「この特定の 70 本の道（数列）なら、70 乗の間隔でも必ず素数が見つかるよ」という成果です。
• 条件： 非常に大きな数（$10^{98}$ くらい）を超えた数については、このルールが適用されます。

③ 「もし〜なら、70 乗も証明できる！」という条件（Theorem 1.4）

• 成果： これが最も興味深い部分です。著者は、**「もしリーマン・ゼータ関数の『安全地帯』が、この論文で計算した『最小限の広さ』まで広がれば、70 乗の間隔でもすべての整数で素数が存在すると証明できる」**という条件を示しました。
• 意味：
  • 現在の技術では、70 乗を完全に証明するには「安全地帯」がもう少し広ければいい、という**「あと一歩」の距離**を数値化しました。
  • 表 1 にあるように、$k=70$ の場合、安全地帯の広さを示す数値（$z_{70}$）は約 14.055 まで縮めれば OK です。
  • これは、**「レジェンドルの予想（2 乗の間隔）に近づくための、具体的なマイルストーン（目標地点）」**を示したことになります。

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

この研究は、単に数字を小さくしただけではありません。

• 距離の可視化： 「レジェンドルの予想（2 乗）に証明するには、まだどれくらい『安全地帯』を広げる必要があるか」を、具体的な数値で示しました。
• 戦略の提示： これまでの方法（誤差の計算を厳密にする）には限界があるため、**「ゼロフリー領域の形を工夫する」**という新しいアプローチ（2 つ以上の境界条件を組み合わせるなど）を提案しました。

まとめ

この論文は、**「素数という隠れ家が、$n$ 乗と $(n+1)$ 乗という大きな箱の間にも、必ず 1 つは潜んでいる」**という事実を、より狭い箱（86 乗、70 乗）で証明しようとした挑戦です。

• 86 乗は、すでに「すべての箱」で証明されました。
• 70 乗については、「特定の箱」では証明済みで、「すべての箱」については「もし地図の安全地帯がこれだけ広ければ証明できる」という具体的な条件が見つかりました。

これは、素数という謎を解くためのパズルにおいて、**「あと何ピース揃えれば完成するか」**を明確に示した、非常に重要なステップと言えます。著者は、この条件を満たす「安全地帯」の証明がなされれば、レジェンドルの予想への道がさらに開かれると期待しています。

技術概要

論文要約：連続する完全 $k$ 乗数の間の素数に関する結果のための最小の零点不在領域

論文タイトル: MINIMAL ZERO-FREE REGIONS FOR RESULTS ON PRIMES BETWEEN CONSECUTIVE PERFECT kTH POWERS
著者: Ethan Simpson Lee
日付: 2026 年 3 月（arXiv 版）

1. 研究の背景と問題設定

1.1 背景

リーマン・ゼータ関数 $\zeta(s)$ の非自明な零点の分布は、素数分布の理解において中心的な役割を果たします。リーマン予想（RH）は、すべての非自明な零点の実部が $1/2$ であることを主張しますが、未解決です。

Legendre の予想は、「任意の整数 $n \ge 1$ に対し、連続する完全平方数 $n^2$ と $(n+1)^2$ の間に少なくとも 1 つの素数が存在する」というものです。これは RH を仮定しても証明されておらず、未解決の難問として残っています。

1.2 問題の定式化

Ingham は、$n$ が十分大きいとき、区間 $(n^3, (n+1)^3)$ 内に素数が存在することを証明しました（Theorem 1.1）。近年の研究では、この結果を「任意の $n \ge 1$」に対して成り立つように明示的にする努力が続けられています。
具体的には、**「任意の整数 $n \ge 1$ に対して、区間 $(n^k, (n+1)^k)$ に少なくとも 1 つの素数が存在することを無条件に証明できる最小の整数 $k$ は何か？」**という問題が焦点となります。
これまでの最良の結果（Cully-Hugill [8] など）では $k=90$ が許容されることが示されていましたが、より小さな $k$ への改善が求められていました。

2. 手法とアプローチ

本論文は、以下の 3 つの要素を組み合わせて、より小さな $k$ に対する完全な結果（$n \ge 1$ すべてに対して成り立つ結果）を導き出しています。

1. 零点不在領域（Zero-free regions）: リーマン・ゼータ関数の零点が存在しない領域の特定。特に Littlewood 型の領域 $\sigma \ge 1 - \frac{\log \log |t|}{Z \log |t|}$ のパラメータ $Z$ の最適化。
2. 零点密度推定（Zero-density estimates）: 長方形領域 $\sigma \le \beta \le 1, 0 < \gamma \le T$ 内にある非自明な零点の数 $N(\sigma, T)$ の上界。Bellotti [2] や Bellotti-Wong [3] の最新の明示的な定数を用いる。
3. 誤差項の明示的制御: 切断されたリーマン・フォン・マンゴルト公式（truncated Riemann–von Mangoldt formula）および Perron 公式における誤差項の精密な評価。

2.1 主要な技術的革新

• 複数の $N(\sigma, T)$ 境界の併用: 従来の手法では単一の密度推定式を用いていましたが、本論文では $k$ の範囲に応じて異なる $N(\sigma, T)$ の上界（Bellotti の結果と、より広い範囲で有効な別の推定式）を組み合わせることで、計算の精度を向上させました。
• 部分集合への限定とパラメータ化: $k=70$ の場合、すべての $n$ ではなく、特定の整数列 $a_n = n(1 + \lfloor N/n \rfloor)$ に対して結果を証明する戦略を採用しました。これにより、中間的な $n$ の範囲をカバーする条件を緩和しています。
• パラメータ化された補助定理: 素数計数関数 $\theta(x)$ の差分 $\theta(x+h) - \theta(x)$ に関する新しい明示的下界（Proposition 3.1）を導出しました。これは将来の研究でも再利用可能な汎用的な枠組みを提供します。

3. 主要な結果

3.1 定理 1.2: $k=86$ の完全証明

結果: 任意の整数 $n \ge 1$ に対して、区間 $(n^{86}, (n+1)^{86})$ には少なくとも 1 つの素数が存在する。
意義: 従来の $k=90$ から $k=86$ へと改善され、Legendre の予想へのマイルストーンに近づきました。

3.2 定理 1.3: $k=70$ における部分集合での完全証明

結果: 定数 $N \ge \exp(15951/70) - \exp(2135/70) \approx 9.189 \times 10^{98}$ を満たすとき、数列 $a_n = n(1 + \lfloor N/n \rfloor)$ に対して、区間 $(a_n^{70}, a_{n+1}^{70})$ には常に素数が存在する。
意義: すべての $n$ に対して $k=70$ を証明するには至りませんでしたが、非常に大きな $n$ に対して $k=70$ が成り立つことを示し、特定の整数列に対して完全な結果を得ました。

3.3 定理 1.4: 最小の零点不在領域の計算

結果: $k \in \{85, 80, 75, 70\}$ に対して、もしリーマン・ゼータ関数が特定の「薄い長方形領域」に零点を持たなければ、区間 $(n^k, (n+1)^k)$ には常に素数が存在することを証明しました。
具体的には、$k=70$ の場合、領域
$$1 - \frac{\log \log |t|}{14.055 \log |t|} \le \sigma \le 1, \quad H_R < |t| \le e^{264.334}$$
に零点が存在しなければ、$k=70$ の完全証明が得られます。
意義: これは、$k=70$ という重要な目標を達成するために必要な「零点不在領域」の厳密な条件を定量化したものです。現在の計算技術ではこの領域の検証は困難ですが、理論的な目標値として明確に示されました。

3.4 補足結果

• $65 \le k \le 85$のすべての整数$k$について、同様の分析を行い、必要な零点不在領域のパラメータ（$Z_k, T_k$）を Table 5 にまとめました。
• これらの計算結果は、Legendre の予想に向けた各マイルストーン（$k$ の値）が、現在の零点分布の知識からどれほど遠い（または近い）かを示す指標となります。

4. 結論と意義

本論文は、リーマン・ゼータ関数の零点分布に関する最新の知見（特に零点密度推定と零点不在領域の精密化）を駆使し、連続する完全 $k$ 乗数の間の素数存在問題において以下の貢献をしました。

1. 数値的改善: 無条件に証明可能な最小の $k$ を 90 から 86 に改善しました。
2. 戦略的拡張: $k=70$ というより小さな値に対して、特定の整数列や条件付き（零点不在領域の仮定）で完全な結果を導出する新しいアプローチを確立しました。
3. 将来への指針: 特定の $k$（特に 70, 75, 80, 85）を証明するために必要な「零点不在領域」の具体的なパラメータを提示しました。これにより、今後の研究が「零点分布のどの部分を改善すれば、どの $k$ の証明が可能になるか」を明確に目指すことができます。

特に、$k=70$ の証明が理論的に重要なマイルストーンであるにもかかわらず、必要な計算領域（$|t| \le e^{264}$ 程度）が現実的な範囲内にある可能性を示唆しており、今後の数値計算や理論的進展による Legendre の予想への進展への道筋を照らしています。