Random Walks on Homogeneous Spaces by Sparse Solvable Measures

Abstract: The paper analyzes a specific class of random walks on quotients of

X := e x t S L (k, B b b R) / G a m m a

for a lattice

G a m m a

. Consider a one parameter diagonal subgroup,

g_{t}

, with an associated abelian expanding horosphere,

U c o n g {B b b R}^{k}

, and let

p h i : [0, 1] i g h t a r r o w U

be a sufficiently smooth curve satisfying the condition that that the derivative of

p h i

spends

0

time in any one subspace of

{B b b R}^{k}

. Let

m u_{U}

be the measure defined as

p h i_{*} l a m b d a_{[0, 1]},

where

l a m b d a_{[0, 1]}

is the Lebesgue measure on

[0, 1]

. Let

m u_{A}

be a measure on the full diagonal subgroup of

e x t S L (k, B b b 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 i n X

, and alternating steps given by

m u_{U}

and

m u_{A}

equidistributes respect to

e x t S L (k, B b b R)

-invariant measure on

X

. Furthermore, the measure defined by

m u_{A} * m u_{U} * d o t s * m u_{A} * m u_{U} * d e l t a_{z}

converges exponentially fast to the

e x t S L (k, B b b R)

-invariant measure on

X

.

This page was built for publication: Random Walks on Homogeneous Spaces by Sparse Solvable Measures