Representable Markov categories and comparison of statistical experiments in categorical probability

Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely used way of comparing probability distributions by their spr...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 961; s. 113896
Hlavní autoři: Fritz, Tobias, Gonda, Tomáš, Perrone, Paolo, Fjeldgren Rischel, Eigil
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 15.06.2023
Témata:
Blackwell–Sherman–Stein Theorem
Categorical probability
Comparison of statistical experiments
Kleisli category
Markov category
Second-order stochastic dominance
Kleisli category
Second-order stochastic dominance
Categorical probability
Markov category
Blackwell–Sherman–Stein Theorem
Comparison of statistical experiments
ISSN:0304-3975, 1879-2294
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely used way of comparing probability distributions by their spread. Furthermore, we lay the foundation for the theory of comparing statistical experiments within Markov categories by stating and proving the classical Blackwell–Sherman–Stein Theorem. Our version not only offers new insight into the proof, but its abstract nature also makes the result more general, automatically specializing to the standard Blackwell–Sherman–Stein Theorem in measure-theoretic probability as well as a Bayesian version that involves prior-dependent garbling. Along the way, we define and characterize representable Markov categories, within which one can talk about Markov kernels to or from spaces of distributions. We do so by exploring the relation between Markov categories and Kleisli categories of probability monads.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2023.113896