Non-D-finite excursions in the quarter plane
Preprint
Abstract
We prove that the sequence $(e^{\mathfrak{S}}_n)_{n\geq 0}$ 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 20 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
- Basic analytic combinatorics of directed lattice pathsTheoretical Computer Science, 2002
- D-finite power seriesJournal of Algebra, 1989
- G-Functions and Geometry1989
- 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