Abstract:In the field of enumeration of weighted walks confined to the quarter plane, it is known that the generating functions behave very differently depending on the chosen step set; in practice, the techniques used in the literature depend on the complexity of the counting series. In this paper we introduce a unified approach based on the theory of elliptic functions, which allows us to have a common proof of the characterisation of the algebraicity and D-finiteness of the generating functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the algebraic properties and D - finiteness of the generating functions of weighted quadrant walks. Specifically, the authors aim to provide necessary and sufficient conditions to determine whether these generating functions are D - finite or even algebraic.
### Problem Background
In combinatorics and probability theory, studying small step walks restricted to the quadrant plane is an important topic. These walk models are not only interesting in themselves but also closely related to other discrete structures. For each walk step \((i, j) \in \{0, \pm1\}^2\), a weight \(d_{i,j} \geq 0\) is assigned, which can be regarded as the probability of moving from the current position in the direction \((i, j)\). By normalization, it can be assumed that the sum of all weights is 1.
### Main Problems
The main problems of the paper are:
1. **D - finiteness and Algebraicity of Generating Functions**: For a given initial position \((0, 0)\), define the generating function \(Q(x, y, t)\) as:
\[
Q(x, y, t)=\sum_{i, j, n \geq 0} P(P_0^n \to (i, j)) x^i y^j t^n
\]
where \(P(P_0^n \to (i, j))\) represents the probability of reaching the position \((i, j)\) from the starting point \(P_0\) in \(n\) steps. The authors attempt to find the necessary and sufficient conditions for whether this generating function \(Q(x, y, t)\) satisfies a linear differential equation (i.e., whether it is D - finite), or whether it is an algebraic function.
2. **Unified Method**: The techniques used in previous literature to analyze these generating functions depend on the complexity of the counting sequence. This paper introduces a unified method based on the theory of elliptic functions, thus providing a common proof framework to characterize the algebraicity and D - finiteness of the generating functions.
### Main Results
The main conclusions of the paper include:
- **Theorem 1**: The following conditions are equivalent:
- The group \(G\) is finite.
- The series \(Q(x, y, t)\) satisfies a non - trivial linear differential equation with coefficients in \(C(x, y, t)\) in the variable \(x\).
- The series \(Q(x, y, t)\) satisfies a non - trivial linear differential equation with coefficients in \(C(x, y, t)\) in the variable \(y\).
- The series \(Q(x, y, t)\) satisfies a non - trivial linear differential equation with coefficients in \(C(x, y, t)\) in the variable \(t\).
- **Theorem 2**: If the group of walks is finite, then \(Q(x, y, t)\) satisfies a linear differential equation with coefficients in \(C(x, y, t)\) in each of its variables.
- **Theorem 3**: If the group is infinite, then \(Q(x, y, t)\) does not satisfy a linear differential equation in any variable.
- **Theorem 4**: Suppose the group of walks is finite, then \(Q(x, y, t)\) is an algebraic function over \(C(x, y, t)\) if and only if the orbit sum \(O(x, y) = 0\).
Through these results, the authors provide a systematic method to classify and understand the algebraic properties and D - finiteness of the generating functions of weighted quadrant walks.