Compound probability distribution

In probability and statistics, a compound probability distribution (also known as a mixture distribution or contagious distribution) is the probability distribution that results from assuming that a random variable is distributed according to some parametrized distribution, with (some of) the parameters of that distribution themselves being random variables. If the parameter is a scale parameter, the resulting mixture is also called a scale mixture.

The compound distribution ("unconditional distribution") is the result of marginalizing (integrating) over the latent random variable(s) representing the parameter(s) of the parametrized distribution ("conditional distribution").

Definition
A compound probability distribution is the probability distribution that results from assuming that a random variable $$X$$ is distributed according to some parametrized distribution $$F$$ with an unknown parameter $$\theta$$ that is again distributed according to some other distribution $$G$$. The resulting distribution $$H$$ is said to be the distribution that results from compounding $$F$$ with $$G$$. The parameter's distribution $$G$$ is also called the mixing distribution or latent distribution. Technically, the unconditional distribution $$H$$ results from marginalizing over $$G$$, i.e., from integrating out the unknown parameter(s) $$\theta$$. Its probability density function is given by:


 * $$p_H(x) = {\displaystyle \int\limits p_F(x|\theta)\,p_G(\theta) \operatorname{d}\!\theta}$$

The same formula applies analogously if some or all of the variables are vectors.

From the above formula, one can see that a compound distribution essentially is a special case of a marginal distribution: The joint distribution of $$x$$ and $$\theta$$ is given by $$p(x,\theta)=p(x|\theta)p(\theta)$$, and the compound results as its marginal distribution: $$ {\textstyle p(x) = \int p(x,\theta) \operatorname{d}\!\theta } $$. If the domain of $$\theta$$ is discrete, then the distribution is again a special case of a mixture distribution.

General
The compound distribution $$H$$ will depend on the specific expression of each distribution, as well as which parameter of $$F$$ is distributed according to the distribution $$G$$, and the parameters of $$H$$ will include any parameters of $$G$$ that are not marginalized, or integrated, out. The support of $$H$$ is the same as that of $$F$$, and if the latter is a two-parameter distribution parameterized with the mean and variance, some general properties exist.

Mean and variance
The compound distribution's first two moments are given by the law of total expectation and the law of total variance:

$$ \operatorname{E}_H[X] = \operatorname{E}_G\bigl[\operatorname{E}_F[X|\theta]\bigr] $$

$$ \operatorname{Var}_H(X) = \operatorname{E}_G\bigl[\operatorname{Var}_F(X|\theta)\bigr] + \operatorname{Var}_G\bigl(\operatorname{E}_F[X|\theta]\bigr) $$

If the mean of $$F$$ is distributed as $$G$$, which in turn has mean $$\mu$$ and variance $$\sigma^2$$ the expressions above imply $$ \operatorname{E}_H[X] = \operatorname{E}_G[\theta] = \mu $$ and $$ \operatorname{Var}_H(X) = \operatorname{Var}_F(X|\theta) + \operatorname{Var}_G(Y) = \tau^2 + \sigma^2$$, where $$\tau^2$$ is the variance of $$F$$.

Proof
let $$F$$ and $$G$$ be probability distributions parameterized with mean a variance as$$\begin{align} x &\sim \mathcal{F}(\theta,\tau^2) \\ \theta &\sim \mathcal{G}(\mu,\sigma^2) \end{align} $$then denoting the probability density functions as $$ f(x|\theta) = p_F(x|\theta)$$ and $$g(\theta) = p_G(\theta)$$ respectively, and $$h(x)$$ being the probability density of $$H$$ we have$$\begin{align} \operatorname{E}_H[X] = \int_F x h(x)dx &= \int_F x \int_G f(x|\theta) g(\theta) d\theta dx \\ &= \int_G \int_F x f(x|\theta) dx\ g(\theta) d\theta \\ &= \int_G \operatorname{E}_F[X|\theta] g(\theta) d\theta \end{align} $$and we have from the parameterization $$\mathcal{F}$$ and $$\mathcal{G}$$ that$$\begin{align} \operatorname{E}_F[X|\theta] &= \int_F x f(x|\theta)dx = \theta \\ \operatorname{E}_G[\theta] &= \int_G \theta g(\theta)d\theta = \mu \end{align} $$and therefore the mean of the compound distribution $$ \operatorname{E}_H[X] = \mu $$ as per the expression for its first moment above.

The variance of $$H$$ is given by $$\operatorname{E}_H[X^2] - (\operatorname{E}_H[X])^2$$, and$$\begin{align} \operatorname{E}_H[X^2] = \int_F x^2 h(x)dx &= \int_F x^2 \int_G f(x|\theta) g(\theta) d\theta dx \\ &= \int_G g(\theta)\int_F x^2 f(x|\theta) dx\  d\theta \\ &= \int_G g(\theta)(\tau^2+\theta^2)d\theta\\ &= \tau^2\int_G g(\theta)d\theta+\int_Gg(\theta)\theta^2d\theta\\ &= \tau^2+(\sigma^2+\mu^2), \end{align} $$given the fact that $$\int_F x^2 f(x\mid \theta) dx=\operatorname{E}_F[X^2\mid \theta]=\operatorname{Var}_F(X\mid\theta)+(\operatorname{E}_F[X\mid \theta])^2 $$ and $$\int_G \theta^2 g(\theta)d\theta=\operatorname{E}_G[\theta^2 ]=\operatorname{Var}_G(\theta) + (\operatorname{E}_G[\theta])^2 $$. Finally we get$$\begin{align} \operatorname{Var}_H(X) &= \operatorname{E}_H[X^2] - (\operatorname{E}_H[X])^2 \\ &= \tau^2 + \sigma^2 \end{align} $$

