[논문 리뷰] Rational parking functions and Catalan numbers

Drew Armstrong, Nicholas A. Loehr외 1명|arXiv (Cornell University)|2014. 03. 07.

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

한 줄 요약

이 논문은 서로소 정수 쌍 (a,b)로 색인된 유리수 주차 함수(rational parking functions)로 고전적 주차 함수를 일반화하며, 이들이 $b^{a-1}$로 세어지고 $S_a$의 순열 표현을 지닌다. 궤도의 수는 유리수 카탈란 수 $\frac{1}{a+b}\binom{a+b}{a}$와 같다. 저자들은 $S_a$-모듈의 프로베누스 특성함수를 계산하고, 유리수 카탈란 수의 $q$-아날로그 및 $q,t$-아날로그에 대한 조합적 공식을 제안하며, 샤플러 추측을 유리수 설정으로 확장한다.

ABSTRACT

The classical parking functions, counted by the Cayley number (n+1)^(n-1), carry a natural permutation representation of the symmetric group S_n in which the number of orbits is the n'th Catalan number. In this paper, we will generalize this setup to rational parking functions indexed by a pair (a,b) of coprime positive integers. We show that these parking functions, which are counted by b^(a-1), carry a permutation representation of S_a in which the number of orbits is a rational Catalan number. We compute the Frobenius characteristic of the S_a-module of (a,b)-parking functions. Next we propose a combinatorial formula for a q-analogue of the rational Catalan numbers and relate this formula to a new combinatorial model for q-binomial coefficients. Finally, we discuss q,t-analogues of rational Catalan numbers and parking functions (generalizing the shuffle conjecture for the classical case) and present several conjectures.

연구 동기 및 목표

• 고전적 주차 함수를 $(n+1)^{n-1}$로 세는 것에서, 서로소 쌍 $(a,b)$로 색인된 유리수 설정으로 일반화하고, 이들의 수가 $b^{a-1}$임을 보이는 것.
• $S_a$에 대한 유리수 주차 함수 위의 순열 표현을 정의하고, 궤도의 수가 유리수 카탈란 수 $\frac{1}{a+b}\binom{a+b}{a}$임을 보이는 것.
• 수직 런 구조에 대한 핵심 수세기 결과를 이용하여 $(a,b)$-주차 함수의 $S_a$-모듈의 프로베누스 특성함수를 계산하는 것.
• $q$-아날로그 $\frac{1}{[a+b]_q}\binom{a+b}{a}_q$에 대한 조합적 공식을 제안하고, 이와 $q$-이항계수의 새로운 모델을 연결하는 것.
• 새로운 $q,t$-아날로그를 도입하여 샤플러 추측을 유리수 설정으로 확장하고, 대칭성 및 $t=1/q$ 특수화에 대한 새로운 추측을 제시하는 것.

제안 방법

• 저자들은 기울기가 $a/b$인 직선 위를 약하게 유지하는 루트를 따라가는 격자 경로(rational Dyck paths)를 이용해 유리수 주차 함수를 정의하며, 기존 기울기 1의 경우를 일반화한다.
• 핵심 조합적 결과(정리 2)를 사용하여 특정 수직 런 구조를 가진 유리수 주차 함수를 수세기하고, 이로써 프로베누스 특성함수를 계산할 수 있도록 한다.
• 고전적 $\zeta$-사상과 유사한 새로운 사상이 도입되어 $q,t$-아날로그를 정의하며, 아름다운 조합적 성질을 보이며 샤플러 추측을 일반화한다.
• $q$-아날로그의 유리수 카탈란 수는 $\frac{1}{[a+b]_q}\binom{a+b}{a}_q$로 제안되며, 분할 통계 기반의 조합적 모델과 $q$-이항계수의 새로운 해석을 제공한다.
• 저자들은 제안한 $q$-이항계수 모델이 유리수 $q$-카탈란 수와 등가임을 보이며, 추측 6(유리수 $q$-카탈란)과 추측 8(새로운 $q$-이항계수 모델) 간의 등가성을 보여준다.
• 작은 $a,b$ 값에 대해 $\mathsf{PF}_{a,b}(q,t)$의 프로베누스 시리즈에 대한 명시적 행렬 표현을 계산하여, 스카우어 함수로의 분해와 계수 행렬을 제시한다.

실험 결과

연구 질문

• RQ1 고전적 주차 함수 이론을 서로소 쌍 $(a,b)$로 색인된 유리수 설정으로 어떻게 일반화할 수 있는가?
• RQ2 $S_a$-모듈의 $(a,b)$-주차 함수의 프로베누스 특성함수는 무엇이며, 이는 유리수 카탈란 수와 어떻게 관련되는가?
• RQ3 $\frac{1}{[a+b]_q}\binom{a+b}{a}_q$의 $q$-아날로그에 대해 조합적 공식을 어떻게 제시할 수 있으며, 이는 비음수 계수를 가진 다항식임이 알려져 있다.
• RQ4 샤플러 추측은 어떻게 유리수 설정으로 확장할 수 있으며, 그 결과로 얻어지는 유리수 $q,t$-주차 함수의 $q,t$-아날로그는 어떤 성질을 가지는가?
• RQ5 새로운 $\zeta$-유사 사상은 $q,t$-아날로그를 정의하는 데 어떤 역할을 하는가? 그리고 이러한 대상들이 갖는 대칭성 또는 특수화(예: $t=1/q$)는 무엇인가?

주요 결과

• $(a,b)$-주차 함수의 수는 $b^{a-1}$이며, $S_a$의 순열 표현을 지니며 궤도의 수는 유리수 카탈란 수 $\frac{1}{a+b}\binom{a+b}{a}$와 같다. 이는 고전적 카탈란 수를 일반화한다.
• $(a,b)$-주차 함수의 $S_a$-모듈의 프로베누스 특성함수는 수직 런 구조의 수세기 방법을 통해 계산되었으며, 스카우어 함수 분해에 대한 명시적 행렬 계수를 제공한다.
• $\mathsf{PF}_{7,4}(q,t)$의 프로베누스 시리즈는 스카우어 함수 $s_\lambda$의 합으로 표현되며, 계수 행렬은 $q,t$-통계를 코딩한다. $s_{(7)}$는 10×10 행렬을 가지며, $s_{(2,2,2,1)}$는 1×1 행렬을 가지며 그 항목은 1이다.
• $\mathsf{PF}_{5,8}(q,t)$의 프로베누스 시리즈는 $s_{(1,1,1,1,1)}$까지 스카우어 함수로 분해되며, $s_{(5)}$는 15×15 계수 행렬을 가지며, $s_{(1,1,1,1,1)}$는 1×1 행렬을 가지며 항목은 1이다.
• 저자들은 제안한 $q$-이항계수의 조합적 해석(추측 8)이 유리수 $q$-카탈란 수에 대한 추측(추측 6)과 등가임을 증명한다.
• 논문은 유리수 $q,t$-주차 함수의 대칭성 및 $t=1/q$ 특수화에 대한 명시적 추측(예: 추측 27)을 제시하며, 조합론 뒤에 깔린 깊은 대수적 구조를 시사한다.