Dirichlet is Natural - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Dirichlet is Natural

Résumé

Giry and Lawvere's categorical treatment of probabilities, based on the probabilistic monad G, offer an elegant and hitherto unexploited treatment of higher-order probabilities. The goal of this paper is to follow this formulation to reconstruct a family of higher-order probabilities known as the Dirichlet process. This family is widely used in non-parametric Bayesian learning. Given a Polish space X, we build a family of higher-order probabilities in G(G(X)) indexed by M * (X) the set of non-zero finite measures over X. The construction relies on two ingredients. First, we develop a method to map a zero-dimensional Polish space X to a projective system of finite approximations, the limit of which is a zero-dimensional compactification of X. Second, we use a functorial version of Bochner's probability extension theorem adapted to Polish spaces, where consistent systems of probabilities over a projective system give rise to an actual probability on the limit. These ingredients are combined with known combinatorial properties of Dirichlet processes on finite spaces to obtain the Dirichlet family D X on X. We prove that the family D X is a natural transformation from the monad M * to G • G over Polish spaces, which in particular is continuous in its parameters. This is an improvement on extant constructions of D X [17,26].
Fichier principal
Vignette du fichier
mfps31.pdf (461.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01256903 , version 1 (15-01-2016)

Identifiants

Citer

Vincent Danos, Ilias Garnier. Dirichlet is Natural. MFPS 31 - Mathematical Foundations of Programming Semantics XXXI, Jun 2015, Nijmegen, Netherlands. pp.137-164, ⟨10.1016/j.entcs.2015.12.010⟩. ⟨hal-01256903⟩
217 Consultations
188 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More