[論文レビュー] The zero-one laws of Kolmogorov and Hewitt--Savage in categorical probability

T. A. Fritz, Eigil Fjeldgren Rischel|arXiv (Cornell University)|Dec 5, 2019

Advanced Topology and Set Theory被引用数 5

ひとこと要約

この論文は、確率の圏的基盤であるマーキov圏の枠組みの中で、コルモゴロフのおよびヒュイット–サヴェッジの零–一法則を一般化する。測度論的確率論を超えて、例えばヒッパースペースモナドを介した位相的設定においても適用可能な普遍的なバージョンのこれらの法則を確立し、無限積からハウスドルフ空間への写像が定数である条件を導く。

ABSTRACT

We state and prove the zero--one laws of Kolmogorov and Hewitt--Savage within the setting of Markov categories, a category-theoretic approach to the foundations of probability and statistics. This gives general versions of these results which can be instantiated not only in measure-theoretic probability, where they specialize to the standard ones in the setting of standard Borel spaces, but also in other contexts. For example, applying the Kolmogorov law to the Kleisli category of the hyperspace monad on topological spaces gives criteria for when maps out of an infinite product of topological spaces into a Hausdorff space are constant.

研究の動機と目的

• マーキov圏を用いて、確率のための圏的枠組みを用いて、古典的な零–一法則を拡張すること。
• 測度論的および位相的確率の両方を含む多様な数学的文脈において、交換可能性と尾事象の取り扱いを統一すること。
• 標準的なボレル空間で既知の結果に特化する一般的な圏的定式化を提供し、他の文脈で新たな知見をもたらすこと。
• この枠組みの有用性を示すために、無限積からハウスドルフ空間への写像の定数性に関する新しい結果を導出すること。

提案手法

• 確率論をマーキov圏を用いて形式化し、確率的過程のための構成的・圏的言語を提供する。
• マーキov圏の文脈で交換可能および尾的射を定義し、交換可能性と尾事象の確率論的概念を一般化する。
• 位相空間上のヒッパースペースモナドのクリースリ圏にこの圏的枠組みを適用し、零–一法則の位相的類似を導出する。
• マーキov圏の構造を用いて、交換可能性および尾的条件の下で特定の射が定数でなければならないことを証明する。
• この圏的設定において零–一法則が普遍的に成り立つことを確立し、測度論的および非測度論的文脈の両方での具体例を提示する。
• 圏的結果が標準的なボレル空間において古典的な法則のバージョンを回復することを検証し、測度論的確率論と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 コルモゴロフおよびヒュイット–サヴェッジの零–一法則は、確率の一般な圏的枠組みにおいてどのように再定式化できるか？
• RQ2 マーキov圏において、射が尾的または交換可能な構造上で定数であることを示す条件は何か？
• RQ3 測度論的でない文脈では、どのような設定で零–一法則が依然として成り立ち、何を意味するか？
• RQ4 位相空間上のヒッパースペースモナドは、尾事象および交換可能性の圏的定式化とどのように関係するか？
• RQ5 圏的アプローチにより、例えば無限積からハウスドルフ空間への写像の定数性といった、位相における新しい結果が得られるか？

主な発見

• 零–一法則はマーキov圏へ一般化され、交換可能性と尾事象の統一的な圏的基盤が提供される。
• 位相空間上のヒッパースペースモナドのクリースリ圏において、無限個の空間の積からハウスドルフ空間への写像が交換可能かつ尾的であれば、その写像は必ず定数である。
• この圈权的枠組みは、標準的なボレル空間において古典的な零–一法則を回復し、測度論的確率論と整合性を保つ。
• 結果は確率測度を超えて位相的および代数的構造にも拡張され、広範な適用可能性を示す。
• 従来の測度論的道具が不十分な文脈において、この枠組みが新たな分析的洞察を可能にする。
• 本論文は、マーキov圏における交換可能性および尾的条件が、射の定数性といった強い構造的制約をもたらすことを確立した。