Abstract: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.

Vicious walkers, friendly walkers and Young tableaux III: Between two walls

Vicious walkers, friendly walkers and Young tableaux II: With a wall

Watermelon configurations with wall interaction: exact and asymptotic results

A Reflection Principle for Three Vicious Walkers

Vicious walkers in a potential

Random vicious walks and random matrices

Scaling Limit of Vicious Walkers, Schur Function, and Gaussian Random Matrix Ensemble

Vicious random walkers and a discretization of Gaussian random matrix ensembles

Distribution of the time at which N vicious walkers reach their maximal height

Walks avoiding a quadrant and the reflection principle

From elongated spanning trees to vicious random walks

Reunion of Vicious Walkers: Results from $ε$-Expansion -

Bijections Between Łukasiewicz Walks and Generalized Tandem Walks

Large Deviations for Intersections of Random Walks

Walks with small steps in the quarter plane

Completing the Asymptotic Classification of Mostly Symmetric Short Step Walks in an Orthant

2-Walk-regular Graphs with a Small Number of Vertices Compared to the Valency

Combinatorics of nondeterministic walks

On the Number of Walks in a Triangular Domain

Asymptotics of Weighted Reflectable Walks in $A_2$

Directed Percolation and Generalized Friendly Walkers