In mathematics, stochastic geometry is the study of random spatial patterns. At the heart of the subject lies the study of random point patterns. This leads to the theory of spatial point processes, hence notions of Palm conditioning, which extend to the more abstract setting of random measures.
There are various models for point processes, typically based on but going beyond the classic homogeneous Poisson point process (the basic model for complete spatial randomness) to find expressive models which allow effective statistical methods.
The point pattern theory provides a major building block for generation of random object processes, allowing construction of elaborate random spatial patterns. The simplest version, the Boolean model, places a random compact object at each point of a Poisson point process. More complex versions allow interactions based in various ways on the geometry of objects. Different directions of application include: the production of models for random images either as set-union of objects, or as patterns of overlapping objects; also the generation of geometrically inspired models for the underlying point process (for example, the point pattern distribution may be biased by an exponential factor involving the area of the union of the objects; this is related to the Widom–Rowlinson model[1] of statistical mechanics).
What is meant by a random object? A complete answer to this question requires the theory of random closed sets, which makes contact with advanced concepts from measure theory. The key idea is to focus on the probabilities of the given random closed set hitting specified test sets. There arise questions of inference (for example, estimate the set which encloses a given point pattern) and theories of generalizations of means etc. to apply to random sets. Connections are now being made between this latter work and recent developments in geometric mathematical analysis concerning general metric spaces and their geometry. Good parametrizations of specific random sets can allow us to refer random object processes to the theory of marked point processes; object-point pairs are viewed as points in a larger product space formed as the product of the original space and the space of parametrization.
Suppose we are concerned no longer with compact objects, but with objects which are spatially extended: lines on the plane or flats in 3-space. This leads to consideration of line processes, and of processes of flats or hyper-flats. There can no longer be a preferred spatial location for each object; however the theory may be mapped back into point process theory by representing each object by a point in a suitable representation space. For example, in the case of directed lines in the plane one may take the representation space to be a cylinder. A complication is that the Euclidean motion symmetries will then be expressed on the representation space in a somewhat unusual way. Moreover, calculations need to take account of interesting spatial biases (for example, line segments are less likely to be hit by random lines to which they are nearly parallel) and this provides an interesting and significant connection to the hugely significant area of stereology, which in some respects can be viewed as yet another theme of stochastic geometry. It is often the case that calculations are best carried out in terms of bundles of lines hitting various test-sets, rather than by working in representation space.
Line and hyper-flat processes have their own direct applications, but also find application as one way of creating tessellations dividing space; hence for example one may speak of Poisson line tessellations. A notable recent result[2] proves that the cell at the origin of the Poisson line tessellation is approximately circular when conditioned to be large. Tessellations in stochastic geometry can of course be produced by other means, for example by using Voronoi and variant constructions, and also by iterating various means of construction.
The name appears to have been coined by David Kendall and Klaus Krickeberg[3] while preparing for a June 1969 Oberwolfach workshop, though antecedents for the theory stretch back much further under the name geometric probability. The term "stochastic geometry" was also used by Frisch and Hammersley in 1963[4] as one of two suggestions for names of a theory of "random irregular structures" inspired by percolation theory.
This brief description has focused on the theory[3] [5] of stochastic geometry, which allows a view of the structure of the subject. However, much of the life and interest of the subject, and indeed many of its original ideas, flow from a very wide range of applications, for example: astronomy,[6] spatially distributed telecommunications,[7] wireless network modeling and analysis,[8] modeling of channel fading,[9] [10] forestry,[11] the statistical theory of shape,[12] material science,[13] multivariate analysis, problems in image analysis[14] and stereology. There are links to statistical mechanics,[15] Markov chain Monte Carlo, and implementations of the theory in statistical computing (for example, spatstat[16] in R). Most recently determinantal and permanental point processes (connected to random matrix theory) are beginning to play a role.[17]