[论文解读] The $q$-tangent and $q$-secant numbers via continued fractions

Heesung Shin, Jiang Zeng|arXiv (Cornell University)|Nov 24, 2009

Advanced Combinatorial Mathematics参考文献 15被引用 7

一句话总结

本文通过$(p,q)$-连分数展开，提出了一套统一的$q$-切线数与$q$-正割数框架，推广了欧拉切线数与正割数恒等式的两种现有$q$-模拟。通过利用包含不动点、弱上升点、交叉数、嵌套数与逆序数的五重排列统计量，推导出解析与组合证明，借助留数计算与符号相反的对合，建立了$q$-欧拉数的与奇偶性无关的公式。

ABSTRACT

It is well known that the $(-1)$-evaluation of the enumerator polynomials of permutations (resp. derangements) by the number of excedances gives rise to tangent numbers (resp. secant numbers). Recently, two distinct $q$-analogues of the latter result have been discovered by Foata and Han, and Josuat-Vergès, respectively. In this paper, we will prove some general continued fractions expansions formulae, which permits us to give a unified treatment of Josuat-Vergès' two formulae and also to derive a new $q$-analogue of the aforementioned formulae. Our approach is based on a $(p,q)$-analogue of tangent and secant numbers via continued fractions and also the generating function of permutations with respect to the quintuple statistic consisting of fixed point number, weak excedance number, crossing number, nesting number and inversion number. We also give a combinatorial proof of Josuat-Vergès' formulae by using a new linear model of derangements.

研究动机与目标

• 通过共同的$(p,q)$-连分数框架，统一两种现有的欧拉切线数与正割数恒等式的$q$-模拟。
• 通过五重统计量（不动点、弱上升点、交叉数、嵌套数、逆序数）扩展排列的生成函数，推导出新的$q$-模拟。
• 通过新的错位排列线性模型与符号相反的对合，给出乔苏瓦-伯热公式的新组合证明。
• 通过复留数分解与超几何型恒等式，推导出与奇偶性无关的$q$-欧拉数公式。

提出的方法

• 通过连分数展开，建立切线数与正割数的$(p,q)$-模拟，推广经典结果。
• 在排列上引入五重统计量：不动点数、弱上升点数、交叉数、嵌套数与逆序数。
• 使用解析技术，包括留数计算与部分分式分解，推导生成函数与闭式表达。
• 在错位排列上构造符号相反的对合$\psi$，通过消去非不动点来证明组合恒等式。
• 应用弗朗松-维诺托双射与福阿塔-齐尔伯格双射，将排列统计量与格路及连分数联系起来。
• 通过将有理生成函数分解为复部分分式并利用$q$-Pochhammer符号化简，推导出$E_n(q)$的与奇偶性无关的公式。

实验结果

研究问题

• RQ1 能否构建一个统一的$(p,q)$-连分数框架，以推广切线数与正割数的两种$q$-模拟？
• RQ2 排列上五重统计量（不动点、弱上升点、交叉数、嵌套数、逆序数）的联合分布如何与$q$-切线数与$q$-正割数相关？
• RQ3 能否通过新的错位排列线性模型与符号相反的对合，给出乔苏瓦-伯热$q$-公式的新组合证明？
• RQ4 是否存在一个与奇偶性无关的$q$-欧拉数公式，能统一偶数与奇数情形？
• RQ5 通过连分数推导出的新$q$-模拟是否与文献中的已知恒等式一致？

主要发现

• 本文通过$(p,q)$-连分数建立了一套统一的解析框架，用于$q$-切线数与$q$-正割数，推广了福阿塔-韩与乔苏瓦-伯热的$q$-模拟。
• 通过错位排列上的符号相反对合$\psi$，为乔苏瓦-伯热的公式提供了新的组合证明，其不动点对应交错排列。
• 基于五重统计量的排列生成函数，导出了统一$q$-切线与$q$-正割生成函数的$q$-欧拉多项式模拟。
• 通过复留数分解，推导出与奇偶性无关的$q$-欧拉数公式，表达为关于$m$与$k$的求和，其中包含$q$-Pochhammer符号。
• 当$q=1$时，推导出的$E_n(q)$公式退化为欧拉的原始恒等式，验证了与经典结果的一致性。
• 该方法成功证明了$\sum_{\sigma \in \mathfrak{D}_n^*} (-1)^{\operatorname{ndes}\sigma} q^{\operatorname{MAD}\sigma} = \sum_{\sigma \in \mathfrak{A}''_n} (-1)^{\operatorname{ndes}\sigma} q^{\operatorname{MAD}\sigma}$，验证了组合解释的正确性。