Poisson distribution

Short description: Discrete probability distribution

Poisson Distribution

Probability mass function The horizontal axis is the index k, the number of occurrences. λ is the expected rate of occurrences. The vertical axis is the probability of k occurrences given λ. The function is defined only at integer values of k; the connecting lines are only guides for the eye.
Cumulative distribution function The horizontal axis is the index k, the number of occurrences. The CDF is discontinuous at the integers of k and flat everywhere else because a variable that is Poisson distributed takes on only integer values.
Notation	[math]\displaystyle{ \operatorname{Pois}(\lambda) }[/math]
Parameters	[math]\displaystyle{ \lambda\in (0, \infty) }[/math] (rate)
Support	[math]\displaystyle{ k \in \mathbb{N} }[/math] (Natural numbers starting from 0)
pmf	[math]\displaystyle{ \frac{\lambda^k e^{-\lambda}}{k!} }[/math]
CDF	[math]\displaystyle{ \frac{\Gamma(\lfloor k+1 \rfloor, \lambda)}{\lfloor k \rfloor !}, }[/math] or [math]\displaystyle{ e^{-\lambda} \sum_{j=0}^{\lfloor k\rfloor} \frac{\lambda^j}{j!}, }[/math] or [math]\displaystyle{ Q(\lfloor k+1 \rfloor, \lambda) }[/math] (for [math]\displaystyle{ k \ge 0, }[/math] where [math]\displaystyle{ \Gamma(x, y) }[/math] is the upper incomplete gamma function, [math]\displaystyle{ \lfloor k \rfloor }[/math] is the floor function, and [math]\displaystyle{ Q }[/math] is the regularized gamma function)
Mean	[math]\displaystyle{ \lambda }[/math]
Median	[math]\displaystyle{ \approx\left\lfloor\lambda + \frac{1}{3} - \frac{1}{50 \lambda} \right\rfloor }[/math]
Mode	[math]\displaystyle{ \left\lceil \lambda \right\rceil - 1, \left\lfloor \lambda \right\rfloor }[/math]
Variance	[math]\displaystyle{ \lambda }[/math]
Skewness	[math]\displaystyle{ \frac{1}{\sqrt{\lambda}} }[/math]
Kurtosis	[math]\displaystyle{ \frac{1}{\lambda} }[/math]
Entropy	[math]\displaystyle{ \lambda\Bigl[1 - \log(\lambda)\Bigr] + e^{-\lambda}\sum_{k=0}^\infty \frac{\lambda^k\log(k!)}{k!} }[/math]   or for large [math]\displaystyle{ \lambda }[/math]   [math]\displaystyle{ \begin{align}\approx\frac{1}{2}\log\left( 2 \pi e \lambda \right) - \frac{1}{12 \lambda} - \frac{1}{24 \lambda^2} \\- \frac{19}{360 \lambda^3} + \mathcal{O} \left(\frac{1}{\lambda^4}\right)\end{align} }[/math]
MGF	[math]\displaystyle{ \exp \left[\lambda \left( e^{t} - 1 \right)\right] }[/math]
CF	[math]\displaystyle{ \exp \left[\lambda \left( e^{it} - 1 \right)\right] }[/math]
PGF	[math]\displaystyle{ \exp \left[\lambda \left( z - 1 \right)\right] }[/math]
Fisher information	[math]\displaystyle{ \frac{1}{\lambda} }[/math]

In probability theory and statistics, the Poisson distribution is a discrete probability distribution that expresses the probability of a given number of events occurring in a fixed interval of time if these events occur with a known constant mean rate and independently of the time since the last event. It can also be used for the number of events in other types of intervals than time, and in dimension greater than 1 (e.g., number of events in a given area or volume).

The Poisson distribution is named after France mathematician Siméon Denis Poisson (/ˈpwɑːsɒn/; French pronunciation: ​[pwasɔ̃]). It plays an important role for discrete-stable distributions.

Under a Poisson distribution with the expectation of λ events in a given interval, the probability of k events in the same interval is:

[math]\displaystyle{ \frac{\lambda^k e^{-\lambda}}{k!} . }[/math]

For instance, consider a call center which receives, randomly, an average of λ = 3 calls per minute at all times of day. If the calls are independent, receiving one does not change the probability of when the next one will arrive. Under these assumptions, the number k of calls received during any minute has a Poisson probability distribution. Receiving k = 1 to 4 calls then has a probability of about 0.77, while receiving 0 or at least 5 calls has a probability of about 0.23.

Another example for which the Poisson distribution is a useful model is the number of radioactive decay events during a fixed observation period.

History

The distribution was first introduced by Siméon Denis Poisson (1781–1840) and published together with his probability theory in his work Recherches sur la probabilité des jugements en matière criminelle et en matière civile (1837). The work theorized about the number of wrongful convictions in a given country by focusing on certain random variables N that count, among other things, the number of discrete occurrences (sometimes called "events" or "arrivals") that take place during a time-interval of given length. The result had already been given in 1711 by Abraham de Moivre in De Mensura Sortis seu; de Probabilitate Eventuum in Ludis a Casu Fortuito Pendentibus . This makes it an example of Stigler's law and it has prompted some authors to argue that the Poisson distribution should bear the name of de Moivre.

In 1860, Simon Newcomb fitted the Poisson distribution to the number of stars found in a unit of space. A further practical application of this distribution was made by Ladislaus Bortkiewicz in 1898 when he was given the task of investigating the number of soldiers in the Prussian army killed accidentally by horse kicks; this experiment introduced the Poisson distribution to the field of reliability engineering.

Definitions

Probability mass function

A discrete random variable X is said to have a Poisson distribution, with parameter [math]\displaystyle{ \lambda\gt 0, }[/math] if it has a probability mass function given by:

[math]\displaystyle{ f(k; \lambda) = \Pr(X{=}k)= \frac{\lambda^k e^{-\lambda}}{k!}, }[/math]

where

• k is the number of occurrences ([math]\displaystyle{ k = 0, 1, 2, \ldots }[/math])
• e is Euler's number ([math]\displaystyle{ e = 2.71828\ldots }[/math])
• k! = k(k–1) ··· (3)(2)(1) is the factorial.

The positive real number λ is equal to the expected value of X and also to its variance.

[math]\displaystyle{ \lambda = \operatorname{E}(X) = \operatorname{Var}(X). }[/math]

The Poisson distribution can be applied to systems with a large number of possible events, each of which is rare. The number of such events that occur during a fixed time interval is, under the right circumstances, a random number with a Poisson distribution.

The equation can be adapted if, instead of the average number of events [math]\displaystyle{ \lambda, }[/math] we are given the average rate [math]\displaystyle{ r }[/math] at which events occur. Then [math]\displaystyle{ \lambda = r t, }[/math] and:

[math]\displaystyle{ P(k \text{ events in interval } t) = \frac{(rt)^k e^{-rt}}{k!}. }[/math]

Example

Chewing gum on a sidewalk. The number of chewing gums on a single tile is approximately Poisson distributed.

The Poisson distribution may be useful to model events such as:

• the number of meteorites greater than 1-meter diameter that strike Earth in a year;
• the number of laser photons hitting a detector in a particular time interval;
• the number of students achieving a low and high mark in an exam; and
• locations of defects and dislocations in materials.

