Conway–Maxwell–Poisson Distribution

In probability theory and statistics, the Conway–Maxwell–Poisson (CMP or COM–Poisson) distribution is a discrete probability distribution named after Richard W. Conway, William L. Maxwell, and Siméon Denis Poisson that generalizes the Poisson distribution by adding a parameter to model overdispersion and underdispersion. It is a member of the exponential family, has the Poisson distribution and geometric distribution as special cases and the Bernoulli distribution as a limiting case.

Background

The CMP distribution was originally proposed by Conway and Maxwell in 1962 as a solution to handling queueing systems with state-dependent service rates. The CMP distribution was introduced into the statistics literature by Boatwright et al. 2003 Boatwright, P., Borle, S. and Kadane, J.B. "A model of the joint distribution of purchase quantity and timing." Journal of the American Statistical Association 98 (2003): 564–572. and Shmueli et al. (2005).Shmueli G., Minka T., Kadane J.B., Borle S., and Boatwright, P.B. "A useful distribution for fitting discrete data: revival of the Conway–Maxwell–Poisson distribution." Journal of the Royal Statistical Society: Series C (Applied Statistics) 54.1 (2005): 127–14

/ref> The first detailed investigation into the
probabilistic and statistical properties of the distribution was published by Shmueli et al. (2005). Some theoretical probability results of COM-Poisson distribution is studied and reviewed by Li et al. (2019),Li B., Zhang H., Jiao H. "Some Characterizations and Properties of COM-Poisson Random Variables." Communications in Statistics - Theory and Methods, (2019

/ref> especially the characterizations of COM-Poisson distribution.

Probability mass function and basic properties

The CMP distribution is defined to be the distribution with probability mass function

:$P(X = x) = f(x; \lambda, \nu) = \frac\frac.$

where :
:$Z(\lambda,\nu) = \sum_^\infty \frac.$

The function $Z(\lambda,\nu)$ serves as a normalization constant so the probability mass function sums to one. Note that $Z(\lambda,\nu)$ does not have a closed form.

The domain of admissible parameters is $\lambda,\nu>0$, and $0<\lambda<1$, $\nu=0$.

The additional parameter $\nu$ which does not appear in the Poisson distribution allows for adjustment of the rate of decay. This rate of decay is a non-linear decrease in ratios of successive probabilities, specifically

:$\frac = \frac.$

When $\nu = 1$, the CMP distribution becomes the standard Poisson distribution and as $\nu \to \infty$, the distribution approaches a Bernoulli distribution with parameter $\lambda/(1+\lambda)$. When $\nu=0$ the CMP distribution reduces to a geometric distribution with probability of success $1-\lambda$ provided $\lambda<1$.

For the CMP distribution, moments can be found through the recursive formula

:
\operatorname ^= \begin
\lambda \, \operatorname +1 & \text r = 0 \\
\lambda \, \frac\operatorname ^r+ \operatorname operatorname ^r& \text r > 0. \\
\end

Cumulative distribution function

For general $\nu$, there does not exist a closed form formula for the cumulative distribution function of $X\sim\mathrm(\lambda,\nu)$. If $\nu\geq1$ is an integer, we can, however, obtain the following formula in terms of the generalized hypergeometric function:Nadarajah, S. "Useful moment and CDF formulations for the COM–Poisson distribution." Statistical Papers 50 (2009): 617–622.

:$F(n)=P(X\leq n)=1-\frac.$

The normalizing constant

Many important summary statistics, such as moments and cumulants, of the CMP distribution can be expressed in terms of the normalizing constant $Z(\lambda,\nu)$. Indeed, The probability generating function is $\operatornames^X=Z(s\lambda,\nu)/Z(\lambda,\nu)$, and the mean and variance are given by

:$\operatornameX=\lambda\frac\big\,$
:$\operatorname(X)=\lambda\frac\operatornameX.$

The cumulant generating function is

:
g(t)=\ln(\operatorname ^=\ln(Z(\lambda e^,\nu))-\ln(Z(\lambda,\nu)),

and the cumulants are given by

:$\kappa_n=g^(0)=\frac\ln(Z(\lambda e^t,\nu)) \bigg, _, \quad n\geq1.$

Whilst the normalizing constant $Z(\lambda,\nu)=\sum_^\infty\frac$ does not in general have a closed form, there are some noteworthy special cases:

* $Z(\lambda,1)=\mathrm^$
* $Z(\lambda,0)=(1-\lambda)^$
* $\lim_Z(\lambda,\nu)=1+\lambda$
* $Z(\lambda,2)=I_0(2\sqrt)$, where $I_0(x)=\sum_^\infty\frac\big(\frac\big)^$ is a modified Bessel function of the first kind.
* For integer $\nu$, the normalizing constant can expressed as a generalized hypergeometric function: $Z(\lambda,\nu)=_0F_(;1,\ldots,1;\lambda)$.

Because the normalizing constant does not in general have a closed form, the following asymptotic expansion is of interest. Fix $\nu>0$. Then, as $\lambda\rightarrow\infty$,Gaunt, R.E., Iyengar, S., Olde Daalhuis, A.B. and Simsek, B. "An asymptotic expansion for the normalizing constant of the Conway–Maxwell–Poisson distribution." To appear in Annals of the Institute of Statistical Mathematics (2017+) DOI 10.1007/s10463-017-0629-6

:$Z(\lambda,\nu)=\frac\sum_^\infty c_k\big(\nu\lambda^\big)^,$

where the $c_j$ are uniquely determined by the expansion

:$\left(\Gamma(t+1)\right)^=\frac\sum_^\infty\frac.$
In particular, $c_0=1$, $c_1=\frac$, $c_2=\frac\left(\nu^2+23\right)$. Further coefficients are given in.

Moments, cumulants and related results

For general values of $\nu$, there does not exist closed form formulas for the mean, variance and moments of the CMP distribution. We do, however, have the following neat formula. Let $(j)_r=j(j-1)\cdots(j-r+1)$ denote the falling factorial. Let $X\sim\mathrm(\lambda,\nu)$, $\lambda,\nu>0$. Then

:
\operatorname (X)_r)^\nu\lambda^r,

for $r\in\mathbb$.

Since in general closed form formulas are not available for moments and cumulants of the CMP distribution, the following asymptotic formulas are of interest. Let $X\sim \mathrm(\lambda,\nu)$, where $\nu>0$. Denote the skewness $\gamma_1=\frac$ and excess kurtosis $\gamma_2=\frac$, where $\sigma^2=\mathrm(X)$. Then, as $\lambda\rightarrow\infty$,

:$\operatornameX= \lambda^\left(1-\frac \lambda^-\frac\lambda^-\frac\lambda^+\mathcal(\lambda^) \right),$
:$\mathrm(X)= \frac\bigg(1+\frac\lambda^+\frac\lambda^+\mathcal(\lambda^)\bigg),$
:$\kappa_n= \frac\bigg(1+\frac\lambda^+\frac\lambda^+\mathcal(\lambda^)\bigg),$
:$\gamma_1= \frac\bigg(1-\frac\lambda^-\frac\lambda^+\mathcal(\lambda^)\bigg),$
:$\gamma_2= \frac\bigg(1-\frac\lambda^+\frac\lambda^+\mathcal(\lambda^)\bigg),$
:
\operatorname ^n \lambda^\bigg(1+\frac\lambda^+a_2\lambda^+\mathcal(\lambda^)\bigg),

where

:$a_2=-\frac+\frac\bigg\.$

The asymptotic series for $\kappa_n$ holds for all $n\geq2$, and $\kappa_1=\operatornameX$.

Moments for the case of integer $\nu$

When $\nu$ is an integer explicit formulas for moments can be obtained. The case $\nu=1$ corresponds to the Poisson distribution. Suppose now that $\nu=2$. For $m\in\mathbb$,

:
\operatorname X)_m\frac,

where $I_r(x)$ is the modified Bessel function of the first kind.

Using the connecting formula for moments and factorial moments gives

:$\operatornameX^m=\sum_^m\left\\frac.$

In particular, the mean of $X$ is given by

:$\operatornameX=\frac.$

Also, since $\operatornameX^2=\lambda$, the variance is given by

:$\mathrm(X)=\lambda\left(1-\frac\right).$

Suppose now that $\nu\geq1$ is an integer. Then

:
\operatorname X)_m\frac \frac.

In particular,

:
\operatorname \lambda \frac,

and

\mathrm(X)=\frac \frac+\operatorname (\operatorname ^2.

Median, mode and mean deviation

Let $X\sim\mathrm(\lambda,\nu)$. Then the mode of $X$ is $\lfloor\lambda^\rfloor$ if \lambda^ is not an integer. Otherwise, the modes of $X$ are $\lambda^$ and $\lambda^-1$.

The mean deviation of $X^\nu$ about its mean $\lambda$ is given by Daly, F. and Gaunt, R.E. " The Conway–Maxwell–Poisson distribution: distributional theory and approximation." ALEA Latin American Journal of Probability and Mathematical Statistics 13 (2016): 635–658.

:$\operatorname, X^\nu-\lambda, = 2Z(\lambda,\nu)^ \frac.$

No explicit formula is known for the median of $X$, but the following asymptotic result is available. Let $m$ be the median of $X\sim\mbox(\lambda,\nu)$. Then

:$m=\lambda^+\mathcal\left(\lambda^\right),$

as $\lambda\rightarrow\infty$.

Stein characterisation

Let $X\sim\mbox(\lambda,\nu)$, and suppose that $f:\mathbb^+\mapsto\mathbb$ is such that $\operatorname, f(X+1), <\infty$ and $\operatorname, X^f(X), <\infty$. Then

:
\operatorname lambda f(X+1)-X^\nu f(X)0.

Conversely, suppose now that $W$ is a real-valued random variable supported on $\mathbb^+$ such that \operatorname lambda f(W+1)-W^\nu f(W)0 for all bounded $f:\mathbb^+\mapsto\mathbb$. Then $W\sim \mbox(\lambda,\nu)$.

Use as a limiting distribution

Let $Y_n$ have the Conway–Maxwell–binomial distribution with parameters $n$, $p=\lambda/n^\nu$ and $\nu$. Fix $\lambda>0$ and $\nu>0$. Then, $Y_n$ converges in distribution to the $\mathrm(\lambda,\nu)$ distribution as $n\rightarrow\infty$. This result generalises the classical Poisson approximation of the binomial distribution. More generally, the CMP distribution arises as a limiting distribution of Conway–Maxwell–Poisson binomial distribution. Apart from the fact that COM-binomial approximates to COM-Poisson, Zhang et al. (2018)Zhang H., Tan K., Li B. "COM-negative binomial distribution: modeling overdispersion and ultrahigh zero-inflated count data." Frontiers of Mathematics in China, 2018, 13(4): 967–99

/ref> illustrates that COM-negative binomial distribution with probability mass function
:$\mathrm(X = k) = \frac = \frac,\quad (k = 0,1,2, \ldots ),$
convergents to a limiting distribution which is the COM-Poisson, as $$ .

Related distributions

* $X\sim\operatorname(\lambda,1)$, then $X$ follows the Poisson distribution with parameter $\lambda$.
* Suppose $\lambda<1$. Then if $X\sim\mathrm(\lambda,0)$, we have that $X$ follows the geometric distribution with probability mass function $P(X=k)=\lambda^k(1-\lambda)$, $k\geq0$.
* The sequence of random variable $X_\nu\sim\mathrm(\lambda,\nu)$ converges in distribution as $\nu\rightarrow\infty$ to the Bernoulli distribution with mean $\lambda(1+\lambda)^$.

Parameter estimation

There are a few methods of estimating the parameters of the CMP distribution from the data. Two methods will be discussed: weighted least squares and maximum likelihood. The weighted least squares approach is simple and efficient but lacks precision. Maximum likelihood, on the other hand, is precise, but is more complex and computationally intensive.

Weighted least squares

The weighted least squares provides a simple, efficient method to derive rough estimates of the parameters of the CMP distribution and determine if the distribution would be an appropriate model. Following the use of this method, an alternative method should be employed to compute more accurate estimates of the parameters if the model is deemed appropriate.

This method uses the relationship of successive probabilities as discussed above. By taking logarithms of both sides of this equation, the following linear relationship arises

:$\log \frac = - \log \lambda + \nu \log x$

where $p_x$ denotes $\Pr(X = x)$. When estimating the parameters, the probabilities can be replaced by the relative frequencies of $x$ and $x-1$. To determine if the CMP distribution is an appropriate model, these values should be plotted against $\log x$ for all ratios without zero counts. If the data appear to be linear, then the model is likely to be a good fit.

Once the appropriateness of the model is determined, the parameters can be estimated by fitting a regression of $\log (\hat p_ / \hat p_x)$ on $\log x$. However, the basic assumption of homoscedasticity is violated, so a weighted least squares regression must be used. The inverse weight matrix will have the variances of each ratio on the diagonal with the one-step covariances on the first off-diagonal, both given below.

:
\operatorname\left log \frac\right\approx \frac + \frac

:$\text\left(\log \frac, \log \frac \right) \approx - \frac$

Maximum likelihood

The CMP likelihood function is

:$\mathcal(\lambda,\nu\mid x_1,\dots,x_n) = \lambda^ \exp(-\nu S_2) Z^(\lambda, \nu)$

where $S_1 = \sum_^n x_i$ and $S_2 = \sum_^n \log x_i!$. Maximizing the likelihood yields the following two equations

:
\operatorname = \bar X

:
\operatorname log X!= \overline

which do not have an analytic solution.

Instead, the maximum likelihood estimates are approximated numerically by the Newton–Raphson method. In each iteration, the expectations, variances, and covariance of $X$ and $\log X!$ are approximated by using the estimates for $\lambda$ and $\nu$ from the previous iteration in the expression

:$\operatorname$(x)= \sum_^\infty f(j) \frac.

This is continued until convergence of $\hat\lambda$ and $\hat\nu$.

Generalized linear model

The basic CMP distribution discussed above has also been used as the basis for a generalized linear model (GLM) using a Bayesian formulation. A dual-link GLM based on the CMP distribution has been developed,Guikema, S.D. and J.P. Coffelt (2008) "A Flexible Count Data Regression Model for Risk Analysis", ''Risk Analysis'', 28 (1), 213–223.
and this model has been used to evaluate traffic accident data.Lord, D., S.D. Guikema, and S.R. Geedipally (2008) "Application of the Conway–Maxwell–Poisson Generalized Linear Model for Analyzing Motor Vehicle Crashes," ''Accident Analysis & Prevention'', 40 (3), 1123–1134. Lord, D., S.R. Geedipally, and S.D. Guikema (2010) "Extension of the Application of Conway–Maxwell–Poisson Models: Analyzing Traffic Crash Data Exhibiting Under-Dispersion," ''Risk Analysis'', 30 (8), 1268–1276. The CMP GLM developed by Guikema and Coffelt (2008) is based on a reformulation of the CMP distribution above, replacing $\lambda$ with $\mu=\lambda^$. The integral part of $\mu$ is then the mode of the distribution. A full Bayesian estimation approach has been used with MCMC sampling implemented in WinBugs with non-informative priors for the regression parameters. This approach is computationally expensive, but it yields the full posterior distributions for the regression parameters and allows expert knowledge to be incorporated through the use of informative priors.

A classical GLM formulation for a CMP regression has been developed which generalizes Poisson regression and logistic regression. Sellers, K. S. and Shmueli, G. (2010)
"A Flexible Regression Model for Count Data"
''Annals of Applied Statistics'', 4 (2), 943–961 This takes advantage of the exponential family properties of the CMP distribution to obtain elegant model estimation (via maximum likelihood), inference, diagnostics, and interpretation. This approach requires substantially less computational time than the Bayesian approach, at the cost of not allowing expert knowledge to be incorporated into the model. In addition it yields standard errors for the regression parameters (via the Fisher Information matrix) compared to the full posterior distributions obtainable via the Bayesian formulation. It also provides a statistical test for the level of dispersion compared to a Poisson model. Code for fitting a CMP regression, testing for dispersion, and evaluating fit is available.Code for COM_Poisson modelling
Georgetown Univ.

The two GLM frameworks developed for the CMP distribution significantly extend the usefulness of this distribution for data analysis problems.

References

External links

* ttp://alumni.media.mit.edu/~tpminka/software/compoisson Conway–Maxwell–Poisson distribution package for R (compoisson) by Tom Minka, third party package

{{DEFAULTSORT:Conway-Maxwell-Poisson distribution
Discrete distributions
Poisson distribution