1991 Mathematics Subject Classification. 60F10, 60J27.
<ph f="cmbx">Moderate deviation principle for ergodic Markov chain. Lipschitz summands</ph>

### R. Liptser

Universite de Rennes 1, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France. E-mail address : bernard.delyon@univ-rennes1.fr University Joseph Fourier of Grenoble, France E-mail address : juditsky@inrialpes.fr Department of Electrical Engineering-Systems, Tel Aviv University, 69978 Tel Aviv Israel E-mail address : liptser@eng.tau.ac.il
• Abstract. For $\frac{1}{2}<\alpha <1$  , we propose the MDP analysis for family ${S}_{n}^{\alpha }=\frac{1}{{n}^{\alpha }}{\sum }_{i=1}^{n}H\left({X}_{i-1}\right),n\ge 1,$  where $\left({X}_{n}{\right)}_{n\ge 0}$  be a homogeneous ergodic Markov chain, ${X}_{n}\in {\mathbb{R}}^{d}$  , when the spectrum of operator ${P}_{x}$  is continuous. The vector-valued function $H$  is not assumed to be bounded but the Lipschitz continuity of $H$  is required. The main helpful tools in our approach are Poisson's equation and Stochastic Exponential; the first enables to replace the original family by $\frac{1}{{n}^{\alpha }}{M}_{n}$  with a martingale ${M}_{n}$  while the second to avoid the direct Laplace transform analysis.

1 Introduction and discussion

Let $\left({X}_{n}{\right)}_{n\ge 0}$  be a homogeneous ergodic Markov chain, ${X}_{n}\in {\mathbb{R}}^{d}$  with the transition probability kernel for $n$  steps: ${P}_{x}^{\left(n\right)}={P}^{\left(n\right)}\left(x,dy\right)$  (for brevity ${P}_{x}^{\left(1\right)}:={P}_{x}$  ) and the unique invariant measure $\mu$  .
Let $H$  be a measurable function ${\mathbb{R}}^{d}\stackrel{H}{\to }{\mathbb{R}}^{p}$  with ${\int }_{{\mathbb{R}}^{d}}|H\left(z\right)|\mu \left(dz\right)<\infty$  and
 $\begin{array}{c}{\int }_{{\mathbb{R}}^{d}}H\left(z\right)\mu \left(dz\right)=0.\end{array}$ (1.1)
