[论文解读] Restricted permutations related to Fibonacci numbers and k-generalized Fibonacci numbers

Eric S. Egge|ArXiv.org|Sep 27, 2001

Advanced Combinatorial Mathematics参考文献 20被引用 4

一句话总结

本文通过证明避免特定模式集合（如 $12\ldots k$、$132$ 和 $213$）的 $S_n$ 中排列数等于 $k-1$-广义斐波那契数 $F_{k-1,n+1}$，推广了关于模式避免排列的经典结果。此外，还证明避免 $132$、$213$ 和逆序模式 $23\ldots k1$ 的排列数等于 $k-2$-广义斐波那契序列前 $n$ 项之和，并提供了显式生成函数和双射证明。

ABSTRACT

We give enumerations of various families of restricted permutations involving the Fibonacci numbers or k-generalized Fibonacci numbers.

研究动机与目标

• 将 Simion 和 Schmidt 的结果 $|S_n(123,132,213)| = F_{n+1}$ 推广至更大模式集合的 $k$-广义斐波那契数。
• 刻画任意 $k \geq 2$ 下避免 $132$、$213$ 和模式 $23\ldots k1$ 的排列的结构与计数。
• 推广早期将模式避免排列与斐波那契数的线性组合及多项式关联的研究，特别是针对包含 $k\ k-1\ldots4213$ 和 $2341$ 的模式集合。
• 为广义斐波那契计数提供双射证明，并探索排列模式与递推序列之间的更深层次结构联系。

提出的方法

• 使用双射构造证明避免 $12\ldots k$、$132$ 和 $213$ 的排列数等于 $k-1$-广义斐波那契数 $F_{k-1,n+1}$。
• 基于最大元素 $n$ 的位置对排列进行分解，推导出递推关系。
• 使用差分序列：证明 $|S_n(132,213,23\ldots k1)|$ 的首阶差分满足 $k-2$-广义斐波那契递推关系。
• 利用递推关系和初值条件推导生成函数，得到 $f(x) = \frac{x}{(1-x)(1 - x - x^2 - \cdots - x^{k-2})} + 1$。
• 分析如 $|S_n(132,k\ k-1\ldots4213,2341)|$ 等序列的高阶差分，证明其满足斐波那契型递推关系。
• 利用已知结果如 $|S_n(132,213)| = 2^{n-1}$ 作为初值，建立递推证明的初始条件。

实验结果

研究问题

• RQ1 对于 $k \geq 2$，$S_n$ 中避免 $12\ldots k$、$132$ 和 $213$ 的排列的确切计数是多少？
• RQ2 避免 $132$、$213$ 和 $23\ldots k1$ 的排列结构如何与 $k-2$-广义斐波那契序列关联？
• RQ3 序列 $|S_n(132,k\ k-1\ldots4213,2341)|$ 是否可表示为两个斐波那契数与一个 $k-2$ 次多项式的线性组合？
• RQ4 是否存在一族统一的禁止模式集合 $R_{i,k}$，使得 $|S_n(R_{i,k})|$ 的第 $i$ 阶差分序列满足 $k$-广义斐波那契递推？
• RQ5 是否可以为定理 4.10、4.11 和 4.12 中的广义斐波那契计数构造双射证明？

主要发现

• 避免 $12\ldots k$、$132$ 和 $213$ 的 $S_n$ 中排列数恰好为 $k-1$-广义斐波那契数 $F_{k-1,n+1}$，并提供了双射证明。
• 避免 $132$、$213$ 和 $23\ldots k1$ 的排列数为 $\sum_{i=1}^n F_{k-2,i}$，其中 $F_{k-2,i}$ 是 $k-2$-广义斐波那契序列的第 $i$ 项。
• 序列 $|S_n(132,213,23\ldots k1)|$ 的生成函数为 $f(x) = \frac{x}{(1-x)(1 - x - x^2 - \cdots - x^{k-2})} + 1$，证实了其为斐波那契数之和的结构。
• 对于 $k \geq 4$，序列 $|S_n(132,k\ k-1\ldots4213,2341)|$ 由一个 $k-2$ 次多项式加上两个斐波那契数的线性组合给出，且对 $k=4,5,6$ 提供了显式公式。
• $|S_n(132,k\ k-1\ldots4213,2341)|$ 的 $k-3$ 阶差分序列满足斐波那契递推关系，表明其具有深层次的递推结构。
• 本文猜想，对于更广泛的禁止模式集合族，类似的多项式与斐波那契分量的线性组合也存在，并提出了关于双射证明与显式计数的开放问题。