Poisson Processes

⚡ Key Takeaways

A Poisson process is a model for events occurring randomly and independently in time (or space) at a constant average rate λ\lambda. The number of events in any interval of length tt follows a Poisson distribution with mean λt\lambda t, and the waiting times between events are independent exponential random variables. It applies wherever rare, memoryless events accumulate — radioactive decay, customer arrivals, photon detection, telephone calls. Introduced via Poisson's 1837 distribution and developed into a stochastic process by the early 20th century (Erlang, Lundberg).

💡 The Core Insight

Memorylessness made into a process. The defining property is that the future evolution of the process depends only on the present, not the past — and the rate never changes. This single assumption (stationary, independent increments with no simultaneous events) forces both the Poisson count distribution and the exponential inter-arrival times. The Poisson process is the unique continuous-time analogue of repeated independent coin flips made infinitely frequent and infinitely rare in just the right balance.

Formal Statement

DefinitionCounting Process

A stochastic process {N(t):t≥0}\{N(t): t\geq 0\} is a counting process if N(t)N(t) represents the total number of events in [0,t][0,t] and satisfies:

  • N(t)≥0N(t) \geq 0 and N(0)=0N(0) = 0,
  • N(t)N(t) is integer-valued,
  • if s<ts < t then N(s)≤N(t)N(s) \leq N(t),
  • for s<ts<t, N(t)−N(s)N(t)-N(s) equals the number of events in (s,t](s,t].
DefinitionPoisson Process — Axiomatic Definition

A counting process {N(t)}\{N(t)\} is a Poisson process with rate λ>0\lambda > 0 if: 1. N(0)=0N(0)=0; 2. Independent increments: the numbers of events in disjoint intervals are independent; 3. Stationary increments: the distribution of the number of events in an interval depends only on its length; 4. The number of events in any interval of length tt is Poisson distributed:

1
P{N(t+s)−N(s)=n}=e−λt(λt)nn!,n=0,1,2,…\quad P\{N(t+s)-N(s) = n\} = e^{-\lambda t}\frac{(\lambda t)^n}{n!}, \qquad n = 0,1,2,\dots

Derivation hint: This is the Poisson pmf with parameter λt\lambda t; it follows from the infinitesimal axioms below via a differential equation, shown in the proof. Here λ\lambda is the rate or intensity (events per unit time), tt is the interval length, and nn the event count.

DefinitionPoisson Process — Infinitesimal (Local) Definition

An equivalent definition replaces axiom 4 with local conditions. As h→0h \to 0:

2
P{N(h)=1}=λh+o(h),P{N(h)≥2}=o(h),P{N(h)=0}=1−λh+o(h)\quad P\{N(h)=1\} = \lambda h + o(h), \qquad P\{N(h)\geq 2\} = o(h), \qquad P\{N(h)=0\}=1-\lambda h + o(h)

Derivation hint: o(h)o(h) denotes terms vanishing faster than hh; these encode "at most one event in a tiny window" — orderliness — plus a constant per-unit hazard.

TheoremEquivalence of Definitions

The axiomatic definition and the infinitesimal definition are equivalent: a counting process with N(0)=0N(0)=0, stationary independent increments, and the orderliness conditions [2] satisfies [1], and conversely.

TheoremInter-arrival and Waiting Times

Let T1,T2,…T_1, T_2, \dots be the inter-arrival times (time between consecutive events) and Sn=∑k=1nTkS_n = \sum_{k=1}^n T_k the arrival time of the nn-th event. Then:

3
TnExponential(λ),P{Tn>t}=e−λt\quad T_n \overset{\text{iid}}{\sim} \text{Exponential}(\lambda), \qquad P\{T_n > t\} = e^{-\lambda t}

Derivation hint: {T1>t}={N(t)=0}\{T_1 > t\} = \{N(t)=0\}, which has probability e−λte^{-\lambda t} by [1]; independence and stationarity extend this to all TnT_n.

4
Sn∼Gamma(n,λ),fSn(t)=λe−λt(λt)n−1(n−1)!,t≥0\quad S_n \sim \text{Gamma}(n,\lambda), \qquad f_{S_n}(t) = \lambda e^{-\lambda t}\frac{(\lambda t)^{n-1}}{(n-1)!}, \quad t\geq 0

Derivation hint: SnS_n is a sum of nn iid exponentials; convolve, or differentiate P{Sn≤t}=P{N(t)≥n}P\{S_n \leq t\} = P\{N(t)\geq n\} using [1].

Why It Holds / Derivation

ProofDeriving the Poisson Distribution from the Infinitesimal Axioms

Let Pn(t)=P{N(t)=n}P_n(t) = P\{N(t)=n\}. We derive [1] from [2].

Step 1 — Probability of zero events. Using independent and stationary increments,

P0(t+h)=P{N(t)=0, N(t+h)−N(t)=0}=P0(t) P0(h).P_0(t+h) = P\{N(t)=0,\ N(t+h)-N(t)=0\} = P_0(t)\,P_0(h).

By [2], P0(h)=1−λh+o(h)P_0(h) = 1-\lambda h + o(h), so

P0(t+h)−P0(t)=P0(t)(−λh+o(h)).P_0(t+h) - P_0(t) = P_0(t)(-\lambda h + o(h)).

Step 2 — Differential equation for P0P_0. Divide by hh and let h→0h\to 0:

P0′(t)=−λP0(t).P_0'(t) = -\lambda P_0(t).

With P0(0)=1P_0(0)=1 this gives P0(t)=e−λtP_0(t)=e^{-\lambda t}.

Step 3 — Recursion for n≥1n\geq 1. Condition on events in (t,t+h](t,t+h]. Using orderliness (at most one event in hh):

Pn(t+h)=Pn(t)(1−λh)+Pn−1(t)λh+o(h).P_n(t+h) = P_n(t)(1-\lambda h) + P_{n-1}(t)\lambda h + o(h).

Rearranging and taking h→0h\to 0:

Pn′(t)=−λPn(t)+λPn−1(t).P_n'(t) = -\lambda P_n(t) + \lambda P_{n-1}(t).

Step 4 — Solve the recursion. Multiply by the integrating factor eλte^{\lambda t}:

ddt[eλtPn(t)]=λeλtPn−1(t).\frac{d}{dt}\left[e^{\lambda t}P_n(t)\right] = \lambda e^{\lambda t}P_{n-1}(t).

Inductively, assuming Pn−1(t)=e−λt(λt)n−1/(n−1)!P_{n-1}(t)=e^{-\lambda t}(\lambda t)^{n-1}/(n-1)!, integration with Pn(0)=0P_n(0)=0 yields

eλtPn(t)=(λt)nn!,e^{\lambda t}P_n(t) = \frac{(\lambda t)^n}{n!},

hence Pn(t)=e−λt(λt)n/n!P_n(t)=e^{-\lambda t}(\lambda t)^n/n!, which is [1]. ■\blacksquare

∎
ProofInter-arrival Times are Exponential

The first arrival exceeds tt iff no event occurred in [0,t][0,t]:

P{T1>t}=P{N(t)=0}=e−λt.P\{T_1 > t\} = P\{N(t)=0\} = e^{-\lambda t}.

Thus T1∼Exponential(λ)T_1 \sim \text{Exponential}(\lambda). For T2T_2, condition on the first arrival at ss. By independent and stationary increments, the process restarts at time ss (the strong Markov / regeneration property), so the time to the next event has the same exponential law and is independent of T1T_1. Inductively all TnT_n are iid Exponential(λ)(\lambda). ■\blacksquare

∎
SD
Siméon Denis Poisson
1781–1840

Poisson was a French mathematician and physicist whose 1837 treatise Recherches sur la probabilité des jugements en matière criminelle et en matière civile introduced the distribution now bearing his name, as a limiting form of the binomial for rare events. Although he never studied the process (the temporal stochastic object), his distribution describing the count of rare events became its defining marginal law. Poisson also contributed Poisson's equation in potential theory, the Poisson bracket in mechanics, and Poisson's ratio in elasticity — a remarkable spread across pure and applied mathematics.

