Poisson-type Random Measures

Poisson-type random measures are a family of three random counting measures which are closed under restriction to a subspace, i.e. closed under thinning. They are the only distributions in the canonical non-negative power series family of distributions to possess this property and include the Poisson distribution, negative binomial distribution, and binomial distribution. The PT family of distributions is also known as the Katz family of distributions, the Panjer or (a,b,0) class of distributions and may be retrieved through the Conway–Maxwell–Poisson distribution.

Throwing stones

Let $K$ be a non-negative integer-valued random variable $K\in\mathbb_=\mathbb_\cup\$) with law $\kappa$, mean $c\in(0,\infty)$ and when it exists variance $\delta^2>0$. Let $\nu$ be a probability measure on the measurable space $(E,\mathcal)$. Let $\mathbf=\$ be a collection of iid random variables (stones) taking values in $(E,\mathcal)$ with law $\nu$.

The random counting measure $N$ on $(E,\mathcal)$ depends on the pair of deterministic probability measures $(\kappa,\nu)$ through the stone throwing construction (STC)

$\quad N_\omega(A) = N(\omega,A) = \sum_^\mathbb_A(X_i(\omega))\quad \text \quad\omega\in\Omega,\,\,\,A\in\mathcal$

where $K$ has law $\kappa$ and iid $X_1,X_2,\dotsb$ have law $\nu$. $N$ is a mixed binomial process

Let $\mathcal_+=\$ be the collection of positive $\mathcal$-measurable functions. The probability law of $N$ is encoded in the Laplace functional

$\quad\mathbb e^ =\mathbb (\mathbb e^)^K =\mathbb (\nu e^)^K=\psi(\nu e^)\quad\text\quad f\in\mathcal_+$

where $\psi(\cdot)$ is the generating function of $K$. The mean and variance are given by

$\quad\mathbb Nf =c\nu f$

and

$\quad\mathbb\text Nf = c\nu f^2 + (\delta^2-c) (\nu f)^2$

The covariance for arbitrary $f,g\in\mathcal_+$ is given by

$\quad\mathbb\text(Nf,Ng) = c\nu(fg) + (\delta^2-c)\nu f \nu g$

When $K$ is Poisson, negative binomial, or binomial, it is said to be Poisson-type (PT). The joint distribution of the collection $N(A),\ldots,N(B)$ is for $i,\ldots, j \in \N$ and $i+\cdots+j =k$

: $\mathbb(N(A)=i,\ldots, N(B)=j)=\mathbb(N(A)=i,\ldots, N(B)=j, K=k)\,\mathbb(K=k)=\frac\,\nu(A)^i\cdots \nu(B)^j\, \mathbb(K=k)$

The following result extends construction of a random measure $N=(\kappa,\nu)$ to the case when the collection $\mathbf$ is expanded to $(\mathbf,\mathbf)=\$ where $Y_i$ is a random transformation of $X_i$. Heuristically, $Y_i$ represents some properties (marks) of $X_i$. We assume that the conditional law of $Y$ follows some transition kernel according to $\mathbb(Y\in B, X=x)=Q(x,B)$.

Theorem: Marked STC

Consider random measure $N=(\kappa,\nu)$ and the transition probability kernel $Q$ from $(E, \cal E)$ into $(F, \cal F)$. Assume that given the collection $\mathbf$ the variables $\mathbf=\$ are conditionally independent with $Y_i\sim Q(X_i,\cdot)$. Then $M=(\kappa, \nu\times Q)$ is a random measure on $(E\times F, \cal E\otimes F)$. Here $\mu=\nu\times Q$ is understood as $\mu(dx,dy)=\nu(dx)Q(x,dy)$. Moreover, for any $f\in (\otimes )_+$ we have that $\mathbb e^=\psi(\nu e^)$ where $\psi(\cdot )$ is pgf of $K$ and $g\in \mathcal_+$ is defined as $e^= \int_F Q(x,dy)e^.$

The following corollary is an immediate consequence.

Corollary: Restricted STC

The quantity $N_A=(N\mathbb_A,\nu_A)$ is a well-defined random measure on the measurable subspace $(E\cap A, \mathcal_A)$ where $\mathcal_A=\$ and $\nu_A(B)=\nu(A\cap B)/\nu(A)$. Moreover, for any $f\in\mathcal_+$, we have that $\mathbb e^ = \psi(\nu e^\mathbb_A+b)$ where $b=1-\nu(A)$.

Note $\psi(\nu e^\mathbb_A+1-a)=\psi_A(\nu_A e^)$ where we use $\nu e^\mathbb_A=a\nu_A e^$.

Collecting Bones

The probability law of the random measure is determined by its Laplace functional and hence generating function.

Definition: Bone

Let $K_A = N\mathbb_A$ be the counting variable of $K$ restricted to $A\subset E$. When $\$ and $K=N\mathbb_E$ share the same family of laws subject to a rescaling $h_a(\theta)$ of the parameter $\theta$, then $K$ is a called a bone distribution. The bone condition for the pgf is given by
$\psi_(at+1-a)=\psi_(t)$.

Equipped with the notion of a bone distribution and condition, the main result for the existence and uniqueness of Poisson-type (PT) random counting measures is given as follows.

Theorem: existence and uniqueness of PT random measures

Assume that $K\sim \kappa_\theta$ with pgf $\psi_\theta$ belongs to the canonical non-negative power series (NNPS) family of distributions and $\\subset\text(K)$. Consider the random measure $N=(\kappa_\theta,\nu)$ on the space $(E,\mathcal)$ and assume that $\nu$ is diffuse. Then for any $A\subset E$ with $\nu(A)=a>0$ there exists a mapping $h_a:\Theta\rightarrow\Theta$ such that the restricted random measure is $N_A=(\kappa_,\nu_A)$, that is,

$\quad \mathbb e^ = \psi_(\nu_A e^)\quad \text\quad f\in\mathcal_+$

iff $K$ is Poisson, negative binomial, or binomial (Poisson-type).

The proof for this theorem is based on a generalized additive Cauchy equation and its solutions. The theorem states that out of all NNPS distributions, only PT have the property that their restrictions $N\mathbb_A$ share the same family of distribution as $K$, that is, they are closed under thinning. The PT random measures are the Poisson random measure, negative binomial random measure, and binomial random measure. Poisson is additive with independence on disjoint sets, whereas negative binomial has positive covariance and binomial has negative covariance. The binomial process is a limiting case of binomial random measure where $p\rightarrow 1, n\rightarrow c$.

Distributional self-similarity applications

The "bone" condition on the pgf $\psi_\theta$ of $K$ encodes a distributional self-similarity property whereby all counts in restrictions (thinnings) to subspaces (encoded by pgf $\psi_A$) are in the same family as $\psi_\theta$ of $K$ through rescaling of the canonical parameter. These ideas appear closely connected to those of self-decomposability and stability of discrete random variables. Binomial thinning is a foundational model to count time-series. The Poisson random measure has the well-known splitting property, is prototypical to the class of additive (completely random) random measures, and is related to the structure of Levy processes, the jumps of Kolmogorov equations (Markov jump process), and the excursions of Brownian motion.Cinlar Erhan. Probability and Stochastics. Springer-Verlag New York; 2011. Hence the self-similarity property of the PT family is fundamental to multiple areas. The PT family members are "primitives" or prototypical random measures by which many random measures and processes can be constructed.

References

{{reflist

Poisson distribution