[論文レビュー] The equation omega(n) = omega(n + 1)

Jan‐Christoph Schlage‐Puchta|arXiv (Cornell University)|Jan 1, 2003

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

ひとこと要約

この論文は、差と素因数分解の性質が制御された特殊な五つ組の整数の数値的構成と、Heath-Brownの定理からの鋭い篩法推定を組み合わせることで、n と n+1 が同じ数の異なる素因数を持つような整数 n が無限に存在することを証明している。

ABSTRACT

We prove that there are infinitely many integers $n$ such that $n$ and $n+1$ have the same number of distinct prime divisors.

研究の動機と目的

• n と n+1 が同じ数の異なる素因数を持つような整数 n が無限に存在することを証明すること。
• 標準的な篩法が失敗するのを回避するため、特定の算術的および因数分解的性質を持つ特殊な五つの整数の集合を構成すること。
• 数値的構成と篩論的推定を用いて、このようなペアが無限に生成可能であることを示すこと。

提案手法

• 互いの差が多数の異なる素数で割り切れるように、a₁ から a₅ までの五つの整数の集合を構成し、算術的障害を回避する。
• |ai − aj| の差を用いて、すべての i ≠ j に対して ω(ai / |ai−aj|) = ω(aj / |ai−aj|) となる合同条件を定義する。
• Heath-Brownの篩法定理（定理2）を適用し、∑ᵢ 2ω(cᵢn+1) ≤ 57 となるような無限に多くの n が存在することを保証する。ここで cᵢ = aᵢA であり、A = a₁⋯a₅ である。
• ω(aᵢAn+1) = ω(aⱼAn+1) となるようなペア i ≠ j を特定し、これにより連続する整数が等しい ω 値を持つことを導く。
• ω の乗法的性質を用いて、結果として得られる連続する整数（aⱼ(aᵢAn+1)/|aᵢ−aⱼ| と aᵢ(aⱼAn+1)/|aᵢ−aⱼ|）が等しい ω 値を持つことを検証する。
• Mathematica を用いた明示的な数値計算により、l = 1202 を満たす有効な五つ組が確認され、このような n の具体的な例が得られた。

実験結果

リサーチクエスチョン

• RQ1 ω(n) = ω(n+1) を満たす整数 n が無限に存在するか？
• RQ2 特殊な整数の集合の数値的構成を用いて、ω(n) = ω(n+1) を満たす解の無限性を証明できるか？
• RQ3 ω(n) = ω(n+1) 問題における障害を避けるために、整数の集合が満たすべき算術的制約は何か？
• RQ4 乗法的関数が素数のべき乗上で定数となる場合、標準的手法が失敗するとき、篩法はどのように適合可能か？

主な発見

• この論文は、乗法的数論における長年の未解決問題を解決し、ω(n) = ω(n+1) を満たすような n が無限に存在することを証明した。
• 具体的な例として、n = 135987650281178292389624 において、n と n+1 が同じ数の異なる素因数を持つことが確認された。
• 構成された五つ組 (a₁, ..., a₅) は、すべての必要な条件を満たしている：互いの差は多数の素数で割り切れ、かつすべての i ≠ j に対して ω(ai / |ai−aj|) = ω(aj / |ai−aj|) が成り立つ。
• Heath-Brown による篩法推定により、無限に多くの n に対して ∑ᵢ 2ω(cᵢn+1) ≤ 57 が成り立ち、これにより少なくとも一つの等しい ω 値を持つペアが強制される。
• 差 |ai−aj| が多数の異なる素数で割り切れるようにすることで、連続する三つ組の障害を回避している。
• aᵢ およびそれらの差の明示的因数分解により、すべての必要な性質が確認され、Mathematica 4.1 を用いて検証された。