On the local time of the half-plane half-comb walk (Q2135207)

The so-called half-plane half-comb walk can be obtained from a random walk on the plane, when one takes a square lattice on the upper half-plane and a comb structure on the lower half-plane, i.e., horizontal lines below the x-axis are removed. The authors extend the results from the paper [\textit{E. Csáki} et al., Ann. Math. Inform. 39, 29--44 (2012; Zbl 1265.60071)] by proving that the probability that this walk returns to the origin in $2N$ steps is asymptotically equal to $2/(\pi N)$. They also prove strong laws and find a limit distribution for the local time, as a sequence of the former result.