048678c91b6afe88.tex
1: \begin{abstract}
2:   Let $(G,\mu)$ be a discrete group equipped with a generating
3:   probability measure, and let $\Gamma$ be a finite index subgroup of
4:   $G$. A $\mu$-random walk on $G$, starting from the identity, returns
5:   to $\Gamma$ with probability one. Let $\theta$ be the hitting
6:   measure, or the distribution of the position in which the random
7:   walk first hits $\Gamma$.
8: 
9:   We prove that the Furstenberg entropy of a $(G,\mu)$-stationary
10:   space, with respect to the induced action of $(\Gamma,\theta)$, is
11:   equal to the Furstenberg entropy with respect to the action of
12:   $(G,\mu)$, times the index of $\Gamma$ in $G$. The index is shown to
13:   be equal to the expected return time to $\Gamma$.
14: 
15:   As a corollary, when applied to the Furstenberg-Poisson boundary of
16:   $(G,\mu)$, we prove that the random walk entropy of
17:   $(\Gamma,\theta)$ is equal to the random walk entropy of $(G,\mu)$,
18:   times the index of $\Gamma$ in $G$.
19: \end{abstract}
20: