可除性チェーン問題（Erdős Problem #1217）と川野方程式の構造的接続に関する研究

 

要旨

本稿では、Erdős Problem #1217（Divisibility Chains）の近年の完全解決により明らかとなった整数の可除性構造と、著者が提案する川野方程式

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

（p は素数） との間に存在する構造的対応を明確化する。特に、可除性チェーンの抽出において中心的役割を果たす 最小素因子階層（least prime factor hierarchy） が、川野方程式の因子構造と同型的な性質を持つことを示す。さらに、primitive set の密度構造、Erdős sums、divisibility poset の局所構造との関連を論じ、川野方程式が可除性チェーン問題の“局所モデル”として機能することを明らかにする。

1. 序論

Erdős Problem #1217 は、整数列から可除性チェーン

$$a_{n_1}\mid a_{n_2}\mid a_{n_3}\mid \cdots$$

を抽出できるかという問題であり、整数の可除性 poset の構造を理解する上で中心的な役割を果たす。2026 年、Alexeev–Barreto–Li–Lichtman–Price–Shah–Tang–Tao らによって完全解決され、密度条件を課さずとも無限列から可除性チェーンが存在することが示された。

一方、川野方程式

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

は、整数の最小素因子構造を強制する形を持ち、整数の階層構造を解析するための自然なモデルを提供する。本稿では、可除性チェーン問題と川野方程式の間に存在する構造的対応を明確化し、両者の理論的接続を体系的に論じる。

2. 背景：可除性チェーン問題と primitive set

2.1 可除性チェーン問題の定式化

無限集合 $A\subset \mathbb{N}$ に対し、

$$\mathrm{\exists }{a}_{n_1}<a_{n_2}<\cdots \in A\text{s.t.}{a}_{n_i}\mid a_{n_{i+1}}$$

を満たす部分列が存在するかを問う。

2026 年の解決では、整数の最小素因子構造に基づく von Mangoldt 重み付き Markov 連鎖 が導入され、divisibility poset の流量解析により肯定的解が得られた。

2.2 primitive set との関係

primitive set（どの要素も他を割らない集合）は、可除性チェーンの“逆概念”であり、Erdős sums

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

の評価と密接に関係する。可除性チェーン問題 #1217、#1196、#164 は、primitive set の密度構造を理解する三部作として位置づけられる。

3. 川野方程式の構造

川野方程式

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

は、以下の特徴を持つ。

• 最小素因子が常に p に固定される

• 二段階因子構造

$$n=p\cdot m,m=p+2d-2$$

• $m$ は p に対して線形に増加するため、divisibility poset の「p を根とする枝」を走査する。

この構造は、可除性チェーンの抽出において重要な 最小素因子階層 と一致する。

4. 可除性チェーンと川野方程式の構造的同型性

4.1 最小素因子階層との一致

可除性チェーンの典型的構造は、

$$\mathrm{lpf}(a_{n_1})=\mathrm{lpf}(a_{n_2})=\cdots$$

すなわち 最小素因子が一定である枝 を辿ることで形成される。

川野方程式では

$$\mathrm{lpf}(n)=p$$

が常に成立するため、可除性チェーンの“局所モデル”として機能する。

4.2 divisibility poset の枝構造

divisibility poset $(\mathbb{N},\mid )$ において、p を根とする枝は

$$p,p\cdot m_1,p\cdot m_2,p\cdot m_3,\dots$$

という形をとる。

川野方程式は

$$m=p+2d-2$$

と線形に動くため、この枝を 連続的に走査するパラメータ化 を提供する。

4.3 primitive set の境界構造との整合性

primitive set の境界は

• 最小素因子が小さいほど密度が高くなる

• $1\mathrm{/}(n\log n)$ の重みが支配的

という性質を持つ。

川野方程式では

$$n\approx p^2$$

であるため

$$\frac{1}{n\log n}\approx \frac{1}{p^2\log p}$$

となり、Erdős sums の減衰構造と一致する。

5. 主結果：川野方程式は可除性チェーンの局所モデルである

以上の議論より、次の主張が得られる。

定理（本稿の主張） 川野方程式

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

は、可除性チェーン問題 #1217 の本質である「最小素因子階層に基づく divisibility poset の枝構造」を忠実に再現する。したがって、川野方程式は可除性チェーンの局所モデルとして機能し、primitive set の密度構造および Erdős sums の解析における自然なテストケースを提供する。