arXiv++ Combinatorics

The study of lattice walks restricted to the first quadrant has shed a lot of interest in the past twenty years. In particular, there has been an important effort to classify models of weighted walks with small steps with respect to the algebraic-differential nature of their generating function. The techniques that were developed in the course of this work are now applied to different extensions of those walks. One of these extensions, called walks with interacting boundaries, consists in accounting for the number of contacts of the walk with the axes, with motivation coming from statistical physics. These contacts are encoded as two additional parameters for the generating function, the Boltzmann weights. For one notable family of models, called genus zero models, we establish in this paper the complete classification of their generating function, for all real values of the parameters. We do this by adapting to this more general case a method due to Dreyfus, Hardouin, Roques and Singer, used in the former classification, and which consists in studying the rational solutions to a $q$-difference equation. In almost all cases, we show that the generating function is hypertranscendental, regardless of the values of the weights. In the remaining cases, we prove that specific algebraic relations between the Boltzmann weights make the generating function $\mathbb{N}$-algebraic or $\mathbb{N}$-rational, contrasting with the interaction-less case.

The enumeration of weighted walks in the quarter plane reduces to studying a functional equation with two catalytic variables. When the steps of the walk are small, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be crucial in the classification of the small steps models. In particular, its action on the catalytic variables provides a convenient set of changes of variables in the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer (BBMM). However, the orbit had till now no underlying group. In this article, we endow the orbit with the action of a Galois group, which extends the notion of the group of the walk to models with large steps. As an application, we look into a general strategy to prove the algebraicity of models with small backwards steps, which uses the fundamental objects that are invariants and decoupling. The group action on the orbit allows us to develop a Galoisian approach to these two notions. Up to the knowledge of the finiteness of the orbit, this gives systematic procedures to test their existence and construct them. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of BBMM, and allowing to find new algebraic models with large steps.

The enumeration of walks in the quarter plane confined in the first quadrant has attracted a lot of attention over the past fifteenth years. The generating functions associated to small steps models satisfy a functional equation in two catalytic variables. For such models, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be central in the classification of small steps models. In particular, its action on the catalytic variables yields a set of change of variables compatible with the structure of the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer. However, the orbit had till now no underlying group. In this article, we endow the orbit with the action of a Galois group, which extends the group of the walk to models with large steps. Within this Galoisian framework, we generalized the notions of invariants and decoupling. This enable us to develop a general strategy to prove the algebraicity of models with small backward steps. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of Bostan, Bousquet-Mélou and Melczer, and allowing us to find new algebraic models with large steps.