[论文解读] Restricted Dyck Paths on Valleys Sequence

Rigoberto Flórez, Toufik Mansour+3 more|arXiv (Cornell University)|Aug 17, 2021

Advanced Combinatorial Mathematics被引用 1

一句话总结

本文引入受限 d-Dyck 路径，即非递减 Dyck 路径的推广，其中连续谷底高度差至少为 d。当 d = −1 时，推导出峰数与半长统计的双变量生成函数，建立路径总区域面积的递归关系，并给出面积生成函数的显式公式。主要贡献在于对 (−1)-Dyck 路径族的完整组合与代数表征，包括渐近行为及递归面积计算。

ABSTRACT

In this paper we study a subfamily of a classic lattice path, the \emph{Dyck paths}, called \emph{restricted $d$-Dyck} paths, in short $d$-Dyck. A valley of a Dyck path $P$ is a local minimum of $P$; if the difference between the heights of two consecutive valleys (from left to right) is at least $d$, we say that $P$ is a restricted $d$-Dyck path. The \emph{area} of a Dyck path is the sum of the absolute values of $y$-components of all points in the path. We find the number of peaks and the area of all paths of a given length in the set of $d$-Dyck paths. We give a bivariate generating function to count the number of the $d$-Dyck paths with respect to the the semi-length and number of peaks. After that, we analyze in detail the case $d=-1$. Among other things, we give both, the generating function and a recursive relation for the total area.

研究动机与目标

• 通过引入一个参数 d，对非递减 Dyck 路径进行推广，限制连续谷底高度差。
• 分析 d-Dyck 路径的组合结构，特别是当 d < 0 时，此时生成函数变为代数函数而非有理函数。
• 推导出以半长和峰数为变量的 d-Dyck 路径的双变量生成函数，尤其针对 d ≤ 0 的情形。
• 研究 (−1)-Dyck 路径的总区域面积，建立面积生成函数的递归与符号表达式。
• 探讨序列 r−1(n)，即半长为 n 的 (−1)-Dyck 路径数量的渐近行为。

提出的方法

• 通过谷底高度差约束引入 d-Dyck 路径的概念：连续谷底满足 νi+1 − νi ≥ d。
• 定义双变量生成函数 Ld(x, y) = ∑P∈Dd x^ℓ(P)y^ρ(P)，其中 ℓ(P) 表示半长，ρ(P) 表示峰数。
• 推导出当 d = −e < 0 时 Le(x, y) 的函数方程，涉及一个辅助代数函数 Se(x, y)，其满足一个复杂的代数方程。
• 当 d = −1 时，通过将路径分解为梯形与金字塔结构，建立路径数量 r−1(n) 和总区域面积 a(n) 的递归关系。
• 运用生成函数技巧与递归分解，推导出面积生成函数的符号表达式。
• 应用化简与错位求和技巧，推导出面积序列 a(n) 的紧凑递归公式。

实验结果

研究问题

• RQ1 谷底高度差的限制（νi+1 − νi ≥ d）如何影响 Dyck 路径的结构与计数？
• RQ2 以半长与峰数为变量的 d-Dyck 路径的双变量生成函数是什么，尤其针对 d ≤ 0 的情形？
• RQ3 (−1)-Dyck 路径的总区域面积具有怎样的递归结构？能否以符号或递归形式表达？
• RQ4 序列 r−1(n) 的渐近增长行为如何？其组合解释是什么？
• RQ5 (−1)-Dyck 路径的面积生成函数能否以闭式表达或函数方程形式表示？

主要发现

• 当 d = −1 时，双变量生成函数 Le(x, y) 满足一个涉及代数函数 Se(x, y) 的函数方程，而 Se(x, y) 由一个非有理代数方程定义。
• 所有 (−1)-Dyck 路径的总数 r−1(n) 满足如下递归关系：r−1(n) = 2r−1(n−1) + r−1(n−2) + 2r−1(n−3) + (2n−5)q_{n−3} + ...，初始条件明确。
• 所有半长为 n 的 (−1)-Dyck 路径的总区域面积 a(n) 满足如下递归公式：a(n) = 3a(n−1) − a(n−2) + A_{n−2} + 2(n−1)q_{n−2} + 2n r−1(n−1) + ...
• 通过梯形基底、金字塔结构及嵌套子路径的贡献，符号化地推导出 (−1)-Dyck 路径的面积生成函数。
• 分析了 r−1(n) 的渐近增长，表明该序列的增长速度快于卡塔兰数，尽管未显式计算出精确的渐近形式。
• 本文建立了 (−1)-Dyck 路径总区域面积与卡塔兰数之间的联系，指出所有 Dyck 路径的总区域面积为 4^n − C_{n+1}，其中 C_n 为第 n 个卡塔兰数。