Point process notation

From HandWiki
Short description: Mathematical notation used in probability and statistics


In probability and statistics, point process notation comprises the range of mathematical notation used to symbolically represent random objects known as point processes, which are used in related fields such as stochastic geometry, spatial statistics and continuum percolation theory and frequently serve as mathematical models of random phenomena, representable as points, in time, space or both.

The notation varies due to the histories of certain mathematical fields and the different interpretations of point processes,[1][2][3] and borrows notation from mathematical areas of study such as measure theory and set theory.[1]

Interpretation of point processes

The notation, as well as the terminology, of point processes depends on their setting and interpretation as mathematical objects which under certain assumptions can be interpreted as random sequences of points, random sets of points or random counting measures.[1]

Random sequences of points

In some mathematical frameworks, a given point process may be considered as a sequence of points with each point randomly positioned in d-dimensional Euclidean space Rd[1] as well as some other more abstract mathematical spaces. In general, whether or not a random sequence is equivalent to the other interpretations of a point process depends on the underlying mathematical space, but this holds true for the setting of finite-dimensional Euclidean space Rd.[4]

Random set of points

A point process is called simple if no two (or more points) coincide in location with probability one. Given that often point processes are simple and the order of the points does not matter, a collection of random points can be considered as a random set of points[1][5] The theory of random sets was independently developed by David Kendall and Georges Matheron. In terms of being considered as a random set, a sequence of random points is a random closed set if the sequence has no accumulation points with probability one[6]

A point process is often denoted by a single letter,[1][7][8] for example [math]\displaystyle{ {N} }[/math], and if the point process is considered as a random set, then the corresponding notation:[1]

[math]\displaystyle{ x\in {N}, }[/math]

is used to denote that a random point [math]\displaystyle{ x }[/math] is an element of (or belongs to) the point process [math]\displaystyle{ {N} }[/math]. The theory of random sets can be applied to point processes owing to this interpretation, which alongside the random sequence interpretation has resulted in a point process being written as:

[math]\displaystyle{ \{x_1, x_2,\dots \}=\{x\}_i, }[/math]

which highlights its interpretation as either a random sequence or random closed set of points.[1] Furthermore, sometimes an uppercase letter denotes the point process, while a lowercase denotes a point from the process, so, for example, the point [math]\displaystyle{ \textstyle x }[/math] (or [math]\displaystyle{ \textstyle x_i }[/math]) belongs to or is a point of the point process [math]\displaystyle{ \textstyle X }[/math], or with set notation, [math]\displaystyle{ \textstyle x\in X }[/math].[8]

Random measures

To denote the number of points of [math]\displaystyle{ {N} }[/math] located in some Borel set [math]\displaystyle{ B }[/math], it is sometimes written [7]