Examples of the occurrence of random points in space are: the locations of asteroid impacts with earth (2-dimensional), the locations of imperfections in a material (3-dimensional), and the locations of trees in a forest (2-dimensional).

Assumptions and validity

The Poisson distribution is an appropriate model if the following assumptions are true:

• k is the number of times an event occurs in an interval and k can take values 0, 1, 2, ... .
• The occurrence of one event does not affect the probability that a second event will occur. That is, events occur independently.
• The average rate at which events occur is independent of any occurrences. For simplicity, this is usually assumed to be constant, but may in practice vary with time.
• Two events cannot occur at exactly the same instant; instead, at each very small sub-interval, either exactly one event occurs, or no event occurs.

If these conditions are true, then k is a Poisson random variable, and the distribution of k is a Poisson distribution.

The Poisson distribution is also the limit of a binomial distribution, for which the probability of success for each trial equals λ divided by the number of trials, as the number of trials approaches infinity (see Related distributions).

Examples of probability for Poisson distributions

On a particular river, overflow floods occur once every 100 years on average. Calculate the probability of k = 0, 1, 2, 3, 4, 5, or 6 overflow floods in a 100-year interval, assuming the Poisson model is appropriate.

Because the average event rate is one overflow flood per 100 years, λ = 1

[math]\displaystyle{ P(k \text{ overflow floods in 100 years}) = \frac{\lambda^k e^{-\lambda}}{k!} = \frac{1^k e^{-1}}{k!} }[/math]

[math]\displaystyle{ P(k = 0 \text{ overflow floods in 100 years}) = \frac{1^0 e^{-1}}{0!} = \frac{e^{-1}}{1} \approx 0.368 }[/math]

[math]\displaystyle{ P(k = 1 \text{ overflow flood in 100 years}) = \frac{1^1 e^{-1}}{1!} = \frac{e^{-1}}{1} \approx 0.368 }[/math]

[math]\displaystyle{ P(k = 2 \text{ overflow floods in 100 years}) = \frac{1^2 e^{-1}}{2!} = \frac{e^{-1}}{2} \approx 0.184 }[/math]

k	P(k overflow floods in 100 years)
0	0.368
1	0.368
2	0.184
3	0.061
4	0.015
5	0.003
6	0.0005

The probability for 0 to 6 overflow floods in a 100-year period.

It has been reported that the average number of goals in a World Cup soccer match is approximately 2.5 and the Poisson model is appropriate. Because the average event rate is 2.5 goals per match, λ = 2.5 .

[math]\displaystyle{ P(k \text{ goals in a match}) = \frac{2.5^k e^{-2.5}}{k!} }[/math]

[math]\displaystyle{ P(k = 0 \text{ goals in a match}) = \frac{2.5^0 e^{-2.5}}{0!} = \frac{e^{-2.5}}{1} \approx 0.082 }[/math]

[math]\displaystyle{ P(k = 1 \text{ goal in a match}) = \frac{2.5^1 e^{-2.5}}{1!} = \frac{2.5 e^{-2.5}}{1} \approx 0.205 }[/math]

[math]\displaystyle{ P(k = 2 \text{ goals in a match}) = \frac{2.5^2 e^{-2.5}}{2!} = \frac{6.25 e^{-2.5}}{2} \approx 0.257 }[/math]

k	P(k goals in a World Cup soccer match)
0	0.082
1	0.205
2	0.257
3	0.213
4	0.133
5	0.067
6	0.028
7	0.010

The probability for 0 to 7 goals in a match.

Once in an interval events: The special case of λ = 1 and k = 0

Suppose that astronomers estimate that large meteorites (above a certain size) hit the earth on average once every 100 years ( λ = 1 event per 100 years), and that the number of meteorite hits follows a Poisson distribution. What is the probability of k = 0 meteorite hits in the next 100 years?

[math]\displaystyle{ P(k = \text{0 meteorites hit in next 100 years}) = \frac{1^0 e^{-1}}{0!} = \frac{1}{e} \approx 0.37. }[/math]

Under these assumptions, the probability that no large meteorites hit the earth in the next 100 years is roughly 0.37. The remaining 1 − 0.37 = 0.63 is the probability of 1, 2, 3, or more large meteorite hits in the next 100 years. In an example above, an overflow flood occurred once every 100 years (λ = 1). The probability of no overflow floods in 100 years was roughly 0.37, by the same calculation.

In general, if an event occurs on average once per interval (λ = 1), and the events follow a Poisson distribution, then P(0 events in next interval) = 0.37. In addition, P(exactly one event in next interval) = 0.37, as shown in the table for overflow floods.

Examples that violate the Poisson assumptions

The number of students who arrive at the student union per minute will likely not follow a Poisson distribution, because the rate is not constant (low rate during class time, high rate between class times) and the arrivals of individual students are not independent (students tend to come in groups). The non-constant arrival rate may be modeled as a mixed Poisson distribution, and the arrival of groups rather than individual students as a compound Poisson process.

The number of magnitude 5 earthquakes per year in a country may not follow a Poisson distribution, if one large earthquake increases the probability of aftershocks of similar magnitude.

Examples in which at least one event is guaranteed are not Poisson distributed; but may be modeled using a zero-truncated Poisson distribution.

Count distributions in which the number of intervals with zero events is higher than predicted by a Poisson model may be modeled using a zero-inflated model.

Properties

Descriptive statistics

• The expected value and variance of a Poisson-distributed random variable are both equal to λ.
• The coefficient of variation is [math]\displaystyle{ \lambda^{-1/2}, }[/math] while the index of dispersion is 1.
• The mean absolute deviation about the mean is [math]\displaystyle{ \operatorname{E}[\ |X-\lambda|\ ]= \frac{2 \lambda^{\lfloor\lambda\rfloor + 1} e^{-\lambda}}{\lfloor\lambda\rfloor!}. }[/math]
• The mode of a Poisson-distributed random variable with non-integer λ is equal to [math]\displaystyle{ \lfloor \lambda \rfloor, }[/math] which is the largest integer less than or equal to λ. This is also written as floor(λ). When λ is a positive integer, the modes are λ and λ − 1.
• All of the cumulants of the Poisson distribution are equal to the expected value λ. The n th factorial moment of the Poisson distribution is λ ⁿ  .
• The expected value of a Poisson process is sometimes decomposed into the product of intensity and exposure (or more generally expressed as the integral of an "intensity function" over time or space, sometimes described as "exposure").

Median

Bounds for the median ([math]\displaystyle{ \nu }[/math]) of the distribution are known and are sharp: [math]\displaystyle{ \lambda - \ln 2 \le \nu \lt \lambda + \frac{1}{3}. }[/math]

Higher moments

The higher non-centered moments, m_k of the Poisson distribution, are Touchard polynomials in λ: [math]\displaystyle{ m_k = \sum_{i=0}^k \lambda^i \begin{Bmatrix} k \\ i \end{Bmatrix}, }[/math] where the braces { } denote Stirling numbers of the second kind. In other words,[math]\displaystyle{ E[X] = \lambda, \quad E[X(X-1)] = \lambda^2, \quad E[X(X-1)(X-2)] = \lambda^3, \cdots }[/math]When the expected value is set to λ = 1, Dobinski's formula implies that the n‑th moment is equal to the number of partitions of a set of size n.

