Abstract:Motivated by Gromov's geodesic flow problem on hyperbolic groups $G$, we develop in this paper an analog using random walks. This leads to a notion of a harmonic analog $\Theta$ of the Bowen-Margulis-Sullivan measure on $\partial^2 G$. We provide three different but related constructions of $\Theta$: 1) by moving the base-point along a quasigeodesic ray 2) by moving the base-point along random walk trajectories 3) directly as a push-forward under the boundary map to $\partial^2 G$ of a measure inherited from studying all bi-infinite random walk trajectories (with no restriction on base-point) on $G^{\mathbb{Z}}$. Of these, the third construction is the most involved and needs new techniques. It relies on developing a framework where we can treat bi-infinite random walk trajectories as analogs of bi-infinite geodesics on complete simply connected negatively curved manifolds. Geodesic flow on a hyperbolic group is typically not well-defined due to non-uniqueness of geodesics. We circumvent this problem in the random walk setup by considering \emph{all} trajectories. We thus get a well-defined \emph{discrete flow} given by the $\mathbb{Z}-$shift on bi-infinite random walk trajectories. The $\mathbb{Z}-$shift is the random analog of the time one map of the geodesic flow. As an analog of ergodicity of the geodesic flow on a closed negatively curved manifold, we establish ergodicity of the $G$-action on $(\partial^2G, \Theta)$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish an analogy of random walk paths in hyperbolic groups in order to overcome the problem that the traditional geodesic flow cannot be well - defined in hyperbolic groups due to the non - uniqueness of geodesics. Specifically, the authors construct a discrete flow similar to the geodesic flow by introducing the concept of random walk, and define a new metric Θ, which is a harmonic measure on the boundary of the hyperbolic group. ### Detailed description of the main problems 1. **Problems of geodesic flow in hyperbolic groups**: - In hyperbolic groups, the geodesics between any two points are not unique, which leads to the fact that the traditional geodesic flow cannot be well - defined. - To solve this problem, the authors introduce the concept of random walk and consider all possible paths instead of choosing specific geodesics. 2. **Construction of random walk paths**: - The authors propose three different methods to construct a new metric Θ, all of which are based on bi - infinite random walk trajectories. - These methods include: the method of fixing quasi - geodesic rays, the dynamical method along random paths, and the method directly derived from all bi - infinite random walk paths. 3. **Properties of the metric Θ**: - The metric Θ is proved to be quasi - invariant and ergodic under the action of G. - Θ is different from the Patterson - Sullivan measure. It is constructed based on the hitting measure of random walks. 4. **Technical difficulties**: - The authors need to deal with the unique challenges of geometric properties in hyperbolic groups, such as how to estimate the distance by which random walk paths deviate from geodesics. - They also develop new techniques to deal with different situations in free groups and general hyperbolic groups. ### Main contributions of the paper - Propose a brand - new framework to study the problem of geodesic flow in hyperbolic groups through random walk paths. - Define a new metric Θ and prove its quasi - invariance and ergodicity. - Provide three different construction methods, each of which provides different information about the structure of Θ. ### Formula representation - **Density formula of the metric Θ**: \[ d\Theta(\xi, \eta) \asymp e^{2 (\xi, \eta)_o^G} d(\nu_o \otimes \nu_o)(\xi, \eta) \] where $(\xi, \eta)_o^G$ represents the Gromov product with respect to the Green metric $d_G$. - **Distribution of bi - infinite random walk paths**: \[ \bar{P}_g = P_{\bar{Z}} \otimes P_Z \] where $\bar{Z}$ and $Z$ are two independent random walks starting from $g$. Through these methods, the authors successfully solve the problem that the geodesic flow cannot be well - defined in hyperbolic groups and provide a new perspective to study the dynamical systems in hyperbolic groups.

Randomized Geodesic Flow on Hyperbolic Groups

Equidistribution of closed geodesics along random walk trajectories with respect to the harmonic invariant measure

On ergodic properties of geodesic flows on uniform visibility manifolds without conjugate points

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

Ergodicity of the geodesic flow for groups with a contracting element

Ergodic Measures of Geodesic Flows on Compact Lie Groups

Hyperbolic Geometric Flow (I): Short-Time Existence and Nonlinear Stability

Invariant measures of the topological flow and measures at infinity on hyperbolic groups

First Passage Percolation on Hyperbolic groups

Non-uniformly Hyperbolic Flows and Shadowing

Geodesic Trees and Exceptional Directions in FPP on Hyperbolic Groups

The natural flow and the critical exponent

Gradient Flow of the Sinai–Ruelle–Bowen Entropy

The hyperbolic geometric flow on Riemann surfaces

General harmonic measures for distance-expanding dynamical systems

Flows of geometric structures

Geodesics in the Brownian map: Strong confluence and geometric structure

Gradient Flows and Riemannian Structure in the Gromov-Wasserstein Geometry

Winding of geodesic rays chosen by a harmonic measure