[논문 리뷰] Generator Sets for the Alternating Group

Aviv Rotbart|arXiv (Cornell University)|2010. 10. 26.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 7

한 줄 요약

이 논문은 코x터 군에서 반사의 역할을 하는, 형태가 팰린드롬인 곱 $(1,2)(i,j)$로 구성된 생성집합을 사용하여 대칭군 $A_n$을 연구한다. 이 집합에 대한 길이 함수의 조합적 특성화를 제공하고, 그 생성함수를 유도하며, 브로더의 2-제한 스틸링 수 제1종과 정확한 연결 고리를 설정한다. 이로써 $A_n$에서 길이 $k$인 순열의 수가 2-제한 스틸링 수 $\genfrac{[}{]}{0.0pt}{}{n}{n-k}_2$와 같다는 것을 증명한다. 또한 길이 함수의 기대값과 분산을 계산하여, $n$이 증가함에 따라 분산이 $H_n - H_{n,2} - \frac{1}{4}$로 수렴함을 보인다.

ABSTRACT

Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev-Roichman, Vershik-Vserminov and others. In a recent work of Brenti- Reiner-Roichman it is explained that palindromes in Mitsuhashi's generating set play a role similar to that of re ections in a Coxeter system. We study in detail the length function with respect to the set of palindromes. Results include an explicit combinatorial description, a generating function, and an interesting connection to Broder's restricted Stirling numbers.

연구 동기 및 목표

• 코x터 군의 반사 역할을 하는 생성집합을 사용하여 $A_n$을 연구함으로써, $A_n$이 코x터 군이 아니라는 점을 감안하여도 유사한 성질을 가지는가를 탐구한다.
• 미츠하시의 생성자에서 유도된 팰린드롬으로 이루어진 집합 $T(A_n) = \{ (1,2)(i,j) \mid 1 \leq i < j \leq n \}$에 대한 길이 함수의 조합적 기술을 제공한다.
• 주어진 길이를 가진 순열의 수와 브로더의 2-제한 스틸링 수 제1종 사이의 정확한 연결 고리를 설정한다.
• 생성집합 $T(A_n)$에 대한 길이 함수의 기대값과 분산을 계산하고, 길이 분포에 대한 생성함수를 유도한다.

제안 방법

• 논문은 주로 $\prod_{t=2}^{n-1}(1 + tx)$ 형태의 곱을 다루는 생성함수 기법을 사용하여 $A_n$ 내 길이 분포를 모델링한다.
• 순열 통계와 순환 수에 관한 기존 결과를 적용하며, 특히 $S_n$에서 전치 길이에 대해 $\ell_T(v) + \text{cyc}(v) = n$이라는 항등식을 활용한다.
• 핵심 방법은 $A(n,k) \to P(n,n-k)$ 형태의 전단사 사상 $f$를 구성하는 것으로, 여기서 $P(n,k)$는 순환 수가 $k$이고 1과 2가 다른 순환에 속하는 $S_n$의 순열의 집합이다. 이를 통해 제한된 스틸링 수와의 연결 고리를 증명한다.
• 재귀관계 $a(n,k) + a(n,k-1) = \genfrac{[}{]}{0.0pt}{}{n}{n-k}_2 + \genfrac{[}{]}{0.0pt}{}{n}{n-k+1}_2$를 확인하기 위해 귀납법과 생성함수의 대수적 변환을 사용한다.
• 기대값과 분산을 도출하기 위해 생성함수의 일阶 및 이阶 도함수를 계산하며, 조화수 $H_n$과 일반화된 조화수 $H_{n,2}$를 활용한다.

실험 결과

연구 질문

• RQ1 생성집합 $T(A_n) = \{ (1,2)(i,j) \mid 1 \leq i < j \leq n \}$에 대한 $A_n$의 길이 함수의 조합적 구조는 어떻게 되는가?
• RQ2 길이 $k$인 $A_n$의 순열 수는 알려진 조합적 수열, 특히 제한된 스틸링 수와 어떻게 관련이 있는가?
• RQ3 생성집합 $T(A_n)$에 대한 길이 함수의 기대값과 분산은 무엇이며, $n$에 따라 어떻게 변화하는가?
• RQ4 이 생성집합을 사용하여 $A_n$의 원소에 대한 표준형을 정의할 수 있으며, 이는 순환 구조와 어떻게 관련이 있는가?
• RQ5 주어진 길이를 가진 $A_n$의 순열과 특정 순환 및 지지집합 제약 조건을 만족하는 $S_n$의 순열 사이에 전단사 대응이 존재하는가?

주요 결과

• 생성집합 $T(A_n)$에 대한 $A_n$ 내 길이 $k$인 순열의 수는 정확히 2-제한 스틸링 수 제1종과 일치한다: $0 \leq k \leq n-2$일 때 $a(n,k) = \genfrac{[}{]}{0.0pt}{}{n}{n-k}_2$이다.
• 길이 함수 $\ell_{T(A_n)}$의 기대값은 $n - H_n - \frac{1}{2}$이며, 여기서 $H_n$은 $n$번째 조화수이다.
• 길이 함수의 분산은 $H_n - H_{n,2} - \frac{1}{4}$이며, $H_{n,2}$는 2차 일반화된 조화수를 나타낸다.
• 길이 분포의 생성함수는 $\prod_{t=2}^{n-1}(1 + tx)$이며, 이 함수의 도함수를 사용하여 모멘트를 계산한다.
• 길이 $k$인 $A_n$의 순열 집합과 순환 수가 $n-k$이고 1과 2가 다른 순환에 속하는 $S_n$의 순열 집합 사이에 전단사 증명이 확립되었다.
• 생성집합 $T(A_n)$에 대한 $A_n$ 원소의 표준형은 유일하며, 순환 분해와 전치 길이의 기수성과 관련이 있다.