[논문 리뷰] Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial

Mark Dukes, Yvan Le Borgne|arXiv (Cornell University)|2012. 07. 31.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 7

한 줄 요약

이 논문은 완전 이분 그래프 $K_{m,n}$에서 지정된 싱크를 가진 아벨 모래더미 모델의 순환 구성과 $m \times n$ 경계 상자 내의 장식된 평행사다리형 다면체의 사이에 일대일 대응을 수립한다. 이들 다면체 위에서 $(\mathsf{area}, \mathsf{parabounce})$ 이변량 통계량의 생성함수로 $q,t$-나라야나 다항식을 도입하여 헤글런드의 반사 통계량을 새로운 조합적 클래스로 확장하고, 수많은 특수 케이스에서 대칭성을 증명한다.

ABSTRACT

We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recurrent configurations whose sum of heights is minimal are shown to correspond to polyominoes of least area. Two other classes of recurrent configurations are shown to be related to bicomposition matrices, a matrix analogue of set partitions, and (2+2)-free partially ordered sets. A canonical toppling process for recurrent configurations gives rise to a path within the associated parallelogram polyominoes. This path bounces off the external edges of the polyomino, and is reminiscent of Haglund's well-known bounce statistic for Dyck paths. We define a collection of polynomials that we call q,t-Narayana polynomials, defined to be the generating function of the bistatistic (area,parabounce) on the set of parallelogram polyominoes, akin to the (area,hagbounce) bistatistic defined on Dyck paths in Haglund (2003). In doing so, we have extended a bistatistic of Egge, Haglund, Kremer and Killpatrick (2003) to the set of parallelogram polyominoes. This is one answer to their question concerning extensions to other combinatorial objects. We conjecture the q,t-Narayana polynomials to be symmetric and prove this conjecture for numerous special cases. We also show a relationship between Haglund's (area,hagbounce) statistic on Dyck paths, and our bistatistic (area,parabounce) on a sub-collection of those parallelogram polyominoes living in a (n+1)*n rectangle.

연구 동기 및 목표

• 완전 이분 그래프 $K_{m,n}$에서 한 개의 지정된 싱크 정점이 있는 아벨 모래더미 모델의 순환 구성에 대한 분류를 수행한다.
• 이들 순환 구성과 $m \times n$ 직사각형에 둘러싸인 장식된 평행사다리형 다면체 사이의 조합적 일대일 대응을 수립한다.
• 평행사다리형 다면체 위에 헤글런드의 도르래 경로(Dyck paths)에서의 반사 통계량과 유사한 새로운 이변량 통계량 $(\mathsf{area}, \mathsf{parabounce})$을 정의하고 연구한다.
• $q,t$-나라야나 다항식을 이 이변량 통계량의 생성함수로 도입하고, 알려진 조합적 구조와의 연결 고리를 탐색한다.
• 에그 등(2003)이 제기한 질문에 응답하여, $q,t$-카탈란 통계량을 새로운 조합적 가족으로 확장하는 방법을 평행사다리형 다면체에 자연스럽게 적용한다.

제안 방법

• 순환 구성에 대해 표준적인 기울임 과정을 구성하여, 이 과정이 관련된 평행사다리형 다면체 내의 경로를 유도한다.
• $\mathsf{parabounce}$ 통계량을 이 경로가 다면체의 외부 모서리에 부딪히는 횟수로 정의하며, 헤글런드의 도르래 경로에서의 반사 통계량과 유사하게 한다.
• $q,t$-나라야나 다항식 $F_{m,n}(q,t)$를 $m \times n$ 경계 상자 내의 모든 평행사다리형 다면체 위에서 이변량 통계량 $(\mathsf{area}, \mathsf{parabounce})$의 생성함수로 정의한다.
• 순환 구성과 다면체 사이의 일대일 대응을 이용해 구성의 성질(예: 높이 합의 최소값, 거의 비영인 구성 등)을 다면체의 구조로 이전한다.
• $q$와 $t$에 대한 $q,t$-나라야나 다항식의 대칭성을 다양한 특수 케이스에서 증명한다. 이는 작은 $m,n$에 대한 $F_{m,n}(q,t)$의 경우를 포함한다.
• $(n+1) \times n$ 직사각형 내의 다면체의 부분군에서 $\mathsf{parabounce}$ 통계량과 헤글런드의 $\mathsf{hagbounce}$ 통계량 사이의 연결 고리를 수립한다.

실험 결과

연구 질문

• RQ1 단일 싱크 정점이 있는 $K_{m,n}$에서의 모래더미 모델의 순환 구성은 어떻게 분류되고, 다른 조합적 구조와 일대일 대응될 수 있는가?
• RQ2 $q,t$-카탈란 프레임워크를 확장하여 평행사다리형 다면체 위의 이변량 통계량을 통해 $q,t$-나라야나 수의 $q,t$-해석을 구성할 수 있는가?
• RQ3 $q,t$-나라야나 다항식은 $q$와 $t$에 대해 대칭적인가? 만약 그렇다면 어떤 조건이나 부분군에서 성립하는가?
• RQ4 평행사다리형 다면체에서의 $\mathsf{parabounce}$ 통계량과 도르래 경로에서의 헤글런드의 $\mathsf{hagbounce}$ 통계량 사이의 관계는 무엇인가?
• RQ5 특수한 종류의 순환 구성—예를 들어 최소 높이 합 또는 거의 비영인 구성—은 어떤 알려진 조합적 구조(예: 이분해조행렬 또는 (2+2)-자유 포스넷)와 어떻게 대응되는가?

주요 결과

• 모래더미 모델의 순환 구성은 $K_{m,n}$에서 싱크를 가진 경우, $m \times n$ 경계 상자 내의 평행사다리형 다면체와 일대일 대응된다.
• 높이 합의 최소값을 가지는 순환 구성은 정확히 최소 면적의 리본 평행사다리형 다면체에 대응된다.
• $K_{n,n}$에서 거의 비영인 순환 구성은 이분해조행렬과 일대일 대응되며, 상삼각형 이분해조행렬은 특수 부분군을 이룬다.
• $q,t$-나라야나 다항식 $F_{m,n}(q,t)$는 $m \times n$ 경계 상자 내의 평행사다리형 다면체 위에서 이변량 통계량 $(\mathsf{area}, \mathsf{parabounce})$의 생성함수로 정의되며, 작은 $m,n$에 대해서는 명시적인 유리함수 생성함수를 제공한다.
• $F_{m,n}(q,t)$는 테스트된 모든 경우에 $q$와 $t$에 대해 대칭적이며, $F_{2,2}, F_{3,3}, F_{2,3}, F_{3,4}, F_{4,4}, F_{3,5}, F_{2,6}$의 경우를 포함한다. 또한 저자들은 수많은 특수 케이스에서 대칭성을 증명한다.
• $(n+1) \times n$ 직사각형 내의 다면체 부분군은 $\mathsf{parabounce}$ 통계량이 도르래 경로에서 헤글런드의 $\mathsf{hagbounce}$ 통계량과 정확히 일치하는 $q,t$-나라야나 다항식을 생성하며, 이는 두 설정 간의 직접적인 연결 고리를 수립한다.