[논문 리뷰] A family of symmetric functions associated with Stirling permutations

Rafael S. González D’León|arXiv (Cornell University)|2015. 06. 04.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 4

한 줄 요약

이 논문은 스틸링 순열과 관련된 대칭 함수의 가족을 제안하며, 완전 동차 및 기본 대칭 함수를 포함하는 고전적 항등식을 일반화한다. 지수 생성 함수를 사용하여, 이러한 대칭 함수와 오일러 다항식, r-스틸링 순열의 조합론 간의 새로운 항등식을 수립한다. 주요 결과로는 정밀한 내림차순, 상승, 평탄한 통계의 등분포성과 모듈리 공간 및 자유 리 대수와의 연결이 드러나 있다.

ABSTRACT

We present exponential generating function analogues to two classical identities involving the ordinary generating function of the complete homogeneous symmetric functions. After a suitable specialization the new identities reduce to identities involving the first and second order Eulerian polynomials. The study of these identities led us to consider a family of symmetric functions associated with a class of permutations introduced by Gessel and Stanley, known in the literature as Stirling permutations. In particular, we define certain type statistics on Stirling permutations that refine the statistics of descents, ascents and plateaux and we show that their refined versions are equidistributed, generalizing a result of Bóna. The definition of this family of symmetric functions extends to the generality of $r$-Stirling permutations. We discuss some occurrences of these symmetric functions in the cases of $r=1$ and $r=2$.

연구 동기 및 목표

• 일반적인 생성 함수에서 지수 생성 함수로의 고전적 대칭 함수 항등식의 확장.
• 스틸링 순열과 그 r-일반화와 관련된 새로운 대칭 함수 가족의 정의 및 연구.
• 기본 순열에서의 내림차순, 상승, 평탄한 통계의 등분포 결과를 스틸링 순열의 정밀 통계로 일반화.
• 이러한 대칭 함수와 자유 리 대수, 안정 곡선의 모듈리 공간과 같은 대수적 구조 간의 연결 탐색.
• 결과가 r ≥ 3인 r-스틸링 순열로도 확장되는지 조사.

제안 방법

• 완전 동차 및 기본 대칭 함수를 포함하는 고전적 대칭 함수 항등식의 지수 생성 함수 형태 유도.
• 연속적인 상승 유형을 기반으로 스틸링 순열에서 내림차순, 상승, 평탄한 통계의 정밀화 도입.
• B. 드레이크의 복합 역함수 이론을 통한 조합적 해석을 활용하여 주요 항등식(정리 2.5)을 포스셋 위상수학 없이 증명.
• 대칭 함수와 자유 다브라켓 리 대수의 다중선형 성분 간의 연결 수립.
• 결과를 적용하여 모듈리 공간 $\overline{M_{0,n}}$의 일반화된 웨일-피터슨 부피에 대한 닫힌 공식 유도.
• r-스틸링 순열로의 프레임워크 확장 및 r ≥ 3에 대한 잠재적 일반화 논의.

실험 결과

연구 질문

• RQ1 대칭 함수의 지수 생성 함수 항등식이 일반 생성 함수에서 지수 생성 함수로 일반화될 수 있는가?
• RQ2 스틸링 순열에서의 정밀 통계—내림차순, 상승, 평탄함—이 고전적 순열과 동일한 방식으로 등분포하는가?
• RQ3 r ≥ 3인 경우 $\mathop{\rm SP}\nolimits^{(r)}_n(\mathbf{x})$ 대칭 함수가 조합적 또는 대수적 맥락에서 자연스럽게 나타나는가?
• RQ4 모든 최대 간격의 모비우스 불변량이 $\mathop{\rm SP}\nolimits^{(r)}_n(\mathbf{x})$로 주어지는 포스셋 가족 $P(n,r)$이 존재하는가?
• RQ5 $\{\mathop{\rm SP}\nolimits^{(r)}_\lambda(\mathbf{x}) \mid \lambda \vdash n\}$ 집합이 r ≥ 3일 때 $\Lambda_{\mathbb{Q}}$의 n번째 등급 성분의 기저가 되는가?

주요 결과

• 논문은 $\sum_{n \geq 0} (-1)^n h_n(\mathbf{x}) \frac{y^n}{n!}$의 역함수가 $\sum_{n \geq 0} \sum_{\sigma \in \mathfrak{S}_n} e_{\lambda(\sigma)}(\mathbf{x}) \frac{y^n}{n!}$임을 증명하며, 고전적 항등식을 일반화한다.
• 지수 생성 함수 $\sum_{n \geq 1} (-1)^{n-1} h_{n-1}(\mathbf{x}) \frac{y^n}{n!}$의 복합 역함수는 $\sum_{n \geq 1} \sum_{\theta \in \mathcal{Q}_{n-1}} e_{\lambda(\theta)}(\mathbf{x}) \frac{y^n}{n!}$로 나타나며, 여기서 $\mathcal{Q}_n$은 $\{1,1,2,2,\dots,n,n\}$의 스틸링 순열의 집합이다.
• 유형 $\lambda^{\text{AA}}, \lambda^{\text{DA}}, \lambda^{\text{TN}}, \lambda^{\text{IN}}$을 통한 정밀 내림차순, 상승, 평탄한 통계는 등분포하며, 보나의 결과를 일반화한다.
• $\mathop{\rm SP}\nolimits^{(2)}_n(\mathbf{x})$ 대칭 함수는 $\overline{M_{0,n}}$의 일반화된 웨일-피터슨 부피의 생성 함수이며, 승수 기저에서 표현된다.
• $\mathop{\rm SP}\nolimits^{(1)}_n(\mathbf{x})$와 $\mathop{\rm SP}\nolimits^{(2)}_n(\mathbf{x})$는 $\Lambda_{\mathbb{Q}}$의 생성자임을 증명하며, 가중치 분할 포스셋의 최대 간격의 모비우스 불변량을 계산한다.
• 논문은 $\lambda$로 합이 주어진 k-튜플의 분할을 통한 합으로 $WP(\lambda)$, 즉 고차원 웨일-피터슨 부피에 대한 닫힌 공식을 제공하며, 다항계수와 계승 계수를 포함한다.