[math]\displaystyle{ \Phi(B) =\#( B \cap {N}), }[/math]

where [math]\displaystyle{ \Phi(B) }[/math] is a random variable and [math]\displaystyle{ \# }[/math] is a counting measure, which gives the number of points in some set. In this mathematical expression the point process is denoted by:

[math]\displaystyle{ {N} }[/math].

On the other hand, the symbol:

[math]\displaystyle{ \Phi }[/math]

represents the number of points of [math]\displaystyle{ {N} }[/math] in [math]\displaystyle{ B }[/math]. In the context of random measures, one can write:

[math]\displaystyle{ \Phi(B)=n }[/math]

to denote that there is the set [math]\displaystyle{ B }[/math] that contains [math]\displaystyle{ n }[/math] points of [math]\displaystyle{ {N} }[/math]. In other words, a point process can be considered as a random measure that assigns some non-negative integer-valued measure to sets.[1] This interpretation has motivated a point process being considered just another name for a random counting measure[9]:106 and the techniques of random measure theory offering another way to study point processes,[1][10] which also induces the use of the various notations used in integration and measure theory. [lower-alpha 1]

Dual notation

The different interpretations of point processes as random sets and counting measures is captured with the often used notation [1][3][8][11] in which:

  • [math]\displaystyle{ {N} }[/math] denotes a set of random points.
  • [math]\displaystyle{ {N}(B) }[/math] denotes a random variable that gives the number of points of [math]\displaystyle{ {N} }[/math] in [math]\displaystyle{ B }[/math] (hence it is a random counting measure).

Denoting the counting measure again with [math]\displaystyle{ \# }[/math], this dual notation implies:

[math]\displaystyle{ {N}(B) =\#(B \cap {N}). }[/math]

Sums

If [math]\displaystyle{ f }[/math] is some measurable function on Rd, then the sum of [math]\displaystyle{ f(x) }[/math] over all the points [math]\displaystyle{ x }[/math] in [math]\displaystyle{ {N} }[/math] can be written in a number of ways [1][3] such as:

[math]\displaystyle{ f(x_1) + f(x_2)+ \cdots }[/math]

which has the random sequence appearance, or with set notation as:

[math]\displaystyle{ \sum_{x\in {N}}f(x) }[/math]

or, equivalently, with integration notation as:

[math]\displaystyle{ \int_{\textbf{R}^d} f(x) {N}(dx) }[/math]

where which puts an emphasis on the interpretation of [math]\displaystyle{ {N} }[/math] being a random counting measure. An alternative integration notation may be used to write this integral as:

[math]\displaystyle{ \int_{\textbf{R}^d} f \, d{N} }[/math]

The dual interpretation of point processes is illustrated when writing the number of [math]\displaystyle{ {N} }[/math] points in a set [math]\displaystyle{ B }[/math] as:

[math]\displaystyle{ {N}(B)= \sum_{x\in {N}}1_B(x) }[/math]

where the indicator function [math]\displaystyle{ 1_B(x) =1 }[/math] if the point [math]\displaystyle{ x }[/math] is exists in [math]\displaystyle{ B }[/math] and zero otherwise, which in this setting is also known as a Dirac measure.[11] In this expression the random measure interpretation is on the left-hand side while the random set notation is used is on the right-hand side.

Expectations

The average or expected value of a sum of functions over a point process is written as:[1][3]

[math]\displaystyle{ E\left[\sum_{x\in {N}}f(x)\right] \qquad \text{or} \qquad \int_{\textbf{N}}\sum_{x\in {N}}f(x) P(d{N}), }[/math]

where (in the random measure sense) [math]\displaystyle{ P }[/math] is an appropriate probability measure defined on the space of counting measures [math]\displaystyle{ \textbf{N} }[/math]. The expected value of [math]\displaystyle{ {N}(B) }[/math] can be written as:[1]

[math]\displaystyle{ E[{N}(B)]=E\left( \sum_{x\in {N}}1_B(x)\right) \qquad \text{or} \qquad \int_{\textbf{N}}\sum_{x\in {N}}1_B(x) P(d{N}). }[/math]

which is also known as the first moment measure of [math]\displaystyle{ {N} }[/math]. The expectation of such a random sum, known as a shot noise process in the theory of point processes, can be calculated with Campbell's theorem.[2]

Uses in other fields

Point processes are employed in other mathematical and statistical disciplines, hence the notation may be used in fields such stochastic geometry, spatial statistics or continuum percolation theory, and areas which use the methods and theory from these fields.

See also

Notes

  1. As discussed in Chapter 1 of Stoyan, Kendall and Mechke,[1] varying integral notation in general applies to all integrals here and elsewhere.

References

  1. 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 1.12 1.13 1.14 D. Stoyan, W. S. Kendall, J. Mecke, and L. Ruschendorf. Stochastic geometry and its applications, Second Edition, Section 4.1, Wiley Chichester, 1995.
  2. 2.0 2.1 Daley, D. J.; Vere-Jones, D. (2003). An Introduction to the Theory of Point Processes. Probability and its Applications. doi:10.1007/b97277. ISBN 978-0-387-95541-4. https://archive.org/details/introductiontoth0000dale. 
  3. 3.0 3.1 3.2 3.3 M. Haenggi. Stochastic geometry for wireless networks. Chapter 2. Cambridge University Press, 2012.
  4. Daley, D. J.; Vere-Jones, D. (2008). An Introduction to the Theory of Point Processes. Probability and Its Applications. doi:10.1007/978-0-387-49835-5. ISBN 978-0-387-21337-8. 
  5. Baddeley, A.; Barany, I.; Schneider, R.; Weil, W. (2007). "Spatial Point Processes and their Applications". Stochastic Geometry. Lecture Notes in Mathematics. 1892. pp. 1. doi:10.1007/978-3-540-38175-4_1. ISBN 978-3-540-38174-7. 
  6. Schneider, R.; Weil, W. (2008). Stochastic and Integral Geometry. Probability and Its Applications. doi:10.1007/978-3-540-78859-1. ISBN 978-3-540-78858-4. 
  7. 7.0 7.1 J. F. C. Kingman. Poisson processes, volume 3. Oxford university press, 1992.
  8. 8.0 8.1 8.2 Moller, J.; Plenge Waagepetersen, R. (2003). Statistical Inference and Simulation for Spatial Point Processes. C&H/CRC Monographs on Statistics & Applied Probability. 100. doi:10.1201/9780203496930. ISBN 978-1-58488-265-7. 
  9. Molchanov, Ilya (2005). Theory of Random Sets. Probability and Its Applications. doi:10.1007/1-84628-150-4. ISBN 978-1-85233-892-3. https://archive.org/details/probabilityitsap0000unse_i5l1. 
  10. Grandell, Jan (1977). "Point Processes and Random Measures". Advances in Applied Probability 9 (3): 502–526. doi:10.2307/1426111. 
  11. 11.0 11.1 Baccelli, F. O. (2009). "Stochastic Geometry and Wireless Networks: Volume I Theory". Foundations and Trends in Networking 3 (3–4): 249–449. doi:10.1561/1300000006. https://hal.inria.fr/inria-00403039/file/FnT1.pdf.