[논문 리뷰] A note on Stirling permutations

Ira M. Gessel|arXiv (Cornell University)|2020. 05. 08.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 11

한 줄 요약

이 논문은 리오르단과 도나게이의 스틸링 순열과 오일러 다항식을 연결하는 항등식을 일반화하여 r-순열 프레임워크와 트리 기반 분해를 도입한다. 기능적 미분 방정식을 유도하고, r > s일 때 r-순열과 s-순열의 생성함수 사이의 핵심 조합 관계를 수립함으로써, 포타와 스티르헬의 결과를 r-트리와 s-스켈레톤을 통해 고차원 순열로 확장한다.

ABSTRACT

In this note we generalize an identity of John Riordan and Robert Donaghey relating the enumerator for Stirling permutations to the Eulerian polynomials.

연구 동기 및 목표

• 스틸링 순열과 오일러 다항식을 연결하는 리오르단과 도나게이의 항등식을 r > 2인 고차원 r-순열로 일반화한다.
• r-순열의 구조와 내림차순을 코딩하는 트리 기반 조합 모델(r-트리)을 개발한다.
• r-순열의 지수 생성함수와 s-순열의 지수 생성함수 사이의 기능적 방정식을 수립한다. 여기서 s < r이다.
• r-트리의 s-스켈레톤 구조를 사용하여 포타와 스티르헬의 내림차순 분석을 r-순열로 확장한다.
• 반복 요소를 가진 다중집합 순열에서 내림차순 통계를 연구하기 위한 통합 프레임워크를 제공한다.

제안 방법

• r-순열을 {1^r, 2^r, ..., n^r}의 다중집합의 순열로 정의하며, 스틸링 조건을 만족한다: i < j < k 이고 a_i = a_k 이면 a_j ≥ a_i 이다.
• 내림차순 수 d(π)를 a_i > a_{i+1}인 위치 i의 수로 정의하며, 비어 있지 않은 수열의 끝에 추가로 내림차순을 고려한다.
• A^{(r)}(z) = ∑_{n≥0} A_n^{(r)}(t) z^n / n! 으로 지수 생성함수를 구성한다. 여기서 A_n^{(r)}(t)는 Q_n^{(r)} 내의 내림차순을 위한 생성다항식이다.
• 각 기호의 첫 번째 발생을 제거함으로써 r-순열을 분해하여 r+1개의 r-순열을 얻는다. 이를 기반으로 A^{(r)}(z)에 대한 미분 방정식을 도출한다.
• 각 r-순열을 (r+1)-진 증가 트리 T(π)로 표현한다. 여기서 내림차순은 마지막 자식이 비어 있는 노드에 해당한다.
• r-트리의 s-스켈레톤을 정의한다. 각 노드의 첫 r−s개의 자식을 제거함으로써 형성되며, 스켈레톤과 제거된 부분 트리의 내림차순 수가 유지된다.

실험 결과

연구 질문

• RQ1 리오르단과 도나게이의 스틸링 순열에 대한 항등식을 r > 2인 r-순열로 어떻게 일반화할 수 있는가?
• RQ2 s < r일 때 지수 생성함수 A^{(r)}(z)와 A^{(s)}(z) 사이의 기능적 관계는 무엇인가?
• RQ3 트리 표현을 통해 r-순열의 내림차순 구조는 어떻게 코딩하고 분석할 수 있는가?
• RQ4 r-트리의 s-스켈레톤은 원래 r-순열의 내림차순 수를 어떻게 유지하는가?
• RQ5 트리 기반 분해를 사용하여 포타와 스티르헬의 오일러 다항식 결과를 고차원 순열로 확장할 수 있는가?

주요 결과

• 논문은 기능적 방정식 A^{(r)}(z) = A^{(s)}( ∫[A^{(r)}(z)]^{r−s} dz ) 를 수립한다. 적분은 0에서 z까지이며, 함수의 복합이 적용된다.
• r = 2이고 s = 1일 때 이는 리오르단과 도나게이의 원래 항등식으로 축소되며, 이는 이전 결과와의 일관성을 확인한다.
• r-순열 π의 내림차순 수는 그 s-스켈레톤과 제거된 부분 트리의 내림차순 수의 합과 같다. 이는 재귀적 내림차순 수 계산이 가능하게 한다.
• r-순열 π의 트리 표현 T(π)는 (r+1)-진 증가 트리이며, 내림차순은 마지막 자식이 비어 있는 노드에 해당한다.
• r-순열을 r+1개의 r-순열로 분해함으로써, 미분 방정식 d/dz A^{(r)}(z) = [A^{(r)}(z)]^r [A^{(r)}(z) − 1] + t [A^{(r)}(z)]^r 이 도출된다.
• 0-순열(일반 순열)에 해당하는 생성함수 A^{(0)}(z) = 1 + t(e^z − 1) 는 이 프레임워크의 기저 사례를 확인한다.