First passage locations for two-dimensional lattice random walks and the bell-shape
Jacek Wszoła
TL;DR
The paper studies the first passage location $X(\tau_a)$ for a two-dimensional diagonal random walk on $\mathbb{Z}^2$ with transition probabilities depending on the current level $Y_n$, proving that the appropriately rescaled location is distributed in a bell-shaped manner. The approach combines generating-function techniques, recurrences, and the introduction of two new classes of rational functions, $\mathscr{P}$ and $\mathscr{Q}$, to obtain a product/continued-fraction representation that yields a convolution of geometric, mirrored-geometric, two-point, and $\mathscr{A}\mathscr{M}-\mathscr{C}\mathscr{M}$ components. The main result extends Bondesson-type bell-shaped phenomena to 2D Markov-additive processes and is shown to hold for standard $\mathbb{Z}^2$ walks and for honeycomb lattices via lattice embeddings. The findings provide a detailed structural description of the first-passage-location law and establish a rigorous framework for analyzing exit problems in fully discrete MAPs with barrier variants and multiple lattices, complemented by explicit examples.
Abstract
Let $(X_n, Y_n)$ be a two-dimensional diagonal random walk on the lattice $\mathbb{Z}^2$, with transition probabilities depending only on the position of $Y_n$. In this paper, we study its first passage locations $X(τ_a)$, where $τ_a$ is the first time $Y_n$ hits level $a \in \mathbb{Z}$. We prove that the probability mass function of appropriately rescaled $X(τ_a)$ is a convolution of geometric sequences, two-point sequences and an $\mathscr{AM}$-$\mathscr{CM}$ (absolutely monotone then completely monotone) sequence. In particular, rescaled first passage locations have bell-shaped distributions. In order to prove our results, we introduce and study two new classes of rational functions with alternating zeros or poles. We also prove analogous theorems for standard random walks on the lattice $\mathbb{Z}^2$ and random walks on the honeycomb lattice.
