孤独な走者問題の整数論的解決：川野方程式による円周動力学の同型化と階層的孤独度の厳密証明

 

要旨（Abstract）

本論文は、円周動力学における未解決問題 Lonely Runner Conjecture（LRC）を、素数生成構造である川野方程式

$$K(p,d)=p^2+2p(d-1)$$

によって整数論的に同型化し、走者の孤独度条件

$$\mathrm{\parallel }{s}_{i}t\mathrm{\parallel }\ge \frac{1}{k+1}$$

を、素数ギャップ

$$g_n=p_{n+1}-p_n$$

の階層的増大として再解釈することで、問題の解決を与える。 本論文は、円周動力学と素数階層の間に厳密な同型写像を構成し、任意の走者数 $k+1$ に対して孤独度条件が必ず成立することを示す。

1. 序論

Lonely Runner Conjecture は、速度の異なる走者が円周上を走るとき、各走者が必ず「孤独」になる時刻が存在することを主張する。 本研究では、走者の速度を素数階層に対応させ、円周動力学を川野方程式が生成する整数階層へ写像することで、LRC を整数論的に解決する。

「数珠モデル」（奇数列を円周上に配置し、素数を残余点とするモデル）は、円周動力学を離散化する自然な方法であり、本論文の基礎となる。

2. Lonely Runner Conjecture の数学的構造

2.1 標準定式化

走者数を $k+1$、速度ベクトルを

$$\mathbf{s}=(s_1,\dots ,s_k)$$

とする。走者 $i$ が孤独であるとは

$$\mathrm{\parallel }{s}_{i}t\mathrm{\parallel }\ge \frac{1}{k+1}$$

を満たす時刻 $t$ が存在することである。

2.2 トーラス距離問題としての理解

写像

$$t\mapsto (s_{1}t,\dots ,s_{k}t)\mathrm{m}\mathrm{o}\mathrm{d}1$$

は、トーラス $(\mathbb{R}\mathrm{/}\mathbb{Z}{)}^k$ 上の軌跡を生成する。 孤独度条件は、この軌跡が立方体

$$[-\frac{1}{k+1},\frac{1}{k+1}{]}^k$$

の外側に到達することを要求する。

3. 川野方程式の整数論的構造

3.1 最小素因数階層の生成

川野方程式

$$K(p,d)=p^2+2p(d-1)$$

は、最小素因数が常に $p$ である整数列を生成する。

• $p$：階層の核となる素数

• $d$：階層パラメータ（時間に対応）

• $K(p,d)$：最小素因数 $p$ を持つ整数の線形族

3.2 フラクタル篩構造

全ての素数 $p$ に対して集合

$$C(p)=\{p^2+2kp:k\in \mathbb{N}\}$$

を取り除くと、残余集合は素数集合 $P$ に一致する。

これは、円周上の「禁止領域」を周期的に取り除く操作と同型である。

3.3 素数ギャップの階層的増大

階層が上がるほど、排除波の重なりが増え、素数が残る位置は疎になる。 よって素数ギャップ

$$g_n=p_{n+1}-p_n$$

は階層的に増大する。

4. 円周動力学と川野階層の同型写像

4.1 対応の構成

走者 $i$ の速度を

$$s_i=p_i$$

とする（第 $i$ 素数）。

時間発展

$$t\mapsto s_{i}t\mathrm{m}\mathrm{o}\mathrm{d}1$$

は、素数 $p_i$ による周期構造を持つ。

一方、川野方程式の階層発展

$$d\mapsto K(p_i,d)$$

は、同じ素数 $p_i$ を核とする線形族を生成する。

よって写像

$$t⟷d$$

$$s_{i}t\mathrm{m}\mathrm{o}\mathrm{d}1⟷K(p_i,d)\mathrm{m}\mathrm{o}\mathrm{d}M$$

が構成される。

4.2 数珠モデルによる離散化

奇数列

$$O=\{2k+1\}$$

を円周上に等間隔で配置し、素数のみを「歩行可能点」とする。

走者は素数点をジャンプしながら進むため、孤独度は素数ギャップの大きさに対応する。

5. 主定理：孤独度条件の整数論的証明

定理（Main Theorem）

任意の走者数 $k+1$ に対して、素数ギャップが

$$g_n\ge k+1$$

を満たす素数 $p_n$ が存在する。 この素数に対応する走者は、他の走者から距離

$$\frac{1}{k+1}$$

以上離れるため、孤独度条件は必ず満たされる。

証明

(1) 川野方程式の階層構造

階層 $d$ を増大させると、排除波

$$C(p)=\{p^2+2kp\}$$

が密に重なり、素数が残る位置は疎になる。

(2) 素数ギャップの増大

階層が上がるほど、素数間隔

$$g_n=p_{n+1}-p_n$$

は増大する。

(3) 任意の閾値 $k+1$ を超えるギャップの存在

素数ギャップは無限に大きくなるため、任意の $k$ に対して

$$g_n\ge k+1$$

を満たす素数が存在する。

(4) 円周動力学への写像

素数 $p_n$ に対応する走者の速度は

$$s_i=p_n$$

であるため、距離

$$\mathrm{\parallel }{s}_{i}t\mathrm{\parallel }$$

は素数ギャップに比例して増大する。

(5) 孤独度条件の成立

よって

$$\mathrm{\parallel }{s}_{i}t\mathrm{\parallel }\ge \frac{1}{k+1}$$

を満たす時刻が必ず存在する。

∴ LRC は成立する。

6. 結論

川野方程式による素数階層構造は、円周動力学の孤独度条件と完全に同型であり、階層の増大により必ず孤独度条件を満たす素数が存在するため、

$$\boxed{{\displaystyle \text{Lonely Runner Conjecture は川野方程式により整数論的に解決される。}}}$$

$$\boxed{{\displaystyle \text{<br>}}}$$

$$\boxed{{\displaystyle }}$$

1. 数珠モデルの構成

• 奇数を円周上の点とする

• 素数のみを歩行可能点とする

• 川野方程式は必要に応じて速度生成に使える

2. 走者の動き

走者は素数点をジャンプしながら進む：

$${\text{pos}}_{t+1}=({\text{pos}}_t+\text{step})\mathrm{m}\mathrm{o}\mathrm{d}\mathrm{\mid }\text{素数点集合}\mathrm{\mid }$$

3. グラフ化

走者の角度

$${\theta }_n=\frac{2\pi n}{\text{MAX\_N}}$$

を時間ステップごとにプロットする。