Limit set of branching random walks on hyperbolic groups
Let Γ be a nonelementary hyperbolic group with a word metric d and ∂Γ its hyperbolic boundary equipped with a visual metric da for some parameter a>1. Fix a superexponential symmetric probability μ on Γ whose support generates Γ as a semigroup, and denote by ρ the spectral radius of the random walk Y on Γ with step distribution μ. Let ν be a probability on {1,2,3,…} with mean λ=k=1∑∞kν(k)<∞. Let BRW(Γ,ν,μ) be the branching random walk on Γ with offspring distribution ν and base motion Y and H(λ) the volume growth rate for the trace of BRW(Γ,ν,μ). We prove for λ∈[1,ρ−1) that the Hausdorff dimension of the limit set Λ, which is the random subset of (∂Γ,da) consisting of all accumulation points of the trace of BRW(Γ,ν,μ), is given by logaH(λ). Furthermore, we prove that H(λ) is almost surely a deterministic, strictly increasing and continuous function of λ∈[1,ρ−1], is bounded by the square root of the volume growth rate of Γ, and has critical exponent 1/2 at ρ−1 in the sense that H(ρ−1)−H(λ)∼Cρ−1−λas λ↑ρ−1 for some positive constant C. We conjecture that the Hausdorff dimension of Λ in the critical case λ=ρ−1 is logaH(ρ−1) almost surely. This has been confirmed on free groups or the free product (by amalgamation) of finitely many finite groups equipped with the word metric d defined by the standard generating set.