Berry-Esseen bound and precise moderate deviations for products of random matrices (1907.02438v2)

Abstract: Let $(g_{n}){n\geq 1}$ be a sequence of independent and identically distributed (i.i.d.) $d\times d$ real random matrices. Set $G_n = g_n g{n-1} \ldots g_1$ and $X_n^x = G_n x/|G_n x|$, $n\geq 1$, where $|\cdot|$ is an arbitrary norm in $\mathbb R^d$ and $x\in\mathbb{R}^{d}$ is a starting point with $|x|=1$. For both invertible matrices and positive matrices, under suitable conditions we prove a Berry-Esseen type theorem and an Edgeworth expansion for the couple $(X_n^x, \log |G_n x|)$. These results are established using a brand new smoothing inequality on complex plane, the saddle point method and additional spectral gap properties of the transfer operator related to the Markov chain $X_n^x$. Cram\'{e}r type moderate deviation expansions are derived for the couple $(X_n^x, \log |G_n x|)$ with a target function $\varphi$ on the Markov chain $X_n^x$. A local limit theorem with moderate deviations is also obtained.