Harmonic measure for biased random walk in a supercritical Galton-Watson tree

We consider random walks lambda-biased towards the root on a Galton-Watson tree, whose offspring distribution (p(k))(k >= 1) is non-degenerate and has finite mean m > 1. In the transient regime 0 < lambda < m, the loop-erased trajectory of the biased random walk defines the A-harmonic ray, whose law is the lambda-harmonic measure on the boundary of the Galton-Watson tree. We answer a question of Lyons, Pemantle and Peres (In Classical and Modern Branching Processes (Minneapolis, MN, 1994) (1997) 223 237 Springer) by showing that the A-harmonic measure has a.s. strictly larger Hausdorff dimension than the visibility measure, which is the harmonic measure corresponding to the simple forward random walk. We also prove that the average number of children of the vertices along the A-harmonic ray is a.s. bounded below by m and bounded above by m(-1)Sigma k(2)p(k). Moreover, at least for 0 < lambda <= 1, the average number of children of the vertices along the lambda-harmonic ray is a.s. strictly larger than that of the lambda-biased random walk trajectory. We observe that the latter is not monotone in the bias parameter lambda.