[논문 리뷰] Results and conjectures on simultaneous core partitions

Drew Armstrong, Christopher R. H. Hanusa외 1명|arXiv (Cornell University)|2013. 08. 02.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 8

한 줄 요약

이 논문은 서로소 정수 $a$ 및 $b$에 대해 동시에 핵을 가지는 분할을 연구하며, 애벌레 다이어그램을 사용하여 $2n$- 및 $(2n+1)$-핵 분할과 유형 $C_n$의 $m$-Shi 배열의 주로 알코프 사이의 전단사 관계를 수립한다. 이는 유형 $A$ 및 $C$의 Coxeter-Catalan 수의 $q$-해석을 생성하는 주요 지표 통계량을 도입하며, 애벌레 모델을 통해 유형 $A$와 $C$의 조합론을 통합하고 Fishel–Vazirani의 Shi 배열에 대한 결과를 일반화한다.

ABSTRACT

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

연구 동기 및 목표

• 서로소 $a,b$에 대해 同時 $a$- 및 $b$-핵 분할의 조합론을 애벌레 다이어그램과 결합하여 애벌레 다이어그램을 사용하여 유형 $A$ 및 $C$의 애벌레 다이어그램을 통합하고, 애벌레 다이어그램을 사용하여 유형 $A$ 및 $C$의 조합론을 통합하며, Fishel–Vazirani의 결과를 유형 $C$로 일반화한다.
• 유형 $C_n$의 $m$-Shi 배열에서 주로 알코프의 조합론을 애벌레 다이어그램과 동시에 핵 조건을 사용하여 특성화한다.
• 주요 지표 통계량을 정의하고 분석하여 동시에 $n$- 및 $(n+1)$-핵 분할, 그리고 자기수정 $2n$- 및 $(2n+1)$-핵 분할에 대해 정의함으로써 Coxeter-Catalan 수의 $q$-해석을 생성한다.
• 동시 핵 분할의 평균 크기, 일반화된 Catalan 수의 $q$-해석, 기타 Coxeter 군으로의 확장에 관한 추측을 제시하고 조사한다.

제안 방법

• 애벌레 다이어그램은 정수 분할을 인코딩하고, 구슬의 위치와 러너의 구조를 통해 핵 조건을 모델링한다.
• 유형 $C_n$의 $m$-Shi 배열은 주로 알코프를 통해 분석되며, 애벌레 다이어그램을 통해 $2n$- 및 $(2mn+1)$-핵 분할과 전단사 관계를 제공한다.
• 애벌레 다이어그램에 대응하는 격자 경로에 주요 지표 통계량을 정의하며, 러너 간의 구슬 위치에서의 내림차순에 기여한다.
• 애벌레 다이어그램과 다이크 경로(또는 $N$-$E$ 격자 경로) 사이의 전단사 관계를 통해 주요 지표 통계량을 경로 기반의 합으로 변환할 수 있다.
• 각 러너의 가장 낮은 구슬의 위치는 격자 경로에서의 북쪽 이동에 대응하며, 구슬 순서에서의 내림차순은 주요 지표 기여도를 결정한다.
• MacMahon의 고전적 결과를 $q$-Catalan 수에 적용하여, 유도된 생성함수가 유형 $A$ 및 $C$의 $q$-해석과 일치함을 확인한다.

실험 결과

연구 질문

• RQ1 유형 $C_n$의 $m$-Shi 배열에서 주로 알코프의 조합론은 애벌레 다이어그램과 동시에 핵 조건을 사용하여 어떻게 특성화할 수 있는가?
• RQ2 동시 $n$- 및 $(n+1)$-핵 분할에 대해 주요 지표 통계량이 어떻게 정의되어야 하며, 이는 유형 $A$ Catalan 수의 $q$-해석을 생성하는가?
• RQ3 자기수정 $2n$- 및 $(2n+1)$-핵 분할에 대해 유사한 주요 지표 통계량은 어떻게 정의되어야 하며, 이는 유형 $C$ Catalan 수의 $q$-해석을 생성하는가?
• RQ4 동시 핵을 사용하여 주로 영역을 표기할 때, 유형 $A$ 또는 $C$에서 모든 (필수로 주로적이지 않은) Shi 영역을 매개변수화하기 위해 추가로 어떤 자료가 필요한가?
• RQ5 애벌레 위치에 대한 함수 $f(i)$는 어떤 조건을 만족시켜야 하며, 이 조건을 만족하는 유한한 애벌레 집합은 직접으로 수세어질 수 있는가?

주요 결과

• 모든 $2n$- 및 $(2mn+1)$-핵 분할의 집합은 유형 $C_n$의 $m$-Shi 배열의 주로 알코프와 전단사 관계에 있다. 이는 Fishel–Vazirani의 유형 $A$ 결과를 일반화한다.
• 동시 $n$- 및 $(n+1)$-핵 분할에 대한 주요 지표 통계량 $\mathsf{maj}_A(\lambda)$는 $\mathsf{maj}_A(\lambda) = \mathsf{maj}(L)$를 만족하며, 여기서 $L$은 해당 다이크 경로이다. 이는 유형 $A$ Catalan 수의 $q$-해석을 생성한다.
• 자기수정 $2n$- 및 $(2n+1)$-핵 분할에 대해 통계량 $2\cdot\mathsf{maj}_C(\lambda)$는 해당 격자 경로의 주요 지표와 일치하며, 이는 유형 $C$ Catalan 수의 $q$-해석을 생성한다.
• 애벌레 모델은 유형 $A$ 및 $C$에서 동시에 핵을 가지는 분할을 통일적으로 다룰 수 있게 하며, 구슬 위치는 후크 길이 제약 조건과 경로 통계량을 인코딩한다.
• 애벌레 구슬 순서에서의 내림차순 기여도의 합은 전체 주요 지표를 생성하며, 각각 유형 $A$ 및 $C$에 대해 식 (5.1) 및 (5.2)에 명시된 명시적 공식이 제시된다.
• 논문은 $n$- 및 $(n+1)$-핵 분할에서 주요 지표의 생성함수가 유형 $A$의 $q$-Catalan 수와 일치하며, 마찬가지로 유형 $C$의 경우에도 일치함을 입증한다.