Statistical properties of Markov shifts (part I)
Yeor Hafouta
TL;DR
The paper develops a comprehensive framework to establish central limit theorems, Berry-Esseen bounds, almost sure invariance principles, and large deviations for sums of path-dependent functionals $S_n= o -1 f_j(...,X_{j-1},X_j,X_{j+1},...)$ driven by inhomogeneous Markov chains. It introduces a robust mix of mixing/approximation conditions, block-decomposition arguments, Sinai-type reductions, and martingale coboundary representations to handle nonstationarity and dependence on the entire chain, yielding optimal CLT rates and LDPs in both stationary and random environment settings. The results apply broadly, including products of random matrices, random Lyapunov exponents, linear processes, iterated random functions, and Hölder-on-average observables in dynamical systems, with a companion paper addressing local limit theorems. By unifying operator perturbation theory, variance regularity (Livsic theory), and probabilistic limit theorems in sequential and random environments, the work significantly extends classical CLT theory to nonautonomous and path-dependent contexts with broad applicability.
Abstract
We prove central limit theorems, Berry-Esseen type theorems, almost sure invariance principles, large deviations and Livsic type regularity for partial sums of the form $S_n=\sum_{j=0}^{n-1}f_j(...,X_{j-1},X_j,X_{j+1},...)$, where $(X_j)$ is an inhomogeneous Markov chain satisfying some mixing assumptions and $f_j$ is a sequence of sufficiently regular functions. Even though the case of non-stationary chains and time dependent functions $f_j$ is more challenging, our results seem to be new already for stationary Markov chains. They also seem to be new for non-stationary Bernoulli shifts (that is when $(X_j)$ are independent but not identically distributed). This paper is the first one in a series of two papers. In \cite{Work} we will prove local limit theorems including developing the related reduction theory in the sense of \cite{DolgHaf LLT, DS}.
