リーマン予想と同値とする有限和の不等式を提案
A finite arithmetic form of Robin's inequality and its equivalence to the Riemann hypothesis
この論文をやさしく読む
ひとことで言うと
リーマン予想を、整数の素因数の個数で項数が決まる有限和の不等式へ言い換えるという数学論文です。一部の整数群ではその不等式を無条件に証明したと著者らは述べています。
何に役立つ？
著者らの同値性の主張が成立すれば、リーマン予想を調べる別の算術的条件になります。反例がある場合の最小候補を特定の整数群に絞るという理論的な用途もあります。
この研究の面白いところ
通常のRobinの上界より各整数で強い有限和の上界を作り、それでも全体としては同値だと主張している点が特徴です。打ち切り次数が任意ではなく、相異なる素因数の数に結び付いています。
どこまで分かった？
記載した証明・同値性は要旨にある著者の主張で、証明本文を独立に検証したものではありません。リーマン予想そのものを証明したという主張ではなく、全整数への成立は同値な条件として残ります。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Robinの不等式は、約数和関数σに対する上界としてリーマン予想を言い換える。本研究では、整数nの算術構造によって内在的に定まる、Robinの不等式の有限打ち切り版を導入する。その不等式は、n>5040に対して、σ(n)/n < e^γ Σ_{j=0}^{ω(n)} (ln ln ln n)^j/j! である。ここでω(n)はnの相異なる素因数の個数、γはオイラー–マスケローニ定数を表す。 得られる上界は各nについてRobinの不等式より強く、著者らはω(n)≤6の整数、素数階乗、奇数、平方因子を持たない整数について、これを無条件に証明する。また、この不等式がRobinの不等式、したがってリーマン予想と同値であることも証明する。その結果、リーマン予想は、すべての巨大過剰数についてこの打ち切り不等式が成り立つことと同値になる。さらに、不等式が成り立たない場合、その最小の反例は超過剰数でなければならないことを示し、障害があるとしても、厳しい構造を持つ極値的な整数のクラス内に限られることを明らかにする。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Robin's inequality reformulates the Riemann hypothesis as a bound on the sum-of-divisors function $\sigma$. We introduce a finite-truncation version of Robin's inequality determined intrinsically by the arithmetic structure of $n$, \[ \frac{\sigma(n)}{n} < e^\gamma \sum_{j=0}^{\omega(n)} \frac{(\ln\ln\ln n)^j}{j!}, \qquad n>5040, \] where $\omega(n)$ denotes the number of distinct prime factors of $n$, and $\gamma$ is the Euler-Mascheroni constant. The resulting bound is pointwise stronger than Robin's inequality and we prove it unconditionally for integers with $\omega(n)\le 6$, primorials, odd integers and square-free integers. We also prove that this inequality is equivalent to Robin's inequality, and hence to the Riemann hypothesis. Consequently, the Riemann hypothesis is equivalent to the truncated inequality holding for all colossally abundant numbers. We further show that if the inequality fails, its minimal counterexample must be a superabundant number, placing any obstruction within a rigid extremal class of integers.
著者のコメント
21 pages and 1 figure
arXiv ID: 2609.26787 ／ 要約の誤りについて