The present study deals with the existence of ‘nearest-neighbour’ type Gibbs models, introduced by Baddeley and Møller in 1989. In such models, the neighbourhood relation depends on the realization of the process. After giving new sufficient conditions to prove the existence of stationary Gibbs states, we deal with the first-nearest-neighbour model, the triplets Delaunay model, Ord's model and Markov connected component type models.

A random spatial coverage process whose generating point process is homogeneous Poisson, and whose attached random sets are independent and identically distributed, is called a Boolean model. Motivated by Błaszczyszyn et al. [1], distributional and higher moment properties of the size of clumps (connected clusters of overlapping sets) in this model are derived. This provides some complements to the result on the finiteness of the first moment presented in Hall [3]. The key idea is to construct a certain coupling process for a multitype branching process that dominates the clump size.

In the high-level operations of computer vision it is taken for granted that image features have been reliably detected. This paper addresses the problem of feature extraction by scale-space methods. There has been a strong development in scale-space theory and its applications to low-level vision in the last couple of years. Scale-space theory for continuous signals is on a firm theoretical basis. However, discrete scale-space theory is known to be quite tricky, particularly for low levels of scale-space smoothing. The paper is based on two key ideas: to investigate the stochastic properties of scale-space representations and to investigate the interplay between discrete and continuous images. These investigations are then used to predict the stochastic properties of sub-pixel feature detectors.

The modeling of image acquisition, image interpolation and scale-space smoothing is discussed, with particular emphasis on the influence of random errors and the interplay between the discrete and continuous representations. In doing so, new results are given on the stochastic properties of discrete and continuous random fields. A new discrete scale-space theory is also developed. In practice this approach differs little from the traditional approach at coarser scales, but the new formulation is better suited for the stochastic analysis of sub-pixel feature detectors.

The interpolated images can then be analysed independently of the position and spacing of the underlying discretisation grid. This leads to simpler analysis of sub-pixel feature detectors. The analysis is illustrated for edge detection and correlation. The stochastic model is validated both by simulations and by the analysis of real images.

In earlier work, we investigated the dynamics of shape when rectangles are split into two. Further exploration, into the more general issues of Markovian sequences of rectangular shapes, has identified four particularly appealing problems. These problems, which lead to interesting invariant distributions on [0,1], have motivating links with the classical works of Blaschke, Crofton, D. G. Kendall, Rényi and Sulanke.

For a random closed set X and a compact observation windowW the mean coverage fraction of W can be estimated by measuring the area of W covered by X. Jensen and Gundersen, and Baddeley and Cruz-Orive described cases where a point counting estimator is more efficient than area measurement. We give two other examples, where at first glance unnatural estimators are not only better than the area measurement but by Grenander's Theorem have minimal variance. Whittle's Theorem is used to show that the point counting estimator in the original Jensen-Gundersen paradox is optimal for large randomly translated discs.

Let X i : i ≥ 1 be i.i.d. points in ℝd , d ≥ 2, and let T n be a minimal spanning tree on X 1,…,X n . Let L(X 1,…,X n ) be the length of T n and for each strictly positive integer α let N(X 1,…,X n ;α) be the number of vertices of degree α in T n . If the common distribution satisfies certain regularity conditions, then we prove central limit theorems for L(X 1,…,X n ) and N(X 1,…,X n ;α). We also study the rate of convergence for EL(X 1,…,X n ).

In this paper, isotropic random projections of d-sets in ℝn are studied, where a d-set is a subset of a d-dimensional affine subspace which satisfies certain regularity conditions. The squared volume reduction induced by the projection of a d-set onto an isotropic random p-subspace is shown to be distributed as a product of independent beta-distributed random variables, for d ≤ p. One of the proofs of this result uses Wilks' lambda distribution from multivariate normal theory. The result is related to Cauchy's and Crofton's formulae in stochastic geometry. In particular, it can be used to give a new and quite simple proof of one of the classical Crofton intersection formulae.

We approach sphere of influence graphs (SIGs) from a probabilistic perspective. Ordinary SIGs were first introduced by Toussaint as a type of proximity graph for use in pattern recognition, computer vision and other low-level vision tasks. A random sphere of influence graph (RSIG) is constructed as follows. Consider n points uniformly and independently distributed within the unit square in d dimensions. Around each point,X i , draw an open ball (‘sphere of influence’) with radius equal to the distance to X i 's nearest neighbour. Finally, draw an edge between two points if their spheres of influence intersect. Asymptotically exact values for the expected number of edges in a RSIG are determined for all values of d; previously, just upper and lower bounds were known for this quantity. A modification of the Azuma-Hoeffding exponential inequality is employed to exhibit the sharp concentration of the number of edges around its expected value.

Consider the basic location problem in which k locations from among n given points X 1,…,X n are to be chosen so as to minimize the sum M(k; X 1,…,X n ) of the distances of each point to the nearest location. It is assumed that no location can serve more than a fixed finite number D of points. When the X i , i ≥ 1, are i.i.d. random variables with values in [0,1]d and when k = ⌈n/(D+1)⌉ we show that

where α := α(D,d) is a positive constant, f is the density of the absolutely continuous part of the law of X 1, and c.c. denotes complete convergence.

