[論文レビュー] On numbers satisfying Robin's inequality, properties of the next counterexample and improved specific bounds

Robert Vojak|arXiv (Cornell University)|May 19, 2020

Analytic Number Theory Research参考文献 5被引用数 21

ひとこと要約

この論文は、リーマン予想と同値なロビンの不等式を、仮想の最小反例の性質を分析することで検討する。その結果、このような反例はスーパー分配的で、969,672,728個以上の異なる素因数を持ち、そのうち1/14未満の素因数の冪の指数が1より大きいことが示された。本研究では、乗法的関数と素数階乗の分析を用いて、さまざまな数のクラスにおけるロビンの不等式の境界を改善した。

ABSTRACT

Define $s (n) := n^{- 1} σ(n)$ ($σ(n):=\sum_{d|n}d )$ and $ω(n)$ is the number of prime divisors of $n$. One of the properties of $s$ plays a central role: $s (p^a) > s (q^b)$ if $p < q$ are prime numbers, with no special condition on $a, b$ other than $a, b \geqslant 1$. This result, combined with the Multiplicity Permutation theorem, will help us establish properties of the next counterexample (say $c$) to Robin's inequality $s (n) < e^γ \log \log n$. The number $c$ is superabundant, and $ω(c)$ must be greater than a number close to one billion. In addition, the ratio $p_{ω(c)} / \log c$ has a lower and upper bound. At most $ω(c)/14$ multiplicity parameters are greater than $1$. Last but not least, we apply simple methods to sharpen Robin's inequality for various categories of numbers.

研究の動機と目的

• ロビンの不等式の最小反例における構造的制約を特定すること。これはリーマン予想と同値である。
• 特定の数のクラスにわたる算術関数 s(n) = σ(n)/n および f(n) = n/φ(n) に対する、改善された明示的上界を確立すること。
• ロビンの不等式に反する数の乗法的および素因数分解の性質を特徴づけること。特に、スーパー分配的数およびハーディ＝ラマヌジャン数に注目する。
• 関数 H(n) を用いてロビンの不等式を精緻化すること。ここで H(n) は任意の数 n を s(n) ≤ s(H(n)) かつ H(n) ≤ n を満たすハーディ＝ラマヌジャン数に写像するものであり、非ハーディ＝ラマヌジャン数に対するより鋭い境界を可能にする。

提案手法

• 乗法的関数 s(n) = σ(n)/n を用い、素因数の冪の変化におけるその挙動を分析。任意の a, b ≥ 1 に対して、p < q ならば s(p^a) > s(q^b) であることを証明する。
• 重複度順序入れ替え定理を適用し、素因数の指数の順序を変更したときの s(n) の変化を分析。これにより、スーパー分配的数がそのサイズに対して s(n) を最大化することが示される。
• 関数 M(k) = e^{e^{-γ}f(N_k)} - log N_k を導入し、M_k(q) = 1 + M(k)/log q を定義することで、ロビンの不等式が成立する十分条件を導出する。
• 関数 H(n) を適用し、任意の n を s(n) ≤ s(H(n)) かつ H(n) ≤ n を満たすハーディ＝ラマヌジャン数に変換する。これにより、非ハーディ＝ラマヌジャン数に対する s(n) の境界が鋭く改善される。
• 素数階乗数 N_k = ∏_{i≤k} p_i を用い、f(N_k) および ∏(1 + 1/p_i) の境界を分析することで、s(N_k) を評価し、より良い不等式を得る。
• log log n および s(n) の漸近的・数値的解析を用い、明示的境界を導出。特に、x > 209 に対して g(x) = (6/7)(e^γ log log 4x + 0.6483/log log 4x) - e^γ log log 2x < 0 が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 ロビンの不等式に反する最小の数 c が満たすべき構造的性質は何か？
• RQ2 ロビンの不等式の最小反例は、いくつの異なる素因数を持つ必要があるか？
• RQ3 最小反例における素因数の冪の重複度にどのような制約があるか？
• RQ4 奇数、素数階乗、非スーパー分配的数などの特定の数のクラスに対して、ロビンの不等式を鋭くできるか？
• RQ5 関数 H(n) を用いて、非ハーディ＝ラマヌジャン数に対する s(n) の境界を体系的に改善することは可能か？

主な発見

• ロビンの不等式の最小反例 c はスーパー分配的で、ω(c) ≥ 969,672,728 個の異なる素因数を持つ必要がある。
• c の素因数の冪の指数のうち、1 を超えるものの数は、ω(c)/14 未満である。つまり、ほとんどすべての素因数の指数は 1 である。
• p_{ω(c)} / log c は有界である：e^{-1/log p_{ω(c)}} < p_{ω(c)} / log c < 1 であり、p_{ω(c)} < log c が成り立つ。
• すべての i ≤ ω(c) に対して、素因数の冪 p_i^{c_i} は min(2^{c_1 + 2}, p_i e^{M(ω(c))}) で抑えられる。これにより、個々の指数に制約が与えられる。
• すべての奇数 n ≥ 17 に対して、σ(n) < (2/3)e^γ n log log(2n) が成り立ち、奇数に対する既知の境界を改善する。
• すべての i ≥ 2 および n ≥ i に対して、積 ∏_{k=1}^n (1 + 1/p_k) < α_i (e^γ log log N_n + 2.51 / log log N_n) が成り立つ。ここで α_i = ∏_{j=1}^i (1 - 1/p_j^2) であり、s(N_n) のより鋭い境界が得られる。