A generalization of the Erd\H{o}s-Sierpinski conjecture

本論文は、Zumkeller 数の組み合わせ論的一般化と高度な確率論的数論的手法を組み合わせることで、方程式 $\sigma(n+1) = k\sigma(n)$ を研究し、その解集合の自然密度が明示的な上限 $O(x/\sqrt{\log \log \log x})$ をもってゼロであることを証明するとともに、シュインツェルの H 仮説の下で $k=2$ の場合に条件付き無限性を確立する。

要約

1 から始まり、永遠に続く巨大で無限の数の列を想像してください：1, 2, 3, 4, 5...

これらの数のそれぞれには、それを割り切る数（約数）の「家族」があります。ある数のすべての約数を足し合わせると、「約数和」と呼ばれる合計値が得られます。この和を $\sigma(n)$ と呼びましょう。

例えば：

• 6 の約数は 1, 2, 3, 6 です。それらの和は $1+2+3+6 = 12$ です。
• 5 の約数は 1 と 5 だけです。それらの和は $1+5 = 6$ です。

大きな問い

数学者たちは長年、特定の謎に魅了されてきました：ある数の約数和が、その次の数の約数和とどのように関連しているのか、それはどのくらいの頻度で起こるのか？

有名なエルデシュ・シエピンスキ予想は、ある数の約数和が、その次の数の約数和と完全に等しくなるケースが無限に存在するかどうかを問うています（すなわち、$\sigma(n+1) = \sigma(n)$）。これは、「隣り合う二人が全く同じ総重量を持つことはどのくらいの頻度で起こるのか？」と問うことに似ています。

この論文はその考えをさらに一般化します。和が「等しい」かどうかを問うのではなく、次の数の約数和が、現在の数の約数和のちょうど $k$ 倍になることはどのくらいの頻度で起こるのか？ と問います。
方程式は以下の通りです：$\sigma(n+1) = k \times \sigma(n)$。

ここで、$k$ は 1 より大きい任意の整数（2, 3, 4 など）です。

• $k=2$ の場合、次の数の約数和は現在の数の 2 倍になります。
• $k=3$ の場合、3 倍になり、以下同様です。

2 つの主要な発見

著者のアミラーリ・ファテヒザデは、この問題に「数え上げ」の論理と「確率」の論理を組み合わせ、2 つの異なる角度から取り組んでいます。

1. 「希少性」の発見（確率論的部分）

最初の主要な目標は、これらの特別な数がどのくらい一般的か、頻繁に現れるのか、それとも希少な宝石なのかを明らかにすることでした。

これに答えるため、著者は確率論的数論からの巧妙なトリックを用いました。天気を予測することを想像してください。あなたは永遠に毎日正確な気温を予測することはできませんが、雨が降る確率をモデル化することはできます。

著者は、数字を確率ゲームのように扱いました。数学的にリンクしているにもかかわらず、連続する数の「約数和」は、コインを投げるような独立したランダムな事象のように振る舞うと仮定したのです。

• 比喩： 大勢の人混みの中で、特定の身長、靴のサイズ、好きな色という非常に具体的で稀な組み合わせの特性を持つ二人が隣り合って立っている人を見つけることを想像してください。
• 結果： 著者は、これらの特定の「隣人」を見つけることが信じられないほど困難であることを証明しました。実際、より大きな数のグループを見るにつれて、この方程式を満たす数の割合はゼロにまで低下します。

たとえこれらの数が数千個存在するとしても、それらは非常にまばらであるため、巨大なリストからランダムに数を選んだ場合、それがこれらの特別な数の一つである確率は実質的にゼロです。この論文は、それらがどのくらいゆっくりと現れるかを示す具体的な数式を提供し、それらが「漸近的に希少」であることを証明しています。

2. 「存在」の発見（構成論的部分）

これらの数がそれほど希少なら、そもそも存在するのでしょうか？そして、それらは無限に存在するのでしょうか？

