Random Walks on Homogeneous Spaces by Sparse Solvable Measures
The paper analyzes a specific class of random walks on quotients of $X:=\text{SL}(k,{\Bbb R})/ Γ$ for a lattice $Γ$. Consider a one parameter diagonal subgroup, $\{g_t\}$, with an associated abelian expanding horosphere, $U\cong {\Bbb R}^k$, and let $ϕ:[0,1]\rightarrow U$ be a sufficiently smooth curve satisfying the condition that that the derivative of $ϕ$ spends $0$ time in any one subspace of ${\Bbb R}^k$. Let $ μ_U$ be the measure defined as $ϕ_*λ_{[0,1]},$ where $λ_{[0,1]}$ is the Lebesgue measure on $[0,1]$. Let $μ_A$ be a measure on the full diagonal subgroup of $\text{SL}(k,{\Bbb R})$, such that almost surely the random walk on the diagonal subgroup $A$ with respect to this measure grows exponentially in the direction of the cone expanding $U$. Then the random walk starting at any point $z\in X$, and alternating steps given by $μ_U$ and $μ_A$ equidistributes respect to $\text{SL}(k,{\Bbb R})$-invariant measure on $X$. Furthermore, the measure defined by $μ_A*μ_U*\dots*μ_A* μ_U*δ_z$ converges exponentially fast to the $\text{SL}(k,{\Bbb R})$-invariant measure on $X$.