Non-D-finite excursions in the quarter plane
Preprint
Abstract
The number of excursions (finite paths starting and ending at the origin) having a given number of steps and obeying various geometric constraints is a classical topic of combinatorics and probability theory. We prove that the sequence $(e^{\mathfrak{S}}_n)_{n\geq 0}$ of numbers of excursions in the quarter plane corresponding to a nonsingular step set $\mathfrak{S} \subseteq \{0,\pm 1 \}^2$ with infinite group does not satisfy any nontrivial linear recurrence with polynomial coefficients. Accordingly, in those cases, the trivariate generating function of the numbers of walks with given length and prescribed ending point is not D-finite. Moreover, we display the asymptotics of $e^{\mathfrak{S}}_n$.
Keywords
All Related Versions
This publication has 22 references indexed in Scilit:
- On the functions counting walks with small steps in the quarter planePublications mathématiques de l'IHÉS, 2012
- Two non-holonomic lattice walks in the quarter planeTheoretical Computer Science, 2009
- Classifying lattice walks restricted to the quarter planeJournal of Combinatorial Theory, Series A, 2009
- G-functions and multisum versus holonomic sequencesAdvances in Mathematics, 2008
- D-finite power seriesJournal of Algebra, 1989
- G-Functions and Geometry1989
- Exit times from cones in ℝ n of Brownian motionProbability Theory and Related Fields, 1987
- Nilpotent connections and the monodromy theorem : applications of a result of TurrittinPublications mathématiques de l'IHÉS, 1970
- Convergent solutions of ordinary linear homogeneous differential equations in the neighborhood of an irregular singular pointActa Mathematica, 1955
- Analytic theory of singular difference equationsActa Mathematica, 1933