Hausdorff dimension of the uniform measure of Galton-Watson trees without the XlogX condition (Q2028937)

Let \(\mathcal{T}\) be a Galton-Watson tree generated by the offspring distribution \((p_k)_{k\geq 0}\) with \(m:=\sum_{k\geq 1}kp_k\in (1,\infty)\) and \(\sum_{k\geq 0}p_k\log^+p_k=\infty\). Denote by \(\mathrm{GW}^\ast\) the conditional distribution of \(\mathcal{T}\) on the set of rooted trees given that \(\mathcal{T}\) is infinite. The boundary of \(\mathcal{T}\), denoted by \(\partial \mathcal{T}\), is the set of all infinite self-avoiding paths of \(\mathcal{T}\) starting at the root. On the event \(\partial \mathcal{T}\neq \oslash\), the uniform measure \(\mathrm{UNIF}\) is the unique Borel measure on \(\partial \mathcal{T}\) satisfying \[ \mathrm{UNIF}(\{r\in\partial \mathcal{T}~\text{passing through the vertex}~ u~\text{of height}~ n\})=\lim_{k\to\infty}\frac{Z_k(u)}{Z_{n+k}} \] for each nonnegative integer \(n\), where \(Z_{n+k}\) is the number of vertices of height \(n+k\) and \(Z_k(u)\) is the number of descendants of vertex \(u\) with the height which is \(k\) units larger than the height of \(u\). The Hausdorff dimension of \(\mathrm{UNIF}\) is \(\dim(\mathrm{UNIF}):=\min (\dim E)\), where the minimum is taken over all subsets \(E\subset\partial \mathcal{T}\) of \(\mathrm{UNIF}\)-measure one, and \(\dim(E)\) is the Hausdorff dimension of \(E\). The author proves that \(\dim(\mathrm{UNIF})=0\) for \(\mathrm{GW}^\ast\) a.e.\ tree \(\mathcal{T}\). This is in contrast to the previously known fact that \(\dim(\mathrm{UNIF})=\log m\) for \(\mathrm{GW}^\ast\) a.e.\ tree \(\mathcal{T}\) in the case \(\sum_{k\geq 0}p_k\log^+p_k<\infty\). The paper ends with a list of interesting open problems, all related to the case \(\sum_{k\geq 0}p_k\log^+ p_k=\infty\).