Set ${S}_{n}^{\alpha }=\frac{1}{{n}^{\alpha }}{\sum }_{i=1}^{n}H\left({X}_{i-1}\right),n\ge 1;\left(0.5<\alpha <1\right).$  In this paper, we examine the moderate deviation principle (in short:
MDP) for the family $\left({S}_{n}^{\alpha }{\right)}_{n\ge 1}$  when the spectrum of operator ${P}_{x}$  is continuous.
It is well known that for bounded $H$  satisfying  1.1 ((H) condition), the most MDP compatible Markov chains are characterized by eigenvalues gap condition (EG) (see Wu, [16, [17, Gong and Wu, [7, and citations therein):
• the unit is an isolated, simple and the only eigenvalue with modulus 1 of the transition probability kernel ${P}_{x}$  .
In the framework of (H)-(EG) conditions, the MDP is valid with the rate of speed ${n}^{-\left(2\alpha -1\right)}$  and the rate function $I\left(y\right),y\in {\mathbb{R}}^{d}$
 $\begin{array}{c}I\left(y\right)=\left\{\begin{array}{cc}\frac{1}{2}\parallel y{\parallel }_{{B}^{\oplus }}^{2},& {B}^{\oplus }By=y\\ \infty ,& \text{otherwise},\end{array}\end{array}$ (1.2)
where ${B}^{\oplus }$  is the pseudoinverse matrix (in Moore-Penrose sense, see e.g.[1) for the matrix
 $\begin{array}{c}B={\int }_{{\mathbb{R}}^{d}}H\left(x\right){H}^{*}\left(x\right)\mu \left(dx\right)+{\sum }_{n\ge 1}{\int }_{{\mathbb{R}}^{d}}\left[H\left(x\right)\left({P}_{x}^{\left(n\right)}H{\right)}^{*}+\left({P}_{x}^{\left(n\right)}H\right){H}^{*}\left(x\right)\right]\mu \left(dx\right)\end{array}$ (1.3)
(henceforth, ${}^{*}$  , $|\cdot |$  , and $\parallel \cdot {\parallel }_{Q}$  are the transposition symbol, ${\mathbb{L}}^{1}$  norm and ${\mathbb{L}}^{2}$  norm with the kernel $Q$  ( $\parallel x{\parallel }_{Q}=\sqrt{〈x,Qx〉}$  ) respectively).
Thanks to the quadratic form rate function, the MDP is an attractive tool for an asymptotic analysis in many areas, say, with thesis (see, example in Section  7 )
In this paper, we intend to apply the MDP analysis to Markov chain defined by the recurrent equation ${X}_{n}=f\left({X}_{n-1},{\xi }_{n}\right),n\ge 1$  generated by i.i.d. sequence $\left({\xi }_{n}{\right)}_{n\ge 1}$  of random vectors, where $f$  is some vector-valued measurable function. Obviously, the function $f$  and the distribution of ${\xi }_{1}$  might be specified in this way ${P}_{x}$  satisfies (EG). For instance, if $d=1$  and ${X}_{n}=f\left({X}_{n-1}\right)+{\xi }_{n},$  then for bounded $f$  and Laplacian random variable ${\xi }_{1}$  (EG) holds. However, (EG) fails for many useful in applications ergodic Markov chains. For $d=1$  , a typical example gives Gaussian Markov chain defined by a linear recurrent equation governed by i.i.d. sequence of $\left(0,1\right)$  -Gaussian random variables(here $|a|<1$  ) ${X}_{n}=a{X}_{n-1}+{\xi }_{n}.$  In order to clarify this remark, notice that if (EG) holds true, than for any bounded and measurable function $H$  , satisfying (H)-property, for some constants $K>0$  , $\varrho \in \left(0,1\right)$  , $n\ge 1,$
 $\begin{array}{c}|{E}_{x}H\left({X}_{n}\right)|\le K{\varrho }^{n}.\end{array}$ (1.4)
However, the latter fails for $H\left(x\right)=sign\left(x\right)$  satisfying  1.1 . In fact, if  1.4 were correct, then ${\sum }_{n=0}^{\infty }|{E}_{x}H\left({X}_{n}\right)|\le \frac{K}{1-\varrho }.$  On the other hand, it is readily to compute that ${\sum }_{n=0}^{\infty }|{E}_{x}H\left({X}_{n}\right)|$  grows in $|x|$  on the set $\left\{|x|>1\right\}$  faster than $O\left(log\left(|x|\right)$  .
In this paper, we avoid a verification of (EG). Although our approach is close to a conception of “Multiplicative Ergodicity” (see Balaji and Myen [2) and “Geometrical Ergodicity” (see Kontoyiannis and Meyn, [8and Meyn and Tweedie, [11), Chen and Guillin, [4) we do not follow explicitly these methodologies.
Our main tools are the Poisson equation and the Puhalskii theorem from [15. The Poisson equation enables to reduce the MDP verification for $\left({S}_{n}^{\alpha }{\right)}_{n\ge 1}$  to $\left(\frac{1}{{n}^{\alpha }}{M}_{n}{\right)}_{n\ge 1}$  , where ${M}_{n}$  is a martingale generated by Markov chain, while the Puhalskii theorem allows to replace an asymptotic analysis for the Laplace transform of $\frac{1}{{n}^{\alpha }}{M}_{n}$  by the asymptotic analysis for, so called, Stochastic Exponential
 $\begin{array}{c}{\mathfrak{E}}_{n}\left(\lambda \right){=}^{n}{\prod }_{i=1}E\left(exp\left[〈\lambda ,\frac{1}{{n}^{\alpha }}\left({M}_{i}-{M}_{i-1}\right)〉\right]|{X}_{i-1}\right),\lambda \in {\mathbb{R}}^{d}\end{array}$ (1.5)
being the product of the conditional Laplace transforms for martingale increments.
An effectiveness of the Poisson equation approach (method of corrector) combined with the stochastic exponential is well known from the proofs of functional central limit theorem (FCLT) for the family $\left({S}_{n}^{0.5}{\right)}_{n\ge 1}$  (see, e.g.
Papanicolaou, Stroock and Varadhan [12, Ethier and Kurtz [6, Bhattacharya [3, Pardoux and Veretennikov [13; related topics can be found in Metivier and Priouret (80's) for stochastic algorithms analysis. The use of the same approach for a continuous time setting can be found e.g. in [9, [10).

2 Formulation of main result

We consider Markov chain $\left({X}_{n}{\right)}_{n\ge 0}$  , ${X}_{n}\in {\mathbb{R}}^{d}$  defined by a nonlinear recurrent equation
 $\begin{array}{c}{X}_{n}=f\left({X}_{n-1},{\xi }_{n}\right),\end{array}$ (2.1)
where $f=f\left(z,v\right)$  is a vector function with entries ${f}_{1}\left(z,v\right),\dots ,{f}_{d}\left(z,v\right)$  , $u\in {\mathbb{R}}^{d}$  , $v\in {\mathbb{R}}^{p}$  and $\left({\xi }_{n}{\right)}_{n\ge 1}$  is i.i.d. sequence of random vectors of the size $p$  .
We fix the following assumptions.
Assumption 2.1. Entries of $f$  are Lipschitz continuous functions in the following sense: for any $v$
$|{f}_{i}\left({z}_{1}\dots ,{z}_{j-1},{z}_{j}^{\prime },{z}_{j+1}\dots ,{z}_{d},{v}_{1},\dots ,{v}_{p}\right)-{f}_{i}\left({z}_{1}\dots ,{z}_{j-1},{z}_{j}^{\prime \prime },{z}_{j+1}\dots ,{z}_{d},{v}_{1},\dots ,{v}_{p}\right)|\le {\varrho }_{ij}|{z}_{j}^{\prime }-{z}_{j}^{\prime \prime }|,|f\left({z}^{\prime },v\right)-f\left({z}^{\prime \prime },v\right)|\le \varrho |{z}^{\prime }-{z}^{\prime \prime }|,$
where ${max}_{i,j}{\varrho }_{ij}=\varrho <1.$
Assumption 2.2. For sufficiently small positive $\delta$  , Cramer's condition holds:
$E{e}^{\delta |{\xi }_{1}|}<\infty .$
Theorem 2.1. Under Assumptions  2.1 and  2.2 , the Markov chain is ergodic with the invariant measure $\mu$  such that ${\int }_{{\mathbb{R}}^{d}}|z|\mu \left(dz\right)<\infty$  . For any Lipschitz continuous function $H$  , satisfying  1.1 , the family $\left({S}_{n}^{\alpha }{\right)}_{n\ge 1}$  obeys the MDP in the metric space $\left({\mathbb{R}}^{d},r\right)$  ( $r$  is the Euclidean metric) with the rate of speed ${n}^{-\left(2\alpha -1\right)}$  and the rate function given in  1.2 .
Remark 1. Notice that:
assumptions of Theorem  2.1 do not guarantee (EG), Lipschitz continuous $H$  , obeying the linear growth condition, are permissible for the MDP analysis, the ${\xi }_{1}$  -distribution with a continuous component is not required.
Consider now a linear version of  2.1 : ${X}_{n}=A{X}_{n-1}+{\xi }_{n},$  where $A$  is the $d×d$  -matrix with entries ${A}_{ij}$  . Now, Assumption  2.1 reads as: ${max}_{ij}|{A}_{ij}|<1$  . This assumption is too restrictive. We replace it by more natural one
Assumption 2.3. The eigenvalues of $A$  lie within the unit circle.
Theorem 2.2. Under Assumption  2.3 , the Markov chain is ergodic with the invariant measure $\mu$  such that ${\int }_{{\mathbb{R}}^{d}}\parallel z{\parallel }^{2}\mu \left(dz\right)<\infty$  .
For any Lipschitz continuous function $H$  , satisfying  1.1 , the family $\left({S}_{n}^{\alpha }{\right)}_{n\ge 1}$  obeys the MDP in the metric space $\left({\mathbb{R}}^{d},r\right)$  with the rate of speed ${n}^{-\left(2\alpha -1\right)}$  and the rate function given in  1.2 .

3 Preliminaries

3.1 (EG)-(H) conditions

To clarify our approach to the MDP analysis, let us first demonstrate its applicability under (EG)-(H) setting.
The (EG) condition provides the geometric ergodicity of ${P}_{x}^{\left(n\right)}$  to the invariant measure $\mu$  uniformly in $x$  in the total variation norm: there exist constants $K>0$  and $\varrho \in \left(0,1\right)$  such that for any $x\in {\mathbb{R}}^{d}$  , $\parallel {P}_{x}^{\left(n\right)}-\mu {\parallel }_{\mathsf{t}\mathsf{v}}\le K{\varrho }^{n},n\ge 1.$  The latter provides an existence of bounded function
 $\begin{array}{c}U\left(x\right)=H\left(x\right)+{\sum }_{n\ge 1}{P}_{x}^{\left(n\right)}H\end{array}$ (3.1)
solving the Poisson equation
 $\begin{array}{c}H\left(x\right)=H\left(x\right)+{P}_{x}U.\end{array}$ (3.2)
In view of the Markov property, a sequence $\left({\zeta }_{i}{\right)}_{i\ge 1}$  of bounded random vectors with ${\zeta }_{i}:=U\left({X}_{i}\right)-{P}_{{X}_{i-1}}U$  forms a martingale-differences relative to the filtration generated by Markov chain. Hence, ${M}_{n}={\sum }_{i=1}^{n}{\zeta }_{i}$  is the martingale with bounded increments. With the help of Poisson's equation we get the following decomposition
 $\begin{array}{c}\frac{1}{{n}^{\alpha }}{\sum }_{i=1}^{n}H\left({X}_{i-1}\right)={\underbrace{\frac{1}{{n}^{\alpha }}\left[U\left(x\right)-U\left({X}_{n}\right)\right]}}_{corrector}+\frac{1}{{n}^{\alpha }}{M}_{n}.\end{array}$ (3.3)
The boundedness of $U$  provides a corrector negligibility in the MDP scale, that is, the families ${S}_{n}^{\alpha }$  and $\frac{1}{{n}^{\alpha }}{M}_{n}$  share the same MDP. In view of that, suffice it to to establish the MDP for $\left(\frac{1}{{n}^{\alpha }}{M}_{n}{\right)}_{n\ge 1}$  .
Assume for a moment that ${\zeta }_{i}$  's are i.i.d. sequence of random vectors.
Recall, $E{\zeta }_{1}=0$  and denote $B=E{\zeta }_{1}{\zeta }_{1}^{*}$  . Then, the Laplace transform for $\frac{1}{{n}^{\alpha }}{M}_{n}$  is:
 $\begin{array}{c}{\mathfrak{E}}_{n}\left(\lambda \right)={\left(E{e}^{〈\lambda ,\frac{{\zeta }_{1}}{{n}^{\alpha }}〉}\right)}^{n},\lambda \in {\mathbb{R}}^{d}.\end{array}$ (3.4)
Under this setting, it is well known that $\frac{1}{{n}^{\alpha }}{M}_{n}$  obeys the MDP if $B$  is not singular matrix and ${lim}_{n\to \infty }{n}^{2\alpha -1}log{\mathfrak{E}}_{n}\left(\lambda \right)=\frac{1}{2}〈\lambda ,B\lambda 〉,\lambda \in {\mathbb{R}}^{d}.$  We adapt this method of MDP verification to our setting. Instead of $B$  , we introduce matrices $B\left({X}_{i-1}\right),i\ge 1$  with
 $\begin{array}{c}B\left(x\right)={P}_{x}U{U}^{*}-{P}_{x}U{\left({P}_{x}U\right)}^{*}.\end{array}$ (3.5)
The homogeneity of Markov chain and the definition of ${\zeta }_{i}$  provide a.s. that $E\left({\zeta }_{i}{\zeta }_{i}^{*}|{X}_{i-1}\right)=B\left({X}_{i-1}\right).$  Instead of the Laplace transform  3.4 , we apply the stochastic exponential  1.5 , expressed via ${\zeta }_{i}$  's, ${\mathfrak{E}}_{n}\left(\lambda \right){=}^{n}{\prod }_{i=1}E\left({e}^{〈\lambda ,\frac{{\zeta }_{i}}{{n}^{\alpha }}〉}|{X}_{i-1}\right),\lambda \in \mathbb{R},$  which is not the Laplace transform itself.
The Poisson equation  3.2 and its solution  3.1 permit to transform  3.5 into $B\left(x\right)=H\left(x\right){H}^{*}\left(x\right)+{\sum }_{n\ge 1}\left[H\left(x\right){\left({P}_{x}^{\left(n\right)}H\right)}^{*}+\left({P}_{x}^{\left(n\right)}H\right){H}^{*}\right],$  that is, ${\int }_{{\mathbb{R}}^{d}}B\left(z\right)\mu \left(dz\right)$  coincides with $B$  from  1.3 .
Now, we are in the position to formulate Puhalskii Theorem. [for more details, see [15and [?.] Assume $B$  from  1.3 is nonsingular matrix and for any $\varepsilon >0$  , $\lambda \in {\mathbb{R}}^{d}$
 $\begin{array}{c}{lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{n}^{2\alpha -1}log{\mathfrak{E}}_{n}\left(\lambda \right)-\frac{1}{2}〈\lambda ,B\lambda 〉|>\varepsilon \right)=-\infty .\end{array}$ (3.6)
Then, the family $\frac{1}{{n}^{\alpha }}{M}_{n}$  , $n\ge 1$  possesses the MDP in the metric space $\left({\mathbb{R}}^{d},r\right)$  ( $r$  is the Euclidean metric) with the rate of speed ${n}^{-\left(2\alpha -1\right)}$  and rate function $I\left(y\right)=\frac{1}{2}\parallel y{\parallel }_{{B}^{-1}}^{2}$  .
Remark 2. The condition  3.6 is verifiable with the help of
 $\begin{array}{c}\begin{array}{cc}& {lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\frac{1}{n}|{\sum }_{i=1}^{n}〈\lambda ,\left[B\left({X}_{i-1}\right)-B\right]\lambda 〉|>\varepsilon \right)=-\infty \\ & {lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\frac{1}{6{n}^{1+\alpha }}{\sum }_{i=1}^{n}E\left[|{\zeta }_{i}{|}^{3}{e}^{{n}^{-\alpha }|{\zeta }_{i}|}|{X}_{i-1}\right]>\varepsilon \right)=-\infty .\end{array}\end{array}$ (3.7)
The second condition in  3.7 is implied by the boundedness of $|{\zeta }_{i}|$  's. The first part in  3.7 is known as Dembo's conditions, [?, formulated as follows:
for any $\varepsilon >0$  , $\lambda \in {\mathbb{R}}^{d}$  $li{m}_{n\to \infty }\frac{1}{n}logP\left(\frac{1}{n}|{\sum }_{i=1}^{n}〈\lambda ,\left[B\left({X}_{i-1}\right)-B\right]\lambda 〉|>\varepsilon \right)<0.$  In order to verify the first condition in  3.7 , we apply again the Poisson equation technique. Set $h\left(x\right)=〈\lambda ,\left[B\left(x\right)-B\right]\lambda 〉$  and notice that ${\int }_{{\mathbb{R}}^{d}}h\left(z\right)\mu \left(dz\right)=0.$  Then, the function $u\left(x\right)=h\left(x\right)+{\sum }_{n\ge 1}{P}_{x}^{\left(n\right)}h$  is well defined and solves the Poisson equation $u\left(x\right)=h\left(x\right)+{P}_{x}u.$  Similarly to  3.3 , we have $\frac{1}{n}{\sum }_{i=1}^{n}h\left({X}_{i-1}\right)=\frac{u\left(x\right)-u\left({X}_{n}\right)}{n}+\frac{{m}_{n}}{n},$  where ${m}_{n}={\sum }_{i=1}^{n}{z}_{i}$  is the martingale with bounded martingale-differences $\left({z}_{i}{\right)}_{i\ge 1}$  . Since $u$  is bounded, the first condition in  3.7 is reduced to
 $\begin{array}{c}{lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{m}_{n}|>n\varepsilon \right)=-\infty \end{array}$ (3.8)
while  3.8 is provided by Theorem  A.1 in Appendix which states that  3.8 holds for any martingale with bounded increments.

3.1.1 Singular $B$

The conditions from  3.7 remain to hold whether $B$  is nonsingular or singular. For singular $B$  the Puhalskii theorem is no longer valid. With singular $B$  , we use the Puhalskii theorem as helpful tool It is well known that the family $\frac{{M}_{n}}{{n}^{\alpha }}$  , $n\ge 1$  obeys the MDP with the rate of speed ${n}^{-\left(2\alpha -1\right)}$  and some rate function,say $I\left(y\right)$  provided that
 $\begin{array}{c}\begin{array}{cc}& li{m}_{C\to \infty }li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{{M}_{n}}{{n}^{\alpha }}\parallel >C\right)=-\infty \\ & li{m}_{\varepsilon \to 0}li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{{M}_{n}}{{n}^{\alpha }}-y\parallel \le \varepsilon \right)\le -I\left(y\right)\\ & li{m}_{\varepsilon \to 0}li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{{M}_{n}}{{n}^{\alpha }}-y\parallel \le \varepsilon \right)\ge -I\left(y\right).\end{array}\end{array}$ (3.9)
The first condition in  3.9 provides the exponential tightness in the metric $r$  while the next others the local MDP. In order to verify of  3.9 , we introduce “regularized” family $\frac{{M}_{n}^{\beta }}{{n}^{\alpha }},n\ge 1$  with ${M}_{n}^{\beta }={M}_{n}+\sqrt{\beta }{\sum }_{i=1}^{n}{\vartheta }_{i},$  where $\beta$  is a positive parameter and $\left({\vartheta }_{i}{\right)}_{i\ge 1}$  is a sequence of zero mean i.i.d.
Gaussian random vectors with $cov\left({\vartheta }_{1},{\vartheta }_{1}\right)=:\mathbf{I}$  ( $\mathbf{I}$  is the unit matrix). The Markov chain and $\left({\vartheta }_{i}{\right)}_{i\ge 1}$  are assumed to be independent objects.
It is clear that for this setting the matrix $B$  is transformed into a positive definite matrix ${B}_{\beta }=B+\beta \mathbf{I}$  . Now, the Puhalskii theorem is applicable and guarantees the MDP with the same rate of speed and the rate function ${I}_{\beta }\left(y\right)=\frac{1}{2}\parallel y{\parallel }_{{B}_{\beta }^{-1}}^{2}.$  We use now the well known fact (see, e.g. Puhalskii, [14) that MDP provides the exponentially tightness and the the local MDP:
 $\begin{array}{c}\begin{array}{cc}& li{m}_{C\to \infty }li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{{M}_{n}^{\beta }}{{n}^{\alpha }}\parallel >C\right)=-\infty \\ & li{m}_{\varepsilon \to 0}li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{{M}_{n}^{\beta }}{{n}^{\alpha }}-y\parallel \le \varepsilon \right)\le -{I}_{\beta }\left(y\right)\\ & li{m}_{\varepsilon \to 0}li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{{M}_{n}^{\beta }}{{n}^{\alpha }}-y\parallel \le \varepsilon \right)\ge -{I}_{\beta }\left(y\right).\end{array}\end{array}$ (3.10)
Notice now that  3.9 is implied by  3.10 if
 $\begin{array}{c}{lim}_{\beta \to 0}{I}_{\beta }\left(y\right)=\left\{\begin{array}{cc}\frac{1}{2}\parallel y{\parallel }_{{B}^{\oplus }}^{2},& {B}^{\oplus }By=y\\ \infty ,& \text{otherwise}\end{array}\end{array}$ (3.11)
and
 $\begin{array}{c}{lim}_{\beta \to 0}li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(\parallel \frac{\sqrt{\beta }}{{n}^{\alpha }}{\sum }_{i=1}^{n}{\vartheta }_{i}\parallel >\eta \right)=-\infty ,\forall \eta >0.\end{array}$ (3.12)
Let $T$  be an orthogonal matrix transforming $B$  to a diagonal form: $diag\left(B\right)={T}^{*}BT.$  Then, owing to $2{I}_{\beta }\left(y\right)={y}^{*}\left(\beta I+B{\right)}^{-1}y={y}^{*}T\left(\beta I+diag\left(B\right){\right)}^{-1}{T}^{*}y,$  for $y={B}^{\oplus }By$  we have (recall that ${B}^{\oplus }B{B}^{\oplus }={B}^{\oplus }$  , see [1)
 $\begin{array}{cc}2{I}_{\beta }\left(y\right)& ={y}^{*}{B}^{\oplus }BT\left(\beta I+diag\left(B\right){\right)}^{-1}{T}^{*}y\end{array}$
 $\begin{array}{cc}& ={y}^{*}{B}^{\oplus }T{T}^{*}BT\left(\beta I+diag\left(B\right){\right)}^{-1}{T}^{*}y\end{array}$
 $\begin{array}{cc}& ={y}^{*}{B}^{\oplus }Tdiag\left(B\right)\left(\beta I+diag\left(B\right){\right)}^{-1}{T}^{*}y\end{array}$
 $\begin{array}{cc}& ---\to \beta \to 0{y}^{*}{B}^{\oplus }Tdiag\left(B\right)diag\left(\left(B\right){\right)}^{\oplus }{T}^{*}y\end{array}$
 $\begin{array}{cc}& ={y}^{*}{B}^{\oplus }Tdiag\left(B\right){T}^{*}T\left(diag\left(B\right){\right)}^{\oplus }{T}^{*}y\end{array}$
 $\begin{array}{cc}& ={y}^{*}{B}^{\oplus }B{B}^{\oplus }u={u}^{*}{B}^{\oplus }y=\parallel y{\parallel }_{{B}^{\oplus }}^{2}=2I\left(y\right).\end{array}$
If $y\ne {B}^{\oplus }By$  , ${lim}_{\beta \to 0}2{I}_{\beta }\left(y\right)=\infty$  .
Thus,  3.11 holds true.
Since $\left({\vartheta }_{i}{\right)}_{i\ge 1}$  is i.i.d. sequence of random vectors and entries of ${\vartheta }_{1}$  are i.i.d. $\left(0,1\right)$  -Gaussian random variables, the verification of  3.12 is reduced to
 $\begin{array}{c}{lim}_{\beta \to 0}li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{\sum }_{i=1}^{n}{\xi }_{i}|>\frac{{n}^{\alpha }\eta }{\sqrt{\beta }}\right)=-\infty ,\end{array}$ (3.13)
where $\left({\xi }_{i}{\right)}_{i\ge 1}$  is a sequence of i.i.d. $\left(0,1\right)$  -Gaussian random variables, and it suffices to consider the case “+” only. By the Chernoff inequality with $\lambda >0$  , we find that $P\left({\sum }_{i=1}^{n}{\vartheta }_{i}>\frac{{n}^{\alpha }\eta }{\sqrt{\beta }}\right)\le exp\left(-\lambda \frac{{n}^{\alpha }\eta }{\sqrt{\beta }}+n\frac{{\lambda }^{2}}{2}\right)$  while the choice of $\lambda =\frac{{n}^{\alpha }\eta }{n\sqrt{\beta }}$  provides $\frac{1}{{n}^{2\alpha -1}}logP\left({\sum }_{i=1}^{n}{\eta }_{i}>\frac{{n}^{\alpha }\eta }{\sqrt{\beta }}\right)\le -\frac{{\eta }^{2}}{2\beta }---\to \beta \to 0-\infty .$

3.2 Virtual scenario

(EG)-(H) are not assumed the ergodicity of Markov chain is checked - $H$  is chosen to hold  1.1 .
(1) Let  3.1 hold. Hence, the function $U$  solves the Poisson equation and the decomposition from  3.3 is valid with ${M}_{n}={\sum }_{i=1}^{n}{\zeta }_{i}$  , where ${\zeta }_{i}=u\left({X}_{i}\right)-{P}_{{X}_{i-1}}u.$  Let
 $\begin{array}{cc}& E{\zeta }_{i}^{*}{\zeta }_{i}\le const.\end{array}$
 $\begin{array}{cc}& E\left[|{\zeta }_{i}{|}^{3}{e}^{{n}^{-\alpha }|{\zeta }_{i}|}|{X}_{i-1}\right]\le const.\end{array}$
(2) With $B\left(x\right)$  and $B$  are defined in  3.5 and  1.3 respectively, set $h\left(x\right)=〈\lambda ,\left[B\left(x\right)-B\right]\lambda 〉,\lambda \in {\mathbb{R}}^{d}.$  Let (i) $u\left(x\right)=h\left(x\right)+{\sum }_{n\ge 1}{P}_{x}^{\left(n\right)}h$  is well defined (ii) for ${z}_{i}=u\left({X}_{i}\right)-{P}_{{X}_{i-1}}u$  ,
 $\begin{array}{cc}& E{z}_{i}^{2}\le const.\end{array}$
 $\begin{array}{cc}& E\left[|{z}_{i}{|}^{3}{e}^{{n}^{-\alpha }|{z}_{i}|}|{X}_{i-1}\right]\le const.\end{array}$
(3) For any $\varepsilon >0$  , let
 $\begin{array}{ccc}& {lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|U\left({X}_{n}\right)|>{n}^{\alpha }\varepsilon \right)=-\infty & \end{array}$
 $\begin{array}{ccc}& {lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|u\left({X}_{n}\right)|>{n}^{\alpha }\varepsilon \right)=-\infty .& \end{array}$
Notice that (EG)-(H) provide (1)-(3) and even if (EG)-(H) fail, (1)-(3) may fulfill. Moreover, (1)-(3) guarantee the validity for all steps of the proof given in Section  3.1 .
Thus, an ergodic Markov chain, possessing (1)-(3), obeys the MDP. The proof of Theorems  2.1 and  2.2 follows this scenario.

4 The proof of Theorem  2.1

4.1 Ergodic property

Lemma 4.1. Under Assumption  2.1 , $\left({X}_{n}{\right)}_{n\ge 0}$  possesses the unique probability invariant measure $\mu$  with ${\int }_{{\mathbb{R}}^{d}}|z|\mu \left(dz\right)<\infty$  .
• Proof. Let $\nu$  be a probability measure on ${\mathbb{R}}^{d}$  with ${\int }_{{\mathbb{R}}^{d}}|x|\nu \left(dx\right)<\infty$  and let a random vector ${X}_{0}$  , distributed in the accordance to $\nu$  , is independent of $\left({\xi }_{n}{\right)}_{n\ge 1}$  . We initialize the recursion, given in  2.1 , by ${X}_{0}$  . Let now ${X}_{n}$  is generated by  2.1 . Then, ${\mu }^{n}\left(dz\right)={\int }_{{\mathbb{R}}^{d}}{P}_{x}^{\left(n\right)}\left(dz\right)\nu \left(dx\right)$  defines the distribution of ${X}_{n}$  .
We show that the family $\left({\mu }^{n}{\right)}_{n\ge 1}$  is tight in the Levy-Prohorov metric:
${lim}_{k\to \infty }li{m}_{n\to \infty }{\mu }^{n}\left(|z|>k\right)=0.$  By the Chebyshev inequality, ${\mu }^{n}\left(|z|>k\right)\le \frac{E|{X}_{n}|}{k}$  . The tightness follows from ${sup}_{n\ge 1}E|{X}_{n}|<\infty .$  Further, since By Assumption  2.1 ,  $\begin{array}{cc}|{X}_{n}|& =|f\left(0,{\xi }_{n}\right)+\left(f\left({X}_{n-1},{\xi }_{n}\right)-f\left(0,{\xi }_{n}\right)\right)|\end{array}$
 $\begin{array}{cc}& \le |f\left(0,{\xi }_{n}\right)|+|f\left({X}_{n-1},{\xi }_{n}\right)-f\left(0,{\xi }_{n}\right)\right)|\end{array}$
 $\begin{array}{cc}& \le |f\left(0,{\xi }_{n}\right)|+\varrho |{X}_{n-1}|\end{array}$
 $\begin{array}{cc}& \le |f\left(0,0\right)|+\ell |{\xi }_{n}|+\varrho |{X}_{n-1}|,\end{array}$
the sequence $\left(E|{X}_{n}|{\right)}_{n\ge 1}$  solves a recurrent inequality $E|{X}_{n}|\le |f\left(0,0\right)|+\ell E|{\xi }_{1}|+\varrho E|{X}_{n-1}|$  subject to $E|{X}_{0}|={\int }_{{\mathbb{R}}^{d}}|x|\nu \left(dx\right)\left(<\infty \right)$  . Hence, we find that for any $n\ge 1$  , $E|{X}_{n}|\le E|{X}_{0}|+\frac{|f\left(0,0\right)|+\ell E|{\xi }_{1}|}{1-\varrho }.$  Thus, the family $\left\{{\mu }_{n}\right\}$  is tight, so that, by the Prohorov theorem, $\left\{{\mu }^{n}\right\}$  contains further subsequence $\left\{{\mu }^{{n}^{\prime }}\right\}$  converging, as ${n}^{\prime }↗\infty$  , in the Levy-Prohorov metric to a limit $\mu$  being a probability measure on ${\mathbb{R}}^{d}$  : for any bounded and continuous function $g$  on ${\mathbb{R}}^{d}$  ${lim}_{{n}^{\prime }\to \infty }{\int }_{{\mathbb{R}}^{d}}g\left(z\right){\mu }^{{n}^{\prime }}\left(dz\right)={\int }_{{\mathbb{R}}^{d}}g\left(z\right)\mu \left(dz\right).$  Thence, for $g\left(z\right)=L\wedge |z|$  and $L>0$  , it holds ${\int }_{{\mathbb{R}}^{d}}\left(L\wedge |z|\right)\mu \left(dz\right)={lim}_{{n}^{\prime }\to \infty }E\left(L\wedge |{X}_{{n}^{\prime }}|\right)\le li{m}_{n\to \infty }E|{X}_{n}|<\infty$  and, by the monotone convergence theorem, ${\int }_{{\mathbb{R}}^{d}}|z|\mu \left(dz\right)\le li{m}_{n\to \infty }E|{X}_{n}|<\infty .$  The $\mu$  is regarded now as a candidate to be the unique invariant measure.
So, we shall verify ${\int }_{{\mathbb{R}}^{d}}g\left(x\right)\mu \left(dx\right)={\int }_{{\mathbb{R}}^{d}}{P}_{x}g\mu \left(dx\right).$  for any nonnegative, bounded and continuous function $g$  . For notational convenience, write ${X}_{n}^{x}$  and ${X}_{n}^{\nu }$  , if ${X}_{0}=x$  and ${X}_{0}$  is distributed in the accordance with $\nu$  . By Assumption  2.1 , $|{X}_{n}^{x}-{X}_{n}^{\nu }|\le \varrho |{X}_{n-1}^{x}-{X}_{n-1}^{\nu }|,n\ge 1,$  that is, $|{X}_{n}^{x}-{X}_{n}^{\nu }|$  converges to zero exponentially fast as long as $n\to \infty$  .
For any $x\in {\mathbb{R}}^{d}$  , the latter provides ${lim}_{{n}^{\prime }\to \infty }Eg\left({X}_{{n}^{\prime }}^{x}\right)={\int }_{{\mathbb{R}}^{d}}g\left(x\right)\mu \left(dx\right).$  Since the Markov chain is homogeneous, we also find that ${lim}_{{n}^{\prime }\to \infty }Eg\left({X}_{{n}^{\prime }+1}^{x}\right)={\int }_{{\mathbb{R}}^{d}}g\left(z\right)\mu \left(dz\right).$  On the other hand, owing to $Eg\left({X}_{{n}^{\prime }+1}^{x}\right)=E{P}_{{X}_{{n}^{\prime }}^{x}}g$  , the above relation is nothing but ${lim}_{{n}^{\prime }\to \infty }E{P}_{{X}_{{n}^{\prime }}^{x}}g={\int }_{{\mathbb{R}}^{d}}g\left(z\right)\mu \left(dz\right).$  Finally, owing to ${P}_{x}g=Eg\left(f\left(x,{\xi }_{1}\right)\right)$  , the function ${P}_{x}g$  of argument $x$  is bounded and continuous. Consequently, ${lim}_{{n}^{\prime }\to \infty }E{P}_{{X}_{{n}^{\prime }}^{x}}g={\int }_{{\mathbb{R}}^{d}}{P}_{x}g\mu \left(dx\right).$  Assume ${\mu }^{\prime }$  is another invariant probability measure, ${\mu }^{\prime }\ne \mu$  . Then, taking ${X}_{0}^{\mu }$  and ${X}_{0}^{{\mu }^{\prime }}$  , distributed in the accordance to $\mu$  and ${\mu }^{\prime }$  respectively and independent of $\left({\xi }_{n}{\right)}_{n\ge 1}$  , we get two stationary Markov chains $\left({X}_{n}^{\mu }\right)$  and $\left({X}_{n}^{{\mu }^{\prime }}\right)$  defined on the same probability space as:
 $\begin{array}{c}{X}_{n}^{\mu }=f\left({X}_{n-1}^{\mu },{\xi }_{n}\right)\end{array}$
 $\begin{array}{c}{X}_{n}^{{\mu }^{\prime }}=f\left({X}_{n-1}^{{\mu }^{\prime }},{\xi }_{n}\right).\end{array}$
By Assumption  2.1 , $|{X}_{n}^{\mu }-{X}_{n}^{{\mu }^{\prime }}|\le \varrho |{X}_{n-1}^{\mu }-{X}_{n-1}^{{\mu }^{\prime }}|$  , i.e. ${lim}_{n\to \infty }|{X}_{n}^{\mu }-{X}_{n}^{{\mu }^{\prime }}|=0$  . Recall that both processes ${X}_{n}^{\mu }$  and ${X}_{n}^{{\mu }^{\prime }}$  are stationary with the marginal distributions $\mu$  and ${\mu }^{\prime }$  respectively. Hence, for any bounded and continuous function $g:{\mathbb{R}}^{d}\to \mathbb{R}$  , $|{\int }_{{\mathbb{R}}^{d}}g\left(x\right)\mu \left(dx\right)-{\int }_{{\mathbb{R}}^{d}}g\left(x\right){\mu }^{\prime }\left(dx\right)|\le E|g\left({X}_{n}^{\mu }\right)-g\left({X}_{n}^{{\mu }^{\prime }}\right)|---\to n\to \infty 0,$  that is, $\mu ={\mu }^{\prime }$  .

4.2 The verification of (1)

Let $K$  be the Lipschitz constant for $H$  . Then $|H\left(x\right)|\le |H\left(0\right)|+K|x|$  and ${\int }_{{\mathbb{R}}^{d}}|H\left(z\right)|\mu \left(dz\right)<\infty .$  By  1.1 , $EH\left({X}_{n}^{\mu }\right)\equiv 0$  . Then,
 $\begin{array}{cc}|EH\left({X}_{n}^{x}\right)|& =|E\left(H\left({X}_{n}^{x}\right)-H\left({X}_{n}^{\mu }\right)|\end{array}$
 $\begin{array}{cc}& \le K{\varrho }^{n}E|x-{X}_{n}^{\mu }|\le K\left(1+|x|\right){\varrho }^{n}.\end{array}$
Therefore, ${\sum }_{n\ge 1}|EH\left({X}_{n}^{x}|\le \frac{K}{1-\varrho }\left(1+|x|\right)$  . Consequently, the function $U\left(x\right)$  , given in  3.1 , is well defined and solves the Poisson equation.
Recall that ${\zeta }_{i}=U\left({X}_{i}\right)-{P}_{{X}_{i-1}}U$  .
Lemma 4.2. The function $U\left(x\right)$  possesses the following properties:
1) $U\left(x\right)$  is Lipschitz continuous; 2) ${P}_{x}\left(U{U}^{*}\right)-{P}_{x}U\left({P}_{x}U{\right)}^{*}$  is bounded and Lipschitz continuous; 3) For sufficiently small $\delta >0$  and any $i\ge 1$  $E\left(|U\left({X}_{i}\right)-{P}_{{\text{}}_{{X}_{i-1}}}U{|}^{3}{e}^{\delta |U\left({X}_{i}\right)-{P}_{{\text{}}_{{X}_{i-1}}}U|}|{X}_{i-1}\right)\le \text{const.}$
• Proof. 1) Since by Assumption  2.1 , $|{X}_{n}^{{x}^{\prime }}-{X}_{n}^{{x}^{\prime \prime }}|\le \varrho |{X}_{n-1}^{{x}^{\prime }}-{X}_{n-1}^{{x}^{\prime \prime }}|,|{X}_{0}^{{x}^{\prime }}-{X}_{0}^{{x}^{\prime \prime }}|\le |{x}^{\prime }-{x}^{\prime \prime }|,$  we have  $\begin{array}{c}\begin{array}{cc}|U\left({x}^{\prime }\right)-U\left({x}^{\prime \prime }\right)|& \le |H\left({x}^{\prime }\right)-H\left({x}^{\prime \prime }\right)|+{\sum }_{n\ge 1}E|H\left({X}_{n}^{{x}^{\prime }}\right)-H\left({X}_{n}^{{x}^{\prime \prime }}\right)|\\ & \le \frac{K}{1-\varrho }|{x}^{\prime }-{x}^{\prime \prime }|.\end{array}\end{array}$ (4.1)
2) Recall (see  3.5 ) ${P}_{x}\left(U{U}^{*}\right)-{P}_{x}U\left({P}_{x}U{\right)}^{*}=B\left(x\right)$  and denote ${B}_{pq}\left(x\right)$  , $p,q=1,\dots ,d$  the entries of matrix $B\left(x\right)$  . Also, denote by ${U}_{p}\left(x\right)$  , $p=1,\dots ,d$  the entries of $U\left(x\right)$  . Since $B\left(x\right)$  is nonnegative definite matrix, suffice it to show only that ${B}_{pp}\left(x\right)$  's are bounded functions. Denote $F\left(z\right)$  the distribution function of ${\xi }_{1}$  . Taking into the consideration  4.1 and Assumption  2.1 , we get  $\begin{array}{cc}{B}_{pp}\left(x\right)& =E{\left({U}_{p}\left(f\left(x,{\xi }_{1}\right)\right)-{\int }_{{\mathbb{R}}^{d}}{U}_{p}\left(f\left(x,z\right)\right)dF\left(z\right)\right)}^{2}\end{array}$
 $\begin{array}{cc}& \le \frac{\left(K\ell {\right)}^{2}}{\left(1-\varrho {\right)}^{2}}E|{\int }_{{\mathbb{R}}^{d}}|{\xi }_{1}-z|dF\left(z\right){|}^{2}\le 4\frac{\left(K\ell {\right)}^{2}}{\left(1-\varrho {\right)}^{2}}E|{\xi }_{1}{|}^{2}<\infty .\end{array}$
The Lipschitz continuity of ${B}_{pq}\left(x\right)$  is proved similarly. Write ${B}_{pq}\left({x}^{\prime }\right)-{B}_{pq}\left({x}^{\prime \prime }\right)=:ab-cd,$  where  $\begin{array}{cc}& a=E\left({U}_{p}\left(f\left({x}^{\prime },{\xi }_{1}\right)\right)-{\int }_{{\mathbb{R}}^{d}}{U}_{q}\left(f\left({x}^{\prime },z\right)\right)dF\left(z\right)\right)\end{array}$
 $\begin{array}{cc}& b=E\left({U}_{q}\left(f\left({x}^{\prime },{\xi }_{1}\right)\right)-{\int }_{{\mathbb{R}}^{d}}{U}_{q}\left(f\left({x}^{\prime },z\right)\right)dF\left(z\right)\right)\end{array}$
 $\begin{array}{cc}& c=E\left({U}_{p}\left(f\left({x}^{\prime \prime },{\xi }_{1}\right)\right)-{\int }_{{\mathbb{R}}^{d}}{U}_{q}\left(f\left({x}^{\prime \prime },z\right)\right)dF\left(z\right)\right)\end{array}$
 $\begin{array}{cc}& d=E\left({U}_{q}\left(f\left({x}^{\prime \prime },{\xi }_{1}\right)\right)-{\int }_{{\mathbb{R}}^{d}}{U}_{q}\left(f\left({x}^{\prime \prime },z\right)\right)dF\left(z\right)\right).\end{array}$
Now, applying $ab-cd=a\left(b-d\right)+d\left(a-c\right)$  and taking into account  4.1 and Assumption  2.1 , we find that $|a|,|d|\le \frac{2K\ell }{1-\varrho }E|{\xi }_{1}|$  and so $|{B}_{pq}\left({x}^{\prime }\right)-{B}_{pq}\left({x}^{\prime \prime }\right)|\le \frac{4{K}^{2}\ell \varrho }{\left(1-\varrho {\right)}^{2}}E|{\xi }_{1}||{x}^{\prime }-{x}^{\prime \prime }|.$  3) By  4.1 and Assumption  2.1  $|U\left({X}_{i}\right)-{P}_{{X}_{i-1}}U|\le \frac{K\ell }{1-\varrho }\left(E|{\xi }_{1}|+|{\xi }_{i}|\right).$

4.3 The verification of (2)

The properties of $B\left(x\right)$  to be bounded and Lipschitz continuous provide the same properties for $h\left(x\right)=〈\lambda ,\left[B\left(x\right)-B\right]\lambda 〉.$  Hence (2) is provided by (1).

4.4 The verification of (3)

Since $U$  and $u$  are Lipschitz continuous, they possess the linear growth condition, e.g., $|U\left(x\right)|\le C\left(1+|x|\right),\exists C>0.$  So, (3) is reduced to the verification of
 $\begin{array}{c}{lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{X}_{n}|>\varepsilon {n}^{\alpha }\right)=-\infty ,\varepsilon >0.\end{array}$ (4.2)
Due to Assumption  2.1 , we have
 $\begin{array}{cc}|{X}_{n}|& \le |f\left({X}_{n-1},{\xi }_{n}\right)|\le |f\left(0,{\xi }_{n}\right)|+\varrho |{X}_{n-1}|\end{array}$
 $\begin{array}{cc}& \le |f\left(0,0\right)|+\varrho |{X}_{n-1}|+\ell |{\xi }_{n}|.\end{array}$
Iterating this inequality with ${X}_{0}=x$  we obtain
 $\begin{array}{cc}|{X}_{n}|& \le {\varrho }^{n}|x|+|f\left(0,0\right)|{\sum }_{j=1}^{n}{\varrho }^{n-j}+\ell {\sum }_{j=1}^{n}{\varrho }^{n-j}|{\xi }_{j}|\end{array}$
 $\begin{array}{cc}& \le |x|+\frac{|f\left(0,0\right)|}{1-\varrho }+\ell {\sum }_{j=0}^{n-1}{\varrho }^{j}|{\xi }_{n-j}|.\end{array}$
Hence,  4.2 is reduced to
 $\begin{array}{c}{lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left({\sum }_{j=0}^{n-1}{\varrho }^{j}|{\xi }_{n-j}|\ge {n}^{\alpha }\varepsilon \right)=-\infty .\end{array}$ (4.3)
We verify  4.3 with the help of Chernoff 's inequality: with $\delta$  , involving in Assumption  2.2 , and $\gamma =\frac{\delta }{1-\varrho }$
 $\begin{array}{c}P\left({\sum }_{j=0}^{n-1}{\varrho }^{j}|{\xi }_{n-j}|\ge {n}^{\alpha }\varepsilon \right)\le {e}^{-{n}^{\alpha }\gamma \varepsilon }E{e}^{{\sum }_{j=0}^{n-1}\gamma {\varrho }^{j}|{\xi }_{n-j}|}.\end{array}$
The i.i.d. property for ${\xi }_{j}$  's provides $E{e}^{{\sum }_{j=0}^{n-1}\gamma {\varrho }^{j}|{\xi }_{n-j}|}=E{e}^{{\sum }_{j=0}^{n-1}\gamma {\varrho }^{j}|{\xi }_{1}|}\le E{e}^{{\sum }_{j=0}^{\infty }\gamma {\varrho }^{j}|{\xi }_{1}|}=E{e}^{\delta |{\xi }_{1}|}<\infty$  and we get $\frac{1}{{n}^{2\alpha -1}}logP\left({\sum }_{j=0}^{n-1}{\varrho }^{j}|{\xi }_{n-j}|\ge {n}^{\alpha }\varepsilon \right)\le -{n}^{1-\alpha }\delta \varepsilon +\frac{logE{e}^{\delta |{\xi }_{1}|}}{{n}^{2\alpha -1}}---\to n\to \infty -\infty .$

5 The proof of Theorem  2.2

The proof of this theorem differs from the proof of Theorem  2.1 only in some details concerning to (L.1). So, only these parts of the proof are given below.

5.1 Ergodic property and invariant measure

Introduce $\left({\stackrel{~}{\xi }}_{n}{\right)}_{n\ge 1}$  the independent copy of $\left({\xi }_{n}{\right)}_{n\ge 1}$  . Owing to ${X}_{n}={A}^{n}x+{\sum }_{i=1}^{n}{A}^{n-i}{\xi }_{i}={A}^{n}x+{\sum }_{i=0}^{n-1}{A}^{i}{\xi }_{n-i},$  we introduce
 $\begin{array}{c}{\stackrel{~}{X}}_{n}={A}^{n}x+{\sum }_{i=0}^{n-1}{A}^{i}{\stackrel{~}{\xi }}_{i}\end{array}$ (5.1)
and notice that the i.i.d. property of $\left({\xi }_{i}{\right)}_{i\ge 1}$  provides $\left({X}_{n}{\right)}_{n\ge 0}\stackrel{law}{=}\left({\stackrel{~}{X}}_{n}{\right)}_{n\ge 0}.$  By Assumption  2.3 , ${A}^{n}\to 0$  , $n\to \infty$  , exponentially fast. Particularly, ${\sum }_{i=0}^{\infty }trace\left({A}^{i}cov\left({\xi }_{1},{\xi }_{1}\right)\left({A}^{i}{\right)}^{*}\right)<\infty ,$  so that ${lim}_{n\to \infty }{\stackrel{~}{X}}_{n}={\sum }_{i=0}^{\infty }{A}^{i}{\stackrel{~}{\xi }}_{i}$  a.s. and in ${\mathbb{L}}^{2}$  norm.
Thus, the invariant measure $\mu$  is generated by the distribution function of ${\stackrel{~}{X}}_{\infty }$  . In addition, $E\parallel {\stackrel{~}{X}}_{\infty }{\parallel }^{2}={\sum }_{i=0}^{\infty }trace\left({A}^{i}cov\left({\xi }_{1},{\xi }_{1}\right)\left({A}^{i}{\right)}^{*}\right)$  , so that ${\int }_{{\mathbb{R}}^{d}}\parallel z{\parallel }^{2}\mu \left(dz\right)<\infty .$

5.2 The verification of (1) and (2)

Due to $\left({X}_{n}^{{x}^{\prime }}-{X}_{n}^{{x}^{\prime \prime }}\right)=A\left({X}_{n-1}^{{x}^{\prime }}-{X}_{n-1}^{{x}^{\prime \prime }}\right),$  we have $\left({X}_{n}^{{x}^{\prime }}-{X}_{n}^{{x}^{\prime \prime }}\right)={A}^{n}\left({x}^{\prime }-{x}^{\prime \prime }\right)$  . Let us transform the matrix $A$  into a Jordan form $A=TJ{T}^{-1}$  and notice that ${A}^{n}=T{J}^{n}{T}^{-1}$  . It is well known that the maximal absolute value of entries of ${J}^{n}$  is $n|\lambda {|}^{n}$  , where $|\lambda |$  is the maximal absolute value among eigenvalues of $A$  . By Assumption  2.3 , $|\lambda |<1$  .
So, there exist $K>0$  and $\varrho <1$  such that $|\lambda |<\varrho$  . Then, entries ${A}_{pq}^{n}$  of ${A}^{n}$  are evaluated as: $|{A}_{pq}^{n}|\le K{\varrho }^{n}$  . Hence, $|{X}_{n}^{{x}^{\prime }}-{X}_{n}^{{x}^{\prime \prime }}|\le K{\varrho }^{n}|{x}^{\prime }-{x}^{\prime \prime }|$  , $n\ge 1$  , and the verification of (1), (2) is in the framework of Section  3 .

5.3 The verification of (3)

As in Section  3 , the verification of this property is reduced to
 $\begin{array}{c}{lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{X}_{n}|>\varepsilon {n}^{\alpha }\right)=-\infty ,\varepsilon >0.\end{array}$ (5.2)
In  5.2 , we may replace ${X}_{n}$  by its copy ${\stackrel{~}{X}}_{n}$  defined in  5.1 . Notice also that $|{\stackrel{~}{X}}_{n}|\le |{A}^{n}x|+{\sum }_{i=0}^{\infty }{max}_{pq}|{A}_{pq}^{i}||\stackrel{~}{\xi }|.$  As was mentioned above, $|{A}_{pq}^{i}|\le K{\varrho }^{j}$  for some $K>0$  and $\varrho \in \left(0,1\right)$  .
Hence, suffice it to verify ${lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left({\sum }_{i=0}^{\infty }{\varrho }^{i}|{\xi }_{i}|>\varepsilon {n}^{\alpha }\right)=-\infty ,\varepsilon >0$  what be going on similarly to corresponding part of the proof in Section  3 .

6 Exotic example

Let $\left({X}_{n}{\right)}_{n\ge 0}$  , ${X}_{n}\in \mathbb{R}$  and ${X}_{0}=x$  , be Markov chain defined by the recurrent equation
 $\begin{array}{c}{X}_{n}={X}_{n-1}-m\frac{{X}_{n-1}}{|{X}_{n-1}|}+{\xi }_{n},\end{array}$ (6.1)
where $m$  is a positive parameter, $\left({\xi }_{n}\right)$  is i.i.d. sequence of zero mean random variables with $E{e}^{\delta |{\xi }_{1}|}<\infty ,\text{for some}\delta >0\text{},$  and let $\frac{0}{0}=0$  .
Although the virtual scenario is not completely verifiable here we show that for $H\left(x\right)=\frac{x}{|x|}$  the family $\left({S}_{n}^{\alpha }{\right)}_{n\ge 1}$  possesses the MDP provided that
 $\begin{array}{c}m>\frac{1}{\delta }logE{e}^{\delta |{\xi }_{1}|}.\end{array}$ (6.2)
Indeed, by  6.1 we have $\frac{1}{{n}^{\alpha }}{\sum }_{k=1}^{n}\frac{{X}_{k-1}}{|{X}_{k-1}|}=\frac{1}{m}\frac{\left({X}_{n}-x\right)}{{n}^{\alpha }}+\frac{1}{{n}^{\alpha }}{\sum }_{k=1}^{n}\frac{{\xi }_{k}}{m}.$  The family ${\left(\frac{1}{{n}^{\alpha }}{\sum }_{k=1}^{n}\frac{{\xi }_{k}}{m}\right)}_{n\ge 1}$  possesses the MDP with the rate of speed ${n}^{-\left(2\alpha -1\right)}$  and the rate function $I\left(y\right)=\frac{{m}^{2}}{2E{\xi }_{1}^{2}}{y}^{2}$  . Then, the family $\left({S}_{n}^{\alpha }{\right)}_{n\ge 1}$  obeys the same MDP provided that ${\left(\frac{{X}_{n}-x}{{n}^{\alpha }}\right)}_{n\ge 1}$  is exponentially negligible family with the rate ${n}^{-\left(2\alpha -1\right)}$  . This verification is reduced to
 $\begin{array}{c}{lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{X}_{n}|>{n}^{\alpha }\varepsilon \right)=-\infty ,\varepsilon >0.\end{array}$ (6.3)
By the Chernoff inequality $P\left(|{X}_{n}|>{n}^{\alpha }\varepsilon \right)\le {e}^{-\delta {n}^{\alpha }\varepsilon }E{e}^{\delta |{X}_{n}|},$  that is  6.3 holds if ${sup}_{n\ge 1}E{e}^{\delta |{X}_{n}|}<\infty$  for some $\delta >0$  . We show that the latter holds true for $\delta$  involved in  6.2 . A helpful tool for this verification is the inequality $|z-m\frac{z}{|z|}|\le ||z|-m|$  . Write
 $\begin{array}{cc}E{e}^{\delta |{X}_{n}|}& =E{e}^{\delta |{X}_{n}|}I\left(|{X}_{n-1}|\le m\right)+E{e}^{\delta |{X}_{n}|}I\left(|{X}_{n-1}|>m\right)\end{array}$
 $\begin{array}{cc}& \le {e}^{\delta m}E{e}^{\delta |{\xi }_{1}|}+{e}^{-\delta m}E{e}^{\delta |{\xi }_{1}|}E{e}^{\delta |{X}_{n-1}|}.\end{array}$
Set $\ell ={e}^{\delta m}E{e}^{\delta |{\xi }_{1}|}$  and $\varrho ={e}^{-\delta m}E{e}^{\delta |{\xi }_{1}|}$  . By  6.2 , $\varrho <1$  . Hence, $V\left(x\right)={e}^{\delta |x|}$  is the Lyapunov function: ${P}_{x}V\le \varrho V\left(x\right)+\ell .$  Consequently, $EV\left({X}_{n}\right)\le \varrho EV\left({X}_{n}\right)+\ell ,n\ge 1$  and so, ${sup}_{n\ge 1}EV\left({X}_{n}\right)\le V\left(x\right)+\frac{\ell }{1-\varrho }$  .

7 Statistical example

An asymptotic analysis, given in this section, demonstrate the thesis “MDP instead of CLT”. Let ${X}_{n}=\theta f\left({X}_{n-1}\right)+{\xi }_{n},$  where $\theta$  is a number and $\left({\xi }_{n}{\right)}_{n\ge 1}$  is i.i.d. sequence of of $\left(0,1\right)$  -Gaussian random variables. We assume that $|\theta |<1$  and $f$  is bounded continuously differentiable function with $|{f}^{\prime }\left(x\right)|\le 1$  . By Theorem  2.1 , $\left({X}_{n}\right)$  is an ergodic Markov chain and its invariant measure ${\mu }_{\theta }$  depends on parameter $\theta$  . Since ${\xi }_{1}$  is Gaussian random variables, ${\mu }_{\theta }$  , being a convolution of some measure with Gaussian one, possesses a density relative to $dz$  . Then, assuming ${f}^{2}\left(x\right)>0$  relative to Lebesgue measure, we have ${B}_{\theta }={\int }_{\mathbb{R}}{f}^{2}\left(z\right)\mu \left(dz\right)>0.$  Under the above assumptions, ${\theta }_{n}=\frac{{\sum }_{i=1}^{n}f\left({X}_{i-1}\right){X}_{i}}{{\sum }_{i=1}^{n}{f}^{2}\left({X}_{i-1}\right)}$  is a strongly consistent estimate of $\theta$  by sampling $\left\{{X}_{1},\dots ,{X}_{n}\right\}$  , that is, ${lim}_{n\to \infty }{\theta }_{n}=\theta$  a.s. Moreover, it is known its asymptotic in the CLT scale:
$\sqrt{n}\left(\theta -{\theta }_{n}\right)---\to lawn\to \infty \left(0,\frac{1}{{B}_{\theta }}\right)\text{-Gaussian r. v.}$  Here, we give an asymptotic of ${\theta }_{n}$  in the MDP scale: for any $\alpha \in \left(\frac{1}{2},1\right)$  , ${n}^{1-\alpha }\left(\theta -{\theta }_{n}\right)---\to MDPn\to \infty \left(\frac{1}{{n}^{2\alpha -1}},\frac{{y}^{2}}{2{B}_{\theta }}\right).$
Theorem 7.1. The family ${n}^{1-\alpha }\left(\theta -{\theta }_{n}\right)$  obeys the MDP with the rate of speed $\frac{1}{{n}^{2\alpha -1}}$  and the rate function $I\left(y\right)=\frac{{y}^{2}}{2{B}_{\theta }}$  .
• Proof. The use of ${n}^{1-\alpha }\left(\theta -{\theta }_{n}\right)=\frac{\frac{1}{{n}^{\alpha }}{\sum }_{i=1}^{n}f\left({X}_{i-1}\right){\xi }_{i}}{\frac{1}{n}{\sum }_{i=1}^{n}{f}^{2}\left({X}_{i-1}\right)}$  and the law of large numbers, $P\text{-}{lim}_{n\to \infty }\frac{1}{n}{\sum }_{i=1}^{n}{f}^{2}\left({X}_{i-1}\right)={B}_{\theta }$  , give a hint that that the theorem statement is valid provided that (i) for ${M}_{n}={\sum }_{i=1}f\left({X}_{i-1}\right){\xi }_{i}$  , the family ${\left(\frac{1}{{n}^{\alpha }}{M}_{n}\right)}_{n\to \infty }$  obeys the MDP with the rate of speed $\frac{1}{{n}^{2\alpha -1}}$  and the rate function $I\left(y\right)=\frac{{y}^{2}}{2{B}_{\theta }^{-1}}$  ; (ii) for any $\varepsilon >0$  , ${lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|\frac{1}{n}{\sum }_{i=1}^{n}\left[{f}^{2}\left({X}_{i-1}\right)-{B}_{\theta }\right]|\ge \varepsilon \right)=-\infty .$  Following to  1.5 and taking into account the setting, we notice that ${\mathfrak{E}}_{n}\left(\lambda \right)=exp\left({\sum }_{i=1}^{n}\frac{{\lambda }^{2}}{2{n}^{2\alpha }}{f}^{2}\left({X}_{i-1}\right)\right).$  is the stochastic exponential related to ${\left(\frac{1}{{n}^{\alpha }}{M}_{n}\right)}_{n\to \infty }$  . Consequently,  3.6 is reduced to (ii), that is, only (ii) is left to be verified.
The verification of (ii) is in the framework of Theorem  2.1 . The function $H\left(x\right)={f}^{2}\left(x\right)-{B}_{\theta }$  satisfies the assumptions of Theorem  2.1 . Hence, the family ${\left(\frac{1}{{n}^{\alpha }}{\sum }_{i=k}^{n}H\left({X}_{{k}_{1}}\right)\right)}_{n\to \infty }$  obeys the MDP with the rate of speed $\frac{1}{{n}^{2\alpha -1}}$  and the rate function $J\left(y\right)=\left\{\begin{array}{cc}\frac{{y}^{2}}{2}{\stackrel{^}{B}}_{\theta }^{\oplus }& {\stackrel{^}{B}}_{\theta }>0,\\ \infty & ,{\stackrel{^}{B}}_{\theta }=0,y\ne 0,\end{array}$  where, in accordance with  1.3 , ${\stackrel{^}{B}}_{\theta }={\int }_{\mathbb{R}}{H}^{2}\left(x\right){\mu }_{\theta }\left(dx\right)+2{\sum }_{n\ge 1}{\int }_{\mathbb{R}}H\left(x\right){P}_{x}^{\left(n\right)}H{\mu }_{\theta }\left(dx\right).$  In particular, $li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|\frac{1}{{n}^{\alpha }}{\sum }_{k=1}^{n}H\left({X}_{k-1}\right)|\ge C\varepsilon \right)\le \left\{\begin{array}{cc}-\frac{1}{2{\stackrel{^}{B}}_{\theta }}{C}^{2}{\varepsilon }^{2},& {\stackrel{^}{B}}^{\theta }>0\\ -\infty ,& \text{otherwise}.\end{array}$  Hence, for any $C>0$  , we find that  $\begin{array}{cc}& li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|\frac{1}{n}{\sum }_{k=1}^{n}H\left({X}_{k-1}\right)|\ge \varepsilon \right)\end{array}$
 $\begin{array}{cc}& =li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|\frac{1}{{n}^{\alpha }}{\sum }_{k=1}^{n}H\left({X}_{k-1}\right)|\ge {n}^{1-\alpha }\varepsilon \right)\end{array}$
 $\begin{array}{cc}& \le li{m}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|\frac{1}{{n}^{\alpha }}{\sum }_{k=1}^{n}H\left({X}_{k-1}\right)|\ge C\varepsilon \right)\end{array}$
 $\begin{array}{cc}& \le \left\{\begin{array}{cc}-\frac{{C}^{2}{\varepsilon }^{2}}{2{\stackrel{^}{B}}_{\theta }}& {\stackrel{^}{B}}_{\theta }>0,\\ -\infty & \text{otherwise}\end{array}----\to C\to \infty -\infty .\end{array}$

A Exponentially integrable martingale-differences

Let ${\zeta }_{n}=\left({\zeta }_{n}{\right)}_{n\ge 1}$  be a martingale-difference with respect to some filtration $\mathfrak{F}=\left({\mathfrak{F}}_{n}{\right)}_{n\ge 0}$  and ${M}_{n}={\sum }_{i=1}^{n}{\zeta }_{i}$  be the corresponding martingale.
Theorem A.1. Assume that for sufficiently small positive $\delta$  and any $i\ge 1$
 $\begin{array}{c}E\left({e}^{\delta |{\zeta }_{i}|}|{\mathfrak{F}}_{i-1}\right)\le const.\end{array}$ (A.1)
Then for any $\alpha \in \left(0.5,1\right)$  ${lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(|{M}_{n}|>n\varepsilon \right)=-\infty .$
• Proof. Suffice it to prove ${lim}_{n\to \infty }\frac{1}{{n}^{2\alpha -1}}logP\left(±{M}_{n}^{\prime }>n\varepsilon \right)=-\infty$  . We verify here only “+” only (the proof of “-” is similar).
For fixed positive $\lambda$  and sufficiently large $n$  , let us introduce the stochastic exponential ${\mathfrak{E}}_{n}\left(\lambda \right){=}^{n}{\prod }_{i=1}E\left({e}^{\lambda \frac{{\zeta }_{i}}{n}}|{\mathfrak{F}}_{i-1}\right).$  A direct verification shows that $Eexp\left(\frac{\lambda {M}_{n}}{n}-log{\mathfrak{E}}_{n}\left(\lambda \right)\right)=1.$  We apply this equality for further ones  $\begin{array}{c}\begin{array}{cc}1& \ge EI\left({M}_{n}>n\varepsilon \right)exp\left(\frac{\lambda {M}_{n}}{n}-log{\mathfrak{E}}_{n}\left(\lambda \right)\right)\\ & \ge EI\left({M}_{n}>n\varepsilon \right)exp\left(\lambda \varepsilon -log{\mathfrak{E}}_{n}\left(\lambda \right)\right).\end{array}\end{array}$ (A.2)
Due to $E\left(\lambda \frac{{\zeta }_{i}}{n}|{\mathfrak{F}}_{i-1}\right)=0$  and  A.1 , we find that  $\begin{array}{cc}log{\mathfrak{E}}_{n}\left(\lambda \right)& ={\sum }_{i=1}^{n}log\left(1+E\left[{e}^{\lambda \frac{{\zeta }_{i}}{n}}-1-\lambda \frac{{\zeta }_{i}}{n}|{\mathfrak{F}}_{i-1}\right]\right)\end{array}$
 $\begin{array}{cc}& \le {\sum }_{i=1}^{n}\left\{\frac{{\lambda }^{2}}{2{n}^{2}}E\left(\left({\zeta }_{i}{\right)}^{2}|{X}_{i-1}\right)+\frac{{\lambda }^{3}}{6{n}^{3}}E\left(|{\zeta }_{i}{|}^{3}{e}^{\lambda \frac{|{\zeta }_{i}|}{n}}|{\mathfrak{F}}_{i-1}\right)\right\}\end{array}$
 $\begin{array}{cc}& \le K\left[\frac{{\lambda }^{2}}{2n}+\frac{{\lambda }^{3}}{6{n}^{2}}\right],\end{array}$
where $K$  is some constant. This inequality, being incorporated into  A.2 , provides $1\ge EI\left({M}_{n}>n\varepsilon \right)exp\left(\lambda \varepsilon -K\left[\frac{{\lambda }^{2}}{2n}+\frac{{\lambda }^{3}}{6{n}^{2}}\right]\right).$  If $\varepsilon <3$  , taking $\lambda =\varepsilon n{K}^{-1}$  , we find that $\frac{1}{{n}^{2\alpha -1}}logP\left({M}_{n}>n\varepsilon \right)\le -\frac{{\varepsilon }^{2}{n}^{2\left(1-\alpha \right)}}{K}\left(\frac{1}{2}-\frac{\varepsilon }{6}\right)---\to n\to \infty -\infty$  Thus, the desired statement holds true.
References

1. Albert, A. (1972) Regression and the Moore-Penrose Pseudoinverse. Academic Press, New York and London.
2. Balaji, S. Meyen, S. P. (2000) Multiplicative ergodicity and large deviations for an irreducible Markov chain. Stochastic Processes and their Applications. 90, pp. 123-144.
3. Bhattacharya, R.N. (1992) On the functional central limit theorem and the law of the iterated logarithm for Markov processes, Z. Wharsch. verw. Geb. 60, pp. 185–201.
4. Chen. Xia, Guillin, A. (2004) The functional moderate deviations for Harris recurrent Markov chains and applications. Annales de l'Institut Henri Poincarè (B) Probabilitès et Statistiques. 40 pp. 89-124
5. Dembo, A. (1996) Moderate deviations for martingales with bounded jumps,Elect. Comm. in Probab. 1, pp. 11-17.
6. Ethier, S. N., Kurtz, T. G. (1986), Markov processes. Characterization and convergence, Wiley Series in Probability and Mathematical Statistics, John Wiley & Sons, New York et al.
7. Gong, F. and Wu, L. (2000) Spectral gap of positive operators and applications, C. R. Acad. Sci., Sér. I, Math. 331(12), pp. 983-988.
8. Kontoyiannis, I., Meyn, S.P. (2002) Spectral Theory and Limit Theorems for Geometrically Ergodic Markov Processes. Article math.PR/0209200.
9. Liptser, R.S. and Spokoiny, V. (1999) Moderate deviations type evaluation for integral functionals of diffusion processes, EJP. 4, Paper 17. (http://www.math.washington.edu/ ejpecp/)
10. Liptser, R., Spokoiny, V. and Veretennikov, A.Yu. (2002) Freidlin-Wentzell type large deviations for smooth processes. Markov Process and Relat. Fields. 8, pp. 611-636.
11. Meyn, S.P. Tweedie, R.L.(1993) Markov chains and stochastic stability, Springer-Verlag .
12. Papanicolaou, C.C., Stroock, D.W., Varahan, S.R.S. (1977) Martingale approach to some limit theorems. in: Conference on Statistical Mechanics, Dinamical Systems and Turbulence, M. Reed ed., Duke Univ. Math. Series, 3.
13. Pardoux, E., Veretennikov, A.Yu. (2001) On Poisson equation and diffusion approximation, 1. Ann. Prob. 29 (2001), n. 3, pp. 1061-1085.
14. A.A Puhalskii, (1991) On functional principle of large deviations”. New trends in Probability and Statistics., Vilnius, Lithuania, VSP/Mokslas, , pp. 198-218.
15. Puhalskii, A.A. (1994) The method of stochastic exponentials for large deviations. Stochast. Proc. Appl. 54, pp. 45-70.
16. Wu, L. (1992) Moderate deviations of dependent random variables related to CLT and LIL. Prépublication N. 118, Lab. de Probabilité de l'Université Paris VI.
17. Wu, L. (1995) Moderate deviations of dependent random variables related to CLT, Annals of Probability. 23, No. 1, pp. 420-445.

Universite de Rennes 1, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France. E-mail address : bernard.delyon@univ-rennes1.fr University Joseph Fourier of Grenoble, France E-mail address : juditsky@inrialpes.fr Department of Electrical Engineering-Systems, Tel Aviv University, 69978 Tel Aviv Israel E-mail address : liptser@eng.tau.ac.il