Building Intuition

🧠 Intuition

Imagine standing under a light drizzle and counting raindrops hitting a small square of pavement. Drops fall independently; there's no "memory" — the chance of a hit in the next instant doesn't depend on how long you've waited. Over a fixed second, the average number of hits is constant. This is the Poisson process: the count over any time window is Poisson, and the gaps between drops are exponential. Two facts crystallize the picture:

  • Memorylessness: P{T>s+t∣T>s}=P{T>t}P\{T > s+t \mid T > s\} = P\{T > t\}. Having waited 5 minutes for a bus with no arrival, your additional wait has the same distribution as a fresh start. The process never "ages."
  • Rate balance: the binomial(n,λt/n)(n, \lambda t/n) converges to Poisson(λt)(\lambda t) as n→∞n\to\infty. Slice [0,t][0,t] into nn tiny bins, each holding an event with probability λt/n\lambda t/n; infinitely many infinitely-rare trials give the Poisson law.
Figure
A Poisson process: arrival times SnS_n (gold dots) and the staircase count N(t)N(t), with exponential gaps TnT_n.
t N(t) 1 2 3 4 5 S₁ S₂ S₃ S₄ S₅ T₄ (gap)

Worked Examples

ExampleCall Center Arrivals

Given: Calls arrive at a switchboard as a Poisson process with rate λ=3\lambda = 3 calls per minute.

(a) Probability that exactly 5 calls arrive in a 2-minute window. Mean =λt=3×2=6= \lambda t = 3 \times 2 = 6. By [1]:

P{N(2)=5}=e−6655!=e−67776120=e−6(64.8)≈0.1606.P\{N(2)=5\} = e^{-6}\frac{6^5}{5!} = e^{-6}\frac{7776}{120} = e^{-6}(64.8) \approx 0.1606.

(b) Probability that no calls arrive in the next 40 seconds (=2/3= 2/3 min). λt=3×23=2\lambda t = 3 \times \tfrac{2}{3} = 2. So P{N=0}=e−2≈0.1353.P\{N=0\} = e^{-2} \approx 0.1353.

(c) Expected waiting time until the next call: E[T]=1/λ=1/3E[T] = 1/\lambda = 1/3 min =20= 20 seconds.

P(a)≈0.161,P(b)≈0.135,E[T]≈20 s\boxed{P(a)\approx 0.161,\quad P(b)\approx 0.135,\quad E[T]\approx 20\text{ s}}
ExampleRadioactive Decay Detection

Given: A detector registers decay events from a sample at rate λ=0.5\lambda = 0.5 counts per second. Assume a Poisson process.

(a) Expected time for the 4th count: E[S4]=n/λ=4/0.5=8E[S_4] = n/\lambda = 4/0.5 = 8 s (from [4], mean of Gamma is n/λn/\lambda).

(b) Variance of the time to the 4th count: Var(S4)=n/λ2=4/0.25=16\text{Var}(S_4) = n/\lambda^2 = 4/0.25 = 16 s², standard deviation 44 s.

(c) Probability the 1st count takes longer than 3 s: P{S1>3}=e−λ⋅3=e−1.5≈0.2231.P\{S_1 > 3\} = e^{-\lambda \cdot 3} = e^{-1.5} \approx 0.2231.

(d) Probability of exactly 2 counts in a 10-second window: λt=5\lambda t = 5, so P{N(10)=2}=e−5522!=e−5(12.5)≈0.0842.P\{N(10)=2\} = e^{-5}\dfrac{5^2}{2!} = e^{-5}(12.5)\approx 0.0842.

E[S4]=8 s,  σS4=4 s,  P(S1>3)≈0.223,  P(N=2)≈0.084\boxed{E[S_4]=8\text{ s},\ \ \sigma_{S_4}=4\text{ s},\ \ P(S_1>3)\approx0.223,\ \ P(N{=}2)\approx0.084}

Common Misconceptions

⚠️ Common mistake