A simple upper bound is: [math]\displaystyle{ m_k = E[X^k] \le \left(\frac{k}{\log(k/\lambda+1)}\right)^k \le \lambda^k \exp\left(\frac{k^2}{2\lambda}\right). }[/math]

Sums of Poisson-distributed random variables

If [math]\displaystyle{ X_i \sim \operatorname{Pois}(\lambda_i) }[/math] for [math]\displaystyle{ i=1,\dotsc,n }[/math] are independent, then [math]\displaystyle{ \sum_{i=1}^n X_i \sim \operatorname{Pois}\left(\sum_{i=1}^n \lambda_i\right). }[/math] A converse is Raikov's theorem, which says that if the sum of two independent random variables is Poisson-distributed, then so are each of those two independent random variables.

Maximum Entropy

It is a maximum-entropy distribution among the set of generalized binomial distributions [math]\displaystyle{ B_n(\lambda) }[/math] with mean [math]\displaystyle{ \lambda }[/math] and [math]\displaystyle{ n\rightarrow\infty }[/math], where a generalized binomial distribution is defined as a distribution of the sum of N independent but not identically distributed Bernoulli variables.

Other properties

• The Poisson distributions are infinitely divisible probability distributions.
• The directed Kullback–Leibler divergence of [math]\displaystyle{ P=\operatorname{Pois}(\lambda) }[/math] from [math]\displaystyle{ P_0=\operatorname{Pois}(\lambda_0) }[/math] is given by [math]\displaystyle{ \operatorname{D}_{\text{KL}}(P\parallel P_0) = \lambda_0 - \lambda + \lambda \log \frac{\lambda}{\lambda_0}. }[/math]
• If [math]\displaystyle{ \lambda \geq 1 }[/math] is an integer, then [math]\displaystyle{ Y\sim \operatorname{Pois}(\lambda) }[/math] satisfies [math]\displaystyle{ \Pr(Y \geq E[Y]) \geq \frac{1}{2} }[/math] and [math]\displaystyle{ \Pr(Y \leq E[Y]) \geq \frac{1}{2}. }[/math]
• Bounds for the tail probabilities of a Poisson random variable [math]\displaystyle{ X \sim \operatorname{Pois}(\lambda) }[/math] can be derived using a Chernoff bound argument. [math]\displaystyle{ P(X \geq x) \leq \frac{(e \lambda)^x e^{-\lambda}}{x^x}, \text{ for } x \gt \lambda, }[/math] [math]\displaystyle{ P(X \leq x) \leq \frac{(e \lambda)^x e^{-\lambda} }{x^x}, \text{ for } x \lt \lambda. }[/math]
• The upper tail probability can be tightened (by a factor of at least two) as follows:

[math]\displaystyle{ P(X \geq x) \leq \frac{e^{-\operatorname{D}_{\text{KL}}(Q\parallel P)}}{\max{(2, \sqrt{4\pi\operatorname{D}_{\text{KL}}(Q\parallel P)}})}, \text{ for } x \gt \lambda, }[/math] where [math]\displaystyle{ \operatorname{D}_{\text{KL}}(Q\parallel P) }[/math] is the Kullback–Leibler divergence of [math]\displaystyle{ Q=\operatorname{Pois}(x) }[/math] from [math]\displaystyle{ P=\operatorname{Pois}(\lambda) }[/math].

• Inequalities that relate the distribution function of a Poisson random variable [math]\displaystyle{ X \sim \operatorname{Pois}(\lambda) }[/math] to the Standard normal distribution function [math]\displaystyle{ \Phi(x) }[/math] are as follows: [math]\displaystyle{ \Phi\left(\operatorname{sign}(k-\lambda)\sqrt{2\operatorname{D}_{\text{KL}}(Q_-\parallel P)}\right) \lt P(X \leq k) \lt \Phi\left(\operatorname{sign}(k+1-\lambda)\sqrt{2\operatorname{D}_{\text{KL}}(Q_+\parallel P)}\right), \text{ for } k \gt 0, }[/math] where [math]\displaystyle{ \operatorname{D}_{\text{KL}}(Q_-\parallel P) }[/math] is the Kullback–Leibler divergence of [math]\displaystyle{ Q_-=\operatorname{Pois}(k) }[/math] from [math]\displaystyle{ P=\operatorname{Pois}(\lambda) }[/math] and [math]\displaystyle{ \operatorname{D}_{\text{KL}}(Q_+\parallel P) }[/math] is the Kullback–Leibler divergence of [math]\displaystyle{ Q_+=\operatorname{Pois}(k+1) }[/math] from [math]\displaystyle{ P }[/math].

Poisson races

Let [math]\displaystyle{ X \sim \operatorname{Pois}(\lambda) }[/math] and [math]\displaystyle{ Y \sim \operatorname{Pois}(\mu) }[/math] be independent random variables, with [math]\displaystyle{ \lambda \lt \mu, }[/math] then we have that [math]\displaystyle{ \frac{e^{-(\sqrt{\mu} -\sqrt{\lambda})^2 }}{(\lambda + \mu)^2} - \frac{e^{-(\lambda + \mu)}}{2\sqrt{\lambda \mu}} - \frac{e^{-(\lambda + \mu)}}{4\lambda \mu} \leq P(X - Y \geq 0) \leq e^{- (\sqrt{\mu} -\sqrt{\lambda})^2} }[/math]

The upper bound is proved using a standard Chernoff bound.

The lower bound can be proved by noting that [math]\displaystyle{ P(X-Y\geq0\mid X+Y=i) }[/math] is the probability that [math]\displaystyle{ Z \geq \frac{i}{2}, }[/math] where [math]\displaystyle{ Z \sim \operatorname{Bin}\left(i, \frac{\lambda}{\lambda+\mu}\right), }[/math] which is bounded below by [math]\displaystyle{ \frac{1}{(i+1)^2} e^{-iD\left(0.5 \| \frac{\lambda}{\lambda+\mu}\right)}, }[/math] where [math]\displaystyle{ D }[/math] is relative entropy (See the entry on bounds on tails of binomial distributions for details). Further noting that [math]\displaystyle{ X+Y \sim \operatorname{Pois}(\lambda+\mu), }[/math] and computing a lower bound on the unconditional probability gives the result. More details can be found in the appendix of Kamath et al..

Related distributions

As a Binomial distribution with infinitesimal time-steps

The Poisson distribution can be derived as a limiting case to the binomial distribution as the number of trials goes to infinity and the expected number of successes remains fixed — see law of rare events below. Therefore, it can be used as an approximation of the binomial distribution if n is sufficiently large and p is sufficiently small. The Poisson distribution is a good approximation of the binomial distribution if n is at least 20 and p is smaller than or equal to 0.05, and an excellent approximation if n ≥ 100 and n p ≤ 10. Letting [math]\displaystyle{ F_{\mathrm B} }[/math] and [math]\displaystyle{ F_{\mathrm P} }[/math] be the respective cumulative density functions of the binomial and Poisson distributions, one has: [math]\displaystyle{ F_\mathrm{B}(k;n, p) \ \approx\ F_\mathrm{P}(k;\lambda=np). }[/math]One derivation of this uses probability-generating functions. Consider a Bernoulli trial (coin-flip) whose probability of one success (or expected number of successes) is [math]\displaystyle{ \lambda \leq 1 }[/math] within a given interval. Split the interval into n parts, and perform a trial in each subinterval with probability [math]\displaystyle{ \tfrac{ \lambda }{n} }[/math]. The probability of k successes out of n trials over the entire interval is then given by the binomial distribution

