[논문 리뷰] Increasing tableaux and Narayana numbers

Timothy Pressey, Anna Stokke외 1명|arXiv (Cornell University)|2014. 09. 09.

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

한 줄 요약

이 논문은 증가하는 직사각형 표편과 일반화된 Narayana 수 사이의 연결을 수립하며, 크기 $m \times n$인 이러한 표편의 수가 소형 $m$-Schrö더 수와 같음을 증명한다. 이는 $m$-Narayana 다항식을 $t=2$에서 평가한 값과 같다. 또한 수식의 $q$-해석을 도입하고, arm–leg 역전치를 이용한 조합적 해석을 통해 $K$-프로모션에 대한 순환 체계 현상(cyclic sieving phenomenon)을 보여준다.

ABSTRACT

We give a counting formula for the set of rectangular increasing tableaux in terms of generalized Narayana numbers. We define small $m$-Schröder paths and give a bijection between the set of increasing rectangular tableaux and small $m$-Schröder paths, generalizing a result of Pechenik [3]. Using $K$-jeu de taquin promotion, which was defined by Thomas and Yong [10], we give a cyclic sieving phenomenon for the set of increasing hook tableaux.

연구 동기 및 목표

• 크기 $2 \times n$인 증가 표편과 소형 Schröder 경로 사이의 Pechenik의 이분사 사상( bijection )을 $m \times n$ 직사각형 형태로 일반화한다.
• 크기 $m \times n$인 증가 표편의 수를 일반화된 Narayana 수로 표현하는 공식을 유도한다.
• 증가하는 hook 표편에서 $K$-jeu de taquin 프로모션에 대해 순환 체계 현상(CSP)을 $수식의 $q$-해석을 이용하여 수립한다.

제안 방법

• 소형 $m$-Schrö더 경로를 $m$차원 공간에서 정의한다. 원점 $(0,\dots,0)$에서 $(n,\dots,n)$까지의 격자 경로로, 단계 $X_i$를 사용하며 조건 $x_m \leq \cdots \leq x_1$을 만족하고, $\ell$개의 상승이 있다.
• 소형 $m$-Schrö더 경로와 크기 $m \times n$인 증가 직사각형 표편 사이의 이분사 사상을 구축한다. 이는 $m=2$일 때 Pechenik의 결과를 일반화한다.
• $K$-jeu de taquin 프로모션을 사용하여 크기 $(N-r,1^r)$인 증가 hook 표편에 순환군 작용을 정의하며, 그 순환군의 순서는 $N-k-1$이다.
• arm–leg 역전치를 기반으로 한 $q$-해석 다항식 $X(q) = \left[\begin{smallmatrix}N-k-1 \\ r\end{smallmatrix}\right]_q \left[\begin{smallmatrix}r \\ k\end{smallmatrix}\right]_q$를 정의한다. 이는 표편을 arm–leg 역전치 수로 세는 데 사용된다.
• 삼중조합 $(\mathop{\rm Inc}\nolimits_k(N-r,1^r), C, X(q))$가 순환 체계 현상을 보임을 증명한다. 여기서 $C$는 $K$-프로모션에 의해 생성된 순환군이다.
• 증가 hook 표편에서 표준 hook 표편으로의 사상 $\psi$를 정의하고, Reiner, Stanton, White의 결과를 활용하여 CSP를 검증한다.

실험 결과

연구 질문

• RQ1 크기 $m \times n$인 증가 직사각형 표편의 수는 일반화된 Narayana 수로 어떻게 표현할 수 있는가?
• RQ2 Pechenik의 증가 표편과 소형 Schröder 경로 사이의 이분사 사상은 $m > 2$인 고차원으로 일반화될 수 있는가?
• RQ3 $K$-프로모션 하에서 증가 표편의 수식에 대한 $q$-해석이 순환 체계 현상을 보일까?
• RQ4 $CSP$에 사용된 $q$-해석 다항식의 계수는 조합적으로 어떻게 해석할 수 있는가?
• RQ5 왜 $|\mathop{\rm Inc}\nolimits_1(3 \times 3)|$의 자연스러운 $q$-해석이 $K$-프로모션 하에서 CSP를 만족하지 못하는가?

주요 결과

• 크기 $m \times n$인 증가 표편의 수는 소형 $m$-Schrö더 수 $N_{m,n}(2)$와 같으며, 이는 $m=2$일 때 Pechenik의 결과를 일반화한다.
• $\mathop{\rm Inc}\nolimits_k(m \times n)$의 기수는 일반화된 Narayana 수 $N(m,n,\ell)$의 선형 조합이며, 정리 2.4에 구체적인 공식이 제시되어 있다.
• 핵심 추론: $|\mathop{\rm Inc}\nolimits_1(m \times n)| = \frac{(m-1)(n-1)}{2} |\mathop{\rm SYT}\nolimits(m \times n)|$로 표현되며, 이는 증가 표편과 표준 표편을 연결한다.
• $q$-해석 다항식 $X(q) = \left[\begin{smallmatrix}N-k-1 \\ r\end{smallmatrix}\right]_q \left[\begin{smallmatrix}r \\ k\end{smallmatrix}\right]_q$는 증가 hook 표편을 arm–leg 역전치 수로 세며, $K$-프로모션 하에서 순환 체계 현상을 만족한다.
• $q$-해석 다항식의 계수는 증가 hook 표편의 arm–leg 역전치 수로 자연스럽게 조합적으로 해석된다.
• 예시를 통해 $|\mathop{\rm Inc}\nolimits_1(3 \times 3)|$의 자연스러운 $q$-해석이 8차 단위근에서 정수값을 가지지 않음을 보여주며, 이는 CSP를 만족하지 못함을 입증한다. 이는 $q$-해석 선택의 비자명성을 강조한다.