[논문 리뷰] Recursions for Excedance number in some permutations groups

Eli Bagno, David Garber외 2명|ArXiv.org|2007. 02. 15.

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

한 줄 요약

이 논문은 대칭군 $S_n$에서 초출 수의 오일러 분포에 대한 직접적인 재귀적 증명을 제시하며, 이를 색상이 있는 순열군 $G_{r,n}$, 특히 초입방체군 $B_n$로 확장한다. 이는 스틸링 수의 제2종과의 연결을 수립하고, 변형된 초출 통계량에 대한 로그-볼록성 성질을 증명하며, $G_{r,n}$에서의 초출 수의 생성함수가 대칭적임을 보여주며, 즉 $a_i = a_{rn-1-i}$임을 증명한다.

ABSTRACT

The excedance number for S_n is known to have an Eulerian distribution. Nevertheless, the classical proof uses descents rather than excedances. We present a direct recursive proof which seems to be folklore and extend it to the colored permutation groups G_r,n. The generalized recursion yields some interesting connection to Stirling numbers of the second kind. We also show some logconcavity result concerning a variant of the excedance number. Finally, we show that the generating function of the excedance number defined on G_r,n is symmetric.

연구 동기 및 목표

• 초출 수의 오일러 분포에 대한 직접적 재귀적 증명을 제시하며, 내림막 기반의 추론을 피하고 오직 초출 수의 계수에만 의존한다.
• 기존의 $S_n$에서의 재귀적 구조를 색상이 있는 순열군 $G_{r,n} = \mathbb{Z}_r \wr S_n$로 일반화한다. 이는 초입방체군 $B_n$ 포함.
• 초출 수의 재귀적 구조와 스틸링 수의 제2종 사이의 관계를 탐색한다.
• 색상이 있는 순열군 $G_{r,n}$에서의 변형된 초출 통계량에 대한 로그-볼록성 성질을 확립한다.
• $G_{r,n}$에서의 초출 수의 생성함수가 대칭적임을 증명한다. 즉, $a_i = a_{rn-1-i}$임을 보인다.

제안 방법

• 내림막 기반의 증명을 피하고, 초출 수의 계수로부터 직접적으로 $S_n$에서 $k$개의 초출을 가진 순열의 수에 대한 재귀 공식을 유도한다.
• 색상 순서를 갖춘 알파벳을 사용하여 재귀를 $G_{r,n}$로 일반화하며, 초출을 색상 순서를 기반으로 정의한다: $1^{[r-1]} < \cdots < n^{[r-1]} < \cdots < 1 < \cdots < n$.
• 초출 수 $\mathrm{exc}(\pi)$는 색상 순서에 따라 집합 $\{i \in [n] \mid \pi(i) > i\}$의 크기로 정의된다.
• $G_{r,n}$에서 초출 수와 비초출 수를 서로 바꾸는 이분사 함수 $\pi \mapsto \pi'$를 구성하여 생성함수의 대칭성을 증명한다.
• 로그-볼록성의 증명은 귀납법과 재귀 공식의 대수적 변환을 사용하며, $D_k^2 \geq D_{k-1}D_{k+1}$라는 가정에 기반한다.
• 색상이 있는 순열군 $G_{r,n}$에서의 일반화된 재귀의 구조로부터 스틸링 수의 제2종과의 비직관적인 연결이 유도된다.

실험 결과

연구 질문

• RQ1 내림막이나 내림막으로의 이분사 함수에 의존하지 않고, $S_n$에서의 초출 수의 오일러 분포에 대한 직접적 재귀적 증명을 구성할 수 있는가?
• RQ2 기존의 $S_n$에서의 초출 수 재귀 공식을 색상이 있는 순열군 $G_{r,n}$로 어떻게 일반화할 수 있는가?
• RQ3 $G_{r,n}$에서의 초출 수 재귀와 스틸링 수의 제2종과 같은 조합적 수 사이에 어떤 연결 고리가 존재하는가?
• RQ4 색상이 있는 순열군 $G_{r,n}$에서의 변형된 초출 통계량에 대해 로그-볼록성 성질이 존재하는가? 만약 존재한다면, 어떤 조건에서 성립하는가?
• RQ5 색상이 있는 순열군 $G_{r,n}$에서의 초출 수 생성함수가 대칭적인가? 즉, 모든 $i \leq \lfloor (rn-1)/2 \rfloor$에 대해 $a_i = a_{rn-1-i}$가 성립하는가?

주요 결과

• 내림막 기반의 추론을 피하고 오직 초출 수의 계수에만 기반하여, $S_n$에서의 초출 수 분포에 대한 직접적 재귀적 증명이 확립되었다.
• 재귀 공식이 성공적으로 $G_{r,n}$로 확장되었으며, 초입방체군 $B_n = G_{2,n}$ 포함하여 일반화된 재귀 관계를 도출하였다.
• 일반화된 재귀 공식은 스틸링 수의 제2종과 비직관적인 연결 고리를 드러냈다.
• 시퀀스 $D_k$의 로그-볼록성 가정 하에, $G_{r,n}$에서의 변형된 초출 통계량에 대한 로그-볼록성 결과가 증명되었다.
• $G_{r,n}$에서의 초출 수 생성함수 $\sum_{\pi \in G_{r,n}} q^{\mathrm{exc}(\pi)}$가 대칭적임을 보였다: $i \in \{1, \dots, \lfloor (rn-1)/2 \rfloor\}$에 대해 $a_i = a_{rn-1-i}$이다.
• $G_{r,n}$에서 초출 수와 비초출 수를 서로 바꾸는 구체적인 이분사 함수 $\pi \mapsto \pi'$가 정의되었으며, 이는 생성함수의 대칭성에 대한 조합적 증명을 제공한다.