Limit theorems for random Motzkin paths near boundary

Wlodzimierz Bryc,Yizao Wang
2023-09-11
Abstract:We consider Motzkin paths of length $L$, not fixed at zero at both end points, with constant weights on the edges and general weights on the end points. We investigate, as the length $L$ tends to infinity, the limit behaviors of (a) boundary measures induced by the weights on both end points and (b) the segments of the sampled Motzkin path viewed as a process starting from each of the two end points, referred to as boundary processes. Our first result concerns the case when the induced boundary measures have finite first moments. Our second result concerns when the boundary measure on the right end point is a generalized geometric measure with parameter $\rho_1\ge 1$, so that this is an infinite measure and yet it induces a probability measure for random Motzkin path when $\rho_1$ is not too large. The two cases under investigation reveal a phase transition. In particular, we show that the limit left boundary processes in the two cases have the same transition probabilities as random walks conditioned to stay non-negative.
Probability
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the limiting behavior of Motzkin paths near the boundary. Specifically, the author studied Motzkin paths of length \(L\), these paths are not fixed to zero at both endpoints, and weights are assigned to the edges and endpoints. As the path length \(L\) tends to infinity, the author explored the following two aspects: 1. **Boundary measure**: The limiting behavior of the boundary measure induced by the weights of the two endpoints. In particular, when these boundary measures have a finite first - order moment, and when the boundary measure at the right endpoint is a generalized geometric measure (parameter \(\rho_1\geq1\)). 2. **Boundary process**: Sampled Motzkin path segments starting from both endpoints, as the limiting behavior of the process. These processes are called boundary processes. ### Main contributions 1. **First result**: When the boundary measure has a finite first - order moment, the author proved that the left - boundary process and the right - boundary process converge to two independent Markov chains in the limit, and these Markov chains have the same transition probabilities, similar to the transition probabilities of a conditional non - negative random walk. 2. **Second result**: When the boundary measure at the right endpoint is a generalized geometric measure (parameter \(\rho_1\geq1\)), the author revealed a phase - transition phenomenon. When \(\rho_1 > 1\), the right - boundary measure may become infinite, but can still induce a probability measure. In this case, the limit of the left - boundary process has different transition probabilities, which depend on the parameter \(\rho_1\). ### Formula representation - **Path weight**: \[ w(\gamma)=\prod_{k = 1}^L a_{\epsilon^+_k}(\gamma)b_{\epsilon^0_k}(\gamma)c_{\epsilon^-_k}(\gamma) \] where, \[ \epsilon^+_k(\gamma)=\begin{cases} 1&\text{if }\gamma_k>\gamma_{k - 1}\\ 0&\text{otherwise} \end{cases},\quad \epsilon^-_k(\gamma)=\begin{cases} 1&\text{if }\gamma_k<\gamma_{k - 1}\\ 0&\text{otherwise} \end{cases},\quad \epsilon^0_k(\gamma)=\begin{cases} 1&\text{if }\gamma_k=\gamma_{k - 1}\\ 0&\text{otherwise} \end{cases} \] - **Normalization constant**: \[ W^{(L)}_{m,n}=\sum_{\gamma\in M^{(L)}_{m,n}}w(\gamma) \] \[ C_{\alpha,\beta,L}=\sum_{m,n\geq0}\alpha_mW^{(L)}_{m,n}\beta_n \] - **Probability measure**: \[ P_L(\gamma)=\frac{\alpha_{\gamma_0}\beta_{\gamma_L}w(\gamma)}{C_{\alpha,\beta,L}} \] ### Related theorems - **Theorem 1.1**: Suppose \(a=(1,1,\ldots)\), \(b = (\sigma,\sigma,\ldots)\), \(c=(1,1,\ldots)\), and \(\sum_{n = 0}^\infty n\alpha