[論文レビュー] Separation and Gluing of Explanations on Sites of Dynamical Systems

Paul Z. Wang|arXiv (Cornell University)|Mar 17, 2026

Computability, Logic, AI Algorithms被引用数 0

ひとこと要約

この論文は、o-ノミアル設定における definable Mealy 機械の Grothendieck サイトを構築し、説明のプレシェafを定義し、局所的な説明が分離および/または接着する条件を階層的な商集合と ε-近似セクションの枠組みを追加して分析する。

ABSTRACT

We construct a Grothendieck site whose objects are Mealy machines over definable sets in an o-minimal structure and whose coverings are jointly surjective families of definable open immersions. On this site, we define presheaves of explanations -- systems equipped with an interpretable interface, parameterised by a ``judge.'' We prove that the behavioral presheaf (quotienting by observable output equivalence) is separated: a global explanation is determined by its local restrictions. We show that gluing fails in general -- locally consistent explanations need not assemble globally -- and give, for stateless explanatory systems of the restricted-interface presheaf, a necessary and sufficient topological condition for the sheaf property in terms of robust disconnection of fibers of the judge.

研究の動機と目的

• サイト動力学系のシアの理論を用いた局所→全体の解釈可能性の視点を動機付ける。
• judge によってパラメータ化された説明のプレシェaf を定義し、分離と接着の性質を研究する。
• 様々な商に対して局所的な説明が全局的な説明へ接着する条件を特徴づける。
• 解釈可能性を o-ノミアルな穏やかな幾何学と橋渡しし、シアの性質の位相条件を確立する。

提案手法

• Grothendieck サイト Sys_oi を、o-ノミアル構造内の definable 集合上の定義可能な異種Mealy機械の開集合写像として定義する。
• 説明プレシェaf の階層を導入する：tilde F_j, F_j, F_j^beh, F_j^ri を、cogerm および行動的同値などの同値類を法として同値化する。
• 行動的プレシェaf F_j^beh が分離されていることを証明する。すなわち、グローバルな説明は局所的制限によって決定される。
• 一般にはプレシェafの接着は成り立たないことを示し、restricted-interface stateless プレシェaf F_j,1^ri がシアになるための judge のロバストな分離性のような位相条件を提供する。
• ε-近似セクションを導入し、Helly の定理を適用して出力次元に応じた障害深度を境界づける。

実験結果

リサーチクエスチョン

• RQ1 Sys_oi サイトでパッチ上の局所的な説明がグローバルな説明へ接着するのはいつか。
• RQ2 分離や接着を保証する judge の位相的または幾何学的条件は何か。
• RQ3 インタフェースを制限した場合（F_j^ri）は接着と分離の性質をどのように変えるか。
• RQ4 ε-近似セクションは Helly 型の障害と global reconciliation の関係にどう影響するか。
• RQ5 動的系のオ-ノミアル穏和な幾何設定から得られる解釈可能性の知見は何か。

主な発見

• 行動的プレシェaf F_j^beh は分離されている：グローバルな説明は局所的制限によって決定される。
• cogerm プレシェaf F_j の接着は成り立つが、一般には F_j^beh には成り立たない。
• restricted-interface プレシェaf F_j^ri の接着は j-全体の被覆に依存し、一般には成り立たないことがある。
• F_j,1^ri のシア性と judge の堅牢に分離されたファイバーの不在との厳密な位相条件が結びつく。
• ε-近似セクションは常にシアを成し、分離は自明で、点ごとの ε-制約により接着が従う。
• Helly の定理は障害深度を dim(O') + 1 で境界づけ、出力空間の次元と和解の複雑さを結びつける。