[论文解读] Generalized Dyck paths of bounded height

Axel Bacher|arXiv (Cornell University)|Mar 11, 2013

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

一句话总结

本文通过转移矩阵法，对有界高度广义Dyck路径中的多项式 $ F_k $ 及其线性递推关系给出了组合解释。推导了有界偏移和有界路径的生成函数，表明对称步长集合可通过转移矩阵的块对角化实现显著简化，降低计算复杂度，并揭示生成函数中更深层次的代数结构。

ABSTRACT

Generalized Dyck paths (or discrete excursions) are one-dimensional paths that take their steps in a given finite set S, start and end at height 0, and remain at a non-negative height. Bousquet-Mélou showed that the generating function E_k of excursions of height at most k is of the form F_k/F_{k+1}, where the F_k are polynomials satisfying a linear recurrence relation. We give a combinatorial interpretation of the polynomials F_k and of their recurrence relation using a transfer matrix method. We then extend our method to enumerate discrete meanders (or paths that start at 0 and remain at a non-negative height, but may end anywhere). Finally, we study the particular case where the set S is symmetric and show that several simplifications occur.

研究动机与目标

• 为有界高度偏移的生成函数 $ E_k = F_k / F_{k+1} $ 中出现的多项式 $ F_k $ 提供组合解释。
• 将转移矩阵法扩展至在高度约束下枚举离散有界路径（非负高度，任意终点）的生成函数。
• 分析对称步长集合 $ S $ 的特殊情况，其中转移矩阵的结构简化可实现生成函数的更高效计算。
• 推导 $ F_k^+ $、$ F_k^- $ 及其高度细化形式 $ F_{k, ho}^+ $、$ F_{k, ho}^- $ 的递推关系，表明其满足分母简化后的有理生成函数。

提出的方法

• 应用转移矩阵法，将有界偏移建模为顶点集 $ \{0, \dotsc, k\} $ 上的有限图上的行走，其中边对应步长集合 $ S $ 中的步长，邻接矩阵 $ A_k $ 编码状态转移。
• 通过 $ (1 - A_k)^{-1} $ 的 $ (0,0) $-元素导出生成函数 $ E_k $，得到 $ E_k = F_k / F_{k+1} $，其中 $ F_k = \det(1 - A_{k-1}) $。
• 利用传递矩阵 $ P $ 对 $ A_k $ 进行块分解，得到 $ P^{-1}A_kP = \text{diag}(A_k^+, A_k^-) $，从而简化行列式与余子式计算。
• 对于对称步长集合，证明矩阵 $ A_k^+ $ 和 $ A_k^- $ 同构于更小的矩阵 $ A_{k^+} $、$ A_{k^-} $，从而导出形如 $ \mathbf{F}_k^+ = \mathbf{T} \mathbf{F}_{k-2}^+ $ 的递推关系，降低维度。
• 证明生成函数 $ \sum_k F_k^+ z^k $ 和 $ \sum_k F_k^- z^k $ 为有理函数，其分母为 $ D(z^2) $，其中 $ D(z) $ 是完整偏移生成函数的最小多项式。
• 推导出 $ F_{k,\ell}^+ $ 和 $ F_{k,\ell}^- $ 的双变量生成函数，其为分母为 $ \widetilde{D}(uz^2) D(z^2) $ 的有理函数，揭示其对最终高度 $ \ell $ 的结构化依赖关系。

实验结果

研究问题

• RQ1 如何通过转移矩阵法为有理生成函数 $ E_k = F_k / F_{k+1} $ 中的多项式 $ F_k $ 赋予组合解释？
• RQ2 转移矩阵法能否扩展至计算有界高度路径（而不仅是偏移）的生成函数？
• RQ3 当步长集合 $ S $ 对称时，生成函数中会出现何种结构性简化？
• RQ4 从块对角化转移矩阵中，$ F_k^+ $、$ F_k^- $ 及其高度细化形式 $ F_{k,\ell}^+ $、$ F_{k,\ell}^- $ 的递推关系如何产生？
• RQ5 对细化路径计数 $ E_{k,\ell} $ 的双变量生成函数的精确形式是什么？其与完整路径生成函数 $ M_k $ 的关系如何？

主要发现

• 高度至多为 $ k $ 的路径生成函数 $ M_k $ 由 $ M_k = F_k^+(1) / F_{k+1}^+ $ 给出，通过消除一般情况中出现的 $ F_{k+1}^- $ 因子，使表达式得以简化。
• 对于对称步长集合，矩阵 $ A_k^+ $ 和 $ A_k^- $ 同构于更小的矩阵 $ A_{k^+} $ 和 $ A_{k^-} $，从而导出阶数为 $ k-2 $ 的递推关系，显著降低计算复杂度。
• 生成函数 $ \sum_k F_k^+ z^k $ 和 $ \sum_k F_k^- z^k $ 为有理函数，其分母为 $ D(z^2) $，其中 $ D(z) $ 是完整偏移生成函数的最小多项式。
• 双变量生成函数 $ F_{k,\ell}^+ $ 和 $ F_{k,\ell}^- $ 为分母为 $ \widetilde{D}(uz^2) D(z^2) $ 的有理函数，表明其对高度 $ \ell $ 和索引 $ k $ 呈现结构化、周期性依赖。
• 在Fibonacci情形（$ S = \{\pm 1\} $）下，多项式 $ F_k^+ $ 和 $ F_k^- $ 满足显式递推关系：$ F_{2k}^+ = F_k - tF_{k-1} $，$ F_{2k+1}^+ = F_{k+1} - t^2 F_{k-1} $，且 $ F_{2k}^- = F_k + tF_{k-1} $，$ F_{2k+1}^- = F_k $，与一般递推结构一致。
• 通过传递矩阵 $ P $ 实现的块对角化，导致生成函数的清晰分解，表明仅需一半矩阵规模即可计算 $ E_{k,\ell} $，显著提升效率。