Asymptotics of bivariate generating functions with algebraic singularities

ASYMPTOTICS OF BIVARIATE GENERATING FUNCTIONS WITH ALGEBRAIC SINGULARITIES Torin Greenwood Robin Pemantle Flajolet and Odlyzko (1990) derived asymptotic formulae the coefficients of a class of univariate generating functions with algebraic singularities. Gao and Richmond (1992) and Hwang (1996, 1998) extended these results to classes of multivariate generating functions, in both cases by reducing to the univariate case. Pemantle and Wilson (2013) outlined new multivariate analytic techniques and used them to analyze the coefficients of rational generating functions. After overviewing these methods, we use them to find asymptotic formulae for the coefficients of a broad class of bivariate generating functions with algebraic singularities. Beginning with the Cauchy integral formula, we explicity deform the contour of integration so that it hugs a set of critical points. The asymptotic contribution to the integral comes from analyzing the integrand near these points, leading to explicit asymptotic formulae. Next, we use this formula to analyze an example from current research. In the following chapter, we apply multivariate analytic techniques to quantum walks. Bressler and Pemantle (2007) found a (d+ 1)-dimensional rational generating function whose coefficients described the amplitude of a particle at a position in the integer lattice after n steps. Here, the minimal critical points form a curve on the (d + 1)-dimensional unit torus. We find asymptotic formulae for the amplitude of a particle in a given position, normalized by the number of steps n, as n approaches infinity. Each critical point contributes to the asymptotics for a specific normalized position. Using Gröbner bases in Maple again, we compute the explicit locations of peak amplitudes. In a scaling window of size √ n near the peaks, each amplitude is asymptotic to an Airy function.