The purpose of the paper is to study the asymptotic geometry of a smooth-grained Boolean model (X[t])t≥0 restricted to a bounded domain as the intensity parameter t goes to ∞. Our approach is based on investigating the asymptotic properties as t → ∞ of the random sets X[t;β], β≥0, defined as the Gibbsian modifications of X[t] with the Hamiltonian given by βtμ(·), where μ is a certain normalized measure on the setting space. We show that our model exhibits a phase transition at a certain critical value of the inverse temperature β and we prove that at higher temperatures the behaviour of X[t;β] is qualitatively very similar to that of X[t] but it becomes essentially different in the low-temperature region. From these facts we derive information about the asymptotic properties of the original process X[t]. The results obtained include large- and moderate-deviation principles. We conclude the paper with an example application of our methods to analyse the asymptotic moderate-deviation properties of convex hulls of large uniform samples on a multidimensional ball. To translate the above problem to the Boolean model setting considered we use an appropriate representation of convex sets in terms of their support functions.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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).

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.

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.

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.

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.

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.

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.

Distance measurements are useful tools in stochastic geometry. For a Boolean model Z in ℝd, the classical contact distribution functions allow the estimation of important geometric parameters of Z. In two previous papers, several types of generalized contact distributions have been investigated and applied to stationary and nonstationary Boolean models. Here, we consider random sets Z which are generated as the union sets of Poisson processes X of k-flats, k ∈ {0, …, d-1}, and study distances from a fixed point or a fixed convex body to Z. In addition, we also consider the distances from a given flat or a flag consisting of flats to the individual members of X and investigate the associated process of nearest points in the flats of X. In particular, we discuss to which extent the directional distribution of X is determined by this point process. Some of our results are presented for more general stationary processes of flats.

Results about stationary Poisson hyperplane processes and the induced hyperplane mosaics are extended to the case where, instead of stationarity, it is only assumed that the intensity measure has a (possibly continuous) density with respect to some translation-invariant measure. Intensities and quermass densities, which are constant in the stationary case, are then replaced by functions. In a similar way, the associated zonoid (Matheron's Steiner convex set) is generalized.

In order to increase the variety of feasible models for random stationary tessellations (mosaics), two operations acting on tessellations are studied: superposition and iteration (the latter is also referred to as nesting). The superposition of two planar tessellations is the superposition of the edges of the cells of both tessellations. The iteration of tessellations means that one tessellation is chosen as a ‘frame’ tessellation. The single cells of this ‘frame’ are simultaneously and independently subdivided by cut-outs of tessellations of an independent and identically distributed sequence of tessellations. In the present paper, we investigate the limits for sequences of tessellations that are generated by consecutive application of superposition or iteration respectively. Sequences of (renormalised) superpositions of stationary planar tessellations converge weakly to Poisson line tessellations. For consecutive iteration the notion of stability of distributions is adapted and necessary conditions are formulated for those tessellations which may occur as limits.