[논문 리뷰] A shuffling theorem for lozenge tilings of doubly-dented hexagons

Tri Lai, Ranjan Rohatgi|arXiv (Cornell University)|2019. 05. 20.

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

한 줄 요약

이 논문은 삼각 격자 위의 이중으로 둔한 육각형의 루비드 타일링에 대한 셔플링 정리를 수립하며, 제거된 상향 및 하향 방향 단위 삼각형의 위치를 재배열할 경우 타일링 수가 오직 상대적 간격에 의존하는 곱셈 계수에 의해만 변한다는 것을 증명한다. 주요 결과는 맥마혼의 육각형 타일링에 대한 곱공식과 코한-라르센-프롭의 반반형 육각형에 대한 수세기 수를 일반화하며, 통합된 타일링 비율 공식을 통해 대칭 함수와 q-급수 사이의 깊은 연결 고리를 드러낸다.

ABSTRACT

MacMahon's theorem on plane partitions yields a simple product formula for tiling number of a hexagon, and Cohn, Larsen and Propp's theorem provides an explicit enumeration for tilings of a dented semihexagon via semi-strict Gelfand--Tsetlin patterns. In this paper, we prove a natural hybrid of the two theorems for hexagons with an arbitrary set of unit triangles removed along a horizontal axis. In particular, we show that the `shuffling' of removed unit triangles only changes the tiling number of the region by a simple multiplicative factor. Our main result generalizes a number of known enumerations and asymptotic enumerations of tilings. We also reveal connections of the main result to the study of symmetric functions and $q$-series.

연구 동기 및 목표

• 수평축에 따라 임의의 단위 삼각형 집합이 제거된 영역에 대해 맥마혼의 육각형 루비드 타일링 곱공식을 일반화한다.
• 반반형 육각형과 반반형 육각형 간의 코한-라르센-프롭 대응관계를 다수의 둔한 점이 있는 대칭 육각형으로 확장한다.
• 제거된 삼각형의 위치를 재배열할 경우 타일링 수가 곱셈적으로 영향을 받는다는 점을 증명함으로써 '구멍'이 있는 영역에 대한 타일링 수 세기의 통합 프레임워크를 수립한다.
• 유도된 곱셈 계수 공식을 통해 타일링 수 세기, 대칭 함수, q-급수 간의 연결 고리를 드러낸다.

제안 방법

• 측면 길이가 $x+n-u, y+u, y+d, x+n-d, y+d, y+u$인 대칭 육각형을 정의하며, 중심 수평 격자선에 $u+d$개의 단위 삼각형이 제거된 상태로 한다.
• 제거된 삼각형을 $u$개의 상향 및 $d$개의 하향 삼각형으로 나누며, 각각 격자선 상의 위치 집합인 $U$와 $D$로 인덱싱한다.
• 두 영역이 $U$와 $D$의 위치 재배열만 다를 경우, 타일링 수의 비율이 위치 간 격차의 곱으로 주어진다는 것을 증명한다: $\frac{\operatorname{M}(H_{x,y}(U;D))}{\operatorname{M}(H_{x,y}(U';D'))} = \prod_{1\leq i<j\leq u}\frac{s_j - s_i}{s'_j - s'_i} \cdot \prod_{1\leq i<j\leq d}\frac{t_j - t_i}{t'_j - t'_i}$.
• 완전 매칭과 평면 분할에 관한 기존 결과를 활용하여 그래픽 컨덴세이션과 쌍대 그래프 기법을 통해 타일링 비율을 유도한다.
• Schur 함수를 $\mathbf{1}^n$에서 평가한 형태로 타일링 비율을 표현함으로써 대칭 함수 이론과의 연결 고리를 구축하고, q-급수로의 확장을 위해 곱공식의 q-아날로그를 활용한다.
• 주요 정리가 특정한 셔플링 구성에 의해 기존 결과, 즉 $F$-핵이 있는 육각형, 이중 둔한 육각형, 세 개의 풀잎이 제거된 육각형의 수를 복원함을 보여준다.

실험 결과

연구 질문

• RQ1 제거된 상향 및 하향 단위 삼각형의 위치를 재배열할 경우, 총 수와 각 유형의 상대적 순서를 유지하면서 이중 둔한 육각형의 타일링 수는 어떻게 변화하는가?
• RQ2 맥마혼의 곱공식과 코한-라르센-프롭의 반반형 육각형 수세기 수를 일반화하는 통합된 곱셈 공식을 도출할 수 있는가?
• RQ3 타일링 비율과 대칭 함수, 특히 $\mathbf{1}^n$에서 평가된 Schur 함수 간의 연결 고리는 무엇인가?
• RQ4 타일링 비율 공식의 q-아날로그는 대수적 조합론에서 알려진 q-급수 항등식과 어떻게 관련이 있는가?
• RQ5 셔플링 정리는 복잡한 구멍 구성이 있는 영역에 대한 새로운 점근적 수세기 결과를 도출하는 데 사용될 수 있는가?

주요 결과

• 두 이중 둔한 육각형이 제거된 삼각형의 위치 재배열만 다를 경우, 타일링 비율은 정리 2.1에 따라 위치 집합 간 격차의 곱으로 주어진다.
• 셔플링 정리는 기존 결과를 일반화한다: 특정한 셔플링 구성에 의해, $F$-핵이 있는 육각형(치우쿠, 2003), 이중 둔한 육각형(치우쿠, 2003), 세 개의 풀잎이 제거된 육각형(라이, 2019)의 수를 모두 복원한다.
• 타일링 비율은 $\mathbf{1}^n$에서 평가된 Schur 함수의 곱의 비율로 표현될 수 있으며, 이는 타일링 수 세기와 대칭 함수 이론 간의 연결 고리를 나타낸다.
• 셔플링 정리의 q-아날로그는 Schur 함수를 포함하는 더 깊은 항등식을 시사하며, $\prod_{1\leq i<j\leq u}\frac{1-q^{s_j-s_i}}{1-q^{j-i}}$는 $q$의 거듭제곱을 제외하고는 $s_{\lambda(U)}(q,q^2,\dots)$에 비례하며, 이는 잠재적인 q-항등식을 시사한다.
• 정리는 $u$개의 상향 및 $d$개의 하향 삼각형이 제거된 영역의 타일링 수가 절대적 순서가 아니라 상대적 간격에 의해 결정되며, 곱셈 계수를 제외하고는 그에 따라 변하지 않는다는 것을 시사한다.
• 이 결과는 복잡한 구멍 구성이 있는 영역의 타일링에 대한 점근적 수세기 방법을 제공하며, 셔플링을 통해 더 단순하고 동치인 영역으로 환원함으로써 가능하게 한다.