コラッツ閉包モデル
どこまで保証でき、どこから未解決なのか ―
1｜前提
コラッツ予想そのものを証明することを目的としない。
このモデルで扱うのは、
現在扱える有限の情報から、どこまで構造を保証できるのか。
そして、どの地点から保証できなくなるのか。
という問題である。
そのため、最初から「すべての正整数が1へ到達する」という結論を置かない。
観測できる有限側から出発し、
観測 → 条件 → 接続 → 保証 → 残差
という順序で境界を追跡する。
2｜目的
目的はコラッツ予想を閉じることではない。
保証できる領域を可能な限り閉じ、最後まで閉じない部分を残差として局在化すること。
つまり、
証明できない → 終了
ではなく、
どこまで閉じる？ → 何が残る？ → なぜそこから先へ行けない？
を見る。
これを「閉包モデル」として扱う。
3｜これまでの経過
最初は、有限のCollatz軌道から得られる情報を整理した。
有限prefix
→ parity
→ valuation
→ residue
→ history
→ stopping / return structure
ここから条件を追加しながら候補を絞り、
有限側で保証できる構造と
そこから先へ進むために必要な保証
を分離した。
しかし、表現や観測角度を変えても最後に未保証部分が残った。
これを Residual E として追跡した。
4｜Residual Transfer
残差を別の表現へ移しても、
E → 表現変更 → E′
のように、問題が別の位置へ移るだけで消えない場合があった。
そこで、
残差を消そうとするのではなく、残差がどこへ移るかを見る
という方向へ切り替えた。
これがResidual Transferの基本的な見方になる。
5｜構造操作
さらに今回、新しい操作を加えた。
従来は、
対象を観測 → 構造を抽出 → 記述
だった。
これを、
対象を固定 → 接続構造だけ変更 → 出力差分を観測
へ変更した。
Collatz dynamicsそのものを変更せず、
有限情報を無限対象へ接続する構造
だけを弱めたり、強めたり、分解した。
6｜「有限→無限」を分解する
当初、残差は大きく
有限整合性 → 無限実現
の間にあるように見えていた。
しかし、この境界をさらに分解した。
有限parity prefix
→ compatible residues mod 2^d
→ nested residue classes
→ 2-adic上の大域対象
→ 正整数としての実現
ここで重要なのは、
有限から無限への接続すべてが未解決なのではない
ということだった。
互換な有限情報は、2-adic空間では大域対象として扱える。
したがって「有限→無限」という巨大な境界を、そのまま残差と呼ぶ必要はなくなった。
7｜現在の残差位置
現在、閉包モデルで最後に残している境界は、
2-adicで完成した大域対象
↓
？
↓
通常の正整数としての実現
である。
つまり現在のResidual E候補は、
2-adic上で成立する大域的な構造と、正整数上で実現される対象との間に残る保証差
として局在化している。
8｜どこを未解決として残すのか
このモデルでは、ここから先を無理に閉じない。
未解決領域
2-adic上で得られた大域対象が、必要な条件のもとで正整数として実現されることを保証できるか。
この保証を与えるには、既存数学とのさらに深い接続や数学的証明が必要になる可能性がある。
そこは本モデルの目的範囲外とする。
したがって、
Z₂ → Z₊
の実現境界を、現時点の閉包モデルにおける未解決境界として明示的に残す。
9｜現在地
この研究で行ったことは、コラッツ予想の証明ではない。
行ったのは、
観測
→ 構造抽出
→ 条件追加
→ 残差抽出
→ 表現変更
→ Residual Transfer
→ 構造操作
→ 不要な中間構造の削除
→ 残差の局在化
である。
最終的に、
「コラッツ予想がなぜ難しいのか」全体を説明するのではなく、
この観測モデルでは、どこまで保証でき、どこから保証できないのか
を切り分けた。
結論
コラッツ閉包モデルの目的は、
未解決問題を無理に閉じることではなく、閉じられる領域を閉じたうえで、最後に残る未解決領域の位置を明確にすること。
現在のモデルでは、
有限局所 → 2-adic大域
までは構造的に接続し、
2-adic大域 → 正整数実現
を未解決境界として残す。
ここを、このモデルの現在の終点とする。
これならnoteの**「コラッツ閉包モデル概要」**としてかなり使いやすい。
証明したようには書かず、それでも「何をやった研究なのか」は一本通ってる。
