Theory 1 - Poisson variable

Poisson variable

A random variable X is Poisson, written X∼Pois(α), when X counts the number of “arrivals” in a fixed “window.” It is applicable when:

  • The arrivals come at a constant average rate.
  • The arrivals are independent of each other.

Poisson PMF:

PX(k)=e−ααkk!

The “window rate” α must be computed from the “background rate” λ using the window size.

A Poisson variable is comparable with a binomial variable. Both count the occurrences of some “arrivals” over some “space of opportunity.”

  • The binomial opportunity is a set of n repetitions of a trial.
  • The Poisson opportunity is a continuous interval of time.

In the binomial case, success occurs at some rate p, since p=P[A] where A is the success event.

In the Poisson case, arrivals occur at some rate α.


center


The Poisson distribution is actually the limit of binomial distributions by taking n→∞ while np remains fixed, so p→0 in perfect balance with n→∞.

Fix α and define pn=α/n. (So p is computed to ensure the average rate np does not change.) Let Xn∼Bin(n,pn) and let Yα∼Pois(α). Then for any k∈ℕ:

PXn(k)→PYα(k)as n→∞

For example, let Xn∼Bin(n,pn), so with pn=3n, and look at PXn(1) as n→∞:

PXn(1)≫≫(n1)(3n)1(1−3n)n−1≫≫3(1−3n)n−1⟶3e−3asn→∞

Interpretation - Binomial model of rare events

Let us interpret the assumptions of this limit. For n large but p small such that α=np remains moderate, the binomial distribution describes a large number of trials, a low probability of success per trial, but a moderate total count of successes.

This setup describes a physical system with a large number of parts that may activate, but each part is unlikely to activate; and yet the number of parts is so large that the total number of arrivals is still moderate.

Theory 2 - Poisson limit of binomial

Extra - Derivation of binomial limit to Poisson

Consider a random variable X∼Bin(n,p), and suppose n is very large.

Suppose also that p is very small, such that E[X]=np is not very large, but the extremes of n and p counteract each other. (Notice that then npq will not be large so the normal approximation does not apply.) In this case, the binomial PMF can be approximated using a factor of e−np. Consider the following rearrangement of the binomial PMF:

PX(k)≫≫(nk)pkqn−k≫≫n(n−1)⋯(n−k+1)k!pk(1−p)n1qk≫≫(1−p)n(np)kk![nn⋅n−1n⋅n−2n⋯n−k+1n]1qk

Since n is very large, the factor in brackets is approximately 1, and since p is very small, the last factor of 1/qk is also approximately 1 (provided we consider k small compared to n). So we have:

PX(k)≈(1−p)n(np)kk!.

Write α=np, a moderate number, to find:

PX(k)≈(1−αn)nαkk!.

Here at last we find e−α, since (1−αn)n→e−α as n→∞. So as n→∞:

PX(k)≈e−ααkk!.

Theory 3 - Divisibility

Extra - Divisibility

Consider a sequence of increasing n with decreasing p such that α=np is held fixed. For example, let n=1,2,3,… while p=αn.

Think of this process as increasing the number of causal agents represented: group the agents together into n bunches, and consider the odds that such a bunch activates. (For the call center, a bunch is a group of users; for radioactive decay, a bunch is a unit of mass of Uranium atoms.)

As n doubles, we imagine the number of agents per bunch to drop by half. (For the call center, we divide a group in half, so twice as many groups but half the odds of one group making a call; for the Uranium, we divide a chunk of mass in half, getting twice as many portions with half the odds of a decay occurring in each portion.

This process is formally called division of a distribution, and the fact that the Poisson distribution arises as the limit of such division means that it is infinitely divisible.

Theory 4 - Poisson approximation

Extra - Theorem: Poisson approximation of the binomial

Suppose X∼Bin(n,p) and Y∼Pois(np). Then:

|PX(k)−PY(k)|≤np2

for any k∈ℕ.

In consequence of this theorem, a Poisson distribution may be used to approximate the probabilities of a binomial distribution for large n when it is impracticable (even for a computer) to calculate large binomial coefficients.

The theorem shows that the Poisson approximation is appropriate when np is a moderate number while np2 is a small number.