[논문 리뷰] Higher Trivariate Diagonal Harmonics via generalized Tamari Posets

François Bergeron, Louis-François Préville-Ratelle|arXiv (Cornell University)|2011. 05. 18.

Algebraic structures and combinatorial models참고 문헌 13인용 수 31

한 줄 요약

이 논문은 일반화된 $r$-Tamari 순서 집합을 도입하고, 이를 통해 삼변수 대각 조화 공간 $\mathscr{H}_n^{(r)}$에 대한 조합적 프레임워크를 제공하며, 셔플 추측을 확장한다. $r$-주차 함수와 $r$-Dyck 경로를 사용하여 Hilbert 급수와 Frobenius 특성에 대한 새로운 공식을 수립하여, 차원과 계급화된 특성에 대한 명시적 조합적 표현을 도출한다. 이는 세 번째 매개변수 $q_3$에 대한 부족한 통계량 $\nu(f,\alpha)$를 포함하는 추측 공식을 포함한다. 주요 기여는 일반화된 순서 집합 구조와 대칭 함수 항등식을 통한 세 변수 고차 대각 조화의 정교한 조합 모델이다.

ABSTRACT

We consider the graded $§_n$-modules of higher diagonally harmonic polynomials in three sets of variables (the trivariate case), and show that they have interesting ties with generalizations of the Tamari poset and parking functions. In particular we get several nice formulas for the associated Hilbert series and graded Frobenius characteristic. This also leads to entirely new combinatorial formulas.

연구 동기 및 목표

• 고차 삼변수 대각 조화 공간 $\mathscr{H}_n^{(r)}$의 계급화된 Frobenius 특성에 대한 조합적 기술을 제공하기 위해.
• 일반화된 $r$-Tamari 순서 집합과 $r$-주차 함수를 도입하여 셔플 추측을 삼변수 경우로 확장하기 위해.
• $\mathscr{H}_n^{(r)}$와 그 교대 성분 $\mathscr{A}_n^{(r)}$의 Hilbert 급수와 차원에 대한 명시적 공식을 유도하기 위해.
• 대각 조화, 대칭 함수, 그리고 Dyck 경로와 주차 함수의 조합론 간의 구조적 연결 고리를 규명하기 위해.

제안 방법

• 세 집합의 변수에서 차수 $1 \leq |\alpha| \leq n$인 극화된 피라미드 차수 미분 연산자의 공동 핵으로서 공간 $\mathscr{H}_n^{(r)}$를 정의하기 위해.
• $r$-Dyck 경로와 $r$-주차 함수를 정의하며, $\mathcal{D}_n^{(r)}$와 $\mathcal{PF}^{(r)}(n)$은 각각 이러한 경로와 함수의 집합을 나타낸다.
• Frobenius 특성으로써 $r$-Dyck 경로의 구성에 관련된 대칭 함수 $h_{\mathbf{co}(\beta)}(\mathbf{w})$와 $e_{\mathbf{co}(\beta)}(\mathbf{w})$와 $\mathscr{H}_n^{(r)}$ 위의 대칭군 작용을 연결하기 위해.
• 경로 구성의 다항계수를 통해 $(rn+1)^{n-1} = \sum_{\beta \in \mathcal{D}_n^{(r)}} \binom{n}{\mathbf{co}(\beta)}$의 항등식을 확립하기 위해.
• 세 번째 매개변수 $q_3$에 대한 부족한 통계량 $\nu(f, \alpha)$와 $\mathrm{dinv}$ 통계량을 포함하는 전체 생성 함수 $\mathscr{H}_n^{(r)}(\mathbf{w}; q_1, q_2, q_3)$에 대한 추측 공식을 제안하기 위해.
• 모노미얼 $X^A$ 위의 대칭군 작용과 차수 벡터 $\deg(X^A)$를 사용하여 $r$-Tamari 순서 집합과 호환되는 계급화된 모듈 구조를 정의하기 위해.

실험 결과

연구 질문

• RQ1 일반화된 순서 집합과 주차 함수를 사용하여 삼변수 대각 조화 공간 $\mathscr{H}_n^{(r)}$를 어떻게 조합적으로 기술할 수 있는가?
• RQ2 $r$-Dyck 경로와 구성에 관해 $\mathscr{H}_n^{(r)}$의 정확한 Hilbert 급수와 Frobenius 특성의 형태는 무엇인가?
• RQ3 세 번째 매개변수 $q_3$에 대한 새로운 통계량 $\nu(f, \alpha)$를 도입함으로써 셔플 추측을 삼변수로 확장할 수 있는가?
• RQ4 $\dim \mathscr{H}_n^{(r)} = (r+1)^n (rn+1)^{n-2}$ 공식의 조합적 해석은 무엇인가?
• RQ5 일반화된 $r$-Tamari 순서 집합은 대각 조화의 구조와 대칭 함수 항등식과 어떻게 관련되어 있는가?

주요 결과

• 공간 $\mathscr{H}_n^{(r)}$의 차원은 $\dim \mathscr{H}_n^{(r)} = (r+1)^n (rn+1)^{n-2}$로 주어지며, 이는 이변수 경우를 일반화한다.
• 교대 성분 $\mathscr{A}_n^{(r)}$의 차원은 $\dim \mathscr{A}_n^{(r)} = \frac{r+1}{n(rn+1)} \binom{(r+1)^2 n + r}{n-1}$로 주어지며, 카탈란 수 공식을 확장한다.
• $\mathbf{z}$-무료 성분의 비계급화된 Frobenius 특성은 $\sum_{\beta \in \mathcal{D}_n^{(r)}} e_{\mathbf{co}(\beta)}(\mathbf{w})$로 주어지며, 이는 $r$-주차 함수 위의 부호 변형 작용과 연결된다.
• 항등식 $(rn+1)^{n-1} = \sum_{\beta \in \mathcal{D}_n^{(r)}} \binom{n}{\mathbf{co}(\beta)}$가 성립하며, 이는 $r$-주차 함수가 $r$-Dyck 경로에 걸쳐 어떻게 분포되어 있는지를 반영한다.
• 전체 생성 함수 $\mathscr{H}_n^{(r)}(\mathbf{w}; q_1, q_2, q_3)$에 대한 추측 공식이 제안되며, 이는 $\mathrm{dinv}$ 통계량과 $q_3$-통계량 $\nu(f, \alpha)$를 포함한다. $q_3=0$으로 특수화하면 셔플 추측이 복원된다.
• 공간 $\mathscr{H}_n^{(r)}$는 유한 차원이며 총 차수 $|\mathbf{d}| \leq \binom{n}{2}$ 범위 내에서 계급화되어 있으며, 이 범위 외에는 비영인 성분이 존재하지 않는다.