• $k=2$ の場合： 著者は、これら数を生成するための具体的なレシピ（多項式を使用）を見つけました。有名な数学的仮説（シュインツェルの H 仮説）を仮定することで、次の数の約数和が現在の数のちょうど 2 倍になる解が無限に存在することを証明しました。
• 一般的な推測： $k=2$ で見つかったパターンと、$k=3$ に対するコンピュータ検索に基づき、著者は大胆な推測を提案しています：任意の整数 $k$ に対して、無限に多くの解が存在する。

「層状」の数への接続

この論文は、$k$-層状数と呼ばれる楽しい組み合わせ論の概念とも関連付けています。

• 比喩： 積み重ねられたレンガ（ある数の約数）を持っていると想像してください。これらのレンガを、すべてのレンガの重さが完全に等しくなるように、$k$ つの別の山に分けることはできますか？
• もしこれが可能であれば、その数は「$k$-層状」と呼ばれます。
• この論文は、私たちの方程式（$\sigma(n+1) = k\sigma(n)$）を満たす数が、これら「層状」の数と深く結びついていることを示しています。実際、解はしばしば等しい層に分割されるのに完璧な構造を持っており、「奇妙な数」（過剰数だが均等に分割できない数）のカテゴリーを回避しています。

平易な英語での要約

1. 謎： 私たちは、2 番目の数の「約数和」が 1 番目の数のちょうど $k$ 倍になるような、連続する数のペアを探しています。
2. 密度： これらのペアは極めて稀です。数の巨大な範囲を見ても、この規則に適合するものの割合はゼロです。これらは、どんどん大きくなり続ける砂浜から、特定の砂粒を見つけるようなものです。
3. 無限性： 稀であるにもかかわらず、それらはおそらく現れ続けることはありません。比率が 2 の場合（$k=2$）、著者は（条件付きで）それらが無限に存在することを証明しました。
4. 構造： これらの特別な数は非常に組織化された内部構造を持っており、その約数は均等なグループに分割できます。これは完璧にバランスの取れた秤のようものです。

要約すると、この論文は、数学的な「奇跡」が数の広大な世界において消え入りそうなほど希少であることを証明していますが、それらは偶然の産物ではなく、無限に頻繁に発生し、美しく構造化されたパターンに従っていることを示しています。

技術概要

技術的概要：エルデシュ・シエールピンスキ予想の一般化

問題提起
本論文は、$k > 1$ が固定された整数であり、$\sigma(n)$ が約数和関数を表す方程式 $\sigma(n+1) = k\sigma(n)$ の解集合の組合せ論的構造と漸近分布を調査する。この方程式は、$\sigma(n+1) = \sigma(n)$ の解が無限に存在することを主張する有名なエルデシュ・シエールピンスキ予想（$k=1$ の場合）の一般化を表す。主な目的は、解集合 $A_k = \{n \in \mathbb{N} : \sigma(n+1) = k\sigma(n)\}$ の自然密度を決定し、その計数関数 $A_k(x) = \#\{n \le x : n \in A_k\}$ に対する明示的な量的上限を導出することである。さらに、本論文は、特に $k=2$ の場合において、これらの解の実存性を検討し、$k$-レイヤード数およびズムケラー数の概念と関連付ける。

手法
本研究は、組合せ論的数論と確率論的数論の合成を採用する。核心的な解析戦略は以下の手順を含む：

