[論文レビュー] A presentation of the category of stochastic matrices

T. A. Fritz|ArXiv.org|Feb 16, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 15

ひとこと要約

本稿では、生成子と関係式を用いて、実数上の列確率的行列の厳密なモノイダル圏としてのカテゴリカルな代数的表現を提示する。確率的写像のカテゴリが、特定の射（融合写像と包含写像）によって生成される自由な厳密モノイダル圏と同型であることを示し、有限基数上の確率的写像のカテゴリを有限個の関係式の下で完全に特徴づける。これにより、普遍代数的構造を用いた確率的過程の完全な代数的特徴づけが可能になる。

ABSTRACT

This note gives generators and relations for the strict monoidal category of probabilistic maps on finite cardinals (i.e., stochastic matrices).

研究の動機と目的

• 確率的行列のカテゴリを厳密モノイダル圏として完全に代数的に提示すること。
• 有限基数上の確率的写像のカテゴリを完全に特徴づける最小の生成子および関係式の集合を同定すること。
• 提示されたカテゴリと実際の確率的行列のカテゴリとの間に同型を確立することで、普遍代数を用いた構造的解析を可能にすること。
• 凸空間の研究を容易にするために、確率的写像の双対ローヴェレ理論の提示を提供すること。

提案手法

• 本稿では、包含写像 $\iota_j^n$ と融合写像 $p_n^m$ を生成子として持つ厳密モノイダル圏 $\mathtt{FinStoMap}'$ を構成し、モノイダル構造は余積によって与えられる。
• 写像は、有限集合間の確率的遷移を表すバイト・ライクな図式として定義され、ストランドが入力を表し、出力と確率的分岐を示す。
• 主な技術的ステップは、$\mathtt{FinStoMap}$ 内の任意の写像が関係式 $f = p_n^m(f\iota_1^m \otimes \cdots \otimes f\iota_m^m)$ を用いてその列ごとの分解に一意に分解できることを示すことであり、これにより写像の構造が確率的行列の列分解と結びつく。
• 関係式 $p_n^m(\iota_1^n \otimes \cdots \otimes \iota_m^n) = \mathrm{id}_{[m]} \otimes \partial^{\otimes(n-m)}$ は、余積構造と融合構造の整合性を保証するために用いられる。
• 主要定理の証明は帰納法と図式的推論に依拠し、方程式 (14) と (15) を用いて生成子の整合性を検証する。
• 写像の生成子への作用によって一意に定まることを示すことにより、$\mathtt{FinStoMap}'$ から $\mathtt{FinStoMap}$ への同型写像 $F: \mathtt{FinStoMap}' \to \mathtt{FinStoMap}$ が確立される。

実験結果

リサーチクエスチョン

• RQ1 確率的行列のカテゴリは、厳密モノイダル枠組み内で有限個の生成子と関係式によって完全に記述可能か？
• RQ2 有限集合上の確率的写像の構造は、普遍的構成を用いてどのように代数的に捉えられるか？
• RQ3 確率的行列のカテゴリにおいて、余積構造と融合操作の間の正確な関係は何か？
• RQ4 列分解を用いて、単一要素入力における振る舞いから、確率的行列のカテゴリをどの程度再構成できるか？
• RQ5 この提示は、凸空間の理論およびその代数的構造とどのように関係しているか？

主な発見

• 確率的行列のカテゴリ $\mathtt{FinStoMap}$ は、包含写像と融合写像によって生成される自由な厳密モノイダル圏と同型であり、有限個の定義関係式を持つ。
• 任意の写像 $f: [m] \to [n]$ は、$f = p_n^m(f\iota_1^m \otimes \cdots \otimes f\iota_m^m)$ として一意に分解され、写像がその列によって完全に決定されることを示している。
• 包含写像と融合写像は関係式 $p_n^m(\iota_1^n \otimes \cdots \otimes \iota_m^n) = \mathrm{id}_{[m]} \otimes \partial^{\otimes(n-m)}$ を満たし、モノイダル構造と整合性を持つ。
• 同型写像 $F: \mathtt{FinStoMap}' \to \mathtt{FinStoMap}$ は、関手が射に関して全単射であり、列分解が逆写像を提供することによって確立される。
• 提示は最小かつ完全である：生成子と関係式は、重複なしに確率的行列の代数的構造を完全に捉えている。
• この結果により、凸空間の普遍代数的記述が可能になり、凸結合が同じ代数的枠組みから生じる。