[论文解读] Fixed points and excedances in restricted permutations

Sergi Elizalde|ArXiv.org|Dec 16, 2002

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

一句话总结

本文建立了关于 321-避免和 132-避免排列中不动点与超限数的二元等分布结果，证明了对所有 $ n, i, j $，避免 321 的 $ n $-排列中具有 $ i $ 个不动点和 $ j $ 个超限数的排列数，等于避免 132 的排列中具有相同 $ i $ 和 $ j $ 的排列数。证明使用了一种新颖的技术，涉及非有理生成函数的对角线，并结合了模式避免排列与 Dyck 路径之间的双射，推广了此前仅针对不动点的结果。

ABSTRACT

In this paper we prove that among the permutations of length n with i fixed points and j excedances, the number of 321-avoiding ones equals the number of 132-avoiding ones, for all given i,j<=n. We use a new technique involving diagonals of non-rational generating functions. This theorem generalizes a recent result of Robertson, Saracino and Zeilberger, for which we also give another, more direct proof.

研究动机与目标

• 通过引入超限数，细化已知的关于 321-和 132-避免排列中不动点的等分布结果。
• 在 321-避免和 132-避免排列中，建立不动点与超限数之间的二元等分布关系。
• 开发并应用一种基于非有理生成函数对角线的新方法，以分析排列统计量。
• 将 Robertson、Saracino 和 Zeilberger 之前仅针对不动点的结果，推广到包含不动点与超限数的二元情形。

提出的方法

• 定义一个生成函数 $ F_{321}(x,q,t) $，用于追踪 321-避免排列中的不动点（$ x $）、超限数（$ q $）和排列长度（$ t $）。
• 利用 321-避免排列与 Dyck 路径之间的双射 $ heta_{ ext{corner}} $，将排列的统计量转化为路径的统计量。
• 将生成函数表示为有理函数形式，并应用对角线方法，提取出二元分布的生成函数。
• 引入一个带有额外变量的辅助生成函数，以建模新的统计量，然后推导出刻画它的函数方程。
• 证明所得生成函数满足一个函数方程，该方程与 132-避免排列中推导出的函数方程一致，从而表明等分布性。
• 通过代数恒等式和留数计算，猜想并验证生成函数的闭式表达式。

实验结果

研究问题

• RQ1 321-和 132-避免排列中不动点的等分布性是否可推广到同时考虑超限数的二元情形？
• RQ2 能否使用基于非有理对角线的生成函数方法，证明在排列模式避免中二元等分布性？
• RQ3 在不动点与超限数方面，321-和 132-避免排列之间对称性的结构原因是什么？
• RQ4 能否显式计算出 321-避免排列中二元分布的生成函数，并证明其与 132-避免排列的生成函数一致？

主要发现

• 对所有 $ n, i, j \≤ n $，避免 321 的 $ n $-排列中具有 $ i $ 个不动点和 $ j $ 个超限数的排列数，等于避免 132 的排列中具有相同 $ i $ 和 $ j $ 的排列数。
• 证明了 321-避免排列的生成函数 $ F_{321}(x,q,t) $（其中变量分别追踪不动点、超限数和长度）等于 132-避免排列的对应生成函数。
• 该证明依赖于对非有理生成函数对角线的创新应用，这一技术此前未在此类问题中使用过。
• 通过函数方程推导出二元分布的生成函数，并利用留数计算与代数恒等变形加以验证。
• 该结果推广了 Robertson、Saracino 和 Zeilberger 之前仅考虑不动点的定理，现将超限数作为第二个统计量纳入。
• 作者猜想并验证了生成函数的闭式表达式，其与组合模型推导出的函数方程完全匹配。