In this paper we show existence of all exponential moments for the total edge length in a unit disk for a family of planar tessellations based on stationary point processes. Apart from classical such tessellations like the Poisson-Voronoi, Poisson-Delaunay and Poisson line tessellation, we also treat the Johnson-Mehl tessellation, Manhattan grids, nested versions and Palm versions. As part of our proofs, for some planar tessellations, we also derive existence of exponential moments for the number of cells and the number of edges intersecting the unit disk.
Setting and main resultsRandom tessellations are a classical subject of stochastic geometry with a very wide range of applications for example in the modeling of telecommunication systems, topological optimization of materials and numerical solutions to PDEs. In this paper we focus on random planar tessellations S ⊂ R 2 which are derived deterministically from a stationary point process X = {X i } i∈I . The most famous example here is the planar Poisson-Voronoi tessellation.Since several decades, research has been performed to understand statistical properties of various characteristics of S such as the degree distribution of its nodes, the distribution of the area or the perimeter of its cells, etc. For the classical examples, where the underlying point process is given by a Poisson point process (PPP), it is usually possible to derive first and second moments for these characteristics as a function of the intensity λ, see [OBSC09, Table 5.1.1] and for example [M89, M94, MS07]. However, to derive complete and tractable descriptions of the whole distribution of these characteristics is often difficult.In this paper we contribute to this line of research by proving existence of all exponential moments for the distribution of the total edge length in a unit disk. More precisely, let B r ⊂ R 2 denote the closed centered disk with radius r > 0 and let |S ∩ A| = ν 1 (S ∩ A) denote the random total edge Tobias@math.tu-berlin.dewhere we use the same notation | · | for the Euclidean norm on R 2 and [0, ∞). Then, the JMT is given by S J = S J ( X) = i∈I ∂{x ∈ R 2 : d J ((x, 0), (X i , T i )) = inf j∈I d J ((x, 0), (X j , T j ))}.