On the functions counting walks with small steps in the quarter plane - Archive ouverte HAL
Article Dans Une Revue Publications Mathématiques de L'IHÉS Année : 2012

On the functions counting walks with small steps in the quarter plane

Résumé

Models of spatially homogeneous walks in the quarter plane ${\bf Z}_+^{2}$ with steps taken from a subset $\mathcal{S}$ of the set of jumps to the eight nearest neighbors are considered. The generating function $(x,y,z)\mapsto Q(x,y;z)$ of the numbers $q(i,j;n)$ of such walks starting at the origin and ending at $(i,j) \in {\bf Z}_+^{2}$ after $n$ steps is studied. For all non-singular models of walks, the functions $x \mapsto Q(x,0;z)$ and $y\mapsto Q(0,y;z)$ are continued as multi-valued functions on ${\bf C}$ having infinitely many meromorphic branches, of which the set of poles is identified. The nature of these functions is derived from this result: namely, for all the $51$ walks which admit a certain infinite group of birational transformations of ${\bf C}^2$, the interval $]0,1/|\mathcal{S}|[$ of variation of $z$ splits into two dense subsets such that the functions $x \mapsto Q(x,0;z)$ and $y\mapsto Q(0,y;z)$ are shown to be holonomic for any $z$ from the one of them and non-holonomic for any $z$ from the other. This entails the non-holonomy of $(x,y,z)\mapsto Q(x,y;z)$, and therefore proves a conjecture of Bousquet-Mélou and Mishna.
Fichier principal
Vignette du fichier
NonHolonomy_12_.pdf (556.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00628424 , version 1 (03-10-2011)
hal-00628424 , version 2 (07-10-2012)

Identifiants

Citer

Irina Kurkova, Kilian Raschel. On the functions counting walks with small steps in the quarter plane. Publications Mathématiques de L'IHÉS, 2012, 116 (1), pp.69-114. ⟨10.1007/s10240-012-0045-7⟩. ⟨hal-00628424v2⟩
351 Consultations
155 Téléchargements

Altmetric

Partager

More