Consider a homogeneous Poisson point process of the Euclidean plane and its Voronoi tessellation. The present note discusses the properties of two stationary point processes associated with the latter and depending on a parameter $\theta$ . The first is the set of points that belong to some one-dimensional facet of the Voronoi tessellation and such that the angle with which they see the two nuclei defining the facet is $\theta$ . The main question of interest on this first point process is its intensity. The second point process is that of the intersections of the said tessellation with a straight line having a random orientation. Its intensity is well known. The intersection points almost surely belong to one-dimensional facets. The main question here concerns the Palm distribution of the angle with which the points of this second point process see the two nuclei associated with the facet. We will give answers to these two questions and briefly discuss their practical motivations. We also discuss natural extensions to three dimensions.

Goldman (2010) proved that the distribution of a stationary determinantal point process (DPP) Φ can be coupled with its reduced Palm version Φ0,! such that there exists a point process η where Φ=Φ0,!∪η in distribution and Φ0,!∩η=∅. The points of η characterize the repulsive nature of a typical point of Φ. In this paper we use the first-moment measure of η to study the repulsive behavior of DPPs in high dimensions. We show that many families of DPPs have the property that the total number of points in η converges in probability to 0 as the space dimension n→∞. We also prove that for some DPPs, there exists an R∗ such that the decay of the first-moment measure of η is slowest in a small annulus around the sphere of radius √nR∗. This R∗ can be interpreted as the asymptotic reach of repulsion of the DPP. Examples of classes of DPP models exhibiting this behavior are presented and an application to high-dimensional Boolean models is given.

We consider a stochastic fluid queue served by a constant rate server and driven by a process which is the local time of a reflected Lévy process. Such a stochastic system can be used as a model in a priority service system, especially when the time scales involved are fast. The input (local time) in our model is typically (but not necessarily) singular with respect to the Lebesgue measure, a situation which, in view of the nonsmooth or bursty nature of several types of Internet traffic, is nowadays quite realistic. We first discuss how to rigorously construct the (necessarily) unique stationary version of the system under some natural stability conditions. We then consider the distribution of performance steady-state characteristics, namely, the buffer content, the idle period, and the busy period. These derivations are much based on the fact that the inverse of the local time of a Markov process is a Lévy process (a subordinator), hence making the theory of Lévy processes applicable. Another important ingredient in our approach is the use of Palm calculus for stationary random point processes and measures.

The so-called ‘Swiss Army formula', derived by Brémaud, seems to be a general purpose relation which includes all known relations of Palm calculus for stationary stochastic systems driven by point processes. The purpose of this article is to present a short, and rather intuitive, proof of the formula. The proof is based on the Ryll–Nardzewski definition of the Palm probability as a Radon-Nikodym derivative, which, in a stationary context, is equivalent to the Mecke definition.

Mecke's formula is concerned with a stationary random measure and shift-invariant measure on a locally compact Abelian group , and relates integrations concerning them to each other. For , we generalize this to a pair of random measures which are jointly stationary. The resulting formula extends the so-called Swiss Army formula, which was recently obtained as a generalization for Little's formula. The generalized Mecke formula, which is called GMF, can be also viewed as a generalization of the stationary version of H = λG. Under the stationary and ergodic assumptions, we apply it to derive many sample path formulas which have been known as extensions of H = λG. This will make clear what kinds of probabilistic conditions are sufficient to get them. We also mention a further generalization of Mecke's formula.