Collatz観測研究 総括 逃げ先から境界へ
1｜出発点
この研究では、Collatz予想を既存数学の内側から直接解こうとするのではなく、まず対象を外側から観測した。
最初の問いは単純だった。
何が追えるのか。何が拘束できるのか。それでも何が逃げるのか。
観測と構造化を繰り返すうちに、個々の軌道そのものよりも、追跡や拘束を重ねても全体保証へ閉じない場所が繰り返し現れた。
現在、その場所を
有限情報・有限拘束から全体保証へ移行する境界として捉えている。
この境界には、一つのモデルからではなく、
三つの異なる経路から到達した。
2｜Escape ― 逃げるものを追う
最初に行ったのは、Collatzの挙動を可能な限り追跡することだった。
観測座標として、
S1：Discrepancy / State
S2：Event / Passage Time
S3：Shock / Local Excursion
S4：Congruence Geometry
S5：Symbolic History
を置き、そこから、
C1：Return first-passage
C2：D-level recovery
C3：Valuation readout
C4：Cylinder refinement
C5：Common-prefix separation
C6：History accumulation
を導出対象として追った。
これによって、軌道の状態・復帰・valuation・合同構造・historyなど、局所的な関係はかなり追跡できるようになった。
しかし、それらを積み上げても、
Local relations → Global constraintへの橋は得られなかった。
追跡はできる。
しかし「すべての正整数が1へ到達する」という全体保証には閉じない。
そこで観測対象が変わった。
軌道を追う → 逃げるものを追う → 逃げ先を見る
Escapeから見えたのは、
追跡と局所拘束を積み重ねても、最後に全体保証へ閉じない場所が残る。
という構造だった。
3｜A〜P ― 逃げ場を削る
次は逆方向から観測した。
逃げるものを追うのではなく、
拘束を強くして、逃げられる領域を削ったら何が残るのかを調べた。
その過程で、
拘束 C → 実現可能集合 S → 表現 R_i → 像 Im(R_i) → 部分構造 Q → 未固定部分 U_i(Q)
という整理へ進んだ。
ここでUは、未知の実体として置いたものではない。
現在固定したQのもとで、なお未固定として残っている部分として扱った。
Qを精密化するとUは縮む。条件によっては、その表現上でUが消える場合もある。
しかし、ここで別の問題が残った。
有限回の精密化によってUを縮め続けることと、その極限で何が成立するかは同じなのか。
Escapeが「逃げる側」を追ったのに対して、A〜Pでは逃げ場そのものを削った。
異なる方向から進んでも、有限拘束と極限の間に問題が残った。
4｜有限／無限境界 ― 境界そのものを見る
そこで一度、Collatz固有の数学的前提から距離を取り、
有限段階で何が成立し、無限対象化したとき何が変わるのか。
を観測対象にした。
すると、同じCollatzでも異なる有限→無限遷移が見えた。
決定遅延型では、有限prefixを伸ばして情報を増やしても、問うmembershipによっては有限段階で決定が閉じない。
有限prefix → 精密化 → 精密化 → … → 無限対象 → 決定
一方、逐次回収型では、valuationなどの情報を有限段階ごとに回収できる。
有限段階 → 部分回収 → 追加回収 → … → 無限対象 → 完全化
ここから、
境界は単純に「有限／無限」という対象の違いだけで決まるわけではない。
という見方が出てきた。
何を問い、どう観測し、その情報が有限段階でどう遷移するか。
それによって境界の現れ方そのものが変わる。
5｜三方向が指している場所
三つの経路を重ねると、こうなる。
Escape
追跡する → 逃げる → さらに追う
↓
全体保証へ閉じない
↓
【境界】
↑
A〜P
拘束する → Uを削る → さらに精密化
↓
有限精密化と極限
↑
【境界】
↑
有限／無限境界
有限情報 → 精密化 → 情報遷移を観測
↓
決定・保証の成立様式が変わる現在、この三つを別々の境界候補とは考えていない。
同じ境界を三方向から観測したものとして捉えている。
Escape → 逃げる側から境界へ到達した。
A〜P → 逃げ場を削る側から境界へ到達した。
有限／無限境界 → その場所自体を観測した。
三方向から繰り返し現れた場所が、
有限情報・有限拘束から全体保証へ移行する境界
である。
6｜現在の核
研究全体を圧縮すると、
Collatzを追跡しても、拘束しても、有限情報の遷移そのものを観測しても、問題は「有限情報・有限拘束から全体保証へ移行する境界」に集まる。
さらに有限／無限境界モデルでは、
境界は「有限」と「無限」という対象の区別だけでは決まらない。
何を問い、どう観測し、その情報が有限段階でどう遷移するかによって、境界の現れ方そのものが変わる。
と捉えている。
7｜ここまでで分かったこと／まだ分からないこと
構造側で観測したのは、
追跡 → 拘束 → 精密化 → 有限／無限遷移
という異なる経路を進んでも、全体保証へ移る場所に同じ境界が現れることだった。
一方、まだ示していないものもある。
Collatz予想そのものの証明
境界の数学的定式化
この境界とCollatz予想の未解決性との数学的関係
境界を越えるための必要十分条件
有限情報から全体保証を導く数学的な橋
ここは構造側の観測だけでは埋めない。
8｜逃げ先から境界まで
最初から境界を探していたわけではない。
Collatzを観測する
→ 軌道を追う
→ 閉じない
→ 逃げるものを見る
→ 逃げ先を追う
→ 拘束を増やす
→ 逃げ場を削る
→ Uが縮む
→ 有限と極限の問題が残る
→ 有限／無限そのものを観測する
→ 境界が見えるつまり、
境界という答えを先に置いてCollatzを当てはめたのではない。
逃げるものを追い続けた結果として、境界に到達した。
この到達経路そのものが、今回の観測研究の中心にある。
9｜数学への問い
三つの観測経路から、同じ境界が見えた。
三方向から見えた「有限情報・有限拘束から全体保証へ移行する境界」は、数学では何なのか。
そしてCollatz予想を閉じるには、そこで何を証明する必要があるのか。
10｜逃げ先から境界へ
Collatz予想は、まだ解けていない。
ただ、この研究では一貫して一つのことをしてきた。
逃げるなら、どこへ逃げるのか。
軌道を追った。
履歴を追った。
逃げ先を分類した。
拘束を増やした。
Uを削った。
有限と無限の遷移そのものも観測した。
その結果、三つの経路が同じ場所を指した。
有限情報・有限拘束から、全体保証へ移行する境界。
この位置が数学的にも意味を持つのか。
意味を持つなら、数学では何として記述されるのか。
※調べた結果 同じではないみたい
例えば最小の構造で A 世界、無限の世界 B
これやったら ワンちゃん 橋がかかるかも
ちょっと考えてみたんですけど 全部違うみたい
だとするんなら 今あるモデルの中でどれが勝てるかを考えた方が 多分 センスがいいんでしょうね。これは難しい
