[논문 리뷰] The Descent Set and Connectivity Set of a Permutation

Richard P. Stanley|ArXiv.org|2005. 07. 11.

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

한 줄 요약

이 논문은 순열 $w$의 연결성 집합 $C(w)$를 도입하며, 행렬 역행렬 관계를 통해 고전적 내림차수 집합 $D(w)$와의 이중성을 설정한다. $C(w)$와 $D(w)$의 공동 분포는 $\eta(S)$의 유리 함수를 항으로 갖는 행렬의 $q$-해석으로 제어되며, 주요 결과로는 $\overline{S} \cap T = \emptyset$일 때 $A(q)_{ST} = q^{z(T)} \eta(\overline{S},q)/\eta(\overline{T},q)$임을 보이고, 이중성 관계의 $q$-해석을 제공한다.

ABSTRACT

The descent set D(w) of a permutation w of 1,2,...,n is a standard and well-studied statistic. We introduce a new statistic, the connectivity set C(w), and show that it is a kind of dual object to D(w). The duality is stated in terms of the inverse of a matrix that records the joint distribution of D(w) and C(w). We also give a variation involving permutations of a multiset and a q-analogue that keeps track of the number of inversions of w.

연구 동기 및 목표

• 연결성 집합 $C(w)$를 정의하고, 고전적 내림차수 집합 $D(w)$와 이중적인 새로운 통계량으로서 연구한다.
• 행렬 역행렬과 공동 분포 분석을 통해 $C(w)$와 $D(w)$ 사이의 이중성을 수립한다.
• 순열의 역전수를 추적하는 $q$-해석으로 이중성을 확장한다.
• $C(w)$와 $D(w)$가 주어진 순열의 수와 그 $q$-가중치 변형에 대한 명시적 공식을 제공한다.

제안 방법

• 연결성 집합을 $C(w) = \{i : a_j < a_k \text{ for all } j \leq i < k\}$로 정의하여, 순열이 '연결되어 있는' 위치를 포괄한다.
• $S = \{i_1 < \cdots < i_k\} \subseteq [n-1]$에 대해 함수 $\eta(S) = i_1! (i_2 - i_1)! \cdots (n - i_k)!$를 도입하며, 이는 순열의 블록 크기를 코딩한다.
• $A_{ST} = \#\{w : \overline{S} \subseteq C(w), T \subseteq D(w)\}$로 정의하고, $\overline{S} \cap T = \emptyset$이면 $A_{ST} = \eta(\overline{S}) / \eta(\overline{T})$임을 증명한다. 그렇지 않으면 0이다.
• $q$-해석 $A(q)_{ST}$, $\Gamma(q)_{ST}$, $B(q)_{ST}$를 도입하여, 순열을 $q^{\mathrm{inv}(w)}$ 즉, 역전수의 수로 가중치를 부여한다.
• $\overline{S} \cap T = \emptyset$일 때 $A(q)_{ST} = q^{z(T)} \eta(\overline{S},q)/\eta(\overline{T},q)$임을 증명하며, $z(T)$는 $T \subseteq D(w)$를 만족하는 순열의 최소 역전수를 뜻한다.
• 역행렬 관계를 수립: $A(q)^{-1}_{ST} = (-1)^{\#S + \#T} A(1/q)_{ST}$이며, $B(q)^{-1}$ 및 $\Gamma(q)^{-1}$에 대해서도 유사한 공식이 성립한다.

실험 결과

연구 질문

• RQ1 연결성 집합 $C(w)$는 어떻게 정의되며, 내림차수 집합 $D(w)$와의 조합론적 의미는 무엇인가?
• RQ2 통계량 $C(w)$와 $D(w)$ 사이에 이중성이 존재하는가? 만약 존재한다면, 이중성은 어떤 행렬 관계에 의해 표현되는가?
• RQ3 역전수의 수를 추적하는 $q$-해석으로 이중성을 확장할 수 있는가?
• RQ4 $C(w)$와 $D(w)$의 정확한 공동 분포는 무엇이며, 이는 행렬 $A(q)_{ST}$에 어떻게 표현되는가?
• RQ5 $공동 분포 행렬의 $q$-해석에 대한 역행렬 관계는 무엇인가?

주요 결과

• 순열 $w \in \mathfrak{S}_n$ 중에서 $S \subseteq C(w)$인 순열의 수는 정확히 $\eta(S)$이며, 여기서 $\eta(S)$는 $S$에 의해 정의된 블록 크기의 팩토리얼 곱이다.
• 순열 $w \in \mathfrak{S}_n$ 중에서 $T \supseteq D(w)$인 순열의 수는 $n! / \eta(S)$이며, 이는 $C$와 $D$ 사이의 역수적 이중성을 보여준다.
• $A_{ST} = \#\{w : \overline{S} \subseteq C(w), T \subseteq D(w)\}$에 대해, $\overline{S} \cap T = \emptyset$이면 $\eta(\overline{S}) / \eta(\overline{T})$이며, 그렇지 않으면 0이다.
• $\overline{S} \cap T = \emptyset$일 때 $q$-해석 $A(q)_{ST}$는 $q^{z(T)} \eta(\overline{S},q)/\eta(\overline{T},q)$와 같다. 여기서 $z(T)$는 $T \subseteq D(w)$를 만족하는 순열의 최소 역전수를 뜻한다.
• $q$-행렬 $A(q)$의 역행렬은 $A(q)^{-1}_{ST} = (-1)^{\#S + \#T} A(1/q)_{ST}$를 만족하며, 이는 역행렬에 대한 기능적 방정식을 수립한다.
• $\Gamma(q)$의 역행렬은 $\Gamma(q)^{-1}_{ST} = (-1)^{\#S + \#T} \Gamma(1/q)_{ST}$를 만족하며, 이는 $q \to 1/q$에 대한 대칭성을 보여준다.