Analytic models and ambiguity of context-free languages
Theoretical Computer Science
Discrete Mathematics
Underdiagonal lattice paths with unrestricted steps
Discrete Applied Mathematics
Regular Article: A Bijection for Some Paths on the Slit Plane
Advances in Applied Mathematics
Walks on the Slit Plane: Other Approaches
Advances in Applied Mathematics
Basic analytic combinatorics of directed lattice paths
Theoretical Computer Science
Random walk in an alcove of an affine Weyl group, and non-colliding random walks on an interval
Journal of Combinatorial Theory Series A
Generating functions for generating trees
Discrete Mathematics
Partially directed paths in a wedge
Journal of Combinatorial Theory Series A
Classifying lattice walks restricted to the quarter plane
Journal of Combinatorial Theory Series A
Two non-holonomic lattice walks in the quarter plane
Theoretical Computer Science
Families of prudent self-avoiding walks
Journal of Combinatorial Theory Series A
Algebraic generating functions in enumerative combinatorics and context-free languages
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
A Representation Theorem for Holonomic Sequences Based on Counting Lattice Paths
Fundamenta Informaticae - Lattice Path Combinatorics and Applications
Non-D-finite excursions in the quarter plane
Journal of Combinatorial Theory Series A
Hi-index | 0.01 |
We consider planar lattice walks that start from a prescribed position, take their steps in a given finite subset of Z2, and always stay in the quadrant x ≥ 0, y ≥ 0. We first give a criterion which guarantees that the length generating function of these walks is D-finite, that is, satisfies a linear differential equation with polynomial coefficients. This criterion applies, among others, to the ordinary square lattice walks. Then, we prove that walks that start from (1,1), take their steps in {(2,-1), (-1, 2)} and stay in the first quadrant have a non-D-finite generating function. Our proof relies on a functional equation satisfied by this generating function, and on elementary complex analysis.