Bayesian nonparametric inference on a Fr\'echet class

TL;DR

This paper develops Bayesian nonparametric methods for inferring joint distributions with fixed marginals using exchangeable sequences and de Finetti's theorem, providing prior and posterior analysis on Fréchet classes.

Contribution

It introduces new Bayesian nonparametric priors on classes of probability measures with fixed marginals and derives their posterior distributions, extending inference on Fréchet classes.

Findings

Constructed priors on probability measures with fixed marginals.

Derived explicit posterior distributions for these priors.

Extended the framework to measures with a fixed marginal on one space.

Abstract

Let $(\mathcal{X},\mathcal{F},\mu)$ and $(\mathcal{Y},\mathcal{G},\nu)$ 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 $\Gamma(\mu,\nu)$ be the collection of all probability measures $p$ on $\mathcal{F}\otimes\mathcal{G}$ such that $$p\bigl(A\times\mathcal{Y}\bigr)=\mu(A)\quad\text{and}\quad p\bigl(\mathcal{X}\times B\bigr)=\nu(B)\quad\text{for all }A\in\mathcal{F}\text{ and }B\in\mathcal{G}.$$ In this paper, we build some probability measures $\Pi$ on $\Gamma(\mu,\nu)$. In addition, for each such $\Pi$, we assume that $(Z_n)$ is exchangeable with de Finetti's measure $\Pi$ and we evaluate the conditional distribution $\Pi(\cdot\mid Z_1,\ldots,Z_n)$. In Bayesian nonparametrics, if $(Z_1,\ldots, Z_n)$ are the available data, $\Pi$ and $\Pi(\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 $\mu$ and $\nu$. Finally, analogous results are obtained for the set $\Gamma(\mu)$ of those probability measures on $\mathcal{F}\otimes\mathcal{G}$ with marginal $\mu$ on $\mathcal{F}$ (but arbitrary marginal on $\mathcal{G}$). That is, we introduce some priors on $\Gamma(\mu)$ and we evaluate the corresponding posteriors.