[论文解读] Recursions for Excedance number in some permutations groups

Eli Bagno, David Garber+2 more|ArXiv.org|Feb 15, 2007

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

一句话总结

本文为对称群 $S_n$ 中超越数的欧拉分布提供了一种直接的递归证明，将其扩展至彩色排列群 $G_{r,n}$（包括超八面体群 $B_n$）。该研究建立了与第二类斯特林数的联系，证明了某种超越统计量的对数凹性，并展示了 $G_{r,n}$ 中超越数的生成函数具有对称性，即 $a_i = a_{rn-1-i}$。

ABSTRACT

The excedance number for S_n is known to have an Eulerian distribution. Nevertheless, the classical proof uses descents rather than excedances. We present a direct recursive proof which seems to be folklore and extend it to the colored permutation groups G_r,n. The generalized recursion yields some interesting connection to Stirling numbers of the second kind. We also show some logconcavity result concerning a variant of the excedance number. Finally, we show that the generating function of the excedance number defined on G_r,n is symmetric.

研究动机与目标

• 通过仅使用超越数而不依赖下降数论证的方式，为 $S_n$ 中超越数的欧拉分布提供一种直接的递归证明。
• 将此递归结构推广至彩色排列群 $G_{r,n} = \mathbb{Z}_r \wr S_n$，包括超八面体群 $B_n$。
• 探索超越数递归与第二类斯特林数之间的联系。
• 为 $G_{r,n}$ 中超越统计量的一种变体建立对数凹性结果。
• 证明 $G_{r,n}$ 上超越数的生成函数具有对称性，即 $a_i = a_{rn-1-i}$。

提出的方法

• 直接从超越数计数推导出 $S_n$ 中具有 $k$ 个超越数的排列数的递归公式，避免使用基于下降数的证明。
• 通过使用颜色有序字母表，并基于颜色顺序定义超越数：$1^{[r-1]} < \cdots < n^{[r-1]} < \cdots < 1 < \cdots < n$，将该递归推广至 $G_{r,n}$。
• 超越数 $\mathrm{exc}(\pi)$ 定义为集合 $\{i \in [n] \mid \pi(i) > i\}$ 的大小，其中顺序由颜色顺序决定。
• 在 $G_{r,n}$ 上构造一个双射 $\pi \mapsto \pi'$，使得 $\pi$ 中的超越数对应于 $\pi'$ 中的非超越数，反之亦然，从而证明生成函数的对称性。
• 对数凹性的证明使用数学归纳法和递归式的代数变形，依赖于假设 $D_k^2 \geq D_{k-1}D_{k+1}$。
• 与第二类斯特林数的联系源于 $G_{r,n}$ 中广义递归的结构。

实验结果

研究问题

• RQ1 能否在不依赖下降数或下降数双射的情况下，为 $S_n$ 中超越数的欧拉分布构造一种直接的递归证明？
• RQ2 如何将 $S_n$ 中超越数的经典递归推广至彩色排列群 $G_{r,n}$？
• RQ3 在 $G_{r,n}$ 的超越数递归与组合数（如第二类斯特林数）之间存在何种联系？
• RQ4 在 $G_{r,n}$ 中，是否存在某种超越统计量变体的对数凹性？若存在，其条件是什么？
• RQ5 在 $G_{r,n}$ 上，超越数的生成函数是否具有对称性，即对所有 $i \leq \lfloor (rn-1)/2 \rfloor$ 是否有 $a_i = a_{rn-1-i}$ 成立？

主要发现

• 通过仅使用超越数计数，避免基于下降数的论证，成功建立了 $S_n$ 中超越数分布的直接递归证明。
• 该递归被成功推广至 $G_{r,n}$，包括超八面体群 $B_n = G_{2,n}$，得到了一个广义的递推关系。
• 广义递归揭示了与第二类斯特林数之间非平凡的联系。
• 在序列 $D_k$ 对数凹性的假设下，证明了 $G_{r,n}$ 中某种超越统计量变体的对数凹性结果。
• 证明了生成函数 $\sum_{\pi \in G_{r,n}} q^{\mathrm{exc}(\pi)}$ 具有对称性：对所有 $i \in \{1, \dots, \lfloor (rn-1)/2 \rfloor\}$，有 $a_i = a_{rn-1-i}$。
• 在 $G_{r,n}$ 上明确定义了一个具体的双射 $\pi \mapsto \pi'$，该双射交换了超越数与非超越数，从而为生成函数的对称性提供了组合证明。