境界発見モデル コラッツ予想
1｜目的
コラッツ予想を直接「解く」のではなく、
何が分からないために、最後まで問題が閉じないのかを特定する。
理論を追加して観測面を増やす Expand ではなく、Q0の保証に不要な構造を削る Closure を使い、最後まで消えない境界を探す。
2｜出発点
元の問い Q0：
すべての正整数は、有限時間で 1-4-2-1 サイクルへ入るか。
固定するのはCollatz写像そのもの。
偶数 -> n/2
奇数 -> 3n+1
それ以外の、
v2 / congruence / stopping time / drift / history / 各種分類
はすべて一度「削除可能な解析構造」として扱う。
評価基準は一つ。
Q0を保証するために、本当に必要か？
3｜Closureによる問いの縮約
Q0 -> Finite Descent
σ(n) = min { t >= 1 | T^t(n) < n }
全ての n>1 で σ(n) が有限であることを保証できれば、強い帰納法によってQ0へ接続できる。
したがって問いを、
「最終的に1へ行くか」 -> 「有限時間で一度は自分より小さくなるか」
へ縮約する。
ここで残る境界：
U_descent -> 有限降下を全整数について保証できない。
4｜Finite Descent -> Valuation History
奇数間写像へ圧縮する。
a_j = v2( 3n_j + 1 )
n_{j+1} = ( 3n_j + 1 ) / 2^(a_j)
累積を、
A_k = a_0 + a_1 + ... + a_(k-1)
とする。
ただし、降下は最終累積 A_k だけでは決まらない。
正確には、
n_k = ( 3^k * n_0 + sum_{i=0}^{k-1} 3^(k-1-i) * 2^(A_i) ) / 2^(A_k)
となり、途中の A_i も +1 の累積として残る。
したがって必要なのは、
総量ではなく valuation history
すなわち
H_k = ( a_0, a_1, ..., a_(k-1) )
となる。
境界は、
U_descent -> U_path
へ変形する。
5｜v2 + congruence を統合する
有限の valuation history H_k を実現できる初期値には、2-adic合同条件が課される。
概念的には、
valuation history H_k
に対応する
2-adic residue cylinder
と見ることができる。
ここでは、
v2 は historyを読み出す経路であり、
congruence は historyを実現する初期条件を記述するもの
と見る。
したがって両者を、
「2-adic valuation-history channel」
という一つの構造へ統合する。
6｜Finite -> Infinite の境界
任意の有限長 k について、
kステップまで降下を回避するhistory
が実現可能だったとする。
対応する2-adic cylinderを伸ばすと、
C1 ⊃ C2 ⊃ C3 ⊃ ...
というnested structureが現れる。
2-adic空間では、その極限点
x* ∈ Z_2
が存在しうる。
しかし、
x ∈ Z_2 であることと x ∈ N であること
は別問題。
つまり、
任意の有限深度まで逃げられる ≠ 一つの正整数が永遠に逃げられる
ここに最後の境界候補が現れる。
7｜境界候補 U_realization
現時点で最後まで残ったものを、
U_realization
と置く。
任意有限深度で整合する降下回避2-adic valuation historyが、正整数の一つの軌道として無限に実現されるか。
構造としては、
Q0
↓
Finite Descent
↓
Valuation History
↓
Finite Realizability
↓
2-adic Existence
↓
【境界】
↓
Integer Realization
最後に残るのは、
2-adic existence から integer existence への接続
という候補である。
8｜このモデルがしていること
通常：
理論追加 -> 観測面追加 -> 新しい構造 -> 新しい問い -> さらに理論追加
境界発見モデル：
元の問いを固定 -> 保証に不要な構造を削る -> 同型情報を統合する -> Residualを追う -> さらに削る -> 最後まで消えない境界を露出させる
つまり、
答えを直接探すモデルではなく、「なぜ答えまで届かないのか」を最小化して探すモデル。
9｜現時点での位置
これはコラッツ予想の証明ではない。
また、U_realization がコラッツ予想と完全に同値な唯一の障害だとも、まだ証明していない。
現時点で観測できたのは、
Closure操作によって、多面的に存在していた未決定を finite -> 2-adic -> integer realization という一本の境界候補まで縮約できた。
というところ。
一行定義
境界発見モデル｜コラッツ予想：コラッツ予想に構造を追加するのではなく、保証に不要な構造を削り続け、問題が閉じなくなる最小境界を特定する試み。
