[论文解读] Generalized Chung-Feller Theorems for Lattice Paths (Thesis)

Aminul Huq|ArXiv.org|Jul 19, 2009

Advanced Combinatorial Mathematics参考文献 31被引用 6

一句话总结

本论文将经典的 Chung-Feller 定理从 Dyck 路径推广至更广泛的格路类别，包括 Motzkin 路径和 Schröder 路径，采用环方法与 Lagrange 反演法。研究建立了路径统计量（如峰、谷和特定位置的步数）在模 r+1 意义下的等分布性结果，证明了某些路径计数与位置参数无关，通过包含多项式系数的广义 Narayana 型公式得以实现。

ABSTRACT

In this thesis we develop generalized versions of the Chung-Feller theorem for lattice paths constrained in the half plane. The beautiful cycle method which was developed by Devoretzky and Motzkin as a means to prove the ballot problem is modified and applied to generalize the classical Chung-Feller theorem. We use Lagrange inversion to derive the generalized formulas. For the generating function proof we study various ways of decomposing lattice paths. We also show some results related to equidistribution properties in terms of Narayana and Catalan generating functions. We then develop generalized Chung-Feller theorems for Motzkin and Schroeder paths. Finally we study generalized paths and the analogue of the Chung-Feller theorem for them.

研究动机与目标

• 将经典的 Chung-Feller 定理从 Dyck 路径推广至更广义的格路，如 Motzkin 路径和 Schröder 路径。
• 通过环方法与生成函数，建立统一框架，以证明路径统计量的等分布性质。
• 推导在模 r+1 意义下对步长位置施加约束的路径的广义 Catalan 数与 Narayana 数公式。
• 通过 Lagrange 反演法，建立加权路径计数与生成函数之间的联系。
• 在不同路径类型之间，推广峰、谷以及位于或低于 x 轴的步数的等分布性。

提出的方法

• 将 Devoretzky 与 Motzkin 的环方法适配于半平面内受约束的格路，以证明等分布定理。
• 应用 Lagrange 反演法，推导出在高度 r+1 结束且具有步长权重的路径的生成函数的闭式表达。
• 通过生成函数分解分析路径的结构，包括正负素步与水平步。
• 引入 r+1 种颜色的自由 Motzkin 路径，以建模在模 r+1 步长位置约束下的格路循环移位。
• 建立广义 Narayana 数公式 $ N^r(n, n_0, \dots, n_r) = \frac{1}{n} \binom{n}{n_0} \cdots \binom{n}{n_r} $，适用于满足 $ n_0 + \cdots + n_r = nr + 1 $ 的路径。
• 应用生成函数恒等式 $ F = (\alpha_0 + F)(\alpha_1 + F)\cdots(\alpha_r + F) $，以建模模 r+1 意义下步长位置约束的路径。

实验结果

研究问题

• RQ1 Chung-Feller 定理如何能推广至 Dyck 路径以外的格路，如 Motzkin 路径和 Schröder 路径？
• RQ2 当基于模 r+1 的步长位置计数路径时，特别是对位于或低于 x 轴的上升/下降步长，会涌现出哪些等分布性质？
• RQ3 环方法能否被扩展，以证明路径计数对特定统计量（如峰或谷）的独立性，即使在模位置约束下也成立？
• RQ4 Lagrange 反演在推导受约束格路的广义 Catalan 数与 Narayana 数公式中起到何种作用？
• RQ5 带有彩色水平步与高度约束的路径的生成函数，如何与广义 Chung-Feller 定理相联系？

主要发现

• 在 $ \mathcal{P}(n-1, r, r+1) $ 中，从上升步开始且在满足 $ i \pmod{r+1} $ 位置恰好有 $ n_i $ 个上升步、其中有 $ j $ 个位于或低于 x 轴的路径数量，与 $ j $ 无关，其值为 $ \frac{1}{n_0} \binom{n-1}{n_0-1} \binom{n}{n_1} \cdots \binom{n}{n_r} $。
• 对于从下降步开始且在满足 $ i \pmod{r+1} $ 位置恰好有 $ n_i - 1 $ 个下降步的路径，其计数为 $ \frac{1}{n_0 - 1} \binom{n-1}{n_0 - 2} \binom{n}{n_1 - 1} \cdots \binom{n}{n_r - 1} $，且与位于或低于 x 轴的此类步数无关。
• 当 $ r = 1 $ 时，广义公式退化为经典 Narayana 数 $ \frac{1}{n} \binom{n}{k} \binom{n}{k-1} $，与已知结果一致。
• 在高度 $ r+1 $ 结束的路径的生成函数 $ F $ 满足 $ F = (\alpha_0 + F)(\alpha_1 + F)\cdots(\alpha_r + F) $，从而可通过 Lagrange 反演推导广义路径计数。
• 通过循环移位与着色 Motzkin 路径模型，证明了模 $ r+1 $ 意义下偶数位置的峰、谷与步数的等分布性。
• 广义 Chung-Feller 定理对 Motzkin 路径与 Schröder 路径成立，将经典结果推广至具有加权步长与模约束的更广泛路径族。