[论文解读] From Fibonacci to Catalan permutations

Elena Barcucci, Antonio Bernini+1 more|ArXiv.org|Dec 11, 2006

Advanced Combinatorial Mathematics参考文献 18被引用 7

一句话总结

本文通过推广三字母排列中的禁止模式，引入了一类介于斐波那契数与卡塔兰数之间的连续排列类族。通过参数化地放宽对 213 和 312 等模式的约束，作者推导出在斐波那契与卡塔兰生成函数之间插值的生成函数，从而在整数序列之间建立了组合意义上的‘连续性’。

ABSTRACT

It is well known that permutations avoiding any 3-length pattern are enumerated by the Catalan numbers. If the three patterns 123, 132 and 213 are avoided at the same time we obtain a class of permutations enumerated by the Fibonacci numbers. We start from these permutations and make one or two forbidden patterns disappear by suitably "generalizing" them. In such a way we find several classes of permutations enumerated by integer sequences which lay between the Fibonacci and Catalan numbers. For each class, we provide the generating function according to the length of the permutations. Moreover, as a result, we introduce a sort of "continuity" among the number sequences enumerating these classes of permutations.

研究动机与目标

• 探索在计数意义上位于斐波那契数与卡塔兰数之间的组合序列。
• 将多种整数序列（例如三体斐波那契数、佩尔数，以及偶数索引的斐波那契数）统一于排列模式避免的共同框架之下。
• 通过广义禁止模式，构建从斐波那契数类到卡塔兰数类的连续过渡。
• 开发描述中间排列类的生成函数与递推规则。
• 利用 ECO 方法将结果扩展至 Dyck 路径与平面树。

提出的方法

• 将禁止模式 213 与 312 广义化为涉及参数 k 的更长模式，例如 r_k = k(k-1)...21(k+1) 与 q_k = 1(k+1)k...21。
• 使用 ECO 方法通过插入 n+1 到避免形成禁止子序列的活跃位置，递归生成排列。
• 基于初始行为（上升/下降）与值 r_π（追踪下降段长度）为排列定义标签。
• 推导描述每个标签排列在插入操作下如何生成其子代的递推规则，形成有限规则系统。
• 求解所得的递推关系组，得到每个 k 对应的生成函数 g_k(x)。
• 取 k → ∞ 的极限，恢复卡塔兰生成函数 C(x)，表明其从斐波那契型计数向卡塔兰型计数的收敛性。

实验结果

研究问题

• RQ1 能否构造一个连续的排列类族，使其在斐波那契数与卡塔兰数之间插值？
• RQ2 当禁止模式被系统性地广义化时，模式避免排列的生成函数会发生什么变化？
• RQ3 对同一模式的不同广义化是否会导致相同的中间序列与生成函数？
• RQ4 是否存在一个统一的组合框架，能够解释如三体斐波那契数、佩尔数以及偶数索引斐波那契数列等序列？
• RQ5 ECO 方法能否用于将此类模式避免类扩展至 Dyck 路径与平面树？

主要发现

• 对每个 k ≥ 2，本文构造了两类不同的排列类，其避免广义模式，并由相同的生成函数 g_k(x) = (1 - 2x + x^k)/(1 - 3x + x^2 + x^k) 计数。
• 生成函数 g_k(x) 在 k = 2 时插值斐波那契生成函数 F(x) = 1/(1 - x - x^2)，在 k → ∞ 的极限下插值卡塔兰生成函数 C(x) = (1 - √(1 - 4x))/(2x)。
• 偶数索引斐波那契数列作为 g_k(x) 在 k → ∞ 时的极限被恢复，其极限生成函数为 F̄(x) = (1 - 2x + x^k)/(1 - 3x + x^2 + x^k)。
• 针对同一序列（如偶数索引斐波那契数列）推导出两种不同的递推规则，表明不同的组合构造可产生相同的生成函数。
• 该方法成功生成了中间序列，如 {2^{n-1}}、三体斐波那契数、佩尔数，以及偶数索引斐波那契数列，所有这些均嵌入于单一的模式避免排列框架之中。
• 结果通过 ECO 方法自然地扩展至 Dyck 路径与平面树，其计数由类似递推规则控制。