Singular walks in the quarter plane and Bernoulli numbers

Abstract

We consider singular (aka genus $0$) walks in the quarter plane and their associated generating functions $Q(x,y,t)$, which enumerate the walks starting from the origin, of fixed endpoint (encoded by the spatial variables $x$ and $y$) and of fixed length (encoded by the time variable $t$). We first prove that the previous series can be extended up to a universal value of $t$ (in the sense that this holds for all singular models), namely $t=\frac{1}{2}$, and we provide a probabilistic interpretation of $Q(x,y,\frac{1}{2})$. As a second step, we refine earlier results in the literature and show that $Q(x,y,t)$ is indeed differentially transcendental for any $t\in(0,\frac{1}{2}]$. Moreover, we prove that $Q(x,y,\frac{1}{2})$ is strongly differentially transcendental. As a last step, we show that for certain models the series expansion of $Q(x,y,\frac{1}{2})$ is directly related to Bernoulli numbers. This provides a second proof of its strong differential transcendence.

Figures (4)

• Figure 1:
• Figure 2:
• Figure 3:
• Figure 4:

Theorems & Definitions (46)

• Theorem 1: See Theorem \ref{['thm:cont_1/2']} below
• Theorem 2
• Theorem 3
• Theorem 4
• Proposition 5
• Proposition 6: ka89
• Lemma 7
• proof
• Proposition 8
• Remark 9