20260906 Escape Sextant
追記していたら、どうしてもうまく行かない点があり、作成。
20260906 Escape Sextant
ダッシュボードを見ていると、Escape Sextantの記事が一番検索されている。
Escape Sextantは、
Observation→ Derived Object→ 再Observation
という循環を作り、Collatz軌道から得られる複数の数学的情報を接続していく。
そして、その反復によって許されるhistoryが少しずつ狭まり、最後には反例を排除できるのではないか。
そこまでを証明戦略として置いた。
ただ、実際にはその先まで進めている。
noteに全部書くとあまりにも長くなるので、ここでは確認できたことだけを書く。
結論から言う。
現在のEscape Sextantは、Collatzを見る新しい視点や数学的整理にはなり得る。
しかし、現在の構造を反復するだけではCollatz予想の証明にはならない。
ここはかなりはっきりした。
理由は、Escape Sextantが扱っている情報の多くが、もともとCollatz軌道自身から取り出されたものだからである。
偏差を見る。
到達時間を見る。
局所的な上昇を見る。
valuationを見る。
合同類を見る。
symbolic historyを見る。
そこから別の数学量を作り、また元の軌道を読む。
つまり、
Collatz軌道→ 情報を取り出す→ 別の数学的表現へ変換する
→ さらに詳しく軌道を読むということをしている。
これは無意味ではない。
むしろ、軌道の構造を見る装置としてはかなり使える。
ただし、
軌道について詳しく分かることと、その軌道が存在できないことを示すことは別である。ここが証明との境界だった。
たとえばC6では、historyから単調に蓄積する量を作ることができる。
Z_(n+1) - Z_n = (1/3) × 2^(-D_n) > 0なので、Zは確かに単調に増える。
これは数学的に成立している。
しかし、Zが単調に増えることだけではCollatz予想は証明できない。
証明へ使うなら、Zには越えられない上限がある
一方で、
非収束軌道が存在すればZはその上限を破る
というような、両立不能な条件まで必要になる。
現在得られているのは「単調に蓄積する量がある」というところである。
そこから、
「だから非収束軌道は存在できない」までは出てこない。
first-passageも同じだった。
C1やC2では、
いつ戻ったか
どれだけ回復に時間がかかったかをかなり正確に記述できる。
τ = inf { L : condition }
という形でfirst-passage timeを定義することもできる。
しかし、τを定義できることと、
すべての正整数について τ < ∞ であることは全く別である。
戻ってきた軌道について、
「何ステップで戻ったか」は測れる。
しかしCollatz予想で必要なのは、
「すべての軌道が必ず戻る」という保証である。
測れることと、保証できることは違う。
Congruence Geometryでも同じ壁が出た。
valuation prefixを固定すると合同類が絞られ、さらに条件を追加するとcylinderを細かくしていける。
C(P⌢m) ⊂ C(P)
という形で、候補集合は確かに狭くなる。
これは前の記事で置いた、
Ω_0 ⊇ Ω_1 ⊇ Ω_2 ⊇ …という構造にかなり近い。
条件を重ねるほど、許されるhistoryが減っていく。
一見すると、このまま最後には反例が消えそうに見える。
しかし、ここにも決定的な違いがある。
集合が狭くなることと、最後に非収束historyが一つも残らないことは同じではない。
いくら細くしても、その全条件を満たす一本のhistoryが残る可能性はある。
必要なのは、
Ω_0 ∩ Ω_1 ∩ Ω_2 ∩ …の中に非収束historyが存在しないことを示すこと。
ところが、それを示そうとすると、結局また
「非収束するCollatz軌道は存在しない」
という元の問題に近い場所へ戻ってくる。
ここで、Escape Sextantの限界が見えた。
Escape Sextantは、反例候補を見ることができる。
分類することができる。
条件を重ねて細くすることもできる。
複数の数学的座標から同じ軌道を読むこともできる。
しかし、
反例そのものを存在不能にする独立した拘束を、現在の構造は持っていない。
だから、
Observation→ Derived Object→ Observation→ Derived Object
を何度繰り返しても、
情報は増える。
観測解像度も上がる。構造も細かくなる。
しかし、それだけでは証明能力は増えない。
Local relations→ Global constraint
という橋は、そのまま残った。
これはEscape Sextantを作った意味がなかった、という話ではない。
むしろ逆である。
実際にここまで作ったことで、
どこまでが数学的に追えるのか。
どこまでは単なる情報の変換なのか。
どこから先に、本当に別の拘束が必要なのか。
その境界がかなりはっきりした。
そして、ここから別の問題が見えてきた。
Collatz予想では、
写像を定義する。
有限観測で現象を見る。
有限部分で成立する関係を閉じる。
部品同士の接続規則を書く。
その接続が、すべての正整数とその全未来について例外を残さないことを示す。
という流れを考えることができる。
しかし、5だけは性質が違う。
1から4までをどれだけ厳密にしても、
すべての正整数について、
どれだけ先まで軌道が続いても、
例外が一つもないという保証は別に必要になる。
有限範囲をどれだけ広げても、有限は有限である。
一つの軌道をどれだけ長く追っても、その先の全未来まで保証したことにはならない。
つまり問題は、
有限の中に無限が突然現れたというより、
有限に記述できる局所規則から、無限個の初期値と無制限の未来についての全域保証を要求している
ということだった。
ここで、問いの順番そのものを疑う必要が出てきた。
有限で観測できたこと。
有限で証明できたこと。
局所的に閉じた構造。
それらと、全域で成立することを最初から同じ座標で扱ってよいのか。
有限で閉じたものを、どの条件が揃えば全体へ延長してよいのか。
逆に、どこから先は未確定として残さなければならないのか。
Escape Sextantを進めた結果、Collatz予想が簡単になったわけではない。
むしろ、問題を分解したことで、難しさが発生している場所が以前よりはっきりした。
最初は、
「すべての正整数は最終的に1へ到達するのか」
という一つの問いだった。
そこを分解すると、
局所関係を作る問題
軌道を観測する問題
historyを分類する問題
候補を絞る問題
そして、
有限から全域へ何を根拠に進めるのかという別の問題が現れた。
難しい問題を簡単にしたのではない。
難しい問題を分解した結果、さらに一般的な難所が見えた。
Escape SextantはCollatz予想の証明にはならなかった。
しかし、
「どこまで進めても証明にはならないのか」は見えるようになった。
そして最後に残ったのが、
有限に閉じられる局所構造と、無限に要求される全域保証を、そもそも同じ問題として扱ってよいのか。という問いだった。
だからこそ、Xモデルが誕生する。
※ノートを細かく更新するとしんどい
