Determination of Boolean models by mean values of mixed volumes

• Published in: arXiv.org 2017-12
• Main Authors: Hug, Daniel, Weil, Wolfgang
• Format: Article
• Language: English
• Subjects: Boolean algebra; Decomposition; Formulas (mathematics); Mathematical models; Representations; Uniqueness theorems
• ISSN: 2331-8422

In Weil (2001) formulas were proved for stationary Boolean models \(Z\) in \(\mathbb{R}^d\) with convex or polyconvex grains, which express the densities of mixed volumes of \(Z\) in terms of related mean values of the underlying Poisson particle process \(X\). These formulas were then used to show that in dimensions 2 and 3 the mean values of \(Z\) determine the intensity \(\gamma\) of \(X\). For \(d=4\) a corresponding result was also stated, but the proof given was incomplete, since in the formula for the mean Euler characteristic \(\overline V_0 (Z)\) a term \(\overline V^{(0)}_{2,2}(X,X)\) was missing. This was pointed out in Goodey and Weil (2002), where it was also explained that a new decomposition result for mixed volumes and mixed translative functionals would be needed to complete the proof. Such a general decomposition result is now available based on flag measures of the convex bodies involved (Hug, Rataj and Weil (2013, 2017)). Here, we show that such flag representations not only lead to a correct derivation of the 4-dimensional result but even yield a corresponding uniqueness theorem in all dimensions. In the proof of the latter, we make use of Alesker's representation theorem for translation invariant valuations. We also discuss which shape information can be obtained in this way and comment on the situation in the non-stationary case.