Abstract

We study properties of the harmonic measure of balls in large critical Galton-Watson trees whose offspring distribution is in the domain of attraction of a stable distribution with index $\alpha\in (1,2]$. Here the harmonic measure refers to the hitting distribution of height $n$ by simple random walk on the critical Galton-Watson tree conditioned on non-extinction at generation $n$. For a ball of radius $n$ centered at the root, we prove that, although the size of the boundary is roughly of order $n^{\frac{1}{\alpha-1}}$, most of the harmonic measure is supported on a boundary subset of size approximately equal to $n^{\beta_{\alpha}}$, where the constant $\beta_{\alpha}\in (0,\frac{1}{\alpha-1})$ depends only on the index $\alpha$. Using an explicit expression of $\beta_{\alpha}$, we are able to show the uniform boundedness of $(\beta_{\alpha}, 1<\alpha\leq 2)$. These are generalizations of results in a recent paper of Curien and Le Gall.

Highlights

  • Curien and Le Gall have studied in [6] the properties of harmonic measure on generation n of a critical Galton-Watson tree, whose offspring distribution has finite variance and which is conditioned to have height greater than n

  • We continue the above work by extending their results to the critical Galton-Watson trees whose offspring distribution has infinite variance

  • Let ρ be a non-degenerate probability measure on Z+ with mean one, and we assume throughout this paper that ρ is in the domain of attraction of a stable distribution of index α ∈ (1, 2], which means that ρ(k)rk = r + (1 − r)αL(1 − r) for any r ∈ [0, 1), (1)

Read more

Summary

Introduction

Curien and Le Gall have studied in [6] the properties of harmonic measure on generation n of a critical Galton-Watson tree, whose offspring distribution has finite variance and which is conditioned to have height greater than n. Let us emphasize that, when the critical offspring distribution ρ is in the domain of attraction of a stable distribution of index α ∈ (1, 2), the convergence of discrete reduced trees is less simple than in the special case α = 2 where we have a.s. a binary branching structure. The result analogous to Lemma 19 in [6] is a second moment estimate, we only manage to give a moment estimate of order strictly smaller than α if the critical offspring distribution ρ satisfies (1) with α ∈ This is sufficient for our proof of Theorem 1, which is adapted from the one given in [6]. It would be of interest to know whether or not the Hausdorff dimension βα of the continuous harmonic measure μα is monotone with respect to α ∈

The reduced stable tree
The continuous-time Galton-Watson tree
The continuous conductance
The reduced stable trees are nested
Proof of Theorem 2
The flow property of harmonic measure
The invariant measure and ergodicity
Proof of Proposition 4
A second approach to Theorem 2
Galton-Watson trees
Convergence of discrete reduced trees
Convergence of harmonic measures
The flow property of discrete harmonic measure
The subtree selected by the discrete harmonic measure
Proof of Theorem 1
Comments and questions
Proof of Proposition 11
Proof of Proposition 12
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call