[论文解读] The Eulerian numbers on restricted centrosymmetric permutations

Marilena Barnabei, Flavio Bonetti+1 more|ArXiv.org|Oct 13, 2009

Advanced Combinatorial Mathematics参考文献 6被引用 5

一句话总结

本文研究了在避免模式123的中心对称排列中，下降数的分布，重点关注偶数长度的排列。文章引入了一种新的双射，将 $S_{2n}$ 中避免123的中心对称排列与长度为 $2n$ 的Dyck前缀一一对应，从而为 $|C_{2n}(123)| = \binom{2n}{n}$ 提供了双射证明，并导出了下降统计量的显式双变量生成函数。关键贡献在于基于Dyck前缀的最后一次返回分解，对下降分布进行了完整刻画。

ABSTRACT

We study the descent distribution over the set of centrosymmetric permutations that avoid the pattern of length 3. Our main tool in the most puzzling case, namely, $τ=123$ and $n$ even, is a bijection that associates a Dyck prefix of length $2n$ to every centrosymmetric permutation in $S_{2n}$ that avoids 123.

研究动机与目标

• 分析在 $S_3$ 中避免给定模式的中心对称排列上的下降分布，重点关注具有挑战性的情形 $\tau = 123$。
• 在 $C_{2n}(123)$ 与长度为 $2n$ 的Dyck前缀之间建立双射，为 $|C_{2n}(123)| = \binom{2n}{n}$ 提供双射证明。
• 为这些排列上的下降统计量推导显式的双变量生成函数 $T(x,y) = \sum_{n \geq 0} \sum_{\sigma \in C_{2n}(123)} x^n y^{\mathrm{des}(\sigma)}$。
• 通过Dyck前缀的最后一次返回分解，将生成函数分解，区分Dyck路径与提升的真前缀。

提出的方法

• 双射 $\Phi$ 将每个中心对称的123避免排列 $\sigma \in C_{2n}(123)$ 映射到一个长度为 $2n$ 的Dyck前缀，同时保持其结构和下降性质。
• 通过其最后一次返回对Dyck前缀进行分解，将其分类为三类：Dyck路径、提升的真前缀，以及Dyck路径与提升真前缀的并置。
• 通过根据对应Dyck前缀类型分解排列，分析下降统计量，下降数由各组成部分路径的下降统计量推导得出。
• 在生成函数 $T(x,y)$（对应一般Dyck前缀）、$K(x,y)$（对应Dyck路径）和 $S(x,y)$（对应提升真前缀）之间建立递归关系。
• 通过涉及 $K(x,y)$ 的函数方程组推导出生成函数 $T(x,y)$，得到包含平方根的闭式表达。
• 利用双射证明了排列的下降集具有镜像对称性，与中心对称结构一致。

实验结果

研究问题

• RQ1 在避免123模式的中心对称排列集合 $C_{2n}(123)$ 上，下降统计量的分布是什么？
• RQ2 如何双射地解释 $|C_{2n}(123)|$ 的大小？其背后的结构是什么？
• RQ3 能否通过双变量生成函数捕捉 $C_{2n}(123)$ 上的下降分布？如果是，其闭式表达是什么？
• RQ4 Dyck前缀的最后一次返回分解如何与对应中心对称排列的下降结构相关联？
• RQ5 在此背景下，Dyck路径、提升前缀和一般Dyck前缀的生成函数之间存在何种函数关系？

主要发现

• 避免123的中心对称排列集合 $C_{2n}(123)$ 的大小为 $\binom{2n}{n}$，并通过映射到长度为 $2n$ 的Dyck前缀实现了双射证明。
• 在 $C_{2n}(123}$ 上的下降分布由双变量生成函数 $T(x,y)$ 编码，该函数通过基于Dyck前缀最后一次返回分解的函数方程显式导出。
• 生成函数 $T(x,y)$ 满足一个涉及 $K(x,y)$（即Dyck路径的生成函数）的二次方程，其表达式为 $T(x,y) = \frac{-xy^3K^2 + (1 - 2xy^2 + xy + xy^3)K + xy^2 - 2xy + x}{1 - xy + xy^3 - xy^2K - xy^3K}$，其中 $K(x,y)$ 有闭式表达。
• 通过最后一次返回分解，推导出对应Dyck路径的排列的下降数，得到涉及 $k_{n,d}$（即具有 $d$ 个下降的此类排列数）的递推关系。
• 对于一般Dyck前缀，下降分布通过涉及 $g_{i,j}$ 和 $k_{n-i,d-1-j}$ 的卷积表达，反映了其分解为Dyck路径与提升前缀的结构。
• 计算并列出了 $t_{n,d}$（即 $C_{2n}(123)$ 中具有 $d$ 个下降的排列数）的前几项值，结果呈现出与生成函数一致的清晰模式。