[math]\displaystyle{ p_k^{(n)}=\binom nk \left(\frac{\lambda}{n}\right)^{\!k} \left(1{-}\frac{\lambda}{n}\right)^{\! n-k} }[/math],

whose generating function is:

[math]\displaystyle{ P^{(n)}(x)=\sum_{k=0}^n p_k^{(n)} x^k = \left(1-\frac{\lambda}{n} +\frac{\lambda}{n} x \right)^n. }[/math]

Taking the limit as n increases to infinity (with x fixed) and applying the product limit definition of the exponential function, this reduces to the generating function of the Poisson distribution:

[math]\displaystyle{ \lim_{n\to\infty} P^{(n)}(x)=\lim_{n\to\infty} \left(1{+}\tfrac{\lambda(x-1)}{n}\right)^n = e^{\lambda(x-1)} = \sum_{k= 0}^{\infty} e^{-\lambda}\frac{\lambda^k }{k!} x^k. }[/math]

General

• If [math]\displaystyle{ X_1 \sim \mathrm{Pois}(\lambda_1)\, }[/math] and [math]\displaystyle{ X_2 \sim \mathrm{Pois}(\lambda_2)\, }[/math] are independent, then the difference [math]\displaystyle{ Y = X_1 - X_2 }[/math] follows a Skellam distribution.
• If [math]\displaystyle{ X_1 \sim \mathrm{Pois}(\lambda_1)\, }[/math] and [math]\displaystyle{ X_2 \sim \mathrm{Pois}(\lambda_2)\, }[/math] are independent, then the distribution of [math]\displaystyle{ X_1 }[/math] conditional on [math]\displaystyle{ X_1+X_2 }[/math] is a binomial distribution.
  Specifically, if [math]\displaystyle{ X_1+X_2=k, }[/math] then [math]\displaystyle{ X_1| X_1+X_2=k\sim \mathrm{Binom}(k, \lambda_1/(\lambda_1+\lambda_2)). }[/math]
  More generally, if X₁, X₂, ..., X_n are independent Poisson random variables with parameters λ₁, λ₂, ..., λ_n then

  given [math]\displaystyle{ \sum_{j=1}^n X_j=k, }[/math] it follows that [math]\displaystyle{ X_i\Big|\sum_{j=1}^n X_j=k \sim \mathrm{Binom}\left(k, \frac{\lambda_i}{\sum_{j=1}^n \lambda_j}\right). }[/math] In fact, [math]\displaystyle{ \{X_i\} \sim \mathrm{Multinom}\left(k, \left\{\frac{\lambda_i}{\sum_{j=1}^n\lambda_j}\right\}\right). }[/math]

• If [math]\displaystyle{ X \sim \mathrm{Pois}(\lambda)\, }[/math] and the distribution of [math]\displaystyle{ Y }[/math] conditional on X = k is a binomial distribution, [math]\displaystyle{ Y \mid (X = k) \sim \mathrm{Binom}(k, p), }[/math] then the distribution of Y follows a Poisson distribution [math]\displaystyle{ Y \sim \mathrm{Pois}(\lambda \cdot p). }[/math] In fact, if, conditional on [math]\displaystyle{ \{X = k\}, }[/math] [math]\displaystyle{ \{Y_i\} }[/math] follows a multinomial distribution, [math]\displaystyle{ \{Y_i\} \mid (X = k) \sim \mathrm{Multinom}\left(k, p_i\right), }[/math] then each [math]\displaystyle{ Y_i }[/math] follows an independent Poisson distribution [math]\displaystyle{ Y_i \sim \mathrm{Pois}(\lambda \cdot p_i), \rho(Y_i, Y_j) = 0. }[/math]
• The Poisson distribution is a special case of the discrete compound Poisson distribution (or stuttering Poisson distribution) with only a parameter. The discrete compound Poisson distribution can be deduced from the limiting distribution of univariate multinomial distribution. It is also a special case of a compound Poisson distribution.
• For sufficiently large values of λ, (say λ>1000), the normal distribution with mean λ and variance λ (standard deviation [math]\displaystyle{ \sqrt{\lambda} }[/math]) is an excellent approximation to the Poisson distribution. If λ is greater than about 10, then the normal distribution is a good approximation if an appropriate continuity correction is performed, i.e., if P(X ≤ x), where x is a non-negative integer, is replaced by P(X ≤ x + 0.5). [math]\displaystyle{ F_\mathrm{Poisson}(x;\lambda) \approx F_\mathrm{normal}(x;\mu=\lambda,\sigma^2=\lambda) }[/math]
• Variance-stabilizing transformation: If [math]\displaystyle{ X \sim \mathrm{Pois}(\lambda), }[/math] then [math]\displaystyle{ Y = 2 \sqrt{X} \approx \mathcal{N}(2\sqrt{\lambda};1), }[/math] and [math]\displaystyle{ Y = \sqrt{X} \approx \mathcal{N}(\sqrt{\lambda};1/4). }[/math] Under this transformation, the convergence to normality (as [math]\displaystyle{ \lambda }[/math] increases) is far faster than the untransformed variable. Other, slightly more complicated, variance stabilizing transformations are available, one of which is Anscombe transform. See Data transformation (statistics) for more general uses of transformations.
• If for every t > 0 the number of arrivals in the time interval [0, t] follows the Poisson distribution with mean λt, then the sequence of inter-arrival times are independent and identically distributed exponential random variables having mean 1/λ.
• The cumulative distribution functions of the Poisson and chi-squared distributions are related in the following ways: [math]\displaystyle{ F_\text{Poisson}(k;\lambda) = 1-F_{\chi^2}(2\lambda;2(k+1)) \quad\quad \text{ integer } k, }[/math] and [math]\displaystyle{ P(X=k)=F_{\chi^2}(2\lambda;2(k+1)) -F_{\chi^2}(2\lambda;2k). }[/math]

Poisson approximation

Assume [math]\displaystyle{ X_1\sim\operatorname{Pois}(\lambda_1), X_2\sim\operatorname{Pois}(\lambda_2), \dots, X_n\sim\operatorname{Pois}(\lambda_n) }[/math] where [math]\displaystyle{ \lambda_1 + \lambda_2 + \dots + \lambda_n=1, }[/math] then [math]\displaystyle{ (X_1, X_2, \dots, X_n) }[/math] is multinomially distributed [math]\displaystyle{ (X_1, X_2, \dots, X_n) \sim \operatorname{Mult}(N, \lambda_1, \lambda_2, \dots, \lambda_n) }[/math] conditioned on [math]\displaystyle{ N = X_1 + X_2 + \dots X_n. }[/math]

This means, among other things, that for any nonnegative function [math]\displaystyle{ f(x_1, x_2, \dots, x_n), }[/math] if [math]\displaystyle{ (Y_1, Y_2, \dots, Y_n)\sim\operatorname{Mult}(m, \mathbf{p}) }[/math] is multinomially distributed, then [math]\displaystyle{ \operatorname{E}[f(Y_1, Y_2, \dots, Y_n)] \le e\sqrt{m}\operatorname{E}[f(X_1, X_2, \dots, X_n)] }[/math] where [math]\displaystyle{ (X_1, X_2, \dots, X_n)\sim\operatorname{Pois}(\mathbf{p}). }[/math]

