The covariance C(r), r ≥ 0, of a stationary isotropic random closed set Ξ is typically complicated to evaluate. This is the reason that an exponential approximation formula for C(r) has been widely used in the literature, which matches C(0) and C(1)(0), and in many cases also limr→∞C(r). However, for 0 < r < ∞, the accuracy of this approximation is not very high in general. In the present paper, we derive representation formulae for the covariance C(r) and its derivative C(1)(r) using Palm calculus, where r ≥ 0 is arbitrary. As a consequence, an explicit expression is obtained for the second derivative C(2)(0). These results are then used to get a refined exponential approximation for C(r), which additionally matches the second derivative C(2)(0).

We consider the Voronoi tessellation of Euclidean space that is generated by an inhomogeneous Poisson point process whose intensity takes different constant values on sets of some finite partition of the space. Considering the Voronoi cells as marks associated with points of the point process, we prove that the intensity measure (mean measure) of the marked Poisson point process admits an approximate decomposition formula. The true value is approximated by a mixture of respective intensity measures for homogeneous models, while the explicit upper bound for the remainder term can be computed numerically for a large class of practical examples. By the Campbell formula, analogous approximate decompositions are deduced for the Palm distributions of individual cells. This approach makes possible the analysis of a wide class of inhomogeneous-Poisson Voronoi tessellations, by means of formulae and estimates already established for homogeneous cases. Our analysis applies also to the Poisson process modulated by an independent stationary random partition, in which case the error of the approximation of the double-stochastic-Poisson Voronoi tessellation depends on some integrated linear contact distribution functions of the boundaries of the partition elements.

In this paper, we give an explicit integral expression for the joint distribution of the number and the respective positions of the sides of the typical cell 𝒞 of a two-dimensional Poisson-Voronoi tessellation. We deduce from it precise formulae for the distributions of the principal geometric characteristics of 𝒞 (area, perimeter, area of the fundamental domain). We also adapt the method to the Crofton cell and the empirical (or typical) cell of a Poisson line process.

Joseph Mecke, Professor of Mathematics at the Friedrich Schiller University, Jena, celebrates his 65th birthday on 18 February 2003. To commemorate this happy occasion, the signatories invited some colleagues, friends and former students to honour Joseph as a mathematician, teacher and research worker by submitting research articles to this issue of Advances in Applied Probability. We trust that the following papers will pay homage to the influence he has exerted in point process theory and stochastic geometry during his distinguished career.

A continuum growth model is introduced. The state at time t, St, is a subset of ℝd and consists of a connected union of randomly sized Euclidean balls, which emerge from outbursts at their centre points. An outburst occurs somewhere in St after an exponentially distributed time with expected value |St|-1 and the location of the outburst is uniformly distributed over St. The main result is that, if the distribution of the radii of the outburst balls has bounded support, then St grows linearly and St/t has a nonrandom shape as t → ∞. Due to rotational invariance the asymptotic shape must be a Euclidean ball.

We define a class of tessellation models based on perturbing or deforming standard tessellations such as the Voronoi tessellation. We show how distributions over this class of ‘deformed’ tessellations can be used to define prior distributions for models based on tessellations, and how inference for such models can be carried out using Markov chain Monte Carlo methods; stability properties of the algorithms are investigated. Our approach applies not only to fixed dimension problems, but also to variable dimension problems, in which the number of cells in the tessellation is unknown. We illustrate our methods with two real examples. The first relates to reconstructing animal territories, represented by the individual cells of a tessellation, from observation of an inhomogeneous Poisson point process. The second example involves the analysis of an image of a cross-section through a sample of metal, with the tessellation modelling the micro-crystalline structure of the metal.

In this paper, we give an explicit expression for the distribution of the number of sides (or equivalently vertices) of the typical cell of a two-dimensional Poisson-Voronoi tessellation. We use this formula to give a table of numerical values of the distribution function.

Consider a circle of circumference 1. Throw n points at random onto this circle and append to each of these points a clockwise arc of length s. The resulting random set is a union of a random number of connected components, each with specific size. Using tools designed by Steutel, we compute the joint distribution of the lengths of the connected components. Asymptotic results are presented when n goes to ∞ and s to 0 jointly according to different regimes.

The zonoid of a d-dimensional random vector is used as a tool for measuring linear dependence among its components. A preorder of linear dependence is defined through inclusion of the zonoids. The zonoid of a random vector does not characterize its distribution, but it does characterize the size-biased distribution of its compositional variables. This fact will allow a characterization of our linear dependence order in terms of a linear-convex order for the size-biased compositional variables. In dimension 2 the linear dependence preorder will be shown to be weaker than the concordance order. Some examples related to the Marshall-Olkin distribution and to a copula model will be presented, and a class of measures of linear dependence will be proposed.

Our aim is to estimate the volume-weighted mean of the volumes of three-dimensional ‘particles’ (compact, not-necessarily-convex subsets) from plane sections of the particle population. The standard stereological technique is to place test lines in the plane section, and measure cubed intercept lengths with the two-dimensional particle profiles. This paper discusses more efficient estimators obtained by integrating over all possible placements of the test line. We prove that these estimators have smaller variance than the line transect estimators, and indeed are related to them by the Rao-Blackwell process. In the improved estimators, the cubed intercept length is replaced by a moment of the distance between two points in the section profile. This can be computed as a moment of the set covariance function, which in turn is computable using the fast Fourier transform. We also derive an isoperimetric-type inequality between the improved estimator and the area-weighted 3/2th moment of the profile areas. Finally, we present two practical applications to particles of silicon carbide and to synaptic boutons in brain tissue. We estimate the variance of the technique and the gain in efficiency over line transect techniques; the efficiency improvement appears to be as much as one order of magnitude.

