Diagonal Asymptotics for Symmetric Rational Functions via ACSV

We consider asymptotics of power series coefficients of rational functions of the form 1/Q where Q is a symmetric multilinear polynomial. We review a number of such cases from the literature, chiefly concerned either with positivity of coefficients or diagonal asymptotics. We then analyze coefficient asymptotics using ACSV (Analytic Combinatorics in Several Variables) methods. While ACSV sometimes requires considerable overhead and geometric computation, in the case of symmetric multilinear rational functions there are some reductions that streamline the analysis. Our results include diagonal asymptotics across entire classes of functions, for example the general 3-variable case and the Gillis-Reznick-Zeilberger (GRZ) case, where the denominator in terms of elementary symmetric functions is 1 - e_1 + c e_d in any number d of variables. The ACSV analysis also explains a discontinuous drop in exponential growth rate for the GRZ class at the parameter value c = (d-1)^{d-1}, previously observed for d=4 only by separately computing diagonal recurrences for critical and noncritical values of c

Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration

The field of analytic combinatorics, which studies the asymptotic behaviour of sequences through analytic properties of their generating functions, has led to the development of deep and powerful tools with applications across mathematics and the natural sciences. In addition to the now classical univariate theory, recent work in the study of analytic combinatorics in several variables (ACSV) has shown how to derive asymptotics for the coefficients of certain D-finite functions represented by diagonals of multivariate rational functions. We give a pedagogical introduction to the methods of ACSV from a computer algebra viewpoint, developing rigorous algorithms and giving the first complexity results in this area under conditions which are broadly satisfied. Furthermore, we give several new applications of ACSV to the enumeration of lattice walks restricted to certain regions. In addition to proving several open conjectures on the asymptotics of such walks, a detailed study of lattice walk models with weighted steps is undertaken.Comment: PhD thesis, University of Waterloo and ENS Lyon - 259 page

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

Enumeration of walks with small steps in the quadrant has been a topic of great interest in combinatorics over the last few years. In this article, it is shown how to compute exact asymptotics of the number of such walks with fixed start- and endpoints for orbit-summable models with finite group, up to arbitrary precision. The resulting representation greatly resembles one conjectured by Chapon, Fusy and Raschel for walks starting from the origin (AofA 2020), differing only in terms appearing due to the periodicity of the model. We will see that the dependency on start- and endpoint is given by discrete polyharmonic functions, which are solutions of $\triangle^n v=0$ for a discretisation $\triangle$ of a Laplace-Beltrami operator. They can be decomposed into a sum of products of lower order polyharmonic functions of either the start- or the endpoint only, which leads to a partial extension of a recent theorem by Denisov and Wachtel (Ann. Prob. 43.3)

Counting walks with large steps in an orthant

International audienceIn the past fifteen years, the enumeration of lattice walks with steps takenin a prescribed set S and confined to a given cone, especially the firstquadrant of the plane, has been intensely studied. As a result, the generating functions ofquadrant walks are now well-understood, provided the allowed steps aresmall, that is $S \subset \{-1, 0,1\}^2$. In particular, having smallsteps is crucial for the definition of a certain group of bi-rationaltransformations of the plane. It has been proved that this group is finite ifand only if the corresponding generating function is D-finite (that is, it satisfies a lineardifferential equation with polynomial coefficients). This group is also thekey to the uniform solution of 19 of the 23 small step models possessing afinite group.In contrast, almost nothing is known for walks with arbitrary steps. In thispaper, we extend the definition of the group, or rather of the associatedorbit, to this general case, and generalize the above uniform solution ofsmall step models. When this approach works, it invariably yields a D-finitegenerating function. We apply it to many quadrant problems, including some infinite families.After developing the general theory, we consider the $13\ 110$ two-dimensionalmodels with steps in $\{-2,-1,0,1\}^2$ having at least one $-2$ coordinate. Weprove that only 240 of them have a finite orbit, and solve 231 of them withour method. The 9 remaining models are the counterparts of the 4 models of thesmall step case that resist the uniform solution method (and which are knownto have an algebraic generating function). We conjecture D-finiteness for their generatingfunctions, but only two of them are likely to be algebraic. We also provenon-D-finiteness for the $12\ 870$ models with an infinite orbit, except for16 of them