[논문 리뷰] Théorie Géométrique des Polynômes Eulériens

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

Advanced Mathematical Identities인용 수 15

한 줄 요약

1970년도의 이 논문은 Foata와 Sch"utzenberger가 오일러 다항식의 기하학적 및 대수적 기초를 수립하며, 그 대칭성, 재귀성, 그리고 내림차순, 상승수, $r$-초월성과 같은 순열 통계와의 연결 고리를 제시한다. 주요 기여는 오일러 다항식을 삼각함수 생성함수와 연결하는 통합 프레임워크를 제공한 것으로, $(-1)^{p-1}A_{2p-1}(-1)$ 및 $(-1)^pB_{2p}(-1)$가 교차하는 순열의 수를 나타내며, 직접적으로 탄젠트와 Secant 수와 연결됨을 증명한다.

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

연구 동기 및 목표

• 순열 통계에 기반한 오일러 다항식의 체계적인 기하학적 및 대수적 이론을 수립하기 위해.
• 오일러 수, 스타링 수, 워피츠키 항등식의 결과를 통합하고 일반화하기 위해.
• 오일러 다항식의 계수에 대한 조합적 해석을 명확히 하여 내림차순 또는 상승 패턴을 갖는 순열의 수로 해석하기 위해.
• 오일러 다항식의 지수 생성함수와 그 고차원 일반화를 유도하고 증명하기 위해.
• 오일러 다항식의 교차 합이 $\tan u$ 및 $1/\cos u$의 테일러 급수 계수와 어떻게 연결되는지 밝히기 위해.

제안 방법

• 초월성과 내림차순 간의 기본 변환을 도입하여 조합적 전단사를 가능하게 한다.
• 지수 생성함수 $ \frac{1-t}{e^{u(t-1)} - t} = \sum_{n \geq 0} A_n(t) \frac{u^n}{n!} $를 중심 분석 도구로 사용한다.
• 허리츠 공식과 분할된 합성법을 적용하여 역행 항등식과 행렬식-행렬식 관계를 도출한다.
• 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 워피츠키 항등식과 프로베누스 공식은 고차원 오일러 다항식으로 어떻게 일반화될 수 있는가?

주요 결과

• 지수 생성함수 $ \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)$은 오일러 다항식을 제2종 스타링 수로 표현한다.