[論文レビュー] Absolute continuity, supports and idempotent splitting in categorical probability

T. A. Fritz, Tomáš Gonda+3 more|arXiv (Cornell University)|Aug 1, 2023

Bayesian Modeling and Causal InferenceComputer Science被引用数 3

ひとこと要約

この論文は、マーヴィン圏における絶対連続性およびサポートの洗練された概念を導入することで、カテゴリー的確率論を発展させ、恒等的射の分解の一般基準を確立する。標準ボレル空間間の任意の恒等的可測マーヴィン核が、別の標準ボレル空間を介して分解可能であることを証明し、抽象的カテゴリー的枠組みにおける確率的推論の基盤的道具を提供する。

ABSTRACT

Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accommodate purely categorical definitions of notions like conditional probability and almost sure equality, as well as proofs of fundamental results such as the Hewitt--Savage 0/1 Law, the de Finetti Theorem and the Ergodic Decomposition Theorem. In this work, we develop additional relevant notions from probability theory in the setting of Markov categories. This comprises improved versions of previously introduced definitions of absolute continuity and supports, as well as a detailed study of idempotents and idempotent splitting in Markov categories. Our main result on idempotent splitting is that every idempotent measurable Markov kernel between standard Borel spaces splits through another standard Borel space, and we derive this as an instance of a general categorical criterion for idempotent splitting in Markov categories.

研究の動機と目的

• トポロジー的依存を回避する、絶対連続性およびサポートの概念的で不変な枠組みを構築すること。
• 従来のサポートが測度空間の同型に関して不変でないという問題、特に連続的設定において顕在する問題を扱うこと。
• マーヴィン圏における恒等的射の分解の一般的圏的基準を確立すること、確率的構成に適用可能であること。
• 標準ボレル空間間の任意の恒等的可測マーヴィン核が、別の標準ボレル空間を介して分解可能であることを証明すること、重要な構造的結果であること。
• 代表的な確率論的定理（例：デ・フィネッティの定理、エルゴード分解）を高レベルな圏的枠組み内で統一的かつ一般化すること。

提案手法

• 可測射を用いたほぼ確実な等価性の拡張定義を導入し、零集合の圏的取り扱いを可能にする。
• 共通の射を通した因数分解による絶対連続性の定義を採用し、同型に関して不変であることを保証する。
• トポロジーに依存しない、全測度を捉える最小の可測部分対象としてのサポートの概念を提案する。
• サポート完全性の概念を導入し、マーヴィン圏の自由正則サポート完備化を構成する。
• 入出力関係関手を用いて統計的モデルとサポートを関連付け、統計的推論の圏的モデル化を可能にする。
• バランス型の恒等的射とブラックウェル包の構成を用いて、恒等的射の分解の一般的圏的基準を確立する。

実験結果

リサーチクエスチョン

• RQ1 測度空間の同型に関して不変であるような、カテゴリー的定式化における絶対連続性の定義はどのように可能か？
• RQ2 トポロジー的依存を回避する、確率測度のサポートの正しい圏的一般化は何か？
• RQ3 どのような圏的条件下で、恒等的マーヴィン核が分解可能となるか？標準ボレル空間においては保証可能か？
• RQ4 サポートの概念を、本質的な確率的構造を保存する普遍的構成に完成させることは可能か？
• RQ5 入出力関係関手は、統計的モデルおよびマーヴィン圏における条件付き独立性の構造とどのように関係するか？

主な発見

• 本論文は、標準ボレル空間間の任意の恒等的可測マーヴィン核が、別の標準ボレル空間を介して分解可能であることを確立し、カテゴリー的確率論における強力な構造的結果を提供する。
• コンパクトハウスドルフ空間とラドン測度の圏（CHausStoch）が観察的に表現可能であることが証明され、状態が連続関数への積分によって一意に定まることを保証する。
• [0,1] 上に異なるトポロジカルサポート（全範囲対[0,1/2]制限）を持つ2つの測度空間の明示的同型を構成し、サポートが同型に関して不変でないことを示している。
• マーヴィン圏の自由正則サポート完備化が構成され、すべての対象が普遍的に最小のサポート対象を備えることが保証される。
• 入出力関係関手が、確率的構造の主要な性質を保存および反映することが示され、統計的実験の圏的モデル化が可能になる。
• ブラックウェル包の構成が、恒等的射の分解を導出する主要な道具として用いられ、統計的意思決定理論における古典的結果を一般化する。