[论文解读] 231-Avoiding Involutions and Fibonacci Numbers

Eric S. Egge, Toufik Mansour|ArXiv.org|Sep 19, 2002

Advanced Combinatorial Mathematics参考文献 9被引用 8

一句话总结

本文使用组合数学与生成函数技术，对避免231模式或恰好包含一个231模式的对合进行计数，表明此类集合的数目由k-广义斐波那契数列给出。主要贡献在于建立了一个系统化的枚举框架，通过递归生成函数与铺砖解释，将受限对合与广义斐波那契序列联系起来。

ABSTRACT

We use combinatorial and generating function techniques to enumerate various sets of involutions which avoid 231 or contain 231 exactly once. Interestingly, many of these enumerations can be given in terms of $k$-generalized Fibonacci numbers.

研究动机与目标

• 系统地枚举避免231模式或恰好包含一个231模式的对合集合。
• 通过组合方法与生成函数方法，建立受限对合与k-广义斐波那契数之间的联系。
• 推导出此类对合数量的闭式生成函数，特别是针对分层模式的情形。
• 为恰好包含一个231模式且附加模式约束的对合，提供计算其生成函数的递归过程。
• 将先前关于模式避免排列的结果扩展至对合中受控模式出现次数的情形。

提出的方法

• 基于k-广义斐波那契数列使用生成函数与递推关系，其定义为 $ F_{k,n} = \sum_{i=1}^{k} F_{k,n-i} $（当 $ n \geq 2 $ 时），且 $ F_{k,1} = 1 $。
• 应用铺砖解释：$ F_{k,n+1} $ 表示用大小为 $ 1 \times 1 $ 到 $ 1 \times k $ 的瓷砖铺满 $ 1 \times n $ 棋盘的方式数。
• 基于231模式的位置与结构，以及分层模式 $ k\ldots21 $，对排列进行递归分解。
• 推导出如 $ \mathfrak{C}_{k\ldots21}(x) = \frac{x^4}{(1 - x - \cdots - x^{k-1})^2} $ 等生成函数，用于表示恰好包含一个231模式的对合。
• 引入双变量生成函数 $ \mathfrak{C}_\tau(x,y) $，以同时追踪对合的大小与第二个模式出现的次数。
• 利用命题4.2，将恰好包含一个231模式的对合分解为对应于铺砖构型的组成部分，从而实现递归枚举。

实验结果

研究问题

• RQ1 如何利用k-广义斐波那契数列对避免231模式及另一模式的对合数量进行计数？
• RQ2 恰好包含一个231模式并避免给定分层模式 $ k\ldots21 $ 的对合数量的生成函数是什么？
• RQ3 恰好包含一个231模式且有 $ r $ 个第二个模式 $ \tau $ 出现的对合数量如何依赖于 $ \tau $ 的结构？
• RQ4 能否为恰好包含一个231模式且具有分层模式的对合建立计算其生成函数的递归过程？
• RQ5 分层排列的结构与恰好包含一个231模式的对合的生成函数之间存在何种关系？

主要发现

• 在 $ C_n(k\ldots21) $ 中的对合数量，即恰好包含一个231模式并避免分层模式 $ k\ldots21 $ 的对合，由 $ |C_n(k\ldots21)| = \sum_{i=0}^{n-4} F_{k-1,i+1} F_{k-1,n-i-3} $ 给出，其中 $ k \geq 4 $。
• 对于 $ C_n(k\ldots21) $ 的生成函数为 $ \mathfrak{C}_{k\ldots21}(x) = \frac{x^4}{(1 - x - \cdots - x^{k-1})^2} $，显示出与k-广义斐波那契数列的直接联系。
• 当 $ r \leq k $ 时，恰好包含一个231模式且有 $ r $ 个 $ k\ldots21 $ 模式出现的对合数量为 $ |C_n^r(k\ldots21)| = (r+1) \sum_{s_0,\ldots,s_{r+1}} \prod_{i=0}^{r+1} F_{k-1,s_i+1} $，其中求和范围为满足 $ \sum s_i = n - kr - 4 $ 的非负整数 $ s_i $。
• 对于 $ C_n^r(k\ldots21) $ 的生成函数为 $ \mathfrak{C}_{k\ldots21}^r(x) = \frac{(r+1)x^{kr+4}}{(1 - x - \cdots - x^{k-1})^{r+2}} $，确认了k-广义斐波那契序列的作用。
• 为 $ \mathfrak{C}_\tau^1(x) $ 和 $ \mathfrak{C}_\tau(x,y) $ 建立了递归公式，使得对任意分层排列 $ \tau $ 均可计算，其形式因 $ \tau $ 的最后一块大小而异。
• 结果表明，对于任意分层排列 $ \tau $，集合 $ C_n(\tau) $ 与 $ C_n^r(\tau) $ 均可利用k-广义斐波那契数列进行计数，从而扩展了已知的模式避免与线性递推之间的联系。