[논문 리뷰] Equidistribution and Sign-Balance on 321-Avoiding Permutations

Ron M. Adin, Yuval Roichman|ArXiv.org|2003. 04. 27.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 20

한 줄 요약

이 논문은 321-avoiding 순열에서 마지막 내림차순과 마지막 인덱스에서 1을 뺀 통계량 사이의 등분포를 확립하고, 이러한 순열의 부호화된 수세기와 더 작은 집합에서의 마지막 내림차순 생성함수 사이의 깊은 연결 고리를 증명한다. 다변수 재귀 생성함수와 다이크 경로로의 전단사 함수를 사용하여, $T_{2n+1}$과 $T_{2n}$에서의 부호 및 마지막 내림차순 수세기 함수가 사실상 $T_n$에서의 마지막 내림차순 수세기 함수와 같음을 보여주며, 순환 체싱 현상과 관련된 보완된 부호 균형 현상을 드러낸다.

ABSTRACT

Let $T_n$ be the set of 321-avoiding permutations of order $n$. Two properties of $T_n$ are proved: (1) The {\em last descent} and {\em last index minus one} statistics are equidistributed over $T_n$, and also over subsets of permutations whose inverse has an (almost) prescribed descent set. An analogous result holds for Dyck paths. (2) The sign-and-last-descent enumerators for $T_{2n}$ and $T_{2n+1}$ are essentially equal to the last-descent enumerator for $T_n$. The proofs use a recursion formula for an appropriate multivariate generating function.

연구 동기 및 목표

• 321-avoiding 순열과 그들의 역내림차순 클래스에서 마지막 내림차순 통계량과 마지막 인덱스에서 1을 뺀 통계량 사이의 등분포를 확립하기.
• 321-avoiding 순열의 부호화된 수세기와 더 작은 집합의 생성함수 사이의 연결 고리를 탐색하기.
• 다이크 경로로의 전단사 함수와 몫환을 통한 해석을 통해 생성함수의 대수적 및 조합적 의미를 제공하기.
• 특히 시미온과 슈마이트의 결과를 보완하고 확장하여 패턴을 피하는 순열에서의 부호 균형에 관한 이전 결과를 정교화하기.

제안 방법

• 321-avoiding 순열의 통계를 분석하기 위해 재귀적 다변수 생성함수를 개발한다.
• 321-avoiding 순열과 다이크 경로 사이에 전단사 함수 $\phi$를 구성하며, 마지막 내림차순과 마지막 인덱스 통계량을 유지한다.
• 함수 $\phi$를 사용하여 순열에서 다이크 경로로, 그리고 그 반대로 등분포 결과를 이전한다.
• 로빈슨-센슈타인-쿠퍼 대응과 대칭군의 최장 원소 $w_0$의 성질을 활용하여 증명한다.
• 몫환 $P_n / \langle QS_n \rangle$를 사용하여 대수적 해석을 유도하며, 힐버트 급수와 마지막 내림차순 통계량을 연결한다.
• 변환 $\psi(\pi) = w_0 \pi^{-1} w_0$를 사용하여 다이크 경로에서 내림차순 집합과 尾 길이를 연결한다.

실험 결과

연구 질문

• RQ1 321-avoiding 순열과 그들의 역내림차순 클래스에서 '마지막 내림차순'과 '마지막 인덱스에서 1을 뺀' 통계량이 등분포하는가?
• RQ2 321-avoiding 순열의 부호화된 수세기 함수를 더 작은 집합에서의 마지막 내림차순 생성함수와 연결할 수 있는가?
• RQ3 이 맥락에서 부호화된 통계량과 무부호 통계량을 연결하는 생성함수에 대해 조합적 또는 대수적 의미가 존재하는가?
• RQ4 321-avoiding 순열의 구조는 몫환 $P_n / \langle QS_n \rangle$의 힐버트 급수와 어떻게 관련되어 있는가?

주요 결과

• 마지막 내림차순 통계량과 마지막 인덱스에서 1을 뺀 통계량은 $T_n$과 역내림차순 집합이 고정된 부분집합 $T_n(B)$에서 등분포된다.
• $T_n$에서의 마지막 내림차순 생성함수는 길이 $2n$인 다이크 경로에서의 마지막 내림차순 통계량과 동일하다.
• 부호 및 마지막 내림차순 수세기 함수 $\sum_{\pi \in T_{2n+1}} \mathrm{sign}(\pi) q^{\mathrm{l}des(\pi)}$ 는 $\sum_{\pi \in T_n} q^{2 \cdot \mathrm{l}des(\pi)}$ 와 같다.
• 짝수 인덱스의 경우, 부호 수세기 함수는 $\sum_{\pi \in T_{2n}} \mathrm{sign}(\pi) q^{\mathrm{l}des(\pi)} = (1 - q) \sum_{\pi \in T_n} q^{2 \cdot \mathrm{l}des(\pi)}$ 를 만족한다.
• 몫환 $P_n / \langle QS_n \rangle$의 힐버트 급수는 $\sum_{\pi \in T_n} q^{\mathrm{l}des(\pi)}$ 와 같으며, 이는 생성함수의 대수적 의미를 제공한다.
• 마지막 내림차순 통계량은 전체 대칭군에서 주요 지수의 $T_n$-해석으로서, 코인variant 대수에서 주요 지수의 역할과 유사하다.