Mathematics – Combinatorics
Scientific paper
2008-10-24
Mathematics
Combinatorics
Scientific paper
Let S be a subset of {-1,0,1}^2 not containing (0,0). We address the enumeration of plane lattice walks with steps in S, that start from (0,0) and always remain in the first quadrant. A priori, there are 2^8 problems of this type, but some are trivial. Some others are equivalent to a model of walks confined to a half-plane: such models can be solved systematically using the kernel method, which leads to algebraic generating functions. We focus on the remaining cases, and show that there are 79 inherently different problems to study. To each of them, we associate a group G of birational transformations. We show that this group is finite in exactly 23 cases. We present a unified way of solving 22 of the 23 models associated with a finite group. For each of them, the generating function is found to be D-finite. The 23rd model, known as Gessel's walks, has recently been proved by Bostan et al. to have an algebraic (and hence D-finite) solution. We conjecture that the remaining 56 models, associated with an infinite group, have a non-D-finite generating function. Our approach allows us to recover and refine some known results, and also to obtain new results. For instance, we prove that walks with N, E, W, S, SW and NE steps have an algebraic generating function.
Bousquet-Mélou Mireille
Mishna Marni
No associations
LandOfFree
Walks with small steps in the quarter plane does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Walks with small steps in the quarter plane, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Walks with small steps in the quarter plane will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-698011