Face volume densities of positive-intensity and ideal Poisson--Voronoi tessellations in hyperbolic spaces

We determine analytically for all $k\in \{0,1,\dots ,d-1\}$ the $k$-volume densities of a Poisson–Voronoi tessellation of intensity $\lambda >0$ in the $d$-dimensional hyperbolic space of constant curvature $-1$. This largely extends previous results of Isokawa in dimensions two and three. As applications, we provide closed form expressions for all face volume densities and all typical face volumes of the ideal Poisson–Voronoi tessellation (IPVT), which is the low-intensity limit as $\lambda \downarrow 0$ of the hyperbolic Poisson–Voronoi tessellation. As a main tool we develop a new Blaschke–Petkantschin–type formula in hyperbolic space.