The factor of [math]\displaystyle{ e\sqrt{m} }[/math] can be replaced by 2 if [math]\displaystyle{ f }[/math] is further assumed to be monotonically increasing or decreasing.

Bivariate Poisson distribution

This distribution has been extended to the bivariate case. The generating function for this distribution is [math]\displaystyle{ g( u, v ) = \exp[ ( \theta_1 - \theta_{12} )( u - 1 ) + ( \theta_2 - \theta_{12} )(v - 1) + \theta_{12} ( uv - 1 ) ] }[/math]

with [math]\displaystyle{ \theta_1, \theta_2 \gt \theta_{ 12 } \gt 0 }[/math]

The marginal distributions are Poisson(θ₁) and Poisson(θ₂) and the correlation coefficient is limited to the range [math]\displaystyle{ 0 \le \rho \le \min\left\{ \sqrt{ \frac{ \theta_1 }{ \theta_2 } }, \sqrt{ \frac{ \theta_2 }{ \theta_1 } } \right\} }[/math]

A simple way to generate a bivariate Poisson distribution [math]\displaystyle{ X_1,X_2 }[/math] is to take three independent Poisson distributions [math]\displaystyle{ Y_1,Y_2,Y_3 }[/math] with means [math]\displaystyle{ \lambda_1,\lambda_2,\lambda_3 }[/math] and then set [math]\displaystyle{ X_1 = Y_1 + Y_3, X_2 = Y_2 + Y_3. }[/math] The probability function of the bivariate Poisson distribution is [math]\displaystyle{ \Pr(X_1=k_1,X_2=k_2) = \exp\left(-\lambda_1-\lambda_2-\lambda_3\right) \frac{\lambda_1^{k_1}}{k_1!} \frac{\lambda_2^{k_2}}{k_2!} \sum_{k=0}^{\min(k_1,k_2)} \binom{k_1}{k} \binom{k_2}{k} k! \left( \frac{\lambda_3}{\lambda_1\lambda_2}\right)^k }[/math]

Free Poisson distribution

The free Poisson distribution with jump size [math]\displaystyle{ \alpha }[/math] and rate [math]\displaystyle{ \lambda }[/math] arises in free probability theory as the limit of repeated free convolution [math]\displaystyle{ \left( \left(1-\frac{\lambda}{N}\right)\delta_0 + \frac{\lambda}{N}\delta_\alpha\right)^{\boxplus N} }[/math] as N → ∞.

In other words, let [math]\displaystyle{ X_N }[/math] be random variables so that [math]\displaystyle{ X_N }[/math] has value [math]\displaystyle{ \alpha }[/math] with probability [math]\displaystyle{ \frac{\lambda}{N} }[/math] and value 0 with the remaining probability. Assume also that the family [math]\displaystyle{ X_1, X_2, \ldots }[/math] are freely independent. Then the limit as [math]\displaystyle{ N \to \infty }[/math] of the law of [math]\displaystyle{ X_1 + \cdots +X_N }[/math] is given by the Free Poisson law with parameters [math]\displaystyle{ \lambda,\alpha. }[/math]

This definition is analogous to one of the ways in which the classical Poisson distribution is obtained from a (classical) Poisson process.

The measure associated to the free Poisson law is given by [math]\displaystyle{ \mu=\begin{cases} (1-\lambda) \delta_0 + \nu,& \text{if } 0\leq \lambda \leq 1 \\ \nu, & \text{if }\lambda \gt 1, \end{cases} }[/math] where [math]\displaystyle{ \nu = \frac{1}{2\pi\alpha t}\sqrt{4\lambda \alpha^2 - ( t - \alpha (1+\lambda))^2} \, dt }[/math] and has support [math]\displaystyle{ [\alpha (1-\sqrt{\lambda})^2,\alpha (1+\sqrt{\lambda})^2]. }[/math]

This law also arises in random matrix theory as the Marchenko–Pastur law. Its free cumulants are equal to [math]\displaystyle{ \kappa_n=\lambda\alpha^n. }[/math]

Some transforms of this law

We give values of some important transforms of the free Poisson law; the computation can be found in e.g. in the book Lectures on the Combinatorics of Free Probability by A. Nica and R. Speicher

The R-transform of the free Poisson law is given by [math]\displaystyle{ R(z)=\frac{\lambda \alpha}{1-\alpha z}. }[/math]

The Cauchy transform (which is the negative of the Stieltjes transformation) is given by [math]\displaystyle{ G(z) = \frac{ z + \alpha - \lambda \alpha - \sqrt{ (z-\alpha (1+\lambda))^2 - 4 \lambda \alpha^2}}{2\alpha z} }[/math]

The S-transform is given by [math]\displaystyle{ S(z) = \frac{1}{z+\lambda} }[/math] in the case that [math]\displaystyle{ \alpha = 1. }[/math]

Weibull and Stable count

Poisson's probability mass function [math]\displaystyle{ f(k; \lambda) }[/math] can be expressed in a form similar to the product distribution of a Weibull distribution and a variant form of the stable count distribution. The variable [math]\displaystyle{ (k+1) }[/math] can be regarded as inverse of Lévy's stability parameter in the stable count distribution: [math]\displaystyle{ f(k; \lambda) = \displaystyle\int_0^\infty \frac{1}{u} \, W_{k+1}(\frac{\lambda}{u}) \left[ \left(k+1\right) u^k \, \mathfrak{N}_{\frac{1}{k+1}}\left(u^{k+1}\right) \right] \, du , }[/math] where [math]\displaystyle{ \mathfrak{N}_{\alpha}(\nu) }[/math] is a standard stable count distribution of shape [math]\displaystyle{ \alpha = 1/\left(k+1\right), }[/math] and [math]\displaystyle{ W_{k+1}(x) }[/math] is a standard Weibull distribution of shape [math]\displaystyle{ k+1. }[/math]

Statistical inference

Parameter estimation

Given a sample of n measured values [math]\displaystyle{ k_i \in \{0,1,\dots\}, }[/math] for i = 1, ..., n, we wish to estimate the value of the parameter λ of the Poisson population from which the sample was drawn. The maximum likelihood estimate is

[math]\displaystyle{ \widehat{\lambda}_\mathrm{MLE}=\frac{1}{n}\sum_{i=1}^n k_i\ . }[/math]

Since each observation has expectation λ so does the sample mean. Therefore, the maximum likelihood estimate is an unbiased estimator of λ. It is also an efficient estimator since its variance achieves the Cramér–Rao lower bound (CRLB). Hence it is minimum-variance unbiased. Also it can be proven that the sum (and hence the sample mean as it is a one-to-one function of the sum) is a complete and sufficient statistic for λ.

To prove sufficiency we may use the factorization theorem. Consider partitioning the probability mass function of the joint Poisson distribution for the sample into two parts: one that depends solely on the sample [math]\displaystyle{ \mathbf{x} }[/math], called [math]\displaystyle{ h(\mathbf{x}) }[/math], and one that depends on the parameter [math]\displaystyle{ \lambda }[/math] and the sample [math]\displaystyle{ \mathbf{x} }[/math] only through the function [math]\displaystyle{ T(\mathbf{x}). }[/math] Then [math]\displaystyle{ T(\mathbf{x}) }[/math] is a sufficient statistic for [math]\displaystyle{ \lambda. }[/math]

