View source for Stochastic geometry

A mathematical discipline in which one studies the relations between geometry and probability theory. Stochastic geometry developed from the classical [[Integral geometry|integral geometry]] and from problems on [[Geometric probabilities|geometric probabilities]], with the introduction of ideas and methods from the theory of random processes, especially the theory of point processes.

One of the basic concepts of stochastic geometry is the concept of a process of geometric elements (a geometric process) in a  "fundamental"  space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901101.png" />; geometric processes are defined as point processes on manifolds that represent the space of (elementary) events. Thus, processes of straight lines in the plane are defined as point processes on the Möbius strip (the latter represents the space of straight lines in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901102.png" />). Other processes examined are processes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901103.png" />-dimensional planes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901104.png" />, processes of convex figures in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901105.png" />, of random mosaics in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901106.png" /> (the latter can be considered as processes of convex polyhedra such that the interiors of the polyhedra do not intersect with probability 1, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901107.png" /> is equal to the union of their closures), etc.

Processes on manifolds form a more general concept; here, stochastic geometry is linked with the theory of random sets (see [[#References|[1]]]).

Another peculiarity, which distinguishes stochastic geometry from the theory of random sets, is the interest stochastic geometry has for geometric processes with distributions that are invariant relative to groups acting on the fundamental space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901108.png" />. The following is a characteristic result in this direction (see [[#References|[2]]]). The class of those processes of straight lines on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s0901109.png" /> which possess finite intensity and which are invariant relative to the group of Euclidean motions of the plane is examined. A process is called non-singular if its Palm distribution is absolutely continuous relative to the (unconditional) distribution of the process. All non-singular processes of straight lines are doubly-stochastic Poisson processes (i.e. Poisson processes controlled by a random measure). For point processes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011010.png" /> this does not hold.

A number of no less unexpected properties of other geometric processes which are invariant relative to groups have been discovered using the tool of combinatorial integral geometry (see [[#References|[3]]]). The following result, among others, has been obtained by the method of averaging combinatorial decompositions over the realization space of a process (see [[#References|[3]]]). On <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011011.png" /> one examines a random set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011012.png" /> which is the union of domains from a certain process of convex domains which is invariant relative to the Euclidean group. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011013.png" /> be a black set and let its complement be white. The alternating process of black and white intervals induced by the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011014.png" /> on the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011015.png" /> is said to be black-renewal if:

a) the white intervals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011016.png" /> constitute an independent renewal process;

b) the triplets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011017.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011018.png" /> is the length of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011019.png" />-th black interval and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011020.png" /> are the angles of intersection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011021.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011022.png" /> at the ends <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011023.png" />, for different <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011024.png" />, are independent.

Under general assumptions of ergodicity and existence of certain moments, as well as when there are no rectilinear sections on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011025.png" />, it follows that if the process is black-renewal, the length of the white interval is distributed exponentially.

The concept of a  "typical"  element of a given geometric process is of considerable importance in stochastic geometry [[#References|[7]]]. Problems of describing distributions that satisfy different conditions of  "typical"  <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011026.png" />-subsets of elements in geometric processes have been studied (an example of such a problem is to find the distribution of Euclidean-invariant characteristics of a  "typical"  triangle with vertices as the realizations of a point process, whereby it is required that the interior of the triangle should contain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090110/s09011027.png" /> points from the realizations). The solution of such problems has been obtained for Poisson processes. Similar problems arise, for example, in astrophysics.

Problems of so-called stereology also relate to stochastic geometry if they are applied to processes of geometric figures [[#References|[7]]]. (In stereology a multi-dimensional image has to be described through its intersections with straight lines or planes of a smaller number of dimensions.) Results have been obtained here on stereology of the first and second moment measures.

Only the most typical problems have been mentioned above, since the boundaries of stochastic geometry are hard to define accurately. The following areas adjoin stochastic geometry: geometric statistics [[#References|[4]]], the theory of (random) sets of fractional dimensions [[#References|[5]]], mathematical morphology and image analysis [[#References|[6]]], random shape theory [[#References|[7]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J. Matheron,   "Random sets and integral geometry" , Wiley  (1975)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  E.F. Harding,   D.G. Kendall,   "Stochastic geometry" , Wiley  (1974)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  R.V. [R.V. Ambartsumyan] Ambartzumian,   "Combinatorial integral geometry" , Wiley  (1982)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  B.D. Ripley,   "Spatial statistics" , Wiley  (1981)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  B.B. Mandelbrot,   "Fractals: form, chance and dimension" , Freeman  (1977)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  J. Serra,   "Image analysis and mathematical morphology" , Acad. Press  (1988)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  R.V. [R.V. Ambartsumyan] Ambartzumian,   "Factorization calculus and geometric probability" , Cambridge Univ. Press  (1989)  (Translated from Russian)</TD></TR></table>



====Comments====
The more recent development of stochastic geometry, with a special view to various applications, is described in [[#References|[a3]]]. The influence from integral geometry and its use in certain parts of stochastic geometry can be seen in [[#References|[a4]]] and [[#References|[a2]]]. A different point of view to some problems on geometric probabilities is the subject of [[#References|[7]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R.V. Ambartzumian [R.V. Ambartsumyan] (ed.) , ''Stochastic and integral geometry'' , Reidel  (1987)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. Mecke,   R. Schneider,   D. Stoyan,   W. Weil,   "Stochastische Geometrie" , ''DMV Sem.'' , '''16''' , Birkhäuser  (1990)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D. Stoyan,   W.S. Kendall,   J. Mecke,   "Stochastic geometry and its applications" , Wiley  (1987)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L.A. Santaló,   "Integral geometry and geometric probability" , Addison-Wesley  (1976)</TD></TR></table>