境界モデル　入れたら面白そうな問題候補

目的

境界モデルをCollatz以外の数学対象へ適用し、

「有限側では分かるのに、全体化すると何が閉じなくなるのか」

を観測する。

問題を解くこと自体を目的としない。

対象
→ 問う性質
→ 有限観測系
→ 有限段階で何が確定するか
→ 何が残るか
→ 全体化すると何が変わるか
→ 決定遅延型／逐次回収型／どちらでもない

という順序で観測する。

1｜Unfriendly Partition

有限側：
有限グラフでは unfriendly partition の存在を示せる。

全体側：
可算無限グラフへ拡張すると、一般の場合には未解決部分が残る。

見るポイント：
「有限では成立する」という構造の何が、無限化すると運べなくなるのか。

境界モデルとの相性：
非常に高い。

有限 → 成立
無限化 → 未確定

という差が明瞭なので、最初のテスト対象候補。

2｜無限グラフの Hamiltonicity

有限側：
有限グラフについてはHamilton cycleに関する多くの定理が存在する。

全体側：
locally finite infinite graphへ移ると、有限版の結果をそのまま拡張できない問題が現れる。

さらに、無限グラフでは「cycleを何として扱うか」自体にも構造上の違いが現れる。

見るポイント：
有限対象を単純に巨大化しただけではなく、無限化によって対象・性質の型そのものが変わっていないか。

境界モデルとの相性：
非常に高い。

「有限→無限＝量の増加ではなく型変換」という観測を直接試せる可能性がある。

3｜Local-to-Global 問題

有限／局所側：
有限半径・局所構造を観測する。

全体側：
グラフ全体などの大域的性質を問う。

見るポイント：
局所情報をどれだけ増やせば大域性が決まるのか。

局所観測
→ 局所観測
→ 局所観測
→ …
→ 大域性？

という構造をそのまま境界モデルへ投入できる。

特に決定遅延型との比較対象として有力。

4｜Hasse原理の破れ

局所側：
複数の局所的な世界では解が存在する。

大域側：
それらを満たしていても、有理数上では解が存在しない場合がある。

見るポイント：
「局所的に全部通る」と「大域的に成立する」の間に何が不足しているのか。

局所成立
→ 局所成立
→ 局所成立
→ …
→ 大域成立とは限らない

という構造。

Collatzとはかなり異なる対象なので、境界モデルの横断性を見るテストとして面白い。

5｜Compactness / Inverse Limit 系

有限側：
有限個の条件、有限近似、有限射影を扱う。

全体側：
それらを全て同時化した極限対象を扱う。

見るポイント：
有限段階の情報が

・最後まで決定を生まないのか
・順番に情報を回収しているのか
・全体化した瞬間に別の現象が起きるのか

を観測する。

境界モデルで既に出ている

決定遅延型
逐次回収型

との比較基準として使いやすい。

6｜無限グラフの Ends

有限側：
任意の有限範囲だけを観測する。

全体側：
無限に伸びる方向・構造を区別する。

見るポイント：
有限観測では区別できない対象が、全体構造ではどう分離されるか。

これは

有限観測では非識別
→ 観測範囲を拡張
→ それでも有限
→ 全体化
→ 識別

という境界が現れる可能性がある。

優先候補

第一候補：
Unfriendly Partition

第二候補：
無限グラフの Hamiltonicity

第三候補：
Hasse原理の破れ

観測ルール

各問題について、最初から決定遅延型／逐次回収型へ押し込まない。

対象を観測
→ 有限側を確認
→ 全体側を確認
→ 差分を抽出
→ 境界がどこに発生するか確認
→ 最後に既存類型と比較

とする。

研究上の目的

Collatz
→ 境界構造を観測
→ 決定遅延型／逐次回収型を抽出

ここまでは完了。

次は逆方向。

境界モデル
→ 別の数学問題へ投入
→ 同じ境界様式が現れるか観測

結果は三通り。

二様式のどちらかが現れる
→ モデルの適用可能範囲が広がる

両方が現れる
→ 同一対象に複数境界が存在する可能性

どちらにも入らない
→ 既存モデルの適用外、または第三様式候補

現在の問い

「この問題は解けるか？」

ではない。

「この問題では、有限側から全体側へ移るとき、何が運べなくなっているのか？」

これを境界モデルで観測する。