[math]\displaystyle{ P(\mathbf{x})=\prod_{i=1}^n\frac{\lambda^{x_i} e^{-\lambda}}{x_i!}=\frac{1}{\prod_{i=1}^n x_i!} \times \lambda^{\sum_{i=1}^n x_i}e^{-n\lambda} }[/math]

The first term [math]\displaystyle{ h(\mathbf{x}) }[/math] depends only on [math]\displaystyle{ \mathbf{x} }[/math]. The second term [math]\displaystyle{ g(T(\mathbf{x})|\lambda) }[/math] depends on the sample only through [math]\displaystyle{ T(\mathbf{x})=\sum_{i=1}^n x_i. }[/math] Thus, [math]\displaystyle{ T(\mathbf{x}) }[/math] is sufficient.

To find the parameter λ that maximizes the probability function for the Poisson population, we can use the logarithm of the likelihood function:

[math]\displaystyle{ \begin{align} \ell(\lambda) & = \ln \prod_{i=1}^n f(k_i \mid \lambda) \\ & = \sum_{i=1}^n \ln\!\left(\frac{e^{-\lambda}\lambda^{k_i}}{k_i!}\right) \\ & = -n\lambda + \left(\sum_{i=1}^n k_i\right) \ln(\lambda) - \sum_{i=1}^n \ln(k_i!). \end{align} }[/math]

We take the derivative of [math]\displaystyle{ \ell }[/math] with respect to λ and compare it to zero:

[math]\displaystyle{ \frac{\mathrm{d}}{\mathrm{d}\lambda} \ell(\lambda) = 0 \iff -n + \left(\sum_{i=1}^n k_i\right) \frac{1}{\lambda} = 0. \! }[/math]

Solving for λ gives a stationary point.

[math]\displaystyle{ \lambda = \frac{\sum_{i=1}^n k_i}{n} }[/math]

So λ is the average of the k_i values. Obtaining the sign of the second derivative of L at the stationary point will determine what kind of extreme value λ is.

[math]\displaystyle{ \frac{\partial^2 \ell}{\partial \lambda^2} = -\lambda^{-2}\sum_{i=1}^n k_i }[/math]

Evaluating the second derivative at the stationary point gives:

[math]\displaystyle{ \frac{\partial^2 \ell}{\partial \lambda^2} = - \frac{n^2}{\sum_{i=1}^n k_i} }[/math]

which is the negative of n times the reciprocal of the average of the k_i. This expression is negative when the average is positive. If this is satisfied, then the stationary point maximizes the probability function.

For completeness, a family of distributions is said to be complete if and only if [math]\displaystyle{ E(g(T)) = 0 }[/math] implies that [math]\displaystyle{ P_\lambda(g(T) = 0) = 1 }[/math] for all [math]\displaystyle{ \lambda. }[/math] If the individual [math]\displaystyle{ X_i }[/math] are iid [math]\displaystyle{ \mathrm{Po}(\lambda), }[/math] then [math]\displaystyle{ T(\mathbf{x})=\sum_{i=1}^n X_i\sim \mathrm{Po}(n\lambda). }[/math] Knowing the distribution we want to investigate, it is easy to see that the statistic is complete.

[math]\displaystyle{ E(g(T))=\sum_{t=0}^\infty g(t)\frac{(n\lambda)^te^{-n\lambda}}{t!} = 0 }[/math]

For this equality to hold, [math]\displaystyle{ g(t) }[/math] must be 0. This follows from the fact that none of the other terms will be 0 for all [math]\displaystyle{ t }[/math] in the sum and for all possible values of [math]\displaystyle{ \lambda. }[/math] Hence, [math]\displaystyle{ E(g(T)) = 0 }[/math] for all [math]\displaystyle{ \lambda }[/math] implies that [math]\displaystyle{ P_\lambda(g(T) = 0) = 1, }[/math] and the statistic has been shown to be complete.

Confidence interval

The confidence interval for the mean of a Poisson distribution can be expressed using the relationship between the cumulative distribution functions of the Poisson and chi-squared distributions. The chi-squared distribution is itself closely related to the gamma distribution, and this leads to an alternative expression. Given an observation k from a Poisson distribution with mean μ, a confidence interval for μ with confidence level 1 – α is

[math]\displaystyle{ \tfrac {1}{2}\chi^{2}(\alpha/2; 2k) \le \mu \le \tfrac {1}{2} \chi^{2}(1-\alpha/2; 2k+2), }[/math]

or equivalently,

[math]\displaystyle{ F^{-1}(\alpha/2; k,1) \le \mu \le F^{-1}(1-\alpha/2; k+1,1), }[/math]

where [math]\displaystyle{ \chi^{2}(p;n) }[/math] is the quantile function (corresponding to a lower tail area p) of the chi-squared distribution with n degrees of freedom and [math]\displaystyle{ F^{-1}(p;n,1) }[/math] is the quantile function of a gamma distribution with shape parameter n and scale parameter 1. This interval is 'exact' in the sense that its coverage probability is never less than the nominal 1 – α.

When quantiles of the gamma distribution are not available, an accurate approximation to this exact interval has been proposed (based on the Wilson–Hilferty transformation):

[math]\displaystyle{ k \left( 1 - \frac{1}{9k} - \frac{z_{\alpha/2}}{3\sqrt{k}}\right)^3 \le \mu \le (k+1) \left( 1 - \frac{1}{9(k+1)} + \frac{z_{\alpha/2}}{3\sqrt{k+1}}\right)^3, }[/math]

where [math]\displaystyle{ z_{\alpha/2} }[/math] denotes the standard normal deviate with upper tail area α / 2.

For application of these formulae in the same context as above (given a sample of n measured values k_i each drawn from a Poisson distribution with mean λ), one would set

[math]\displaystyle{ k=\sum_{i=1}^n k_i , }[/math]

calculate an interval for μ = n λ , and then derive the interval for λ.

Bayesian inference

In Bayesian inference, the conjugate prior for the rate parameter λ of the Poisson distribution is the gamma distribution. Let

[math]\displaystyle{ \lambda \sim \mathrm{Gamma}(\alpha, \beta) }[/math]

denote that λ is distributed according to the gamma density g parameterized in terms of a shape parameter α and an inverse scale parameter β:

[math]\displaystyle{ g(\lambda \mid \alpha,\beta) = \frac{\beta^{\alpha}}{\Gamma(\alpha)} \; \lambda^{\alpha-1} \; e^{-\beta\,\lambda} \qquad \text{ for } \lambda\gt 0 \,\!. }[/math]

Then, given the same sample of n measured values k_i as before, and a prior of Gamma(α, β), the posterior distribution is

[math]\displaystyle{ \lambda \sim \mathrm{Gamma}\left(\alpha + \sum_{i=1}^n k_i, \beta + n\right). }[/math]

Note that the posterior mean is linear and is given by

[math]\displaystyle{ E[ \lambda | k_1, \ldots, k_n ] = \frac{\alpha + \sum_{i=1}^n k_i}{\beta + n}. }[/math]

It can be shown that gamma distribution is the only prior that induces linearity of the conditional mean. Moreover, a converse result exists which states that if the conditional mean is close to a linear function in the [math]\displaystyle{ L_2 }[/math] distance than the prior distribution of λ must be close to gamma distribution in Levy distance.

