From Moore-Penrose to Markov via Gauss
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917160089026560 |
|---|---|
| author | Comfort, Cole Lemay, Jean-Simon Pacaud |
| author_facet | Comfort, Cole Lemay, Jean-Simon Pacaud |
| contents | Markov categories are the central framework for categorical probability theory. Many important concepts from probability theory can be formalized in terms of Markov categories. In particular, conditional probability distributions and Bayes' theorem are captured via the notion of conditionals in a Markov category. Gaussian probability theory gives an example of a Markov category with conditionals, where the conditionals can be computed using the Moore-Penrose inverse. In this paper, we introduce the Gauss construction on a Moore-Penrose dagger additive category, producing a Markov category with conditionals. Applying the Gauss construction to the category of real matrices recaptures the Gaussian probability theory example, while applying it to the category of complex (resp. quaternionic) matrices gives us new Markov categories of proper complex (resp. quaternionic) Gaussian conditional distributions. Moreover, we also characterize all possible conditionals in the Gauss construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_18364 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | From Moore-Penrose to Markov via Gauss Comfort, Cole Lemay, Jean-Simon Pacaud Category Theory 18M40, 15A10, 60E05 Markov categories are the central framework for categorical probability theory. Many important concepts from probability theory can be formalized in terms of Markov categories. In particular, conditional probability distributions and Bayes' theorem are captured via the notion of conditionals in a Markov category. Gaussian probability theory gives an example of a Markov category with conditionals, where the conditionals can be computed using the Moore-Penrose inverse. In this paper, we introduce the Gauss construction on a Moore-Penrose dagger additive category, producing a Markov category with conditionals. Applying the Gauss construction to the category of real matrices recaptures the Gaussian probability theory example, while applying it to the category of complex (resp. quaternionic) matrices gives us new Markov categories of proper complex (resp. quaternionic) Gaussian conditional distributions. Moreover, we also characterize all possible conditionals in the Gauss construction. |
| title | From Moore-Penrose to Markov via Gauss |
| topic | Category Theory 18M40, 15A10, 60E05 |
| url | https://arxiv.org/abs/2512.18364 |