[논문 리뷰] A Fuss-Catalan variation of the caracol flow polytope

Martha Yip|arXiv (Cornell University)|2019. 10. 22.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 4

한 줄 요약

이 논문은 유계 통합 다이어그램과 $k$-주차 수를 기반으로 한 정교한 조합 모델을 제안하여, $k$-카라콜 그래프와 관련된 플로우 폴리토프의 부피를 계산한다. 이는 고전적 카라콜 및 피트만–스탄리 그래프의 비평면적 일반화인 비평면적 $k$-카라콜 그래프에 해당한다. 이는 유리 카탈란 수와 $k$의 거듭제곱을 포함하는 푸스-카탈란 유형의 부피 공식을 수립하고, 관련된 폴리토프 내에서 내차수와 외차수 중력 다이어그램 사이의 조합적 대응을 증명하여 깊이 있는 구조적 대칭성을 드러낸다.

ABSTRACT

Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes.

연구 동기 및 목표

• 비평면적 $k$-카라콜 그래프에 대해 통합 다이어그램 모델을 확장하여, 상수항 항등식에 의존하지 않고 부피 계산이 가능하도록 한다.
• 고전적 카라콜 및 피트만–스탄리 폴리토프에 대한 결과를 $k$로 매개변수화된 더 넓은 그래프 계열로 일반화한다.
• $k$-주차 수를 도입하고, 일반화된 푸스-카탈란 수와 주차 함수 사이의 다리로 삼는 조합적 해석을 제공한다.
• $k$-카라콜 폴리토프의 내차수와 외차수 중력 다이어그램 사이에 자연스러운 이분형을 수립하여 기하학적 이중성을 드러낸다.
• 이전에 $k=1$의 경우에서 발견되지 않았던 부피 공식의 $k^{k(n-k)-2}$ 요소에 대한 조합적 해석을 제공한다.

제안 방법

• 부피 공식의 $k^{k(n-k)-2}$ 요소를 포착하기 위해 통합 다이어그램 모델의 개선으로 잘라낸 통합 다이어그램을 도입한다.
• $k$-주차 수 $T_k(r,i) = (r+1)^{i-1} \binom{k(r+1)}{r-i}$를 정의하여, 잘라낸 다이어그램의 완성 수를 세고, 푸스-카탈란 수와 주차 함수 사이를 보간한다.
• $k$-카라콜과 $k$-다중카라콜 그래프의 외차수 중력 다이어그램 사이의 이분형 $\Xi$를 구성하여, 특정 네티브 플로우에서의 부피 동등성을 증명한다.
• $k$-주차 수에 이항 변환을 적용하여, 네티브 플로우 $(1,\ldots,1,-n)$를 가진 $k$-카라콜 폴리토프의 부피 공식을 유도한다.
• 일반화된 리드스키 공식과 통합 다이어그램 수세기 기법을 활용하여, 상수항 항등식에 의존하지 않고 플로우 폴리토프의 정규화된 부피를 계산한다.
• 특정 네티브 플로우에서 $\operatorname{MCar}_{n-k+2}^{(k)}$와 $\operatorname{Car}_{n+1}^{(k)}$의 통합 다이어그램 사이에 $k$-대-$1$ 대응을 수립하여 기하학적 사상의 가능성을 시사한다.

실험 결과

연구 질문

• RQ1 통합 다이어그램 모델은 비평면적 그래프, 예를 들어 $k$-카라콜에 어떻게 확장될 수 있는가?
• RQ2 $k$-카라콜 폴리토프의 부피 공식에서 $k^{k(n-k)-2}$ 요소를 설명하는 조합적 대상은 무엇인가?
• RQ3 $k$-카라콜 폴리토프에 대해 내차수와 외차수 중력 다이어그램 사이에 자연스러운 조합적 대응이 존재하는가?
• RQ4 네티브 플로우 $(1,\ldots,1,-n)$를 가진 $k$-카라콜 폴리토프의 부피는 일반화된 푸스-카탈란 수와 $k$-주차 수로 어떻게 표현될 수 있는가?
• RQ5 $\operatorname{MCar}_{n-k+2}^{(k)}$와 $\operatorname{Car}_{n+1}^{(k)}$의 통합 다이어그램 사이의 $k$-대-$1$ 사상의 기하학적 의미는 무엇인가?

주요 결과

• 네티브 플로우 $(1,\ldots,1,-n)$를 가진 $k$-카라콜 폴리토프의 부피는 $\operatorname{Cat}(n-k,k(n-k)-1) \cdot k^{k(n-k)-2} \cdot n^{n-k-1}$이며, 이는 유리 카탈란 수를 포함하는 푸스-카탈란 유형의 공식이다.
• $k$-주차 수 $T_k(r,i) = (r+1)^{i-1} \binom{k(r+1)}{r-i}$는 차량 주차 시나리오를 통해 $k^{k(n-k)-2}$ 요소의 조합적 해석을 제공한다.
• $\operatorname{Car}_{n+1}^{(k)}$와 $\operatorname{MCar}_{n-k+2}^{(k)}$의 외차수 중력 다이어그램 사이에 자연스러운 이분형 $\Xi$가 존재하며, 네티브 플로우 $(kx,y^{n-k},-kx-(n-k)y)$에서의 부피 동등성을 증명한다.
• $k$-카라콜 폴리토프의 내차수 중력 다이어그램 수와 외차수 중력 다이어그램 수는 동일하며, 이들 사이의 조합적 대응이 수립된다.
• 네티브 플로우 $(kx,y^{n-k},-kx-(n-k)y)$를 가진 $k$-다중카라콜 폴리토프의 부피는 $\operatorname{Cat}(a,ka-1) \cdot (kx)^{ka-1} (kx+ay)^{a-1}$이며, 여기서 $a = n-k$이다.
• $k$-카라콜 폴리토프 부피 공식은 $k$-주차 수의 이항 변환을 통해 도출되며, $k$의 거듭제곱은 잘라낸 통합 다이어그램의 완성 수에서 기인한다.