Title:Instability of the simple random walk in $\mathbb{Z}^2$

Abstract:In the present paper, we study a family of conservative random walks $\{\mathbf{S}_t,\mathcal{A},2\}$ (see definition in [Abramov, V.M., J. Theor. Probab. (2017). doi:https://doi.org/10.1007/s10959-017-0747-3]) that is defined as follows. For $a\in\mathcal{A}$, where $\mathcal{A}$ is the set of values, a random walk is denoted $\mathbf{S}_t(a)$ $=(S_t^{(1)}(a),$ $S_t^{(2)}(a))$, and for $a\neq0$ the components $S_t^{(1)}(a)$ and $S_t^{(2)}(a)$ are assumed to be correlated in the specified way that is defined exactly in the paper, while for $a=0$, the random walk $\mathbf{S}_t(0)$ is simple. We prove that for positive values of parameter $a$ the random walks of the family are transient, but for negative values of $a$ they are recurrent. For arbitrarily small $a$ this result constitutes instability of the simple random walk in $\mathbb{Z}^2$ within the defined family of conservative random walks.