Two-dimensional Rademacher walk

We study a generalisation of the one-dimensional Rademacher random walk introduced in Bhattacharya and Volkov (2023) to $\mathbb{Z}^2$ (for $d\ge 3$, the Rademacher random walk is always transient, as follows from Theorem 8.8 in Englander and Volkov (2025)). This walk is defined as the sum of a sequence of independent steps, where each step goes in one of the four possible directions with equal probability, and the size of the $n$th step is $a_n$ where $\{a_n\}$ is a given sequence of positive integers. We establish some general conditions under which the walk is recurrent or transient.