Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis

大きな問い：メルセンヌ数はどれほど「密集」しているのか？

想像してみてください。あなたの前には、0, 1, 2, 3... と続く無限の数の列があります。これはすべての自然数の集合です。さて、この列の中から特定のグループを抜き出してみましょう。それがメルセンヌ数（0, 1, 3, 7, 15, 31...）です。これらは、2の累乗から1を引いた数です。

数学者たちは長い間、こう疑問に思ってきました。もしこの列の巨大な塊を見たとき、その中に占めるメルセンヌ数の割合はどのくらいでしょうか？

• 50%でしょうか？（偶数のようなイメージです）
• 10%でしょうか？
• それとも、あまりにも少なすぎて、実質的にゼロなのでしょうか？

長い間、これは未解決の謎でした。この論文は、非標準解析と呼ばれる特殊な数学を用いて、この謎を解明したと主張しています。

手法：巨大なスプレッドシート（行列）

これを解決するために、著者は単なる一本の数の列を見るのではなく、すべての自然数が一度だけ含まれる、巨大な二次元のスプレッドシート（行列）を作成します。重複もなく、欠落もありません。

彼は、このスプレッドシートを整理するために、巧妙なソート規則（ペピス・カルマーの対関数）を使用しています。

• 行（水平方向）： これらは単純な算術パターンです。どの行を見ても、数字の間隔は均等です。
• 列（垂直方向）： ここが面白い部分です。各列は偶数（「根」）から始まり、次の数字を生成するための特定のルールに従います：「2を掛けて1を足す」。
  • 例： 0から始めます。次は $2(0)+1 = 1$。次は $2(1)+1 = 3$。次は $2(3)+1 = 7$。
  • これにより、上に向かって成長する「木」のような構造が生まれます。一番最初の列がメルセンヌ数です。次の列は、サビット数と呼ばれる似たような家族であり、その次へと続きます。

「非標準」のひねり：無限大と無限小

標準的な数学は通常、極限（ゼロに近づくこと）を扱います。しかし、この論文では非標準解析を用いており、「無限に小さい」ものや「無限に大きい」ものを、実際の固定された値として扱います。

次のように考えてみてください：

• 無限大 ($\omega$)： どんなに数えても到達できないほど、とてつもなく大きな数です。
• 無限小 ($\epsilon$)： どんな分数よりも小さいけれど、ゼロではない、極めて小さな数です。それは数字の「幽霊」のような存在です。

計算：方程式のバランス

著者は、このスプレッドシートの各列における「密度」（数字がいかに密集しているか）に注目します。

1. 行は簡単です： 行の計算は単純です。第1行の密度は1/2、第2行は1/4、第3行は1/8……となります。これらをすべて足し合わせると（$1/2 + 1/4 + 1/8...$）、ちょうど1になります。これは、スプレッドシート全体が全自然数の100%を表しているため、理にかなっています。

2. 列は複雑です：

   • 第1列（メルセンヌ数）は非常に希薄であるため、その密度は無限小の数になります。この極小の量を $\epsilon$ と呼びましょう。
   • 第2列（サビット数）はさらに希薄です。その密度は $\epsilon / 3$ です。
   • 第3列はさらに希薄です： $\epsilon / 5$。
   • 第4列は： $\epsilon / 7$。
   • このように、永遠に続いていきます。

著者は、もしすべての列の密度を合計すれば、必ず1に戻るはずだと主張しています（なぜなら、列はすべての自然数を網羅しているからです）。

そこで、次のような方程式を立てます：
$$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots$$

$\epsilon$ を括り出すと、次のようになります：
$$1 = \epsilon \times \left( 1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots \right)$$

結論

括弧内の部分は、すべての奇数の逆数の和（$1 + 1/3 + 1/5...$）です。標準的な数学では、この和は無限大に発散します。しかし、この論文の非標準的な視点では、この和は無限に大きな数であり、著者はこれを $\omega$ と呼んでいます。

したがって、方程式は次のようになります：
$$1 = \epsilon \times \omega$$

メルセンヌ数の密度（$\epsilon$）を求めるには、この巨大な数で1を割るだけです：
$$\epsilon = \frac{1}{\omega}$$

これが意味すること

この論文は主に2つのことを主張しています。

1. 密度はゼロではありません。 $\epsilon$ は特定の、ゼロではない無限小の数であるため、メルセンヌ数は自然数の集合の中に「正の（ただし信じられないほど微小な）」密度を持って存在しています。
2. 正確な値。 その密度は、すべての奇数の逆数の和の逆数に正確に一致します。

簡単に言えば： 著者は、数字を整理するための巨大な格子を作りました。そして、メルセンヌ数は極めて稀である（その密度は「無限小」である）ものの、存在しないわけではないことを明らかにしました。彼らの「希少さ」は、奇数の分数の無限の和と数学的にバランスを取り、ちょうど1になるようになっています。

注：この論文は、特定の非標準的な数学的ツールを用いた理論的な解決策として提示されています。暗号技術やコンピュータサイエンスへの実用的な応用については論じておらず、純粋にこの理論的な数論のパズルを解くことに焦点を当てています。