[논문 리뷰] A bijective proof of an unusual symmetric group generating function

Mike Zabrocki|ArXiv.org|2003. 10. 19.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 3

한 줄 요약

이 논문은 대칭군의 생성함수 항등식에 대해, 내림차순에 기반한 새로운 통계량 baj(σ)를 정의하여 이에 대한 전단사 증명을 제시한다. 저자들은 σₙ = k인 순열 σ ∈ Sₙ과 0 ≤ rᵢ < i인 정수열 (r₁,…,rₙ₋₁) 사이에 무게를 유지하는 전단사 사상(전단사)을 구성하였으며, 이 사상에서 baj(σ) − inv(σ) = ∑(n−i)rᵢ임을 보였다. 이는 스템브리지가 제안한 Weyl 군 생성함수에 대한 추측의 특수한 경우를 해결한다.

ABSTRACT

For $σ\in S_n$, let $D(σ) = \{i : σ_{i} &gt; σ_{i+1}\}$ denote the descent set of $σ$. The length of the permutation is the number of inversions, denoted by $inv(σ) = \big | \{(i,j) : i σ_j\} \big |$. Define an unusual quadratic statisitic by $baj(σ) = \sum_{i \in D(σ)} i (n-i)$. We present here a bijective proof of the identity $\sum_{{σ\in S_n} \atop {σ(n) = k}} q^{baj(σ) - inv(σ)} = \prod_{i=1}^{n-1} {1-q^{i (n-i)} \over {1-q^i}}$ where $k$ is a fixed integer.

연구 동기 및 목표

• 순열에 대한 이차 통계량 baj(σ)를 포함한 대칭군 생성함수 항등식에 대한 전단사 증명을 제공한다.
• A_{n−1} 근계에 대한 존 스템브리지가 제시한 Weyl 군 생성함수 항등식의 특수한 경우를 해결한다.
• 고정된 마지막 원소를 가진 순열과 유계된 원소를 가진 정수열 (r₁,…,rₙ₋₁) 사이에 무게를 유지하는 전단사 사상을 확립한다.
• baj(σ) − inv(σ)가 (r₁,…,rₙ₋₁)에 대한 선형 형식과 같음을 보여, 생성함수 항등식을 유도한다.

제안 방법

• D(σ)를 σ의 내림차순 집합으로 정의하고, baj(σ) = ∑_{i∈D(σ)} i(n−i)로 정의한다.
• 순열을 vᵢ가 첫 번째 i개 위치에 속하는 σᵢ 이하의 원소 수인 (v₁,…,vₙ)의 형태로 표현한다.
• 각 i = 1,…,n−1에 대해 rᵢ = iχ(vᵢ₊₁ ≤ vᵢ) + vᵢ₊₁ − vᵢ − 1로 정의함으로써 전단사 사상을 구성한다.
• σₙ = k일 때, v-시퀀스의 재귀적 재구성 기법을 사용하여 σ에서 (r₁,…,rₙ₋₁)로의 사상이 가역적임을 보인다.
• inv(σ) = (n+1 선택 2) − ∑vᵢ라는 항등식을 사용한 대수적 변환을 통해 baj(σ) − inv(σ) = ∑_{i=1}^{n−1} (n−i)rᵢ임을 증명한다.
• 전단사와 무게 유지 성질을 통해 σₙ = k인 순열에 대한 생성함수와 ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i)의 곱이 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 생성함수 항등식 ∑_{σ:σₙ=k} q^{baj(σ)−inv(σ)} = ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i)에 대해 전단사 증명을 구성할 수 있는가?
• RQ2 baj(σ) − inv(σ)의 조합론적 해석은 순열의 구조적 특성과 어떻게 관련되는가?
• RQ3 고정된 마지막 원소를 가진 순열과 0 ≤ rᵢ < i인 정수열 (r₁,…,rₙ₋₁) 사이에 무게를 유지하는 전단사 사상이 존재하는가?
• RQ4 v-sequence (v₁,…,vₙ)는 r-sequence와 vₙ = k로부터 어떻게 재구성할 수 있는가?
• RQ5 이 항등식은 모든 n과 k ∈ {1,…,n}에 대해 성립하는가? 그리고 A_{n−1} 근계 생성함수로부터 유도될 수 있는가?

주요 결과

• 생성함수 ∑_{σ:σₙ=k} q^{baj(σ)−inv(σ)}는 k에 관계없이 ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i)와 같다.
• σₙ = k인 순열과 0 ≤ rᵢ < i인 수열 (r₁,…,rₙ₋₁) 사이의 전단사는 통계량 baj(σ) − inv(σ)에 대해 무게를 유지한다.
• 정의된 전단사 사상 하에서, baj(σ) − inv(σ)는 ∑_{i=1}^{n−1} (n−i)rᵢ와 같다.
• v-sequence (v₁,…,vₙ)는 (r₁,…,rₙ₋₁)과 vₙ = k로부터 χ(vᵢ₊₁ ≤ vᵢ) 기반의 재귀 공식을 사용해 재구성할 수 있다.
• σₙ = k인 순열의 수는 0 ≤ rᵢ < i인 수열 (r₁,…,rₙ₋₁)의 수와 같으며, 이는 전단사 사상이 크기를 유지함을 확인한다.
• 고정된 k의 경우를 바탕으로, 전체 대칭군에 대해 ∑_{σ∈Sₙ} q^{baj(σ)−inv(σ)} = n × ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i)로 일반화할 수 있다.