In the present paper, we use difference Galois theory to study the nature of the generating function counting walks with small steps in the quarter plane. These series are trivariate formal power series that count the number of walks confined in the first quadrant of the plane with a fixed set of admissible steps, called the model of the walk. While the variables and are associated to the ending point of the path, the variable encodes its length. In this paper, we prove that in the unweighted case, satisfies an algebraic differential relation with respect to if and only if it satisfies an algebraic differential relation with respect (resp. ). Combined with other papers, we are able to characterize the -differential transcendence of the models of walks listed by Bousquet-M'elou and Mishna.

生成讲解博客的中文版本

生成AI智能校验的中文版本