[论文解读] Explicit formulas for enumeration of lattice paths: basketball and the kernel method

Cyril Banderier, Christian Krattenthaler+5 more|arXiv (Cornell University)|Sep 21, 2016

Advanced Combinatorial Mathematics参考文献 54被引用 11

一句话总结

本文为具有有限步长集合的有向格路推导出显式闭式公式，重点研究篮球步长路径（步长为±1、±2），并通过核法与Lagrange–Bürmann反演将其推广至任意步长集合。主要贡献在于推导出路径计数的嵌套二项式求和表达式，实现对非负约束路径的精确计数与渐近分析，适用于组合数学与排队论。

ABSTRACT

This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \\dots, -1, +1, \\dots, +h$. The case $h=1$ is equivalent to the classical Dyck paths, for which many ways of getting explicit formulas involving Catalan-like numbers are known. The case $h=2$ corresponds to "basketball" walks, which we treat in full detail. Then we move on to the more general case of walks with any finite set of steps, also allowing some weights/probabilities associated with each step. We show how a method of wide applicability, the so-called "kernel method", leads to explicit formulas for the number of walks of length $n$, for any $h$, in terms of nested sums of binomials. We finally relate some special cases to other combinatorial problems, or to problems arising in queuing theory.

研究动机与目标

• 推导给定起点与终点的格路数量的显式闭式表达式，且路径被约束为非负。
• 解决格路组合学中长期存在的开放问题：为步长为{−2,−1,+1,+2}（篮球步长路径）的路径寻找闭式表达。
• 将核法与Lagrange–Bürmann反演推广至任意有限步长集合，包括含零步长的情况。
• 将格路计数与其它组合结构（如括号化、树结构、排队模型）联系起来。
• 为受约束格路的精确计数与渐近分析提供系统性框架。

提出的方法

• 应用核法，通过求解与步长集合相关的核方程，推导格路的生成函数。
• 使用Lagrange–Bürmann反演从由核方程隐式定义的生成函数中提取系数。
• 推导出二项式系数嵌套求和作为路径计数的显式公式，实现高效计算与分析。
• 应用奇点分析，从生成函数结构中推导路径计数的渐近行为。
• 将方法扩展至步长在{−h, ..., h}与{−h, ..., h} \ {0}的路径，允许包含零步长与非零步长。
• 通过函数方程与生成函数恒等式，建立与其它组合对象（如括号化、树结构）的联系。

实验结果

研究问题

• RQ1 是否存在从高度0到k、从不降至零以下的篮球步长路径（步长为±1、±2）的显式闭式公式？
• RQ2 如何结合核法与Lagrange–Bürmann反演，为任意有限步长集合的路径计数推导出嵌套二项式求和表达式？
• RQ3 能否用核方程的根表示步长在{−h, ..., h}或{−h, ..., h} \ {0}的路径的生成函数？
• RQ4 篮球步长路径与产生值为0或1的零元素括号化之间存在何种组合解释？
• RQ5 是否存在双射证明，将终点位于高度1的路径数量与产生值为0的n+2个零元素括号化数量联系起来？

主要发现

• 利用Lagrange–Bürmann反演，推导出从0到1、2以及返回0的路径（即回路）的篮球步长路径的显式闭式公式。
• 从0到1的长度为n的路径数量，等于n+2个零元素括号化中结果为0的括号化数量，建立了组合双射。
• 从0到2的路径的生成函数满足G_{0,2}(z) = z^{-1}W(z)，其中W(z)为产生值1的括号化生成函数。
• 对于一般h，通过核法与反演，步长在{−h, ..., h}或{−h, ..., h} \ {0}的路径数量可表示为二项式系数的嵌套求和。
• 通过核法导出的生成函数的奇点分析，实现了路径计数的渐近分析。
• 该框架可扩展至含标记步长、禁止模式或无界步长的模型，其生成函数仍可用核方程的根表示。