[논문 리뷰] Combinatorics of r-Dyck paths, r-Parking functions, and the r-Tamari lattices

François Bergeron|arXiv (Cornell University)|2012. 02. 28.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 15

한 줄 요약

이 논문은 대칭군의 이변량 및 삼변량 대각 코인variant 공간의 계층적 성질을 기술하는 데 있어 r-Dyck 경로, r-파킹 함수, r-Tamari 격자 간의 통합 조합론적 프레임워크를 제시한다. r-Tamari 순서를 사용하여 셔플 추측을 삼변량 경우로 확장하며, 파킹 함수의 q,t-수세기와 모노미얼 대칭 함수를 포함하는 조합론적 공식을 제공한다.

ABSTRACT

This paper's aim is to present recent combinatorial considerations on r-Dyck paths, r-Parking functions, and the r-Tamari lattices. Giving a better understanding of the combinatorics of these objects has become important in view of their (conjectural) role in the description of the graded character of the Sn-modules of bivariate and trivariate diagonal coinvariant spaces for the symmetric group.

연구 동기 및 목표

• 대칭군 표현 이론의 맥락에서 r-Dyck 경로, r-파킹 함수, r-Tamari 격자의 조합론을 통합하기 위해.
• r-Tamari 순서를 중심 구조로 삼아 셔플 추측을 삼변량 경우로 확장하기 위해.
• 파킹 함수의 q,t-수세기를 통한 조합론적 해석을 통해 대각 코인variant 공간의 계층적 성질을 기술하기 위해.
• Fuss-Catalan 수, 준대칭 함수, 슈어 함수 간의 연결 고리를 r-코인variant 공간의 맥락에서 확립하기 위해.
• 이러한 결과들을 다른 유한 반사군 및 r-Tamari 포스에 대한 기하적 실현으로 일반화하기 위한 기초를 마련하기 위해.

제안 방법

• 높이 n인 r-Dyck 경로의 수를 세기 위해 Fuss-Catalan 수 C_n^(r) = 1/(rn+1) * binom((r+1)n, n) 를 사용한다.
• r-Dyck 경로를 (0,n)에서 (rn,0)으로 가는 격자 경로로 정의하며, y = -x/r + n 이하를 지키며, 동쪽(0,1) 및 남쪽(-1,0) 이동을 사용한다.
• r-파킹 함수를 {1,...,n}의 레이블을 가진 라벨된 Dyck 경로로 정의하며, 단계 i에서의 레이블은 특정 내림차순 조건을 만족한다.
• r-Tamari 순서를 사용하여 r-Dyck 경로 위에 포스 구조를 정의하며, r=1일 때 고전적인 Tamari 격자로 일반화한다.
• r-파킹 함수의 dinv_r 통계량과 r-Dyck 경로의 area 통계량을 사용하여 생성함수 내에서 q,t-수세기를 정의한다.
• 생성함수 H_n^(r)(w;q,t)를 r-Dyck 경로 β 및 P_β 내의 r-파킹 함수 φ에 대한 합으로 표현하며, 모노미얼 대칭 함수 M_γ와 기본 준대칭 함수 F_θ(φ)를 사용한다.

실험 결과

연구 질문

• RQ1 대각 코인variant 공간의 맥락에서 r-Dyck 경로, r-파킹 함수, r-Tamari 격자는 어떻게 상호연결되어 있는가?
• RQ2 r-Tamari 순서를 사용하여 셔플 추측을 삼변량 경우로 확장할 수 있는가?
• RQ3 r-파킹 함수의 dinv_r 통계량은 q,t-Kostka 다항식과 관련하여 어떤 조합론적 의미를 지닌다?
• RQ4 생성함수 D_β(w;t) = sum_φ∈P_β t^{dinv_r(φ)} F_θ(φ)(w) 는 슈어 기저에 대해 어떻게 전개되는가?
• RQ5 일반적인 r에 대해 r-Tamari 포스에 기반하는 기하적 또는 다면체적 실현은 무엇인가?

주요 결과

• 높이 n인 r-Dyck 경로의 수는 Fuss-Catalan 수 C_n^(r) = 1/(rn+1) * binom((r+1)n, n) 으로 주어진다.
• Fuss-Catalan 수의 생성함수는 대수 방정식 Y(x) = 1 + x Y(x)^{r+1} 을 만족한다.
• 생성함수 H_n^(r)(w;q,t) 는 r-Dyck 경로 β 및 P_β 내의 r-파킹 함수 φ에 대한 합으로 표현되며, q^{area(β)} t^{dinv_r(φ)} F_θ(φ)(w) 를 항으로 포함한다.
• t=1일 때, 합 D_β(w;1) 는 γ(β)가 β에 관련된 구성일 때, 기본 대칭 함수 e_γ(β)(w) 와 같다.
• 생성함수 H_n^(r)(w;q,1) 는 H_n^(r)(w;q,0,1) 과 같으며, 추측과 무관한 깊은 조합론적 항등식을 시사한다.
• 함수 D_β(w;t) 는 ℕ[t] 계수를 가진 슈어 기저에 대해 전개되며, 표현 이론과의 추측적 연결 고리를 뒷받침한다.