Shannon-McMillan-Breiman theorem along almost geodesics in negatively curved groups

Abstract

Consider a non-elementary Gromov-hyperbolic group $Γ$ with a suitable invariant hyperbolic metric, and an ergodic probability measure preserving (p.m.p.) action on $(X,μ)$. We construct special increasing sequences of finite subsets $F_n(y)\subset Γ$, with $(Y,ν)$ a suitable probability space, with the following properties: given any countable partition $\mathcal{P}$ of $X$ of finite Shannon entropy, the refined partitions $\bigvee_{γ\in F_n(y)}γ\mathcal{P}$ have normalized information functions which converge to a constant limit, for $μ$-almost every $x\in X$ and $ν$-almost every $y\in Y$; the sets $\mathcal{F}_n(y)$ constitute almost-geodesic segments, and $\bigcup_{n\in \mathbb{N}} F_n(y)$ is a one-sided almost geodesic with limit point $F^+(y)\in \partial Γ$, starting at a fixed bounded distance from the identity, for almost every $y\in Y$; the distribution of the limit point $F^+(y)$ belongs to the Patterson-Sullivan measure class on $\partial Γ$ associated with the invariant hyperbolic metric. The main result of the present paper amounts therefore to a Shannon-McMillan-Breiman theorem along almost geodesic segments in any p.m.p. action of $Γ$ as above. For several important classes of examples we analyze, the construction of $F_n(y)$ is purely geometric and explicit. Furthermore, consider the infimum of the limits of the normalized information functions, taken over all $Γ$-generating partitions of $X$. Using an important inequality due to B. Seward, we deduce that it is equal to the Rokhlin entropy $\frak{h}^{\text{Rok}}$ of the $Γ$-action on $(X,μ)$, provided that the action is free.