The posterior mean E[λ] approaches the maximum likelihood estimate [math]\displaystyle{ \widehat{\lambda}_\mathrm{MLE} }[/math] in the limit as [math]\displaystyle{ \alpha\to 0, \beta \to 0, }[/math] which follows immediately from the general expression of the mean of the gamma distribution.

The posterior predictive distribution for a single additional observation is a negative binomial distribution, sometimes called a gamma–Poisson distribution.

Simultaneous estimation of multiple Poisson means

Suppose [math]\displaystyle{ X_1, X_2, \dots, X_p }[/math] is a set of independent random variables from a set of [math]\displaystyle{ p }[/math] Poisson distributions, each with a parameter [math]\displaystyle{ \lambda_i, }[/math] [math]\displaystyle{ i=1,\dots, p, }[/math] and we would like to estimate these parameters. Then, Clevenson and Zidek show that under the normalized squared error loss [math]\displaystyle{ L(\lambda,{\hat \lambda})=\sum_{i=1}^p \lambda_i^{-1} ({\hat \lambda}_i-\lambda_i)^2, }[/math] when [math]\displaystyle{ p\gt 1, }[/math] then, similar as in Stein's example for the Normal means, the MLE estimator [math]\displaystyle{ {\hat \lambda}_i = X_i }[/math] is inadmissible.

In this case, a family of minimax estimators is given for any [math]\displaystyle{ 0 \lt c \leq 2(p-1) }[/math] and [math]\displaystyle{ b \geq (p-2+p^{-1}) }[/math] as

[math]\displaystyle{ {\hat \lambda}_i = \left(1 - \frac{c}{b + \sum_{i=1}^p X_i}\right) X_i, \qquad i=1,\dots,p. }[/math]

Occurrence and applications

Some applications of the Poisson distribution to count data (number of events):

• telecommunication: telephone calls arriving in a system,
• astronomy: photons arriving at a telescope,
• chemistry: the molar mass distribution of a living polymerization,
• biology: the number of mutations on a strand of DNA per unit length,
• management: customers arriving at a counter or call centre,
• finance and insurance: number of losses or claims occurring in a given period of time,
• seismology: asymptotic Poisson model of risk for large earthquakes,
• radioactivity: decays in a given time interval in a radioactive sample,
• optics: number of photons emitted in a single laser pulse (a major vulnerability of quantum key distribution protocols, known as Photon Number Splitting).

More examples of counting events that may be modelled as Poisson processes include:

• soldiers killed by horse-kicks each year in each corps in the Prussian cavalry. This example was used in a book by Ladislaus Bortkiewicz (1868–1931),
• yeast cells used when brewing Guinness beer. This example was used by William Sealy Gosset (1876–1937),
• phone calls arriving at a call centre within a minute. This example was described by A.K. Erlang (1878–1929),
• goals in sports involving two competing teams,
• deaths per year in a given age group,
• jumps in a stock price in a given time interval,
• times a web server is accessed per minute (under an assumption of homogeneity),
• mutations in a given stretch of DNA after a certain amount of radiation,
• cells infected at a given multiplicity of infection,
• bacteria in a certain amount of liquid,
• photons arriving on a pixel circuit at a given illumination over a given time period,
• landing of V-1 flying bombs on London during World War II, investigated by R. D. Clarke in 1946.

In probabilistic number theory, Gallagher showed in 1976 that, if a certain version of the unproved prime r-tuple conjecture holds, then the counts of prime numbers in short intervals would obey a Poisson distribution.

Law of rare events

Comparison of the Poisson distribution (black lines) and the binomial distribution with n = 10 (red circles), n = 20 (blue circles), n = 1000 (green circles). All distributions have a mean of 5. The horizontal axis shows the number of events k. As n gets larger, the Poisson distribution becomes an increasingly better approximation for the binomial distribution with the same mean.

The rate of an event is related to the probability of an event occurring in some small subinterval (of time, space or otherwise). In the case of the Poisson distribution, one assumes that there exists a small enough subinterval for which the probability of an event occurring twice is "negligible". With this assumption one can derive the Poisson distribution from the Binomial one, given only the information of expected number of total events in the whole interval.

Let the total number of events in the whole interval be denoted by [math]\displaystyle{ \lambda. }[/math] Divide the whole interval into [math]\displaystyle{ n }[/math] subintervals [math]\displaystyle{ I_1,\dots,I_n }[/math] of equal size, such that [math]\displaystyle{ n \gt \lambda }[/math] (since we are interested in only very small portions of the interval this assumption is meaningful). This means that the expected number of events in each of the n subintervals is equal to [math]\displaystyle{ \lambda/n. }[/math]

Now we assume that the occurrence of an event in the whole interval can be seen as a sequence of n Bernoulli trials, where the [math]\displaystyle{ i }[/math]-th Bernoulli trial corresponds to looking whether an event happens at the subinterval [math]\displaystyle{ I_i }[/math] with probability [math]\displaystyle{ \lambda/n. }[/math] The expected number of total events in [math]\displaystyle{ n }[/math] such trials would be [math]\displaystyle{ \lambda, }[/math] the expected number of total events in the whole interval. Hence for each subdivision of the interval we have approximated the occurrence of the event as a Bernoulli process of the form [math]\displaystyle{ \textrm{B}(n,\lambda/n). }[/math] As we have noted before we want to consider only very small subintervals. Therefore, we take the limit as [math]\displaystyle{ n }[/math] goes to infinity.

In this case the binomial distribution converges to what is known as the Poisson distribution by the Poisson limit theorem.

In several of the above examples — such as, the number of mutations in a given sequence of DNA—the events being counted are actually the outcomes of discrete trials, and would more precisely be modelled using the binomial distribution, that is [math]\displaystyle{ X \sim \textrm{B}(n,p). }[/math]

In such cases n is very large and p is very small (and so the expectation n p is of intermediate magnitude). Then the distribution may be approximated by the less cumbersome Poisson distribution [math]\displaystyle{ X \sim \textrm{Pois}(np). }[/math]

This approximation is sometimes known as the law of rare events, since each of the n individual Bernoulli events rarely occurs.

The name "law of rare events" may be misleading because the total count of success events in a Poisson process need not be rare if the parameter n p is not small. For example, the number of telephone calls to a busy switchboard in one hour follows a Poisson distribution with the events appearing frequent to the operator, but they are rare from the point of view of the average member of the population who is very unlikely to make a call to that switchboard in that hour.

The variance of the binomial distribution is 1 − p times that of the Poisson distribution, so almost equal when p is very small.

The word law is sometimes used as a synonym of probability distribution, and convergence in law means convergence in distribution. Accordingly, the Poisson distribution is sometimes called the "law of small numbers" because it is the probability distribution of the number of occurrences of an event that happens rarely but has very many opportunities to happen. The Law of Small Numbers is a book by Ladislaus Bortkiewicz about the Poisson distribution, published in 1898.

Poisson point process

The Poisson distribution arises as the number of points of a Poisson point process located in some finite region. More specifically, if D is some region space, for example Euclidean space R^d, for which |D|, the area, volume or, more generally, the Lebesgue measure of the region is finite, and if N(D) denotes the number of points in D, then

[math]\displaystyle{ P(N(D)=k)=\frac{(\lambda|D|)^k e^{-\lambda|D|}}{k!} . }[/math]

Poisson regression and negative binomial regression

