arXiv++ Combinatorics

We investigate a functional equation which resembles the functional equation for the generating function of a lattice walk model for the quarter plane. The interesting feature of this equation is that its orbit sum is zero while its solution is not algebraic. The solution can be interpreted as the generating function of lattice walks in $\mathbb{Z}^2$ starting at $(-1,-1)$ and subject to the restriction that the coordinate axes can be crossed only in one direction. We also consider certain variants of the equation, all of which seem to have transcendental solutions. In one case, the solution is perhaps not even D-finite.

We study the nature of the generating series of some models of walks with small steps in the three quarter plane. More precisely, we restrict ourselves to the situation where the group is infinite, the kernel has genus one, and the step set is diagonally symmetric (i.e., with no steps in anti-diagonal directions). In that situation, after a transformation of the plane, we derive a quadrant-like functional equation. Among the four models of walks, we obtain, using difference Galois theory, that three of them have a differentially transcendental generating series, and one has a differentially algebraic generating series.

Two-dimensional (random) walks in cones are very natural both in combinatorics and probability theory: they are interesting for themselves and also because they are strongly related to other discrete structures. While walks restricted to the first quadrant have been studied a lot, the case of planar, non-convex cones---equivalent to the three-quarter plane after a linear transform---has been approached only recently. In this article we develop an analytic approach to the case of walks in three quadrants. The advantage of this method is to provide uniform treatment in the study of models corresponding to different step sets. After splitting the three quadrants in two symmetric convex cones, the method is composed of three main steps: write a system of functional equations satisfied by the counting generating function, which may be simplified into one single equation under symmetry conditions; transform the functional equation into a boundary value problem; and finally solve this problem, using a concept of anti-Tutte's invariant. The result is a contour-integral expression for the generating function. Such systems of functional equations also appear in queueing theory with the famous Join-the-Shortest-Queue model, which is still an open problem in the non-symmetric case.