Estimation methods for the directional measure of a stationary planar random set Z, based only on discretized realizations of Z, are discussed. Properties of the discretized set that can be derived by comparing neighbouring grid points are used. Larger grid configurations of more than two grid points are considered. It is shown that the probabilities of observing the various types of configurations can be expressed in terms of the first contact distribution function of Z (with a finite structuring element). An important prerequisite result concerning deterministic dilation areas is also established. The inference on the mean normal measure based on 2×2 configurations is discussed in detail.

A new class of models for inhomogeneous spatial point processes is introduced. These locally scaled point processes are modifications of homogeneous template point processes, having the property that regions with different intensities differ only by a scale factor. This is achieved by replacing volume measures used in the density with locally scaled analogues defined by a location-dependent scaling function. The new approach is particularly appealing for modelling inhomogeneous Markov point processes. Distance-interaction and shot noise weighted Markov point processes are discussed in detail. It is shown that the locally scaled versions are again Markov and that locally the Papangelou conditional intensity of the new process behaves like that of a global scaling of the homogeneous process. Approximations are suggested that simplify calculation of the density, for example, in simulation. For sequential point processes, an alternative and simpler definition of local scaling is proposed.

By making use of the geometric properties of simplex shape spaces, this paper investigates the problems relating to the estimation of the Fréchet means of the random shapes of simplices in Euclidean spaces and also, for the random shapes induced by certain normally distributed simplices, the problems relating to the location of these Fréchet means. In particular, we obtain an algorithm for computing sample mean shapes in simplex shape spaces which converges reasonably fast.

This paper introduces a new graph constructed from a point process. The idea is to connect a point with its nearest neighbour, then to the second nearest and continue this process until the point belongs to the interior of the convex hull of these nearest neighbours. The number of such neighbours is called the degree of a point. We derive the distribution of the degree of the typical point in a Poisson process, prove a central limit theorem for the sum of degrees, and propose an edge-corrected estimator of the distribution of the degree that is unbiased for a stationary Poisson process. Simulation studies show that this degree is a useful concept that allows the separation of clustering and repulsive behaviour of point processes.

A spectral theory for stationary random closed sets is developed and provided with a sound mathematical basis. The definition and a proof of the existence of the Bartlett spectrum of a stationary random closed set as well as the proof of a Wiener-Khinchin theorem for the power spectrum are used to two ends. First, well-known second-order characteristics like the covariance can be estimated faster than usual via frequency space. Second, the Bartlett spectrum and the power spectrum can be used as second-order characteristics in frequency space. Examples show that in some cases information about the random closed set is easier to obtain from these characteristics in frequency space than from their real-world counterparts.

The iteration of random tessellations in ℝd is considered, where each cell of an initial tessellation is further subdivided into smaller cells by so-called component tessellations. Sufficient conditions for stationarity and isotropy of iterated tessellations are given. Formulae are derived for the intensities of their facet processes, and for the expected intrinsic volumes of their typical facets. Particular emphasis is put on two special cases: superposition and nesting of tessellations. Bernoulli thinning of iterated tessellations is also considered.

Consider an inhomogeneous germ-grain model with spherical grains whose radii depend on their positions through a rate function, possibly perturbed by a random noise. We find the critical rate function that separates the cases when the germ-grain model covers the whole space with a positive probability and when the total coverage occurs with probability zero.

In this article we prove local convergence for a Boolean model of shells conditioned by the noncovering of the origin towards the thick hyperplane Poisson process in the Euclidean space. The existing results of Hall as well as the convergence theorems proved by Paroux or Molchanov concerned the zero-width process and the connected component of the unfilled region of the origin. Our results deal with the convergence in any given window of the space, with the earlier results of Paroux and Molchanov as a corollary.

A known gamma-type result for the Poisson process states that certain domains defined through configuration of the points (or ‘particles’) of the process have volumes which are gamma distributed. By proving the corresponding sequential gamma-type result, we show that in some cases such a domain allows for decomposition into subdomains each having independent exponentially distributed volumes. We consider other examples—based on the Voronoi and Delaunay tessellations—where a natural decomposition does not produce subdomains with exponentially distributed volumes. A simple algorithm for the construction of a typical Voronoi flower arises in this work. In our theoretical development, we generalize the classical theorem of Slivnyak, relating it to the strong Markov property of the Poisson process and to a result of Mecke and Muche (1995). This new theorem has interest beyond the specific problems being considered here.

Shot noise Cox processes constitute a large class of Cox and Poisson cluster processes in ℝd, including Neyman-Scott, Poisson-gamma and shot noise G Cox processes. It is demonstrated that, due to the structure of such models, a number of useful and general results can easily be established. The focus is on the probabilistic aspects with a view to statistical applications, particularly results for summary statistics, reduced Palm distributions, simulation with or without edge effects, conditional simulation of the intensity function and local and spatial Markov properties.