Analyticity for rapidly determined properties of Poisson Galton--Watson trees

Abstract

Let $T_λ$ be a Galton--Watson tree with Poisson($λ$) offspring, and let $A$ be a tree property. In this paper, are concerned with the regularity of the function $\mathbb{P}_λ(A):= \mathbb{P}(T_λ\vdash A)$. We show that if a property $A$ can be uniformly approximated by a sequence of properties $A_k$, depending only on the first $k$ vertices in the breadth first exploration of the tree, with a bound in probability of $\mathbb{P}_λ(A\triangle A_k) \le Ce^{-ck}$ over an interval $I = (λ_0, λ_1)$, then $\mathbb{P}_λ(A)$ is real analytic in $λ$ for $λ\in I$. We also present some applications of our results, particularly to properties that are not expressible in the first order language of trees.