Closure Model
― 有限から無限へ移る「問題発生点」を発見する探索モデル ―
1｜核
有限なら閉じる。では、どこで何をした瞬間に閉じなくなったのか？
Closure Modelは、問題に理論を足して解こうとする前に、有限側で保証できる領域を確定し、その保証が失われる最初の地点＝問題発生点を特定する。
そして、その地点で失われた保証だけを取り出し、それを閉じるために本当に必要な「橋」を探す。
2｜基本構造
対象を最小化
↓
有限側でClosure
↓
問題発生点を特定
「どこで有限 → 無限になったか」
↓
失われた保証を抽出
↓
必要な保証橋だけを探す
↓
有限側へ戻してClosureできるか検査
重要なのは、
何の理論が使える？
から始めないこと。
先に、
何が保証できなくなった？
を確定する。
すると、
問題 → 理論を探す
ではなく、
問題発生点 → 必要な機能 → その機能を持つ既存数学を逆引きする
という探索になる。
3｜中心となる観測
今回、複数の未解決問題を横断すると、有限→無限の移行には異なる形が観測された。
Collatz → 有限時間 → 任意時間
Goldbach / 双子素数 → 有限範囲 → 無限個の整数
Hadwiger → 個別有限構造 → 全有限構造族
Navier–Stokes → 局所・有限時間 → global
P vs NP → 個別有限入力 → 全入力サイズへの一様bound
奇数完全数 → 有限条件による候補排除 → 候補全体の完全排除
形は違う。
しかし共通する骨格は、
有限側では処理できる
↓
任意の有限範囲でも処理できる
↓
【問題発生点】
↓
「すべて・永遠・無限回・一様に」
という保証が必要になる
↓
有限側の保証だけでは届かない
という構造だった。
したがって現時点の中心仮説は、
未解決性の少なくとも一部は、対象そのものの複雑さだけでなく、「有限側で成立する保証を無限側へ持ち上げる橋」が不足する地点として観測できる。
ここは一般定理としてはまだ固定しない。
4｜保証核 K
問題を削っていったとき、
これさえ保証できれば問題が閉じる
という最小条件を 保証核 K として扱う。
探索方向は、
元問題
↓
表現・補助構造を削除
↓
保証条件だけ残す
↓
K
となる。
以降の理論は、
Kを保証するのに本当に必要か？
だけで評価する。
説明には役立つがKを削らない理論なら、Coreから外せる。
5｜無限から有限へ戻す
Closure Modelで特に重要になったのがここ。
問題発生点が
有限 → 無限
なら、無限を直接支配する以外に、
無限が存在するなら、有限側に必ず何が現れるか？
を問える。
概念形は、
無限escapeを仮定
↓
必ず現れる有限痕跡
↓
有限比較構造
↓
有限obstruction / 強制下降
↓
矛盾または保証核K
となる。
ここから既存数学を名前ではなく機能で探せる。
たとえば、
König / compactness
→ 無限から構造化されたbranchを取り出す
Higman / Kruskal / WQO
→ 無限列から有限の比較可能構造を取り出す
Dickson / finite basis
→ 無限候補を有限obstructionへ圧縮する
ranking / Size-Change
→ 有限比較構造から下降を強制する
induction / minimal counterexample
→ well-foundednessを使ってClosureする
という配置になる。
これらが特定問題で実際に接続できるかは別途証明が必要。
6｜Collatzでのケーススタディ
Collatzでは非常に深く削った。
出発点：
全正整数は最終的に1へ到達するか？
まず有限降下へ変形した。
任意の n>1 が有限時間で一度でも n より小さくなることを保証できるか？
そこから、
Collatz
↓
finite descent
↓
odd-step / valuation
↓
valuation history
↓
2-adic history
↓
critical density
↓
discrepancy + additive correction
↓
Escape Functional
↓
(t,m,W)
↓
nested residue
↓
固定された自然数Nが
永久にfinite descentを回避できるか
まで削った。
そして最後には、
固定Nが永久に降下回避できないことを保証できるか
という、ほぼ元の保証核へ戻った。
ここが重要だった。
大量の数学的表現を通った結果、
これ以上削ると元問題そのものになる地点
を観測できた。
これをClosure Boundaryとして扱える。
7｜このモデルが現在できること
現時点で実際に確認できた機能は、
① 問題を有限側と無限側に分離する
② 保証が失われる地点を露出する
③ 問題を保証核Kまで圧縮する
④ 既存理論を「保証橋として何をするか」で再配置する
⑤ 不要な探索枝を切る
⑥ 無限問題を有限obstructionへ戻せないか探索する
こと。
一方、
Closure Modelそのものが未解決問題を証明する
ことはまだ確認されていない。
したがって現在の位置づけは、
証明理論ではなく、問題の保証構造を削り、問題発生点と必要な保証橋を特定する探索モデル。
が最も正確。
8｜三層構造
これ以上膨らませないため、本体は三層で止める。
Core
有限なら閉じる。どこで何をした瞬間に閉じなくなった？
Observation
有限→無限には、時間・対象集合・構造族・一様性・極限など複数の形がある。
Case Study
Collatz等へ実際に適用し、保証核・問題発生点・必要な橋を抽出する。
Closure Model｜最終圧縮
問題を広げて解法を探すのではない。
有限側で閉じるところまで削る。
閉じなくなる最初の矢印を見つける。
そこで失われた保証を特定する。
その保証を閉じるために必要な橋だけを探す。
有限 → 問題発生点 → 無限
を発見し、
無限 → 有限痕跡 → 保証核K → Closure
へ戻せるかを探索する。
これが、今の Closure Model の核と理論全体