Poisson regression and negative binomial regression are useful for analyses where the dependent (response) variable is the count (0, 1, 2, ... ) of the number of events or occurrences in an interval.

Other applications in science

In a Poisson process, the number of observed occurrences fluctuates about its mean λ with a standard deviation [math]\displaystyle{ \sigma_k =\sqrt{\lambda}. }[/math] These fluctuations are denoted as Poisson noise or (particularly in electronics) as shot noise.

The correlation of the mean and standard deviation in counting independent discrete occurrences is useful scientifically. By monitoring how the fluctuations vary with the mean signal, one can estimate the contribution of a single occurrence, even if that contribution is too small to be detected directly. For example, the charge e on an electron can be estimated by correlating the magnitude of an electric current with its shot noise. If N electrons pass a point in a given time t on the average, the mean current is [math]\displaystyle{ I=eN/t }[/math]; since the current fluctuations should be of the order [math]\displaystyle{ \sigma_I = e\sqrt{N}/t }[/math] (i.e., the standard deviation of the Poisson process), the charge [math]\displaystyle{ e }[/math] can be estimated from the ratio [math]\displaystyle{ t\sigma_I^2/I. }[/math]

An everyday example is the graininess that appears as photographs are enlarged; the graininess is due to Poisson fluctuations in the number of reduced silver grains, not to the individual grains themselves. By correlating the graininess with the degree of enlargement, one can estimate the contribution of an individual grain (which is otherwise too small to be seen unaided). Many other molecular applications of Poisson noise have been developed, e.g., estimating the number density of receptor molecules in a cell membrane.

[math]\displaystyle{ \Pr(N_t=k) = f(k;\lambda t) = \frac{(\lambda t)^k e^{-\lambda t}}{k!}. }[/math]

In causal set theory the discrete elements of spacetime follow a Poisson distribution in the volume.

The Poisson distribution also appears in quantum mechanics, especially quantum optics. Namely, for a quantum harmonic oscillator system in a coherent state, the probability of measuring a particular energy level has a Poisson distribution.

Computational methods

The Poisson distribution poses two different tasks for dedicated software libraries: evaluating the distribution [math]\displaystyle{ P(k;\lambda) }[/math], and drawing random numbers according to that distribution.

Evaluating the Poisson distribution

Computing [math]\displaystyle{ P(k;\lambda) }[/math] for given [math]\displaystyle{ k }[/math] and [math]\displaystyle{ \lambda }[/math] is a trivial task that can be accomplished by using the standard definition of [math]\displaystyle{ P(k;\lambda) }[/math] in terms of exponential, power, and factorial functions. However, the conventional definition of the Poisson distribution contains two terms that can easily overflow on computers: λ^k and k!. The fraction of λ^k to k! can also produce a rounding error that is very large compared to e^−λ, and therefore give an erroneous result. For numerical stability the Poisson probability mass function should therefore be evaluated as

[math]\displaystyle{ \!f(k; \lambda)= \exp \left[ k\ln \lambda - \lambda - \ln \Gamma (k+1) \right], }[/math]

which is mathematically equivalent but numerically stable. The natural logarithm of the Gamma function can be obtained using the lgamma function in the C standard library (C99 version) or R, the gammaln function in MATLAB or SciPy, or the log_gamma function in Fortran 2008 and later.

Some computing languages provide built-in functions to evaluate the Poisson distribution, namely

• R: function dpois(x, lambda);
• Excel: function POISSON( x, mean, cumulative), with a flag to specify the cumulative distribution;
• Mathematica: univariate Poisson distribution as PoissonDistribution[[math]\displaystyle{ \lambda }[/math]], bivariate Poisson distribution as MultivariatePoissonDistribution[[math]\displaystyle{ \theta_{12}, }[/math]{ [math]\displaystyle{ \theta_1 - \theta_{12}, }[/math] [math]\displaystyle{ \theta_2 - \theta_{12} }[/math]}],.

Random variate generation

Further information: Non-uniform random variate generation

The less trivial task is to draw integer random variate from the Poisson distribution with given [math]\displaystyle{ \lambda. }[/math]

Solutions are provided by:

• R: function rpois(n, lambda);
• GNU Scientific Library (GSL): function gsl_ran_poisson

A simple algorithm to generate random Poisson-distributed numbers (pseudo-random number sampling) has been given by Knuth:

algorithm poisson random number (Knuth):
    init:
        Let L ← e−λ, k ← 0 and p ← 1.
    do:
        k ← k + 1.
        Generate uniform random number u in [0,1] and let p ← p × u.
    while p > L.
    return k − 1.

The complexity is linear in the returned value k, which is λ on average. There are many other algorithms to improve this. Some are given in Ahrens & Dieter, see § References below.

For large values of λ, the value of L = e^−λ may be so small that it is hard to represent. This can be solved by a change to the algorithm which uses an additional parameter STEP such that e^−STEP does not underflow:

algorithm poisson random number (Junhao, based on Knuth):
    init:
        Let λLeft ← λ, k ← 0 and p ← 1.
    do:
        k ← k + 1.
        Generate uniform random number u in (0,1) and let p ← p × u.
        while p < 1 and λLeft > 0:
            if λLeft > STEP:
                p ← p × eSTEP
                λLeft ← λLeft − STEP
            else:
                p ← p × eλLeft
                λLeft ← 0
    while p > 1.
    return k − 1.

The choice of STEP depends on the threshold of overflow. For double precision floating point format the threshold is near e⁷⁰⁰, so 500 should be a safe STEP.

Other solutions for large values of λ include rejection sampling and using Gaussian approximation.

Inverse transform sampling is simple and efficient for small values of λ, and requires only one uniform random number u per sample. Cumulative probabilities are examined in turn until one exceeds u.

algorithm Poisson generator based upon the inversion by sequential search:
    init:
        Let x ← 0, p ← e−λ, s ← p.
        Generate uniform random number u in [0,1].
    while u > s do:
        x ← x + 1.
        p ← p × λ / x.
        s ← s + p.
    return x.

See also

• Binomial distribution
• Compound Poisson distribution
• Conway–Maxwell–Poisson distribution
• Erlang distribution
• Gamma distribution
• Hermite distribution
• Index of dispersion
• Negative binomial distribution
• Poisson clumping
• Poisson point process
• Poisson regression
• Poisson sampling
• Poisson wavelet
• Queueing theory
• Renewal theory
• Robbins lemma
• Skellam distribution
• Tweedie distribution
• Zero-inflated model
• Zero-truncated Poisson distribution

References

Sources

• Ahrens, Joachim H.; Dieter, Ulrich (1974). "Computer Methods for Sampling from Gamma, Beta, Poisson and Binomial Distributions". Computing 12 (3): 223–246. doi:10.1007/BF02293108. 
• Ahrens, Joachim H.; Dieter, Ulrich (1982). "Computer Generation of Poisson Deviates". ACM Transactions on Mathematical Software 8 (2): 163–179. doi:10.1145/355993.355997. 
• Evans, Ronald J.; Boersma, J.; Blachman, N. M.; Jagers, A. A. (1988). "The Entropy of a Poisson Distribution: Problem 87-6". SIAM Review 30 (2): 314–317. doi:10.1137/1030059. https://research.tue.nl/nl/publications/solution-to-problem-876--the-entropy-of-a-poisson-distribution(94cf6dd2-b35e-41c8-9da7-6ec69ca391a0).html.