[论文解读] Extending Fine sequences: a link with forbidden patterns

Olivier Guibert, Sylvain Pelat-Alloin|arXiv (Cornell University)|Jul 20, 2005

Advanced Combinatorial Mathematics参考文献 17被引用 3

一句话总结

本文通过生成树方法，将Fine序列（非奇异相似关系）推广为双变量框架，建立321-避免错位排列与Fine序列之间的一种新双射。此外，还揭示了这些广义序列的两个特例与避免特定禁止模式的排列之间的联系，通过生成树构造和计数公式提供了完全双射的证明。

ABSTRACT

We propose a natural, bivariate, generalization of the nonsingular similarity relations considered by T. Fine. We also provide an enumeration formulae and a generating tree for those relations. The latter allow us to give a new bijection between 321-avoiding derangements and Fine sequences. Moreover, we establish that two special cases are in a one-to-one correspondence with subsets of permutations characterized by forbidden subsequences on the symmetrical group. All our results are established using the technique of generating tree, thus giving entirely bijective proofs.

研究动机与目标

• 通过生成树将非奇异相似关系（Fine序列）推广为双变量框架。
• 通过生成树结构，建立321-避免错位排列与Fine序列之间的一种新双射对应关系。
• 将广义Fine序列的特例与避免特定禁止模式（如321、1324）的排列联系起来。
• 使用生成树技术，为这些组合对象的计数公式提供完全双射的证明。
• 扩展对Fine数及其与Catalan路径和投票数关系的组合理解。

提出的方法

• 将广义Fine序列 $F_n^{p,q}$ 定义为 $\mathbb{N}^n$ 上的字串，满足初始段约束和局部增量条件：$\omega_{i+1} \leq \omega_i + 1$，以及关于零后接 $12\ldots(q-1)$ 的条件。
• 使用生成树建模广义Fine序列的增长，其中带标签的节点代表排列或序列，通过递归规则生成子节点。
• 在广义Fine序列的生成树与避免特定模式（如 $321$、$1324$、$3214$）的排列的生成树之间建立双射。
• 利用禁止模式的结构特性，定义生成树中的活跃位置和标签规则，确保双射的一致性。
• 证明在有效位置插入 $n+1$ 会保持禁止模式的避免性，并在生成树中诱导正确的标签转移。
• 利用生成树框架推导计数公式，并确认此类序列的数量与已知序列（如Fine数和投票数）一致。

实验结果

研究问题

• RQ1 非奇异相似关系（Fine序列）如何自然地推广为双变量框架？
• RQ2 广义Fine序列与避免321模式的排列之间，特别是在错位排列背景下，存在何种联系？
• RQ3 广义Fine序列的哪些特例对应于避免特定禁止模式（如 $1324$、$3214$）的排列？
• RQ4 能否使用生成树为这些组合对象的计数公式提供完全双射的证明？
• RQ5 Catalan路径中初始上升和初等路径的结构约束，如何与广义Fine序列的构造相关联？

主要发现

• 本文通过生成树建立321-避免错位排列与Fine序列之间的新双射，提供了其数量相等的双射证明。
• 广义Fine序列的两个特例分别与避免禁止模式 $1324$ 和 $3214$ 的排列形成一一对应。
• 生成树 $S_n({\cal H}_3^{-1c})$ 的根为 $[A,2]$，其标签转移规则正确刻画了活跃位置行为和模式避免性。
• 生成树 $S_n({\cal H}_5)$ 的标签为 $[P]$、$[A,t]$ 和 $[B,t]$，其插入规则保持禁止模式避免性，并诱导正确的标签转移。
• 通过生成树增长推导出广义Fine序列 $F_n^{p,q}$ 的计数公式，确认此类序列的数量与已知组合序列一致。
• 本文通过生成树的双射方法确认了已知的Fine数恒等式 $2F_n + F_{n-1} = C_{n+1}$。