Abstract

We provide exact and asymptotic counting formulas for five singular lattice path models in the quarter plane. Furthermore, we prove that these models have a non D-finite generating function. Nous présentons des résultats énumératifs pour les cinq modèles de marche dans le quart de plan dites "singulière''. Nous prouvons que ces modèles sont non-holonomes.

Highlights

  • The study of lattice path models restricted to the quarter plane has led to some useful innovations in enumeration, including applications of boundary value methods [8, 9, 12], powerful and widely applicable variants of the kernel method [5, 7, 14] and some original computer algebra approaches [3]

  • A key observation of Bousquet-Melou and Mishna was that lattice path models with small steps restricted to the quarter plane appeared to be naturally partitioned according to the nature of their generating functions: they conjectured a test for whether or not the generating function of a given model would satisfy algebraic or linear differential equations

  • One can show that the singularities are not canceled in the two summands of (11) containing YnA and YnC so that, as they lie off the unit circle where the remaining summands are analytic by Proposition 5, they give an infinite number of singularities of A1,0, B1,0, and C1,0

Read more

Summary

Introduction

The study of lattice path models restricted to the quarter plane has led to some useful innovations in enumeration, including applications of boundary value methods [8, 9, 12], powerful and widely applicable variants of the kernel method [5, 7, 14] and some original computer algebra approaches [3]. A key observation of Bousquet-Melou and Mishna was that lattice path models with small steps restricted to the quarter plane appeared to be naturally partitioned according to the nature of their generating functions: they conjectured a test for whether or not the generating function of a given model would satisfy algebraic or linear differential equations. This property is often correlated to other, more combinatorial, qualities of a model. This extended abstract presents the main results, and we we refer the reader to [13] for a completed manuscript

The family of singular models
The functional equation and its kernel
What makes this family special?
Fast enumeration
An explicit generating function expression
Asymptotic Enumeration
1: Plots of the singularities of
Step 1
Step 2
Step 3
Step 4
Step 5
Conclusion
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call