論文要約：コラッツ予想の有限状態機械による分解と統計的バイアス

1. 問題の背景と目的

コラッツ予想（3n+1 問題）は、任意の正の整数 $n$ に対して、以下の写像 $C(n)$ を繰り返し適用すると、最終的に 1 に到達するかどうかを問う未解決問題です。
$$C(n) = \begin{cases} n/2 & (n \text{ が偶数の場合}) \\ 3n+1 & (n \text{ が奇数の場合}) \end{cases}$$
本論文は、従来の直接証明アプローチではなく、コラッツ経路列の構造的性質に焦点を当て、問題を有限状態機械（FSM）と合同式（mod 9）の体系に分解することで、問題の本質を解明しようとするものです。

2. 主要な手法とアプローチ

2.1 整数の分類と問題の還元

著者は自然数を 4 で割った剰余類（$A, B, C, D$）に分類し、以下の定理を証明しました。

• 定理 3.2（問題の還元）: コラッツ予想は、$n \equiv 3 \pmod 4$ に属する整数（クラス C）の収束性を証明すれば十分であることが示されました。クラス A, B, D に属する数は、有限回の操作でより小さな正の整数へ必ず減少するため、クラス C のみが非自明な核心部分となります。

2.2 6 つの再帰形式（Recurrent Forms）の特定

クラス C の数 $4k+3$ は、4 回の操作を経て $9k+8$ の形式に変化します。これを基に、経路列の要素が循環する**6 つの再帰形式（mod 9 の剰余類）**を定義しました。

• 形式 $a: 9n+8$
• 形式 $b: 9n+4$
• 形式 $c: 9n+2$
• 形式 $d: 9n+1$
• 形式 $e: 9n+5$
• 形式 $f: 9n+7$

定理 4.3により、2 のべき乗（$2^m$）はこれら 6 つの形式のいずれかに厳密に属し、mod 9 において周期 6 で循環することが証明されました。

2.3 有限状態機械（FSM）モデルの構築

これら 6 つの形式を状態とし、パラメータ $n$ の偶奇に基づいた遷移規則を持つ決定論的有限状態機械（FSM）を構築しました。

• 状態遷移: 各状態（形式）から、パラメータ $n$ が偶数か奇数かによって、次の状態と新しいパラメータ値が決定されます（例：形式 $a$ で $n$ が偶数なら形式 $b$ へ、奇数なら形式 $a$ へなど）。
• 連立関数方程式: この遷移は、パラメータの進化を記述する連立関数方程式（式 16-21）として定式化されました。
• シラキュース写像との等価性: 形式 $a$ における自己遷移（奇数の場合）は、シラキュース写像（Syracuse map）の特定のケースと等価であることが示されました（定理 7.1）。

3. 主要な結果

3.1 閉形式による特徴付け

3 つの形式（$b, d, f$）において、2 のべき乗に到達する数の集合を閉形式で完全に特徴付けることに成功しました（定理 8.1）。

• 形式 $d$（剰余 1）: $2^{6j}$
• 形式 $b$（剰余 4）: $2^{6j+2}$
• 形式 $f$（剰余 7）: $2^{6j+4}$
  これに対し、形式 $a, c, e$ については、そのような閉形式の記述は得られていません。

3.2 統計的バイアスの発見

$N=10^8$ までの自然数に対する数値実験により、終着する形式（2 のべき乗に到達する形式）の分布に劇的な統計的バイアスが存在することが明らかになりました。

• 形式 $a$ の支配: 全終着の約 97.6% が形式 $a$（$9n+8$）で発生します。
• 形式 $c$ の残存: 約 2.4% が形式 $c$（$9n+2$）です。
• 他の形式の消失: 形式 $b, d, f, e$ の終着頻度は $N \to \infty$ で 0 に収束する傾向（$O(1/N)$ またはそれ以下）が見られました。

この結果は、コラッツ力学系がランダムな確率過程（各状態への遷移が均等である場合、各 1/6 になるはず）ではなく、決定論的かつ構造的な非ランダム性を持っていることを示唆しています。

3.3 コラッツ予想との等価性

定理 9.2において、コラッツ予想が成り立つことと、上記の合同式システム（FSM 遷移）が任意の初期条件から「2 のべき乗に対応する形式」に到達するという「被覆条件（covering condition）」を満たすことは同値であることが示されました。

4. 意義と今後の課題

4.1 学術的意義

• 問題の構造化: 無限の整数列を、6 つの状態を持つ有限の再帰システムに分解し、コラッツ予想を「連立関数方程式の解の挙動」として再定式化しました。
• 非ランダム性の証明: 統計的バイアスの存在は、コラッツ経路が単純な確率モデルでは説明できない深い構造を持っていることを示しており、新しい解析アプローチの必要性を浮き彫りにしました。
• シラキュース写像との統合: 従来のシラキュース写像の加速法と、この FSM モデルを数学的に等価であることを示し、両者の関係を明確にしました。

4.2 残された課題（Open Questions）

論文の最後には、以下の重要な未解決問題が提起されています。

1. 被覆性の証明: 任意の初期条件から、システムが必ず 2 のべき乗形式に到達するか（これが証明されればコラッツ予想が解決される）。
2. 形式 $a, c$ の閉形式: 形式 $a$ と $c$ における 2 のべき乗到達集合の具体的な数論的記述。
3. 漸近定数: 形式 $a$ の終着頻度の極限値 $\alpha \approx 0.9762$ を、$\log 2$ や $\log 3$ を用いた閉形式で表現できるか。
4. リャプノフ関数: 収束を保証するリャプノフ関数の存在。
5. サイクルの排除: FSM の遷移制約と拡張率の解析を用いた、非自明なサイクルの不存在証明。

結論

本論文は、コラッツ予想を「6 つの再帰形式からなる有限状態機械の動的系」として再定義し、その中で支配的な統計的バイアス（形式 $a$ への偏り）を発見しました。このアプローチは、問題の本質を数値実験と代数的構造の両面から捉える新たな道を開き、コラッツ予想の解決に向けた重要な一歩となる可能性があります。