Exact packing measure on a Galton-Watson tree (Q1613578)

Let \(\mathbf T\) be the Galton-Watson tree and \(H(\partial \mathbf T), P^*(\partial \mathbf T)\) be the Hausdorff and spherical packing measures on the boundary \(\partial \mathbf T\), respectively. In an earlier paper [Probab. Theory Relat. Fields 104, No. 4, 515-538 (1996; Zbl 0842.60084)], the author found a dimension function \(\varphi \) such that the \(\varphi \)-Hausdorff measure on the boundary \(\partial \mathbf T\) is strictly positive and finite, i.e. \(0 < \varphi - H(\partial \mathbf T) < \infty \) a.s. Here a similar result is proved for the spherical packing measure, namely a dimension function \(\varphi ^*\) is found such that \(0 < \varphi ^* - P^*(\partial \mathbf T) < \infty \) a.s. Moreover, it is shown that the exact spherical packing measure coincides with the branching measure up to a multiplicative constant. The arguments of the paper can be extended to marked trees and can be applied to a study of exact packing measures of random fractals in \(\mathbb R^n\).