Collisions of random walks in dynamic random environments (Q2076647)

The authors provide in Theorem 1.1 two distinct groups of sufficient conditions which ensure that two doubly-infinite inhomogeneous continuous time random walks on a stationary random environment on \(\mathbb{Z}^2\), starting from the origin at time \(0\) and conditionally independent given the environment, occupy the same location at the same time infinitely often almost surely. Theorem 1.3 is a more general result, which entails Theorem 1.1. The advantage of Theorem 1.1 is that its sufficient conditions are easier to verify than the sufficient condition of Theorem 1.3. Imposing on the environment additional assumptions of irreducibility and time-ergodicity, the authors show in Corollary 1.4 that the statements of Theorems 1.1 and 1.3 remain true for two random walks starting from different positions at time \(0\). Consequences of the main results are discussed for the voter model and one-dimensional models.