# Conway–Maxwell–binomial distribution

In probability theory and statistics, the Conway–Maxwell–binomial (CMB) distribution is a three parameter discrete probability distribution that generalises the binomial distribution in an analogous manner to the way that the Conway–Maxwell–Poisson distribution generalises the Poisson distribution. The CMB distribution can be used to model both positive and negative association among the Bernoulli summands,.
The distribution was introduced by Shumeli et al. (2005), and the name Conway–Maxwell–binomial distribution was introduced independently by Kadane (2016) and Daly and Gaunt (2016).

## Probability mass function

The Conway–Maxwell–binomial (CMB) distribution has probability mass function
    $\Pr(Y=j)={\frac {1}{C_{n,p,\nu }}}{\binom {n}{j}}^{\nu }p^{j}(1-p)^{n-j}\,,\qquad j\in \{0,1,\ldots ,n\},$
where $n\in \mathbb {N} =\{1,2,\ldots \}$, $0\leq p\leq 1$ and $-\infty <\nu <\infty$. The normalizing constant $C_{n,p,\nu }$ is defined by
    $C_{n,p,\nu }=\sum _{i=0}^{n}{\binom {n}{i}}^{\nu }p^{i}(1-p)^{n-i}.$
If a random variable $Y$ has the above mass function, then we write $Y\sim \operatorname {CMB} (n,p,\nu )$.
The case $\nu =1$ is the usual binomial distribution $Y\sim \operatorname {Bin} (n,p)$.

## Relation to Conway–Maxwell–Poisson distribution

The following relationship between Conway–Maxwell–Poisson (CMP) and CMB random variables generalises a well-known result concerning Poisson and binomial random variables. If $X_{1}\sim \operatorname {CMP} (\lambda _{1},\nu )$ and $X_{2}\sim \operatorname {CMP} (\lambda _{2},\nu )$ are independent, then $X_{1}\,|\,X_{1}+X_{2}=n\sim \operatorname {CMB} (n,\lambda _{1}/(\lambda _{1}+\lambda _{2}),\nu )$.

## Sum of possibly associated Bernoulli random variables

The random variable $Y\sim \operatorname {CMB} (n,p,\nu )$ may be written as a sum of exchangeable Bernoulli random variables $Z_{1},\ldots ,Z_{n}$ satisfying
    $\Pr(Z_{1}=z_{1},\ldots ,Z_{n}=z_{n})={\frac {1}{C_{n,p,\nu }}}{\binom {n}{k}}^{\nu -1}p^{k}(1-p)^{n-k},$
where $k=z_{1}+\cdots +z_{n}$. Note that $\operatorname {E} Z_{1}\not =p$ in general, unless $\nu =1$.

## Generating functions

Let
    $T(x,\nu )=\sum _{k=0}^{n}x^{k}{\binom {n}{k}}^{\nu }.$
Then, the probability generating function, moment generating function and characteristic function are given, respectively, by:
    $G(t)={\frac {T(tp/(1-p),\nu )}{T(p(1-p),\nu )}},$
    $M(t)={\frac {T(\mathrm {e} ^{t}p/(1-p),\nu )}{T(p(1-p),\nu )}},$
    $\varphi (t)={\frac {T(\mathrm {e} ^{\mathrm {i} t}p/(1-p),\nu )}{T(p(1-p),\nu )}}.$

## Moments

For general $\nu$, there do not exist closed form expressions for the moments of the CMB distribution. Having said that, the following mathematical relationship holds:
Let $(j)_{r}=j(j-1)\cdots (j-r+1)$ denote the falling factorial. If $Y\sim \operatorname {CMB} (n,p,\nu )$, where $\nu >0$, then
    $\operatorname {E} [((Y)_{r})^{\nu }]={\frac {C_{n-r,p,\nu }}{C_{n,p,\nu }}}((n)_{r})^{\nu }p^{r}\,,$
for $r=1,\ldots ,n-1$.

## Mode

Let $Y\sim \operatorname {CMB} (n,p,\nu )$ and define
    $a={\frac {n+1}{1+\left({\frac {1-p}{p}}\right)^{1/\nu }}}.$
Then the mode of $Y$ is $\lfloor a\rfloor$ if $a$ is not an integer. Otherwise, the modes of $Y$ are $a$ and $a-1$.

## Stein characterisation

Let $Y\sim \operatorname {CMB} (n,p,\nu )$, and suppose that $f:\mathbb {Z} ^{+}\mapsto \mathbb {R}$ is such that $\operatorname {E} |f(Y+1)|<\infty$ and $\operatorname {E} |Y^{\nu }f(Y)|<\infty$. Then
    $\operatorname {E} [p(n-Y)^{\nu }f(Y+1)-(1-p)Y^{\nu }f(Y)]=0.$

## Approximation by the Conway–Maxwell–Poisson distribution

Fix $\lambda >0$ and $\nu >0$ and let $Y_{n}\sim \mathrm {CMB} (n,\lambda /n^{\nu },\nu )$ Then $Y_{n}$ converges in distribution to the $\mathrm {CMP} (\lambda ,\nu )$ distribution as $n\rightarrow \infty$. This result generalises the classical Poisson approximation of the binomial distribution.

## Conway–Maxwell–Poisson binomial distribution

Let $X_{1},\ldots ,X_{n}$ be Bernoulli random variables with joint distribution given by
    $\Pr(X_{1}=x_{1},\ldots ,X_{n}=x_{n})={\frac {1}{C_{n}'}}{\binom {n}{k}}^{\nu -1}\prod _{j=1}^{n}p_{j}^{x_{j}}(1-p_{j})^{1-x_{j}},$
where $k=x_{1}+\cdots +x_{n}$ and the normalizing constant $C_{n}^{\prime }$ is given by
    $C_{n}'=\sum _{k=0}^{n}{\binom {n}{k}}^{\nu -1}\sum _{A\in F_{k}}\prod _{i\in A}p_{i}\prod _{j\in A^{c}}(1-p_{j}),$
where
    $F_{k}=\left\{A\subseteq \{1,\ldots ,n\}:|A|=k\right\}.$
Let $W=X_{1}+\cdots +X_{n}$. Then $W$ has mass function
    $\Pr(W=k)={\frac {1}{C_{n}'}}{\binom {n}{k}}^{\nu -1}\sum _{A\in F_{k}}\prod _{i\in A}p_{i}\prod _{j\in A^{c}}(1-p_{j}),$
for $k=0,1,\ldots ,n$. This distribution generalises the Poisson binomial distribution in a way analogous to the CMP and CMB generalisations of the Poisson and binomial distributions. Such a random variable is therefore said to follow the Conway–Maxwell–Poisson binomial (CMPB) distribution. This should not be confused with the rather unfortunate terminology Conway–Maxwell–Poisson–binomial that was used by for the CMB distribution.
The case $\nu =1$ is the usual Poisson binomial distribution and the case $p_{1}=\cdots =p_{n}=p$ is the $\operatorname {CMB} (n,p,\nu )$ distribution.