[論文レビュー] 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年のこの決定的業績は、Eulerian多項式の幾何的・代数的基礎を確立し、その対称性、再帰的性質、および降下数、上昇数、$r$-超過数といった置換統計量との関係を導入する。主な貢献は、Eulerian多項式と三角関数的母関数を結ぶ統一的枠組みを提供し、$(-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

研究の動機と目的

• 置換統計量に基づくEulerian多項式の包括的な幾何的・代数的理論を確立すること。
• Eulerian数、Stirling数、Worpitzkyの恒等式に関する結果を統一・一般化すること。
• Eulerian多項式の係数の組合せ的解釈を、特定の降下数・上昇数パターンを持つ置換の個数として明確化すること。
• Eulerian多項式の指数的母関数およびその高階一般化を導出し、証明すること。
• Eulerian多項式の交互和が $\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の公式および分割合成を用いて、逆数恒等式および行列式・パーマネントの関係を導出する。
• $r$-超過数を用いて高階Eulerian多項式 $^rA_n(t)$ を定義し、Worpitzkyの恒等式を一般化する。
• 理論を応用して、制限付き位置を持つ置換を数える変種 $B_n(t)$ の母関数を導出する。
• 形式的べき級数および対称関数技法を用いて、対称性および再帰的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 Eulerian多項式は、置換における降下数や上昇数とどのように関係しているか？
• RQ2 Eulerian多項式の指数的母関数は何か？ そして、それが置換統計量をどのように符号化するか？
• RQ3 交互和 $A_n(-1)$ および $B_n(-1)$ は、$\tan u$ や $\sec u$ といった三角関数とどのように関係するか？
• RQ4 係数 $A_{n,k}$ の組合せ的解釈は、$r$-超過数および制限付き位置を持つ置換とどのように関係するか？
• RQ5 Worpitzkyの恒等式およびFrobeniusの公式を、高階Eulerian多項式へどのように一般化できるか？

主な発見

• 指数的母関数 $ \sum_{n \geq 0} A_n(t) \frac{u^n}{n!} = \frac{1-t}{e^{u(t-1)} - t} $ は、Eulerian多項式を完全に特徴付ける。
• 多項式 $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}$ を満たし、これは基本的変換から導出される。
• Frobeniusの公式 $A_n(t) = \sum_{k=0}^{n-1} (n-k)! (t-1)^k S(n,n-k)$ は、Eulerian多項式を第二種Stirling数を用いて表現する。