[논문 리뷰] Excedance number for involutions in complex reflection groups

Eli Bagno, David Garber외 1명|ArXiv.org|2006. 12. 07.

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

한 줄 요약

이 논문은 복소 반사군 $G_{r,p,n}$ 내의 고정원소에 대해 초과수를 정의하고 계산하며, 재귀 관계와 생성함수를 사용하여 초과수와 고정점의 다변수 분포에 대한 명시적 공식을 도출한다. 주요 결과로는 특정 초과수와 고정점 수를 갖는 고정원소의 수에 대한 닫힌 형태의 표현식이 제시되며, 특히 $r$가 홀수인지 짝수인지, $p$가 $r/2$로 나누어떨어지는지 여부에 따라 경우를 구분한다. 본 연구는 대칭군에서의 고전적 초과수 통계를 복소 반사군으로 일반화한다.

ABSTRACT

We define the excedance number on the complex reflection groups and compute its multidistribution with the number of fixed points on the set of involutions in these groups. We use some recurrence formulas and generating functions manipulations to obtain our results.

연구 동기 및 목표

• 복소 반사군 $G_{r,p,n}$ 내 고정원소에 대한 초과수를 정의하고 연구함으로써, 대칭군에서의 고전적 순열 통계를 복소 환경으로 일반화한다.
• 대칭군과 초입방체군에서의 결과를 일반화하여, $G_{r,p,n}$ 내 고정원소 집합에서의 초과수와 고정점의 다변수 분포를 계산한다.
• 이들 군 내에서 초과수와 고정점의 공동 분포에 대한 재귀 관계와 명시적 생성함수를 유도한다.
• 고정원소를 그 사이클 유형과 색상 구조에 따라 $G_{r,n}$ 및 $G_{r,p,n}$ 에서 분류함으로써 체계적인 세기 계산을 가능하게 한다.

제안 방법

• 색상 순서를 알파벳 $\Sigma = \{1, \dots, n, \bar{1}, \dots, \bar{n}, \dots, 1^{[r-1]}, \dots, n^{[r-1]}\}$ 에 정의하여 색칠된 순열에서 초과수를 계산한다.
• 색칠된 순열을 모델링하기 위해 와퍼 프로덕트 구조 $G_{r,n} = \mathbb{Z}_r \wr S_n$ 를 사용하고, 군 원소에 대한 $csum$ 불변량을 정의한다.
• 특히 고정점과 2순환에 중점을 두어 사이클 분해와 색상 행동을 분석함으로써 $G_{r,n}$ 및 $G_{r,p,n}$ 내 고정원소를 분류한다.
• $\pi(n)$ 의 작용에 따른 경우 분석을 통해 생성함수 $f_{r,p,n}(u,v,w)$ 에 대한 재귀 관계를 유도한다. 고정점, 색상-$r/2$ 고정점, 2순환을 구분한다.
• 생성함수 변환 및 지수 생성함수 기법을 적용하여 $f_{r,p,n}(u,v,w)$ 에 대한 닫힌 형태의 표현식을 유도하며, $e^{ux + \frac{1}{2}x^2((u^2 + (r-1))w^r + v)}$ 와 같은 지수 생성함수 형태를 포함한다.
• 고정 초과수 카운트를 추출하기 위해 생성함수를 특수화하여, $m$ 개의 초과수를 갖는 고정원소의 수에 대한 명시적 공식을 도출한다.

실험 결과

연구 질문

• RQ1 고전적 순열에서의 초과수 통계는 어떻게 복소 반사군 $G_{r,p,n}$ 내 고정원소로 일반화될 수 있는가?
• RQ2 고정원소 집합에서의 초과수와 고정점의 다변수 분포는 무엇이며, 이는 매개변수 $r$, $p$, $n$ 에 어떻게 의존하는가?
• RQ3 초과수와 고정점의 생성함수에 대한 재귀 관계는 $r$ 이 홀수인지 짝수인지, $p$ 가 $r/2$ 로 나누어떨어지는지 여부에 따라 어떻게 다를까?
• RQ4 특히 $r$ 이 짝수이고 $p \not\mid r/2$ 인 경우, 주어진 수의 초과수를 갖는 $G_{r,p,n}$ 내 고정원소의 수에 대해 어떤 명시적 닫힌 형태의 공식을 도출할 수 있는가?

주요 결과

• 홀수 $r$ 이고 $p \mid r$ 인 경우, $G_{r,p,n}$ 내 $m$ 개의 초과수를 갖는 고정원소의 수는 $\sum_{j=n/2}^{n} (n-j)! \binom{n}{n-j, n-j, n-2j} \left(\frac{r}{2}\right)^{n-j}$ 로 주어지며, 여기서 $k = \frac{m}{r}$ 이다.
• 짝수 $r$ 이고 $p \mid \frac{r}{2}$ 인 경우, $m$ 개의 초과수를 갖는 고정원소의 수는 $k! \binom{n}{k,k,n-2k} \left(\frac{r}{2}\right)^k$ 로 주어지며, 여기서 $k = \frac{m}{r}$ 이다.
• 짝수 $r$ 이고 $p \not\mid \frac{r}{2}$ 인 경우, $m$ 개의 초과수를 갖는 고정원소의 수는 $\frac{(m/r)!}{2^{m/r}} \binom{n}{m/r, m/r, n-2m/r} (r+1)^{m/r}$ 로 주어진다.
• 초과수와 고정점의 공동 분포를 위한 생성함수는 $e^{ux + \frac{1}{2}x^2((u^2 + (r-1))w^r + v)}$ 이며, 이는 모든 경우에 걸쳐 재귀 구조를 통합한다.
• $f_{r,p,n}(u,v,w)$ 의 재귀 관계는 $r$ 의 홀짝성과 $p$ 가 $r/2$ 로 나누어떨어지는지 여부에 따라 달라지며, 홀수 $r$, 짝수 $r$ 이고 $p \mid r/2$, 짝수 $r$ 이고 $p \not\mid r/2$ 의 경우에 대해 각각 다른 형태를 가진다.
• 명시적 공식은 생성함수에서 계수를 추출하여 도출되었으며, 특히 고정점 수를 얻기 위해 $w=1$ 을 대입하고, 초과수 수를 얻기 위해 $u=1$, $v=w^r$ 을 대입하는 방식이다.