収束膜理論|コラッツ研究 数学検証用成果物・第ⅩⅧ段階
Boundary-First AI Model 境界先行型AIモデル 収束膜モデル:Boundary-First AI Modelを用いたコラッツ構造研究
数学検証用成果物・第ⅩⅧ段階 収束膜理論|コラッツ研究における構造定式化と論理分離
$T(n) = n/2 \quad (n \equiv 0 \pmod 2 \text{ の場合})$
$T(n) = 3n + 1 \quad (n \equiv 1 \pmod 2 \text{ の場合})$
ここで、偶数項での冗長な除算ステップを削ぎ落とし、奇数から次の奇数までを1ブロックとしてダイナミクスの本質を抽出する。ブロック間は以下の関係式で記述される。
$$3n_i + 1 = 2^{k_i} n_{i+1} \quad \left(\text{ただし } k_i = v_2(3n_i + 1)\right)$$
【記号・前提の補足】
$v_2(x)$(2進付値): 整数 $x$ を割り切る $2$ の最大の指数(すなわち、偶数倍の回数)を表す。これにより、奇数 $n_i$ に $3$ を掛けて $1$ を足した値が、何回 2 で割り切れるか(どれだけ一気に圧縮されるか)を捉える。
$k_i$: 各ブロックにおける「除算(圧縮)の深さ」を規定する動的変数。
本段階の目的は、コラッツ予想そのものの直接的証明ではなく、奇数ブロック列における2進合同構造と累積対数収支の関係を整理し、無界性と $+\infty$ への収束を論理的に分離・検証することにある。
基本定義と累積対数収支
奇数ブロック開始値の列を $n_i$ とする。各ブロックの倍率 $R_i = n_{i+1}/n_i$ は以下のように表される。
$$R_i = \frac{3 + \frac{1}{n_i}}{2^{k_i}}$$
累積対数収支 $S_s$ を $S_s = \log(n_s / n_0)$ と定義すると、恒等的に $n_s = n_0 e^{S_s}$ が成り立つ。また、収支は以下の和で評価される。
$$S_s - S_0 = \sum_{i=0}^{s-1} \log\left(3 + \frac{1}{n_i}\right) - (\log 2) \sum_{i=0}^{s-1} k_i$$
1.1 自然な境界値評価
奇数 $n_i \ge 3$ に対して $3 < 3 + \frac{1}{n_i} \le 4$ が成立するため、収支に対して以下の不等式を得る。
$$s \log 3 - (\log 2) \sum_{i=0}^{s-1} k_i < S_s - S_0 \le 2s \log 2 - (\log 2) \sum_{i=0}^{s-1} k_i$$
この評価より、$\frac{\log 3}{\log 2} \approx 1.585$ が累積収支における自然な境界値として導出される。
【記号・前提の補足】
境界値 $\approx 1.585$: 「平均してどの程度の拡大・縮小が起きるか」の分岐点。ブロックあたりの平均的な $k_i$ がこの比率を上回るか下回るかによって、軌道全体の拡大・縮小の傾向が決定づけられる。
1.2 「無界性」と「$+\infty$ への収束」の論理分離
本研究の核心となる論理的分離を行う。
$n_s$ が上方無界 $\iff$ $S_s$ が上方無界。
しかし一般には、 $S_s$ が上方無界であっても $S_s \to +\infty$ とは限らない。
無界性(上限が存在しないこと)と無限発散(収束の否定)を別の命題として定義し、個別に検証する。
また、指数 $k_i$ は自由変数ではなく、$n_i$ の2進合同類により決定される。$k = 1$ は $n \equiv 3 \pmod 4$ と同値であり、変数が $r$ 回連続する条件は以下で表される。
$$n \equiv 2^{r+1} - 1 \pmod{2^{r+1}}$$
これにより、任意の有限長の $k = 1$ 連鎖は合同条件のみでは排除できないことが示される。
2.1 再生機構(反復系)の定式化
上昇・圧縮の反復を再生系として定義する。各 $r$ 回上昇後の値は以下のように記述される。
$$F_r(n) = \left(\frac{3}{2}\right)^r (n + 1) - 1$$
検証モデル $A_j$ を「指定した再生パターンを $j$ 回実現する初期値 $n_0$ の集合」と定義し、各段階の2進合同条件を逐次合成する。
2.2 現段階における主成果(検証可能な命題群)
数学側に渡せる検証成果物は以下の通りである。
命題A:奇数ブロック表現($k_i = v_2(3n_i + 1)$ の同値性)
命題B:累積対数収支 $S_s$ による記述
命題C:$B_i$ 無界を起点とする $n_i$ 無界の伝播論理
命題D:$k = 1$ 連鎖の $n \equiv 2^{r+1} - 1 \pmod{2^{r+1}}$ 合同条件
命題E:境界値 $\approx 1.585$ の導出
命題F:無界性と無限発散の論理的独立性
命題G:再生機構の2進合同逐次合成モデル
3. 今後の未解決課題・数学的検証への引き渡し
現段階では、以下の命題は未証明であり、今後の検証が必要である。
$S_s$ 上方無界から $S_s \to +\infty$ への導出
再生機構が任意有限長において整合し続けることの一般証明
任意有限長での合同整合と $\mathbb{N}$上の正整数軌道の存在証明のギャップ
本研究パッケージは、収束膜理論|コラッツ研究 数学検証用成果物・第ⅩⅧ段階 において、コラッツ予想そのものの「証明」を主張するものではない。2進圧縮構造と再生機構の定式化、および2進合同条件の逐次合成による検証フレームワークの提示であり、数学側に対し、当該再生パターンの有限/無限反復の整合性判定を次段階の検証として委ねるものである。