Berry–Esseen bounds and moderate deviations for random walks on [formula omitted

Abstract

Let (gn)n⩾1 be a sequence of independent and identically distributed random elements of the general linear group GLd(R), with law μ. Consider the random walk Gn:=gn…g1. Denote respectively by ‖Gn‖ and ρ(Gn) the operator norm and the spectral radius of Gn. For log‖Gn‖ and logρ(Gn), we prove moderate deviation principles under exponential moment and strong irreducibility conditions on μ; we also establish moderate deviation expansions in the normal range [0,o(n1/6)] and Berry–Esseen bounds under the additional proximality condition on μ. Similar results are found for the couples (Xnx,log‖Gn‖) and (Xnx,logρ(Gn)) with target functions, where Xnx:=Gn⋅x is a Markov chain and x is a starting point on the projective space P(Rd).