コラッツ予想 保証核から有限構造
1｜出発点：問題ではなく「保証」を探す
元の問い：
全ての正整数は最終的に1へ到達するか？
構造を削っていった結果、保証核を
K：任意の N>1 は、有限時間で一度 N 未満へ落ちる
に置いた。
これが全Nについて成立すれば、
∀N finite descent
→ smaller integer
→ strong induction
→ Collatz
と閉じられる。
したがって問いは、
「Collatzをどう説明するか？」 ではなく、
「Kを保証する最小条件は何か？」
へ変わった。
2｜既存数学をKへの機能で再配置
既存数学にはすでに、
軌道の記述
parity / valuation / residue / 2-adic
↓
典型的下降
stopping time / almost-all results
↓
？？？
↓
全称下降
∀N finite descent
↓
induction
↓
K
というかなりの部品が存在する。
ここから露出した主要な空白は、
有限・局所・典型的情報 → 例外なしの全称下降
を作る橋。
3｜横方向に既存数学を探索
この橋と似た仕事をする数学を探すと、大きく6系統が出た。
方法 機能 Minimal Counterexample 反例→より小さい反例→矛盾 Ranking well-founded量を下降させる Block Descent 有限区間単位で下降させる König / Compactness 有限候補→無限branch Kruskal / Higman / WQO 無限列→有限比較構造 Size-Change 局所下降→全称termination
さらにDickson型では、
無限の悪い候補 → 有限minimal basis
への圧縮も可能になる。
4｜競合ではなく「直列部品」として見る
これらは別々の証明候補というより、役割を繋げられる可能性がある。
無限escapeを仮定
↓
König
↓
infinite branch
↓
Kruskal / Higman
↓
有限比較構造が必ず出現
↓
Dickson / WQO
↓
bad structureを有限基底化
↓
Size-Change / Block Ranking
↓
強制下降
↓
Minimal Counterexample
↓
保証核 K
ここから一番重要な部分だけ抜くと、
Infinite Escape
→ Finite Structure
→ Forced Descent
となる。
5｜現在のA/B問題
この橋を二つに分解した。
A｜有限構造側
永久escapeなら、有限prefix内に何が必ず現れるか？
求めたいのは、
infinite escape
→ finite recurrence / comparison
Kruskal/Higman型の仕事。
B｜下降側
その有限構造が現れたら、何が必ず下降するか？
求めたいのは、
finite comparison
→ forced decrease
Size-Change / Ranking型の仕事。
接続できれば、
Infinite escape
→ finite recurrence
→ forced decrease
→ infinite decrease
→ well-foundedness と矛盾
→ K
となる。
6｜最初から「語・木」を決めない
ここはClosure的に重要。
最初から、
語
木
グラフ
2-adic cylinder
などを選ぶと、また表現構造が増える可能性がある。
そこで最小の入口を、
有限block
にする。
Collatz orbit
→ block₁
→ block₂
→ block₃
→ …
そして各blockに必要最小限のラベルだけを持たせる。
候補：
parity
valuation
residue
変化量
ただし全部入れるとは決めない。
7｜次に探すもの
問いはかなり小さくなった。
問いA
無限escapeが存在した場合、どんな有限blockが必ず再出現するか？
問いB
そのblockが再出現した場合、前回との間で必ず小さくなる量は存在するか？
したがって、
Infinite Escape
↓
Finite Block Recurrence
↓
Comparison
↓
Forced Descent
↓
Contradiction
が現在の橋候補。
8｜現在地
最初：
全ての整数は1へ行くか？
↓
Closure：
全てのNでfinite descentを保証するには？
↓
既存数学との横比較：
無限escapeなら有限段階に何が必ず現れる？
↓
現在：
再出現する有限blockと、その再出現によって強制される下降量を探す。
だから今はもう「新しいCollatz理論を増やす」段階ではない。
保証核Kを固定
→ 無限逃避を仮定
→ 必ず現れる有限痕跡を探す
→ その痕跡を下降保証へ変換する。
ここまでが、今のClosure／境界発見モデルから既存数学へ接続した現在地
