Asymptotics of coefficients of multivariate generating functions: Improvements for smooth points

From MaRDI portal



Abstract: Let be a multivariate power series. For example could be a generating function for a combinatorial class. Assume that in a neighbourhood of the origin this series represents a nonentire function F=G/Hp where G and H are holomorphic and p is a positive integer. Given a direction alphainpnatsd for which the asymptotics are controlled by a smooth point of the singular variety H=0, we compute the asymptotics of Fnalpha as noinfty. We do this via multivariate singularity analysis and give an explicit formula for the full asymptotic expansion. This improves on earlier work of R. Pemantle and the second author and allows for more accurate numerical approximation, as demonstrated by our examples.


Summary: Let \(\sum_{\beta\in{\mathbb N}^d} F_\beta x^\beta\) be a multivariate power series. For example \(\sum F_\beta x^\beta\) could be a generating function for a combinatorial class. Assume that in a neighbourhood of the origin this series represents a nonentire function \(F=G/H^p\) where \(G\) and \(H\) are holomorphic and \(p\) is a positive integer. Given a direction \(\alpha\in{\mathbb N}_+^d\) for which the asymptotics are controlled by a smooth point of the singular variety \(H = 0\), we compute the asymptotics of \(F_{n \alpha}\) as \(n\to\infty\). We do this via multivariate singularity analysis and give an explicit uniform formula for the full asymptotic expansion. This improves on earlier work of R. Pemantle and the second author and allows for more accurate numerical approximation, as demonstrated by our our examples (on lattice paths, quantum random walks, and nonoverlapping patterns).




Cited in
(21)








This page was built for publication: Asymptotics of coefficients of multivariate generating functions: Improvements for smooth points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1010816)