Asymptotics of bivariate analytic functions with algebraic singularities

Abstract In this paper, we use the multivariate analytic techniques of Pemantle and Wilson to derive asymptotic formulae for the coefficients of a broad class of multivariate generating functions with algebraic singularities. Then, we apply these results to a generating function encoding information about the stationary distributions of a graph coloring algorithm studied by Butler, Chung, Cummings, and Graham (2015). Historically, Flajolet and Odlyzko (1990) analyzed the coefficients of a class of univariate generating functions with algebraic singularities. These results have been extended to classes of multivariate generating functions by Gao and Richmond (1992) and Hwang (1996, 1998), in both cases by immediately reducing the multivariate case to the univariate case. Pemantle and Wilson (2013) outlined new multivariate analytic techniques and used them to analyze the coefficients of rational generating functions. These multivariate techniques are used here to analyze functions with algebraic singularities.

[1]  Mark C. Wilson,et al.  Asymptotics of Multivariate Sequences II: Multiple Points of the Singular Variety , 2004, Combinatorics, Probability and Computing.

[2]  Bernard Mourrain,et al.  Explicit factors of some iterated resultants and discriminants , 2006, Math. Comput..

[3]  Jean-Charles Faugère,et al.  FGb: A Library for Computing Gröbner Bases , 2010, ICMS.

[4]  Etsuo Segawa,et al.  One-dimensional three-state quantum walk. , 2005, Physical review. E, Statistical, nonlinear, and soft matter physics.

[5]  Mourad E. H. Ismail,et al.  Three routes to the exact asymptotics for the one-dimensional quantum walk , 2003, quant-ph/0303105.

[6]  Julia Kempe,et al.  Quantum random walks: An introductory overview , 2003, quant-ph/0303081.

[7]  Andris Ambainis,et al.  Quantum walks driven by many coins , 2002, quant-ph/0210161.

[8]  D. Meyer.  From quantum cellular automata to quantum lattice gases , 1996, quant-ph/9604003.

[9]  Barry C. Sanders,et al.  Quantum walks in higher dimensions , 2002 .

[10]  Mark C. Wilson,et al.  Asymptotics of Coefficients of Multivariate Generating Functions: Improvements for Smooth Points , 2008, Electron. J. Comb..

[11]  Andris Ambainis,et al.  One-dimensional quantum walks , 2001, STOC '01.

[12]  I. M. Gelʹfand,et al.  Discriminants, Resultants, and Multidimensional Determinants , 1994 .

[13]  Timothy DeVries.  A case study in bivariate singularity analysis , 2010 .

[14]  Norio Konno,et al.  Limit distributions of two-dimensional quantum walks , 2008, 0802.2749.

[15]  A. D. Osborne,et al.  The generation of all rational orthogonal matrices , 1991 .

[16]  Aharonov,et al.  Quantum random walks. , 1993, Physical review. A, Atomic, molecular, and optical physics.

[17]  R. Kenyon,et al.  Limit shapes and the complex Burgers equation , 2005, math-ph/0507007.

[18]  Mark C. Wilson,et al.  Analytic Combinatorics in Several Variables , 2013 .

[19]  Vivien M. Kendon,et al.  Decoherence in quantum walks – a review , 2006, Mathematical Structures in Computer Science.

[20]  Hsien-Kuei Hwang,et al.  Large deviations for combinatorial distributions. I. Central limit theorems , 1996 .

[21]  M. Goresky,et al.  Stratified Morse theory , 1988 .

[22]  Hsien-Kuei Hwang,et al.  LARGE DEVIATIONS OF COMBINATORIAL DISTRIBUTIONS II. LOCAL LIMIT THEOREMS , 1998 .

[23]  Philippe Flajolet,et al.  Singularity Analysis of Generating Functions , 1990, SIAM J. Discret. Math..

[24]  Yuliy Baryshnikov,et al.  Asymptotics of multivariate sequences, part III: Quadratic points , 2008 .

[25]  Salvador Elías Venegas-Andraca,et al.  Quantum Walks for Computer Scientists , 2008, Quantum Walks for Computer Scientists.

[26]  Yuliy Baryshnikov,et al.  Two-dimensional Quantum Random Walk , 2008, Journal of Statistical Physics.

[27]  Christine E. Heitsch,et al.  Asymptotic distribution of motifs in a stochastic context-free grammar model of RNA folding , 2012, Journal of Mathematical Biology.

[28]  David A. Cox,et al.  Using Algebraic Geometry , 1998 .

[29]  Norio Konno,et al.  Localization of two-dimensional quantum walks , 2004 .

[30]  Robin Pemantle,et al.  Quantum random walks in one dimension via generating functions , 2007 .

[31]  Edward A. Bender,et al.  Central and Local Limit Theorems Applied to Asymptotic Enumeration II: Multivariate Generating Functions , 1983, J. Comb. Theory, Ser. A.

[32]  Mark C. Wilson,et al.  Asymptotics of Multivariate Sequences: I. Smooth Points of the Singular Variety , 2002, J. Comb. Theory, Ser. A.

[33]  Zhicheng Gao,et al.  Central and local limit theorems applied to asymptotic enumeration IV: multivariate generating functions , 1992 .

[34]  Joris van der Hoeven,et al.  Automatic asymptotics for coefficients of smooth, bivariate rational functions , 2011 .