arXiv2025
Let $(\mathcal{X},\mathcal{F},μ)$ and $(\mathcal{Y},\mathcal{G},ν)$ be probability spaces and $(Z_n)$ a sequence of random variables with values in $(\mathcal{X}\times\mathcal{Y},\,\mathcal{F}\otimes\mathcal{G})$. Let $Γ(μ,ν)$ be the collection of all probability measures $p$ on $\mathcal{F}\otimes\mathcal{G}$ such that $$p\bigl(A\times\mathcal{Y}\bigr)=μ(A)\quad\text{and}\quad p\bigl(\mathcal{X}\times B\bigr)=ν(B)\quad\text{for all }A\in\mathcal{F}\text{ and }B\in\mathcal{G}.$$ In this paper, we build some probability measures $Π$ on $Γ(μ,ν)$. In addition, for each such $Π$, we assume that $(Z_n)$ is exchangeable with de Finetti's measure $Π$ and we evaluate the conditional distribution $Π(\cdot\mid Z_1,\ldots,Z_n)$. In Bayesian nonparametrics, if $(Z_1,\ldots, Z_n)$ are the available data, $Π$ and $Π(\cdot\mid Z_1,\ldots, Z_n)$ can be regarded as the prior and the posterior, respectively. To support this interpretation, it suffices to think of a problem where the unknown probability distribution of some bivariate phenomenon is constrained to have marginals $μ$ and $ν$. Finally, analogous results are obtained for the set $Γ(μ)$ of those probability measures on $\mathcal{F}\otimes\mathcal{G}$ with marginal $μ$ on $\mathcal{F}$ (but arbitrary marginal on $\mathcal{G}$). That is, we introduce some priors on $Γ(μ)$ and we evaluate the corresponding posteriors.