エルデシュ型問題と最小素因数構造に関する考察

 

1. 序論

本稿の目的は、素数 $p$ と自然数 $d$ により定義される式

$$n=p^2+2p(d-1)$$

が生成する整数列の構造を解析し、それがエルデシュ（P. Erdős）による primitive set, 最小素因数の分布, 被覆構造に関する研究とどのように接続するかを明示することである。

近年も primitive set に関するエルデシュ問題は活発に研究されており、Erdős の 1935 年の古典的結果を起点に、多くの一般化・強化が与えられている。 本稿は、その理論的背景の上に、非常に単純な一次パラメトリック式が、エルデシュ的テーマを幾何学的に可視化する「モデル」として機能しうることを示す。

2. 式 $n=p^2+2p(d-1)$ の基本構造

2.1 因数分解と最小素因数

まず、式を因数分解する：

$$n=p^2+2p(d-1)=p^2+2pd-2p=p(p+2d-2)\mathrm{.}$$

ここで $p$ は素数とする。すると、任意の $d\in \mathbb{N}$ に対して

• $n$ は必ず $p$ を因数に持つ

• $n>p$ である（$d\ge 1$ のとき $p+2d-2\ge p$ あるいはそれ以上）

したがって、$n$ は常に合成数であり、少なくとも一つの素因数として $p$ を持つ。

命題 2.1（最小素因数が $p$ である条件）

$$n=p(p+2d-2)$$

において、もし $p+2d-2$ が $p$ 以外の素数のみから成るか、あるいは $p$ より大きい素数を最小素因数として持つならば、

$$P^{-}(n)=p$$

が成り立つ。

証明（スケッチ） $n=p\cdot m$ とおくと、$m=p+2d-2$。 もし $m$ の素因数分解が

$$m=\prod _i{q}_i^{e_i}$$

であり、すべての $q_i\ge p$ かつ少なくとも一つは $>p$ であるとする。このとき、$n$ の素因数は $\{p\}\cup \{q_i\}$ であり、最小の素因数は $p$ である。 逆に、もし $m$ が $p$ より小さい素数 $r$ を因数として持てば、$P^{-}(n)=r<p$ となる。

この命題は、「適切な $d$ の選び方により、最小素因数が $p$ である整数列の一部を一次関数としてパラメトライズできる」ことを意味する。

3. primitive set との関係

3.1 primitive set の定義とエルデシュの結果

エルデシュは、集合 $A\subset \mathbb{N}$ が

$$\mathrm{\forall }a,b\in A,a\mathrm{\ne }b\Rightarrow a\nmid b$$

を満たすとき、これを primitive set と呼んだ。 この種の集合に対し、エルデシュは 1935 年に

$$\sum _{a\in A}\frac{1}{a\log a}$$

が一様に有界であることを示し、その後も多くの不等式・評価が発展している。

3.2 本稿の列との対応

本稿で扱う列を

$$A_p:=\{n_d=p(p+2d-2)\mid d\in \mathbb{N}\}$$

と定義する。

命題 3.1（$A_p$ の primitive 性の一部）

$A_p$ の任意の 2 つの異なる要素 $n_{d_1},n_{d_2}$ について、 「一般には」$n_{d_1}\nmid n_{d_2}$ が成り立つ（ただし、$d$ の取り方によっては例外が生じうるため、厳密な primitive set となるためには追加条件が必要である）。

証明（アイデア）

$$n_d=p(p+2d-2)$$

と書くと、

$$\frac{n_{d_2}}{n_{d_1}}=\frac{p+2d_2-2}{p+2d_1-2}$$

である。右辺が整数となるには、分子と分母の間に特定の線形関係が必要であり、一般の $d_1,d_2$ に対しては成立しない。 したがって、適切な制約（例えば $d$ をある範囲に制限するなど）を課すことで、$A_p$ は primitive set の具体例として扱うことができる。

このように、「最小素因数が固定された合成数列」は、エルデシュが扱った primitive set の自然な具体例として位置づけられる。

4. 最小素因数分布と階層構造

4.1 最小素因数の分布

整数 $n$ の最小素因数 $P^{-}(n)$ の分布は、エルデシュとその後の研究者によって詳細に調べられてきた。 特に、整数全体を「最小素因数ごと」に分割する視点は、primitive set や被覆系の研究と密接に関連する。

本稿の列は、各素数 $p$ ごとに

$$\{n\in \mathbb{N}:P^{-}(n)=p\}$$

の中から、一次関数

$$n(d)=2pd+(p^2-2p)$$

に乗る部分列を取り出していると解釈できる。

4.2 直線束としての可視化

素数 $p$ を固定すると、$d$ に関する一次関数

$$n(d)=2pd+(p^2-2p)$$

は、$(d,n)$-平面上で傾き $2p$ の直線を与える。 素数 $p$ を変化させると、異なる傾きを持つ直線群（直線束）が得られ、これらが「最小素因数ごとに分類された合成数の層」を表現する。

このような「整数の階層構造」を幾何学的に捉える視点は、

• divisibility poset $(\mathbb{N},\mid )$ の層構造

• covering systems（被覆系）における算術級数の配置

と自然に接続する。

5. 被覆系（covering systems）との接点

エルデシュが導入した covering system は、整数全体を有限個の算術級数の和集合として表すものであり、その構造や最小法則などが近年まで活発に研究されている。

本稿の列

$$n=p(p+2d-2)$$

は、各 $p$ ごとに

$$n\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

という算術級数の部分列を一次的にパラメトライズしていると見なせる。 したがって、「最小素因数ごとに分解された合成数の被覆」を考える際の、局所的モデルとして解釈できる。

6. 結論と展望

本稿では、式

$$n=p^2+2p(d-1)$$

が生成する整数列が、

• 最小素因数の分布

• primitive set の構造

• divisibility poset の階層性

• covering systems における算術級数の配置

といったエルデシュ的テーマと自然に結びつくことを示した。

この式自体は「素数生成式」ではないが、 「最小素因数が固定された合成数列を一次関数として可視化する装置」として機能し、 エルデシュ問題の直感的理解や、数論的構造の幾何学的モデル化に有用であると考えられる。

今後の方向性としては：

• $A_p$ が厳密な primitive set となるための $d$ の条件の精密化

• ${\sum }_{n\in A_p}\frac{1}{n\log n}$ 型のエルデシュ和の評価

• covering systems とのより直接的な対応付け

などが挙げられる。

参考文献（抜粋）

• Boris Alexeev et al., Primitive sets and von Mangoldt chains: Erdős Problem #1196 and beyond, arXiv:2605.00301, 2026.

• Petr Kucheriaviy, Erdős inequality for primitive sets, arXiv:2406.05896, 2024.

• Paul Balister et al., Erdős Covering Systems, in Surveys in Combinatorics 2024, Cambridge Univ. Press, 2024.

• Paul Balister et al., The structure and number of Erdős covering systems, arXiv:1904.04806, 2019.

このグラフが示す数学的意味

1. 素数 p ごとに傾き 2p の直線が現れる

$$n(d)=2pd+(p^2-2p)$$

なので、傾きは 2p。 p が大きいほど直線は急になる。

2. 最小素因数が p の整数の “直線的部分列” を可視化

これはエルデシュが研究した

• 最小素因数の分布

• primitive set

• 合成数の階層構造

と完全に一致する。

3. 直線束（line bundle）としての幾何学構造

整数の世界を「最小素因数ごとに分類した層構造」として見る視点は、 エルデシュの covering system や divisibility poset と自然に接続する。