Polynomial ballisticity conditions and invariance principle for random walks in strong mixing environments (Q2128096)

The nearest-neighbor \(d\)-dimensional random walk in a random environment (RWRE) \((X_n)_{n\geq 0}\) is considered on the lattice \(\mathbb{Z}^d\) (\(d \geq 2\)) in more general than i.i.d., the so-called mixing setting. Let \(P_0\) be the averaged or annealed law of a RWRE with \(X_0=0\). Given a vector \(\ell \in \mathbb{S}^{d-1}\), a RWRE is called a ballistic in the direction \(\ell\) if \(\liminf_{n \to \infty} n^{-1} (X \cdot \ell) >0\) (\(P_0\)-a.s.). In this article, along with asymptotic criteria an effective polynomial condition of ballisticity is investigated. The effective character of the criterion means that it can be checked by inspection on a finite box. The first result is the proof of the RWRE conjecture of Sznitman in considering a mixing setting: under some sufficient conditions and a strong mixing condition the following statements are equivalent: i) \((T^\gamma)|\ell\) holds; ii) \((T')|\ell\) holds; iii) \((P^*_J)|\ell\) holds; iv) \((EC)|\ell\) holds. The second result is the annealed invariance principle: under some sufficient conditions and a strong mixing condition there exist a deterministic non-degenerate covariance matrix \(R\) and a deterministic vector \(v\) with \(v \cdot \ell > 0\) such that, setting \(S_n(t) := ( X_{[nt]} - vt)n^{-1/2}\), the process \(S_n(t)\) converges in law under \(P_0\) to a standard Brownian motion with covariance matrix \(R\).