Law of large numbers for non-elliptic random walks in dynamic random environments (Q1761490)

The paper considers \(\mathbb Z^d\)-valued random walks in dynamic random environments (RWDREs), including non-elliptic examples. The motivation comes from the paper by \textit{L. La Avena} et al. [Electron. J. Probab. 16, 587--617 (2011; Zbl 1228.60113)]: there are studied one-dimensional RWDREs in which the role of the dynamic environment is taken by an interacting particle system with configuration space \(\{0,1\}^{\mathbb Z}\); on a hole (i.e. on a \(0\)), the random walk has rate \(\alpha\) to jump one unit to the left, and rate \(\beta\) to jump one unit to the right, and conversely; a law of large number is proved under the assumption that, for the interacting particle system, the states inside a space-time cone are almost independent of the states in a space plane far below this cone; the proof uses a regeneration scheme originally developed in [\textit{F. Comets} and \textit{O. Zeitouni}, Ann. Probab. 32, No. 1B, 880--914 (2004; Zbl 1078.60089)] for random walks in random environments. The original motivation for the present paper was to also consider the model in the limit \(\alpha \to \infty\), \(\beta \to 0\), in which the walk is almost a deterministic functional of the particle system, and hence is non-elliptic. This is what is performed here, in a general setting allowing both models and intermediate models, in the sense that they are neither uniformly elliptic in any direction, nor deterministic. A different space-time mixing property for the environment, called conditional cone-mixing, is assumed. The general law of large numbers is valid in any dimension, but concrete examples are one-dimensional. A criterion to determine the sign on the speed of the law of large numbers is also obtained, via a comparison with independent systems.