[论文解读] Twenty combinatorial examples of asymptotics derived from multivariate generating functions

Robin Pemantle, Mark C. Wilson|arXiv (Cornell University)|Dec 23, 2005

Advanced Combinatorial Mathematics参考文献 40被引用 8

一句话总结

本文提出了一套系统化的框架，利用基于分层Morse理论和留数计算的高级解析组合数学技术，计算多重生成函数系数的渐近展开。该方法通过将复杂的多重变量问题简化为在奇点流形上临界点处的可管理局部分析，实现了对路径、多格多边形、排列以及禁止子串的词等组合序列的高效渐近分析。

ABSTRACT

Let $\{a_ r : r \in (\Z^+)^d \}$ be a $d$-dimensional array of numbers, for which the generating function $F(\zz) := \sum_ r a_ r \zz^ r$ is meromorphic in a neighborhood of the origin. For example, $F$ may be a rational multivariate generating function. We discuss recent results that allow the effective computation of asymptotic expansions for the coefficients of $F$. Our purpose is to illustrate the use of these techniques on a variety of problems of combinatorial interest. The survey begins by summarizing previous work on the asymptotics of univariate and multivariate generating functions. Next we describe the Morse-theoretic underpinnings of some new asymptotic techniques. We then quote and summarize these results in such a way that only elementary analyses are needed to check hypotheses and carry out computations. The remainder of the survey focuses on combinatorial applications, such as enumeration of words with forbidden substrings, edges and cycles in graphs, polyominoes, and descents in permutations. After the individual examples, we discuss three broad classes of examples, namely functions derived via the transfer matrix method, those derived via the kernel method, and those derived via the method of Lagrange inversion. These methods have the property that generating functions derived from them are amenable to our asymptotic analyses, and we describe further machinery that facilitates computations for these classes of examples.

研究动机与目标

• 开发并系统化计算多重生成函数系数渐近展开的有效方法。
• 利用拓扑与几何准则，将单变量渐近技术（如鞍点法与圆法）扩展至多重变量情形。
• 为研究人员提供易于使用的计算工具，以分析源自有理函数或代数生成函数的组合序列。
• 在多种组合问题中展示这些方法的实用性，包括词、路径、多格多边形及图结构的计数。
• 统一并推广现有方法，如核法、转移矩阵法与Lagrange反演法在渐近分析中的应用。

提出的方法

• 利用分层Morse理论分析多重生成函数奇点流形的拓扑结构。
• 应用几何准则识别奇点流形上贡献于渐近行为的最小光滑点与多重点。
• 对最小光滑点使用基于留数的渐近公式，对多重点使用广义留数展开。
• 通过多复变函数中的最陡下降法，将多重系数渐近分析简化为临界点附近的局部分析。
• 将经典技术（如对角线法与Lagrange反演）与现代渐近分析工具相结合，用于有理函数与代数生成函数。
• 提供算法程序以验证假设并仅通过初等复分析与符号计算计算渐近行为。

实验结果

研究问题

• RQ1 当生成函数在原点附近亚纯时，如何高效计算多重生成函数系数的渐近展开？
• RQ2 在奇点流形上，临界点在何种精确条件下会贡献于主要渐近项？
• RQ3 组合序列的渐近行为（如Dyck路径数、Smirnov词、多格多边形）如何依赖于其生成函数的结构？
• RQ4 核法、转移矩阵法与Lagrange反演法在何种方式下产生便于渐近分析的生成函数？
• RQ5 是否能针对格点中的有理方向获得一致渐近展开？这与对角线法相比有何异同？

主要发现

• 对于Delannoy数，渐近增长为 $ a_{n,n} \to \frac{2^{2n}}{\binom{n}{n} \text{ via } \frac{1}{1-x-y-xy} $，其精确渐近展开由 $ (x,y) = (1/2,1/2) $ 处的主导奇点导出。
• 使用 $ d $ 个字母的长度为 $ n $ 的Smirnov词数量满足 $ a_n \to \frac{1}{\text{residue at } z=1} \text{ of } \frac{1}{1 - \frac{z}{1+z}} $，得到 $ a_n \to \frac{2^{n}}{\text{const} \times \binom{n}{n}^{1/2}} $，其中显式常数通过留数计算得出。
• 对于水平凸多格多边形，渐近增长为 $ a_n \to C \rho^{-n} n^{-3/2} $，其中 $ \rho $ 为主导奇点半径，通过核法与临界点分析计算得出。
• 当 $ k $ 与 $ n $ 成比例时，具有 $ k $ 个下降的排列数的生成函数通过留数法导出中心极限定理，渐近正态性已得到证实。
• 三元有理生成函数（如 $ (1-x-y-z)^{-1} $）的对角线渐近行为为 $ \binom{3n}{n,n,n} \to C \frac{\rho^n}{n} $，其中 $ \rho = 27/8 $，该方法无需显式对角化即可得出此结果。
• 对于转移矩阵法，本文表明生成函数的结构确保主导奇点位于光滑点，从而可通过留数公式直接提取渐近行为。