[논문 리뷰] Decomposition numbers for finite Coxeter groups and generalised non-crossing partitions

Christian Krattenthaler, Thomas Müller|arXiv (Cornell University)|2007. 04. 02.

Advanced Combinatorial Mathematics참고 문헌 23인용 수 6

한 줄 요약

이 논문은 유한 코x터 군에 대한 분해수를 계산한다 — 구체적으로는 특정 하위군에서 온 코x터 원소들의 곱으로 표현되는 코x터 원소의 최소 인수분해의 수를 다루며, 유형 $A_n$, $B_n$, $D_n$에 대해 명시적인 공식을 제공하고, $D_n$에 대해 새로운 결과를 도출한다. 이러한 분해수는 암스트롱의 일반화된 비교형 분할 순서집합에서 다중체인의 수를 세는 일반 공식을 유도하는 데 사용되며, 이는 모든 알려진 수열 결과를 포함하고, $D_n$ 유형에서 암스트롱의 $F=M$ 추측을 증명함으로써 모든 유형에 대해 추측을 완성한다.

ABSTRACT

Given a finite irreducible Coxeter group $W$, a positive integer $d$, and types $T_1,T_2,...,T_d$ (in the sense of the classification of finite Coxeter groups), we compute the number of decompositions $c=\si_1\si_2 cdots\si_d$ of a Coxeter element $c$ of $W$, such that $\si_i$ is a Coxeter element in a subgroup of type $T_i$ in $W$, $i=1,2,...,d$, and such that the factorisation is "minimal" in the sense that the sum of the ranks of the $T_i$'s, $i=1,2,...,d$, equals the rank of $W$. For the exceptional types, these decomposition numbers have been computed by the first author. The type $A_n$ decomposition numbers have been computed by Goulden and Jackson, albeit using a somewhat different language. We explain how to extract the type $B_n$ decomposition numbers from results of Bóna, Bousquet, Labelle and Leroux on map enumeration. Our formula for the type $D_n$ decomposition numbers is new. These results are then used to determine, for a fixed positive integer $l$ and fixed integers $r_1\le r_2\le ...\le r_l$, the number of multi-chains $π_1\le π_2\le ...\le π_l$ in Armstrong's generalised non-crossing partitions poset, where the poset rank of $π_i$ equals $r_i$, and where the "block structure" of $π_1$ is prescribed. We demonstrate that this result implies all known enumerative results on ordinary and generalised non-crossing partitions via appropriate summations. Surprisingly, this result on multi-chain enumeration is new even for the original non-crossing partitions of Kreweras. Moreover, the result allows one to solve the problem of rank-selected chain enumeration in the type $D_n$ generalised non-crossing partitions poset, which, in turn, leads to a proof of Armstrong's $F=M$ Conjecture in type $D_n$.

연구 동기 및 목표

• 유한 기약 코x터 군에 대한 분해수를 계산하는 것, 특히 $A_n$, $B_n$, $D_n$ 유형에서 분석하며, $D_n$의 결과는 새로운 것이다.
• 이 분해수와 암스트롱의 일반화된 비교형 분할 순서집합에서의 다중체인 수를 세는 것 사이의 연결 고리를 확립하는 것.
• 유도된 공식이 일반 및 일반화된 비교형 분할에 관한 모든 알려진 수열 결과를 통합하고 일반화함을 보여주는 것.
• 새로운 다중체인 수의 공식을 활용하여 $D_n$ 유형에서 암스트롱의 $F=M$ 추측을 증명함으로써 모든 유형에 걸쳐 추측을 완성하는 것.
• 암스트롱의 다른 추측, 즉 일반화된 비교형 분할 순서집합에서 최대 간격의 구조에 대한 것에 대응하는 것.

제안 방법

• 유형 $A_n$의 분해수는 고울던과 재클슨의 이전 연구에서 확보되었으며, $B_n$의 분해수는 보나, 부셰, 라벨, 레루의 지도 수량 결과에서 추출되었다.
• 유형 $D_n$에 대한 분해수를 위한 새로운 공식이 도출되었으며, 이는 모든 기약 코x터 유형에 대한 이러한 수의 분류를 완성한다.
• 분해수는 일반화된 비교형 분할 순서집합에서 다중체인의 수를 나타내는 일반 공식을 도출하는 데 사용되며, $\pi_1 \leq \pi_2 \leq \cdots \leq \pi_l$ 형태의 다중체인에 대해, $\pi_i$의 랭크가 $r_i$이고 $\pi_1$의 블록 구조가 고정되어 있음을 조건으로 한다.
• 이 방법은 순서집합 수량의 맥락에서 루트 시스템, 반사군, 그리고 멜리우스 함수를 활용한 조합 기법에 기반한다.
• 핵심 기술 도구는 일반화된 추정 합성 공식인 첸–반더문드 합성 공식이며, 이는 다중체인 수의 닫힌 형식 표현을 유도하는 데 기여한다.
• $D_n$ 유형에서 $F=M$ 추측의 증명은 새로운 다중체인 공식을 통해 가능해진 랭크 선택 체인 수량에 기반한다.

실험 결과

연구 질문

• RQ1 유한 코x터 군에 대한 분해수는 무엇이며, 특히 이전 공식이 존재하지 않았던 $D_n$ 유형에서 어떻게 구할 수 있는가?
• RQ2 분해수는 어떻게 일반화된 비교형 분할 순서집합에서 랭크와 블록 구조가 고정된 다중체인의 수를 세는 데 활용될 수 있는가?
• RQ3 유도된 다중체인 수의 공식이 적절한 합산을 통해 모든 알려진 비교형 분할 수열 결과를 포함하는가?
• RQ4 새로운 다중체인 수의 공식을 활용하여 암스트롱의 $F=M$ 추측을 $D_n$ 유형에서 증명할 수 있는가?
• RQ5 일반화된 비교형 분할 순서집합에서 무작위 다중체인이 포함된 최대 간격의 구조는 어떻게 되며, 이는 새로운 프레임워크를 통해 해결될 수 있는가?

주요 결과

• 논문은 기존에 공식이 없었던 $D_n$ 유형에 대해 분해수에 대한 최초의 명시적 공식을 제공하며, 모든 유한 기약 코x터 군에 대한 이러한 수의 분류를 완성한다.
• 유형 $E_8$에 대해 126개의 분해수를 계산하였으며, 그 중 $N_{E_8}(A_1^4, A_1^2, A_1^2) = 3375$ 및 $N_{E_8}(A_1^4, A_1^2, A_1, A_1) = 13500$ 등을 포함한다.
• 일반화된 비교형 분할에서 다중체인 수의 공식은 고전적인 크레버스 비교형 분할에 대해서도 새로운 것으로, 적절한 합산을 통해 모든 알려진 수열 결과를 포함한다.
• 이 결과는 $D_n$ 유형의 일반화된 비교형 분할 순서집합에서 랭크 선택 체인 수량을 가능하게 하며, 이는 암스트롱의 $F=M$ 추측을 $D_n$ 유형에서 증명하는 데로 이어진다.
• 이 프레임워크는 일반화된 비교형 분할 순서집합에서 최대 간격에 대한 암스트롱의 추측을 해결할 수 있으며, 이는 이전까지 미해결 상태였다.
• 논문은 $F=M$ 추측이 모든 유형에서 성립함을 입증하며, 모든 유한 코x터 군에 걸쳐 계산적 증명을 완성한다.