"Stationary increments mean evenly spaced events." No. Stationarity means the distribution of counts depends only on interval length, not on where the interval sits. The actual events are highly irregular — clusters and long gaps are typical, not anomalies. People routinely mistake genuine Poisson randomness for "non-random" because real Poisson data looks clumpier than the false intuition of regular spacing.

⚠️ Common mistake

Confusing the rate λ\lambda with a probability. λ\lambda has units of events per unit time and can exceed 1. The quantity λh\lambda h is only approximately a probability for small hh; over a unit interval the probability of an event is 1−e−λ1-e^{-\lambda}, not λ\lambda.

Counterexample

A process that fails orderliness. Suppose events arrive in pairs — every "trigger" deposits exactly two events simultaneously, with triggers forming a Poisson process. Then P{N(h)=2}≠o(h)P\{N(h)=2\} \not= o(h) (it is ≈λh\approx \lambda h), violating axiom [2]. The count process is not Poisson; it is a compound Poisson process. Its variance exceeds its mean (Var=4λt>2λt=E[N]\text{Var} = 4\lambda t > 2\lambda t = E[N]), whereas a true Poisson process always has equal mean and variance, Var(N(t))=E[N(t)]=λt\text{Var}(N(t)) = E[N(t)] = \lambda t.

Connections

connection

The Poisson process sits at a crossroads of probability:

  • It is a continuous-time Markov Chain (a pure birth process) — the simplest non-trivial example, with generator concentrated on +1+1 jumps.
  • Its inter-arrival times link it to the Exponential Distribution and, via sums, the Gamma Distribution.
  • It is the prototypical Lévy process: stationary, independent increments — the discrete-jump counterpart of Brownian Motion.
  • As a model of random points, it is the foundational example in the theory of point processes and spatial statistics.
  • The Poisson limit theorem connects it to the Binomial Distribution (rare-event limit) and underpins its derivation.

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- 1711 — Abraham de Moivre studies rare-event approximations of binomial probabilities, foreshadowing the Poisson limit.
- 1837 — Siméon Denis Poisson publishes the Poisson distribution as a limit of the binomial in his work on judicial probabilities.
- 1898 — Ladislaus Bortkiewicz applies the distribution to rare events (famously, Prussian soldiers killed by horse kicks) in Das Gesetz der kleinen Zahlen.
- 1909 — Agner Krarup Erlang models telephone traffic as Poisson arrivals, founding queueing theory.
- 1903–1910 — Harald Cramér and Filip Lundberg develop collective risk theory using the Poisson claim process.
- 1910 — Ernest Rutherford and Hans Geiger empirically confirm Poisson statistics for alpha-particle emission.
- 1930s–40s — Andrey Kolmogorov and others formalize the Poisson process within the axiomatic theory of stochastic processes and Markov processes.
- 1955 — David Cox introduces doubly stochastic (Cox) processes, generalizing the Poisson process to random intensities.
- 1960s–70s — The general theory of point processes (Khinchin, Matthes, Mecke) places the Poisson process as the canonical "complete randomness" reference.

Subtleties & Limits

open-problem

Beyond the homogeneous case. Real-world arrival rates vary with time (traffic peaks, daily cycles). The inhomogeneous Poisson process replaces λ\lambda with λ(t)\lambda(t), so counts become Poisson with mean ∫stλ(u) du\int_s^t \lambda(u)\,du. Estimating λ(t)\lambda(t) nonparametrically, and testing whether data are genuinely Poisson versus clustered (overdispersed) or regular (underdispersed), remain active in applied statistics. The Cox process lets λ\lambda itself be random, capturing burstiness; distinguishing a Cox process from a pure inhomogeneous Poisson process from a single realization is notoriously hard. Higher-dimensional analogues (spatial and spatio-temporal Poisson processes) raise deep questions in stochastic geometry, including the behavior of Poisson–Voronoi tessellations and percolation on Poisson point clouds.

See Also

Exponential Distribution · Gamma Distribution · Binomial Distribution · Continuous-Time Markov Chains · Queueing Theory · Renewal Theory · Brownian Motion · Compound Poisson Process · Law of Rare Events