It is known (Weizsäcker and Winkler (1990)) that for bounded predictable functions H and a Poisson process with jump times exists almost surely, and that in this case both limits are equal. Here we relax the boundedness condition on H. Our tool is a law of large numbers for local L2-martingales. We show by examples that our condition is close to optimal. Furthermore we indicate a generalization to point processes on more general spaces. The above property is called PASTA (‘Poisson arrivals see time averages') and is heavily used in queueing theory.

We show that for a large class of one-dimensional interacting particle systems, with a finite initial configuration, any limit measure , for a sequence of times tending to infinity, must be invariant. This result is used to show that the one-dimensional biased annihilating branching process with parameter > 1/3 converges in distribution to the upper invariant measure provided its initial configuration is almost surely finite and non-null.

This paper addresses random packing of equal-sized disks in a manner such that no disk has a gap on its circumference large enough to accommodate an extra touching neighbour. This structure generalises the deterministic packing models discussed in classical geometry (Coxeter (1961), Hilbert and Cohn-Vossen (1952)). Relationships with the dual mosaic formed by joining the centres of touching disks are established. Constraints on the neighbourhood of disks and on the packing density are established.

A random smooth path of infinite length crossed a square lattice. Intersections with the lattice were censored if they lay within a threshold distance of a preceding uncensored intersection, defined by tracking along the path in one direction. The distribution of distances between consecutive uncensored intersections is derived.