3
$\begingroup$

Consider a planar point process $X$ and call $N_A = \text{Card}\big( X \cap A\big)$ the number of points inside the subset $A \subset \mathbb{R}^2$. If one knows the law of $(N_{A_1}, \ldots, N_{A_r})$ for any sets $A_1, \ldots, A_r$, then the process is completely characterized. I recently learned that it in fact suffices to know $f(A)=P(N_A=0)$ (called the void-probability function) for any set $A$ in order to completely characterize the law of $X$.

Intuitively, I do not understand why such a result is true. Indeed, the knowledge of the function $f$ brings some information in the correlation structure of the process $X$: nevertheless, I still fail to understand how the function $f$ can encode the whole correlation structure of the process. Any thoughts on this ?

$\endgroup$

2 Answers 2

7
$\begingroup$

This is only true for simple point processes (no duplicate points).

By the inclusion-exclusion principle, $f$ determines the joint distribution of several (disjoint) sets being empty or occupied. If the process is simple this allows recovering the law of $(N_{A_1},\dots,N_{A_r})$ as a limit over finer partitions.

$\endgroup$
2
  • $\begingroup$ Hi Omer! Welcome to MO. $\endgroup$ Sep 21, 2010 at 16:08
  • $\begingroup$ Very nice. I'd known only one really nice example of inclusion-exclusion that could be presented in an introductory probability course with calculus as a prerequisite: the probability that a random permutation is a derangement approaches $1/e$ as the number of things being permuted grows. $\endgroup$ Dec 8, 2010 at 16:25
3
$\begingroup$

To add to Omer's concise explanation, the general result is known as Choquet's capacity theorem. It says that the void probabilities characterise any random closed set. Simple point processes are an example of random closed sets.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.