This paper considers a germ-grain model for a random system of non-overlapping spheres in ℝd for d = 1, 2 and 3. The centres of the spheres (i.e. the ‘germs’ for the ‘grains’) form a stationary Poisson process; the spheres result from a uniform growth process which starts at the same instant in all points in the radial direction and stops for any sphere when it touches any other sphere. Upper and lower bounds are derived for the volume fraction of space occupied by the spheres; simulation yields the values 0.632, 0.349 and 0.186 for d = 1, 2 and 3. The simulations also provide an estimate of the tail of the distribution function of the volume of a randomly chosen sphere; these tails are compared with those of two exponential distributions, of which one is a lower bound and is an asymptote at the origin, and the other has the same mean as the simulated distribution. An upper bound on the tail of the distribution is also an asymptote at the origin but has a heavier tail than either of these exponential distributions. More detailed information for the one-dimensional case has been found by Daley, Mallows and Shepp; relevant information is summarized, including the volume fraction 1 - e-1 = 0.63212 and the tail of the grain volume distribution e-y exp(e-y - 1), which is closer to the simulated tails for d = 2 and 3 than the exponential bounds.

A popular procedure in spatial data analysis is to fit a line segment of the form c(x) = 1 - α ||x||, ||x|| < 1, to observed correlations at (appropriately scaled) spatial lag x in d-dimensional space. We show that such an approach is permissible if and only if

the upper bound depending on the spatial dimension d. The proof relies on Matheron's turning bands operator and an extension theorem for positive definite functions due to Rudin. Side results and examples include a general discussion of isotropic correlation functions defined on d-dimensional balls.

For random planar stationary tessellations a parameter system of three mean values and two directional distributions of the edges is considered. To investigate the interdependences between these parameters their joint range is described, i.e. the set of values which can be realized by tessellations. The constructive proof is based on mixtures of stationary regular tessellations. To explore the range for the class of stationary ergodic tessellations a procedure is used which we refer to as iteration.

Recently in the paper by Møller and Zuyev (1996), the following Gamma-type result was established. Given n points of a homogeneous Poisson process defining a random figure, its volume is Γ(n,λ) distributed, where λ is the intensity of the process. In this paper we give an alternative description of the class of random sets for which the Gamma-type results hold. We show that it corresponds to the class of stopping sets with respect to the natural filtration of the point process with certain scaling properties. The proof uses the martingale technique for directed processes, in particular, an analogue of Doob's optional sampling theorem proved in Kurtz (1980). As well as being compact, this approach provides a new insight into the nature of geometrical objects constructed with respect to a Poisson point process. We show, in particular, that in this framework the probability that a point is covered by a stopping set does not depend on whether it is a point of the process or not.

Techniques currently available in the literature in dealing with problems in geometric probabilities seem to rely heavily on results from differential and integral geometry. This paper provides a radical departure in this respect. By using purely algebraic procedures and making use of some properties of Jacobians of matrix transformations and functions of matrix argument, the distributional aspects of the random p-content of a p-parallelotope in Euclidean n-space are studied. The common assumptions of independence and rotational invariance of the random points are relaxed and the exact distributions and arbitrary moments, not just integer moments, are derived in this article. General real matrix-variate families of distributions, whose special cases include the mulivariate Gaussian, a multivariate type-1 beta, a multivariate type-2 beta and spherically symmetric distributions, are considered.

The germ-grain model is defined as the union of independent identically distributed compact random sets (grains) shifted by points (germs) of a point process. The paper introduces a family of stationary random measures in ℝd generated by germ-grain models and defined by the sum of contributions of non-overlapping parts of the individual grains. The main result of the paper is the central limit theorem for these random measures, which holds for rather general independently marked germ-grain models, including those with non-Poisson distribution of germs and non-convex grains. It is shown that this construction of random measures includes those random measures obtained by positively extended intrinsic volumes. In the Poisson case it is possible to prove a central limit theorem under weaker assumptions by using approximations by m-dependent random fields. Applications to statistics of the Boolean model are also discussed. They include a standard way to derive limit theorems for estimators of the model parameters.

We note some interesting properties of the class of point processes which are Markov with respect to the ‘connected component’ relation. Results in the literature imply that this class is closed under random translation and independent cluster generation with almost surely non-empty clusters. We further prove that it is closed under superposition. A wide range of examples is also given.

Let X 1, X 2,… be i.i.d. random points in ℝ2 with distribution ν, and let N n denote the number of points spanning the convex hull of X 1, X 2,…,X n . We obtain lim infn→∞E (N n )n -1/3 ≥ γ1 and E (N n ) ≤ γ2 n 1/3(logn)2/3 for some positive constants γ1, γ2 and sufficiently large n under the assumption that ν is a certain self-similar measure on the unit disk. Our main tool consists in a geometric application of the renewal theorem. Exactly the same approach can be adopted to prove the analogous result in ℝd .

We consider a random measure for which distribution is invariant under the action of a standard transformation group. The reduced moments are defined by applying classical theorems on invariant measure decomposition. We present a general method for constructing unbiased estimators of reduced moments. Several asymptotic results are established under an extension of the Brillinger mixing condition. Examples related to stochastic geometry are given.

For applications in spatial statistics, an important property of a random set X in ℝk is its first contact distribution. This is the distribution of the distance from a fixed point 0 to the nearest point of X, where distance is measured using scalar dilations of a fixed test set B. We show that, if B is convex and contains a neighbourhood of 0, the first contact distribution function F B is absolutely continuous. We give two explicit representations of F B , and additional regularity conditions under which F B is continuously differentiable. A Kaplan-Meier estimator of F B is introduced and its basic properties examined.

Interest has been shown in Markovian sequences of geometric shapes. Mostly the equations for invariant probability measures over shape space are extremely complicated and multidimensional. This paper deals with rectangles which have a simple one-dimensional shape descriptor. We explore the invariant distributions of shape under a variety of randomised rules for splitting the rectangle into two sub-rectangles, with numerous methods for selecting the next shape in sequence. Many explicit results emerge. These help to fill a vacant niche in shape theory, whilst contributing at the same time, new distributions on [0,1] and interesting examples of Markov processes or, in the language of another discipline, of stochastic dynamical systems.