Testing
Distributions of common test statistics result as compound distributions under their null hypothesis, for example in Student's t-test (where the test statistic results as the ratio of a normal and a chi-squared random variable), or in the F-test (where the test statistic is the ratio of two chi-squared random variables).

Overdispersion modeling
Compound distributions are useful for modeling outcomes exhibiting overdispersion, i.e., a greater amount of variability than would be expected under a certain model. For example, count data are commonly modeled using the Poisson distribution, whose variance is equal to its mean. The distribution may be generalized by allowing for variability in its rate parameter, implemented via a gamma distribution, which results in a marginal negative binomial distribution. This distribution is similar in its shape to the Poisson distribution, but it allows for larger variances. Similarly, a binomial distribution may be generalized to allow for additional variability by compounding it with a beta distribution for its success probability parameter, which results in a beta-binomial distribution.

Bayesian inference
Besides ubiquitous marginal distributions that may be seen as special cases of compound distributions, in Bayesian inference, compound distributions arise when, in the notation above, F represents the distribution of future observations and G is the posterior distribution of the parameters of F, given the information in a set of observed data. This gives a posterior predictive distribution. Correspondingly, for the prior predictive distribution, F is the distribution of a new data point while G is the prior distribution of the parameters.

Convolution
Convolution of probability distributions (to derive the probability distribution of sums of random variables) may also be seen as a special case of compounding; here the sum's distribution essentially results from considering one summand as a random location parameter for the other summand.

Computation
Compound distributions derived from exponential family distributions often have a closed form. If analytical integration is not possible, numerical methods may be necessary.

Compound distributions may relatively easily be investigated using Monte Carlo methods, i.e., by generating random samples. It is often easy to generate random numbers from the distributions $$p(\theta)$$ as well as $$p(x|\theta)$$ and then utilize these to perform collapsed Gibbs sampling to generate samples from $$p(x)$$.

A compound distribution may usually also be approximated to a sufficient degree by a mixture distribution using a finite number of mixture components, allowing to derive approximate density, distribution function etc.

Parameter estimation (maximum-likelihood or maximum-a-posteriori estimation) within a compound distribution model may sometimes be simplified by utilizing the EM-algorithm.

Examples

 * Gaussian scale mixtures:
 * Compounding a normal distribution with variance distributed according to an inverse gamma distribution (or equivalently, with precision distributed as a gamma distribution) yields a non-standardized Student's t-distribution. This distribution has the same symmetrical shape as a normal distribution with the same central point, but has greater variance and heavy tails.
 * Compounding a Gaussian (or normal) distribution with variance distributed according to an exponential distribution (or with standard deviation according to a Rayleigh distribution) yields a Laplace distribution. More generally, compounding a Gaussian (or normal) distribution with variance distributed according to a gamma distribution yields a variance-gamma distribution.
 * Compounding a Gaussian distribution with variance distributed according to an exponential distribution whose rate parameter is itself distributed according to a gamma distribution yields a Normal-exponential-gamma distribution. (This involves two compounding stages. The variance itself then follows a Lomax distribution; see below.)
 * Compounding a Gaussian distribution with standard deviation distributed according to a (standard) inverse uniform distribution yields a Slash distribution.
 * Compounding a Gaussian (normal) distribution with a Kolmogorov distribution yields a logistic distribution.
 * other Gaussian mixtures:
 * Compounding a Gaussian distribution with mean distributed according to another Gaussian distribution yields (again) a Gaussian distribution.
 * Compounding a Gaussian distribution with mean distributed according to a shifted exponential distribution yields an exponentially modified Gaussian distribution.


 * Compounding a Bernoulli distribution with probability of success $$p$$ distributed according to a distribution $$X$$ that has a defined expected value yields a Bernoulli distribution with success probability $$E[X]$$. An interesting consequence is that the dispersion of $$X$$ does not influence the dispersion of the resulting compound distribution.
 * Compounding a binomial distribution with probability of success distributed according to a beta distribution yields a beta-binomial distribution. It possesses three parameters, a parameter $$n$$ (number of samples) from the binomial distribution and shape parameters $$\alpha$$ and $$\beta$$ from the beta distribution.
 * Compounding a multinomial distribution with probability vector distributed according to a Dirichlet distribution yields a Dirichlet-multinomial distribution.
 * Compounding a Poisson distribution with rate parameter distributed according to a gamma distribution yields a negative binomial distribution.
 * Compounding a Poisson distribution with rate parameter distributed according to a exponential distribution yields a geometric distribution.
 * Compounding an exponential distribution with its rate parameter distributed according to a gamma distribution yields a Lomax distribution.
 * Compounding a gamma distribution with inverse scale parameter distributed according to another gamma distribution yields a three-parameter beta prime distribution.
 * Compounding a half-normal distribution with its scale parameter distributed according to a Rayleigh distribution yields an exponential distribution. This follows immediately from the Laplace distribution resulting as a normal scale mixture; see above. The roles of conditional and mixing distributions may also be exchanged here; consequently, compounding a Rayleigh distribution with its scale parameter distributed according to a half-normal distribution also yields an exponential distribution.
 * A Gamma(k=2,θ) - distributed random variable whose scale parameter θ again is uniformly distributed marginally yields an exponential distribution.

Similar terms
The notion of "compound distribution" as used e.g. in the definition of a Compound Poisson distribution or Compound Poisson process is different from the definition found in this article. The meaning in this article corresponds to what is used in e.g. Bayesian hierarchical modeling.

The special case for compound probability distributions where the parametrized distribution $$F$$ is the Poisson distribution is also called mixed Poisson distribution.