[論文レビュー] T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies

Philippe Gaucher|ArXiv.org|May 16, 2005

Topological and Geometric Data Analysis参考文献 16被引用数 7

ひとこと要約

この論文は、一般化された T-ホモトピー同値性が、高次元オートマトンにおける非決定的動作を検出するための主要な不変量である、流れの分岐および合流ホモロジー理論を保存することを確立している。Reedy モデル圏の技法を用いて、完全な方向付き球のホモトピー的分岐および合流空間が収縮可能であることを証明し、観測の細分化に対する不変性を保証している。

ABSTRACT

This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this third part, it is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. These homology theories are of interest in computer science since they detect the non-deterministic branching and merging areas of execution paths in the time flow of a higher dimensional automaton. The proof is based on Reedy model category techniques.

研究の動機と目的

• 流れの圏において、一般化された T-ホモトピー同値性の下で分岐および合流ホモロジー理論が不変であることを確立すること。
• 観測の細分化（例えば、時間区間の分割）をモデル化することで、並列システムの根本的な非決定的特徴が変化しないという幾何的直感を形式化すること。
• 完全な方向付き球のホモトピー的分岐および合流空間が収縮可能であることを示すこと。これは不変性証明の中心的役割を果たす。
• 分岐および合流構造に関連する図式のコロイミットを解析するための Reedy モデル圏フレームワークを構築すること。
• ホモロジー理論が、観測スケールに依存しない、非決定的分岐および合流といった恒久的なコンピュータ科学的性質を検出できることを保証すること。

提案手法

• 先行研究で確立された、流れの圏における弱 S-ホモトピー型モデル構造を、基礎的枠組みとして用いる。
• 任意のループレスな流れ $X$ および状態 $\alpha$ に対して、分岐空間 $\mathbb{P}_{\alpha}^{-}X$ をコロイミットとして計算する、位相空間の図式 $\mathcal{P}_{\alpha}^{-}(X)$ を導入する。
• 局所有限順序集合 $X^0$ の場合に、$\mathcal{P}_{\alpha}^{-}(X)$ のインデックス圏に Reedy 構造を構成し、コロイミット関手を左 Quillen 関手に変換する。
• 流れの圏 $\mathbf{Flow}$ におけるセル複体である $X$ の場合に、図式 $\mathcal{P}_{\alpha}^{-}(X)$ が Reedy コイリントであることを証明する。
• Reedy モデル圏の技法を適用し、任意の非最終状態における完全な方向付き球のホモトピー的分岐空間が収縮可能であることを示す。
• 押し出しとコイリントの逐次的反復（混合超限合成を介して）を用いて、一般化された T-ホモトピー同値性への結果の一般化を行う。

実験結果

リサーチクエスチョン

• RQ1 一般化された T-ホモトピー同値性は、流れの分岐および合流ホモロジー理論を保存するか？
• RQ2 流れにおける完全な方向付き球の分岐空間のホモトピー型は何か？
• RQ3 Reedy モデル圏フレームワークを用いて、流れにおける分岐および合流図式のコロイミットを解析できるか？
• RQ4 完全な方向付き球のホモトピー的分岐空間は、すべての非最終状態に対して収縮可能か？
• RQ5 T-ホモトピーによってモデル化される観測の細分化は、どのように高次元オートマトンにおける非決定的特徴を保存するのか？

主な発見

• 最終状態を除く任意の状態における完全な方向付き球のホモトピー的分岐空間は収縮可能であり、最終状態では空集合である。
• 一般化された T-ホモトピー同値性は、すべての $n \geq 0$ に対して $n$-番目の分岐ホモロジー群 $H_n^-$ および合流ホモロジー群 $H_n^+$ を保存する。
• 一般化された T-ホモトピー同値性 $f: X \to Y$ によって誘導される射 $H_n^-(f): H_n^-(X) \to H_n^-(Y)$ および $H_n^+(f): H_n^+(X) \to H_n^+(Y)$ は、アーベル群の同型である。
• 図式圏における Reedy モデル圏構造により、分岐空間を計算するコロイミットがホモトピー的コロイミットと整合する。
• 証明は、弱 S-ホモトピー型モデル構造の左固有性に依存しており、主な議論のなかで二度用いられている。
• T-ホモトピーの下での分岐および合流ホモロジーの不変性は、観測の細分化に対する並列システムにおける不変量としての頑健性を裏付けている。