1. 対数変換と加法関数：主要な方程式は対数を通じて変換され、関数 $g(n) = \log(\sigma(n)/n)$ を含む加法形式となる。問題は、差 $g(n+1) - g(n)$ が $\log k$ の小さな近傍に落ちる確率を調査し直すことで再定式化される。
2. 切断とクビリウスモデル：割り当て事象の準独立性を扱うため、著者らはクビリウスモデルを利用する。加法関数 $g(n)$ は、上限 $y$ までの素因数にのみ依存するように切断される。中国剰余定理を適用することで、切断された関数の整数上の算術的分布は、独立な確率変数を備えた合成測度空間によって近似される。
3. 反集中不等式：グローバル分布に対する中心極限定理を求めるクビリウスモデルの標準的な応用とは異なり、本論文は局所的な振る舞いに焦点を当てる。著者らはレヴィ集中関数と、コルモゴロフ・ロゴジン反集中不等式の最適化版（特にペトロフの定理）を採用する。これにより、独立な確率変数の和が特定の目標値の周りに集中する確率を境界付けることが可能となる。
4. 誤差制御：証明は、切断によって導入される誤差、確率モデルによる算術空間の近似、および「大きな」素因数や高次素数べきの寄与を厳密に境界付ける。これらの誤差集合は、主要な確率的項と比較して無視できるほど小さいことが示される。
5. 実存分析：$k=2$ の特定の場合について、本論文はシュインツェルの H 仮説を利用する。特定の多項式族を構成することで、著者らはその仮説が成り立てば、方程式を満たす無限に多くの整数 $n$ が存在することを示す。

主要な貢献と結果

• 主要定理（漸近密度）：本論文は、任意の整数 $k > 1$ に対して、解集合 $A_k$ の自然密度がゼロであることを確立する。具体的には、計数関数は以下の明示的な上限を満たす：
  $$A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$$
  この結果は、解が存在する可能性はあるものの、それらは自然数の中で漸近的に希少であることを意味する。
• 条件付き無限性：シュインツェルの H 仮説を仮定すると、本論文は方程式 $\sigma(n+1) = 2\sigma(n)$ が無限に多くの解を持つことを証明する。これは、特定の因子の同時素性が方程式の成立を保証する多項式族を構成することで示される。
• 計算結果：著者らは、計算探索によって発見された小さな $k$ の値（特に $k=2$ と $k=3$）に対する解の明示的なリストを提供し、解集合が空でないことを確認する。
• 構造的関連性：本論文は、解と $k$-レイヤード数（ズムケラー数の一般化）との関係を解明する。解はしばしば $k$-レイヤードであるための必要な代数的条件（具体的には $N=n+1$ に対して $\sigma(N) \equiv 0 \pmod k$）を満たし、実用的数および過剰数の性質を頻繁に示すことが観察される。

意義と主張
本論文は、整数の組合せ論的分類（完全数、ズムケラー数、$k$-レイヤード数など）と、連続する引数における約数和関数の解析的研究との間のギャップを埋めると主張する。

主な意義は、$\sigma(n+1) = k\sigma(n)$ の解集合に対する量的境界の導出にある。この問題は、以前は特定の存在論的または初等的な文脈（例：Torabi および Fatehizadeh, 2020）でのみ研究されていた。ゼロ密度を証明することで、この研究は連続する整数におけるスケーリングされた約数和値の一致が稀な現象であることを確認し、エルデシュ、ポメランス、サールコジによって研究された同様の方程式の既知の振る舞いを拡張する。

さらに、本論文は予想 4.2を定式化し、すべての $k > 1$ に対してエルデシュ・シエールピンスキ予想を一般化する。「任意の正の整数 $k$ に対して、方程式 $\sigma(n+1) = k\sigma(n)$ は無限に多くの解を持つ」というものである。本論文は $k=2$ に対してのみ条件付きの無限性を証明しているが、観察された構造的関連性に基づき、これを自然な拡張として提唱する。

この研究は、エルデシュ・シエールピンスキ予想そのもの（$k=1$ の場合）を解決すると主張するものではなく、また $k>1$ に対する解の無条件の無限性を証明するものでもない。代わりに、解の密度を境界付けるための堅牢な解析的枠組みを提供し、これらの特殊な整数の分布に関するさらなる調査を動機付ける条件付きの実存結果を確立する。