Non-D-finite excursions in the quarter plane

  • Authors:
  • Alin Bostan;Kilian Raschel;Bruno Salvy

  • Affiliations:
  • INRIA, France;CNRS, Fédération Denis Poisson, Laboratoire de Mathématiques et Physique Théorique, France;INRIA, France

  • Venue:
  • Journal of Combinatorial Theory Series A
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

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"n^S)"n"="0 of numbers of excursions in the quarter plane corresponding to a nonsingular step set S@?{0,+/-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"n^S.