[论文解读] Théorie Géométrique des Polynômes Eulériens

Dominique Foata, Marcel-Paul Schützenberger|ArXiv.org|Aug 15, 2005

Advanced Mathematical Identities被引用 15

一句话总结

这篇1970年的开创性论文由Foata和Sch"utzenberger建立了一套关于欧拉多项式（Eulerian polynomials）的几何与代数基础，引入了其对称性、递推关系，以及与排列统计量（如下降数、上升数和$r$-超限数）的联系。其核心贡献是将欧拉多项式与三角生成函数统一起来，证明了$(-1)^{p-1}A_{2p-1}(-1)$与$(-1)^pB_{2p}(-1)$分别计数交错排列，直接将其与正切数和正割数联系起来。

ABSTRACT

This is the classical monograph on the combinatorial study of Eulerian polynomials, published in 1970. It has been retyped in TeX and made available on the web with the kind permission of Springer-Verlag. This on-line version has an ouput of 49 pages. Written in French it contains the following items: 0. Introduction to and review of the Euler Numbers 1. General properties of the systems of exceedances and rises 2. The Eulerian polynomials 3. The exponential formula 4. Generating functions for the Eulerian polynomials 5. The alternating sums A(n)(-1) and B(n)(-1) 6. References

研究动机与目标

• 基于排列统计量，建立欧拉多项式的全面几何与代数理论。
• 统一并推广关于欧拉数、斯特林数和沃皮茨基恒等式（Worpitzky's identity）的结果。
• 阐明欧拉多项式系数的组合解释，即其表示具有特定下降或上升模式的排列数量。
• 推导并证明欧拉多项式及其高阶推广的指数生成函数。
• 将欧拉多项式的交错和与$\tan u$和$1/\cos u$的泰勒级数系数联系起来。

提出的方法

• 引入排列中超限数与下降数之间的基本变换，从而实现组合双射。
• 以指数生成函数$ \frac{1-t}{e^{u(t-1)} - t} = \sum_{n \geq 0} A_n(t) \frac{u^n}{n!} $作为核心分析工具。
• 应用赫尔维茨公式（Hurwitz formula）与分拆复合（partitioned composition），推导反演恒等式与行列式-永久式关系。
• 通过$r$-超限数定义高阶欧拉多项式$^rA_n(t)$，并推广沃皮茨基恒等式。
• 将理论应用于推导$B_n(t)$的生成函数，后者用于计数具有受限位置的排列。
• 采用形式幂级数与对称函数技巧，证明对称性与递推性质。

实验结果

研究问题

• RQ1 欧拉多项式如何与排列中下降数和上升数相关联？
• RQ2 欧拉多项式的指数生成函数是什么？它如何编码排列统计量？
• RQ3 交错和$A_n(-1)$与$B_n(-1)$如何与$\tan u$和$\sec u$等三角函数相关联？
• RQ4 系数$A_{n,k}$在$r$-超限数与受限位置排列中的组合解释是什么？
• RQ5 沃皮茨基恒等式与弗罗贝尼乌斯公式（Frobenius formula）如何推广至高阶欧拉多项式？

主要发现

• 指数生成函数$ \sum_{n \geq 0} A_n(t) \frac{u^n}{n!} = \frac{1-t}{e^{u(t-1)} - t} $完全刻画了欧拉多项式。
• 多项式$A_n(t)$具有对称性：$A_n(t) = t^{n-1} A_n(t^{-1})$，其系数$A_{n,k}$表示$S_n$中具有$k$个下降数的排列数量。
• 交错和$(-1)^{p-1} A_{2p-1}(-1)$等于$S_{2p-1}$中交错排列的数量，也等于$\tan u$中$u^{2p-1}/(2p-1)!$项的系数。
• 交错和$(-1)^p B_{2p}(-1)$等于$S_{2p}$中具有特定上升-下降模式的交错排列数量，与$1/\cos u$中$u^{2p}/(2p)!$项的系数一致。
• 系数$A_{n,k}$满足递推关系$A_{n,k} = (k+1) A_{n-1,k} + (n-k) A_{n-1,k-1}$，该关系由基本变换导出。
• 弗罗贝尼乌斯公式$A_n(t) = \sum_{k=0}^{n-1} (n-k)! (t-1)^k S(n,n-k)$将欧拉多项式表示为第二类斯特林数的函数。