Abstract:We address the enumeration of walks with small steps confined to a two-dimensional cone, for example the quarter plane, three-quarter plane or the slit plane. In the quarter plane case, the solutions for unweighted step-sets are already well understood, in the sense that it is known precisely for which cases the generating function is algebraic, D-finite or D-algebraic, and exact integral expressions are known in all cases. We derive similar results in a much more general setting: we enumerate walks on an $M$-quadrant cone for any positive integer $M$, with weighted steps starting at any point. The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks. In the case $M=3$, which corresponds to walks avoiding a quadrant, we provide exact integral-expression solutions for walks with weighted small steps which determine the generating function ${\sf C}(x,y;t)$ counting these walks. Moreover, for each step-set and starting point of the walk we determine whether the generating function ${\sf C}(x,y;t)$ is algebraic, D-finite or D-algebraic as a function of $x$ and $y$. In fact we provide results of this type for any $M$-quadrant cone, showing that this nature is the same for any odd $M$. For $M$ even we find that the generating functions counting these walks are D-finite in $x$ and $y$, and algebraic if and only if the starting point of the walk is on the same axis as the boundaries of the cone.

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

Some exact asymptotics in the counting of walks in the quarter-plane

Full asymptotic expansion for orbit-summable quadrant walks and discrete polyharmonic functions

Bijections Between Łukasiewicz Walks and Generalized Tandem Walks

Asymptotics of Weighted Reflectable Walks in $A_2$

Walks with small steps in the quarter plane

Walks avoiding a quadrant and the reflection principle

On the Asymptotics and the Non-Holonomic Character of First Returns in the Standard Euclidean Lattice

Complementary asymptotic analysis for a minimal random walk

Combinatorics of nondeterministic walks

A Galois structure on the orbit of large steps walks in the quadrant

A walk in my lattice path garden

Enumeration of three quadrant walks with small steps and walks on other M-quadrant cones

Explicit formulas for enumeration of lattice paths: basketball and the kernel method

Random vicious walks and random matrices

The maximum of a symmetric next neighbor walk on the non-negative integers

Late Points and Cover Times of Projections of Planar Symmetric Random Walks on the Lattice Torus

Galoisian structure of large steps walks in the quadrant

Self-avoiding walks and polygons crossing a domain on the square and hexagonal lattices

Symmetries in discrete time quantum walks on Cayley graphs

Harnack Inequalities of Hitting Distributions of Projections of Planar Symmetric Random Walks on the Lattice Torus