[논문 리뷰] Tiling enumeration of doubly-intruded halved hexagons

Tri Lai|arXiv (Cornell University)|2017. 12. 31.

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

한 줄 요약

이 논문은 반할된 육각형에서 두 개의 정렬된 풀잎(상향 및 하향을 번갈아 가진 삼각형 배열)과 중심의 대칭 배열을 제거하여 형성된 16가지의 이중으로 침입한 반육각형에 대해 정확한 곱공식을 제시한다. 그림 기반 응축과 인수분해 정리들을 사용하여, 모든 인수가 매개변수에 대해 선형인 폐쇄형 곱공식을 유도하였으며, 이를 통해 프로커의 전치-보완 평면 분할의 수를 세는 결과와 츄쿠의 가중치가 부여된 전체 육각형의 타일링 수를 일반화하였다.

ABSTRACT

Inspired by Propp's intruded Aztec diamond regions, we consider halved hexagons in which two aligned arrays of triangular holes have been removed from their boundaries. Unlike the intruded Aztec diamonds (whose numbers of domino tilings contain some large prime factors in their factorizations), the numbers of lozenge tilings of our doubly-intruded halved hexagons are given by simple product formulas in which all factors are linear in the parameters. In this paper, we present an extensive list of exact tiling enumerations of sixteen different types of doubly-intruded halved hexagons. We also prove that the lozenge tilings of a symmetric hexagon with three arrays of triangles removed are always enumerated by a closed-form product formula. Our results generalize several previous works, including Proctor's enumeration of the transposed-complementary plane partitions, related work of Ciucu, and recent generalizations of Rohatgi and of the author.

연구 동기 및 목표

• 두 개의 침입한 풀잎과 중심의 대칭 배열을 가진 영역에 대해 프로커의 전치-보완 평면 분할 수를 세는 결과를 일반화하는 것.
• 풀잎이 포함된 전체 육각형의 츄쿠의 가중치 타일링 수를 세는 결과를 대칭적인 반육각형에 대해 두 개의 풀잎과 중심의 배열이 제거된 경우로 확장하는 것.
• 최근 로하티와 저자의 침입한 반육각형에 관한 결과들을 통합하고 종합적인 프레임워크로 일반화하는 것.
• 동일한 수평선상에 있는 세 개의 풀잎이 제거된 대칭 육각형이 항상 폐쇄형 곱공식으로 주어지는 타일링 수를 가짐을 증명하는 것.
• 16가지의 구분되는 타일링 영역을 체계적으로 분류하고 각각에 대해 정확한 수를 세는 공식을 도출하는 것.

제안 방법

• 반육각형 영역의 이중 그래프에 그림 기반 응축을 적용하여 타일링 수에 대한 재귀 관계를 도출한다.
• 츄쿠의 인수분해 정리를 사용하여 대칭성과 수직축 상의 정점 분포에 기반해 타일링 수를 더 작은 부분 영역의 타일링 곱으로 분해한다.
• 중앙 삼각형과 풀잎의 방향 및 위치에 따라 여덟 가지의 구분되는 영역 유형($H^{(2)}$, $W^{(1)}$, $N^{(1)}$, $NR^{(4)}$ 등)을 정의하고 분석한다.
• 매개변수 $x$, $y$, $a_1$의 기수성에 기반한 케이스 분석을 통해 강제 루비 타일링과 대칭성 파괴의 다양한 구성에 대응한다.
• 강제 루비 타일링 제거를 통해 원래 영역을 등가의 가중치가 부여된 또는 부여되지 않은 부분 영역($H^{(2)}$, $W^{(2)}$, $N^{(4)}$ 등)으로 변환하고 기존의 타일링 공식을 적용한다.
• 대칭축 상의 정점 수를 반영한 2의 지수에 따라 요소들을 인수분해하고 조정함으로써 최종 타일링 공식을 유도한다.

실험 결과

연구 질문

• RQ1 대칭적인 반육각형에서 두 개의 침입한 풀잎과 중심의 대칭 배열 삼각형이 제거된 경우의 루비 타일링 수는 정확히 얼마인가?
• RQ2 이중으로 침입한 반육각형의 타일링 수는 매개변수에 대해 모두 선형인 인수를 가진 단순한 곱공식으로 표현될 수 있는가?
• RQ3 세 개의 풀잎이 제거된 대칭 육각형의 영역 타일링 수는 그 대칭 반영역의 타일링 수와 어떻게 관련이 있는가?
• RQ4 이러한 침입 영역의 타일링 공식에서 관찰된 인수분해에 대해 이분적 해석이 존재하는가?
• RQ5 여덟 가지 비대칭 반육각형 영역 유형($H^{(2)}$, $W^{(1)}$ 등)은 세 개의 풀잎이 제거된 어떤 대칭 육각형의 반영역으로 실현될 수 있는가?

주요 결과

• 세 개의 풀잎이 제거된 대칭 육각형의 루비 타일링 수는 매개변수의 기수성과 관계없이 폐쇄형 곱공식으로 주어진다.
• 영역 $S^{(1)}_{x,y,z}( extbf{a}; extbf{b})$의 타일링 수는 $x,y,a_1$이 모두 짝수일 때, $2^{y+z+a+b-a_1} \times \text{M}(H^{(2)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b})) \times \text{M}(W^{(2)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b}))$ 로 주어진다.
• 만약 $a_1$이 짝수이지만 $x,y$가 홀수일 경우, 타일링 수는 $2^{y+z+a+b-a_1} \times \text{M}(H^{(2)}_{\frac{x-1}{2},\frac{y+1}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b})) \times \text{M}(W^{(2)}_{\frac{x-1}{2},\frac{y+1}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b}))$ 로 주어진다.
• 만약 $a_1$이 홀수이고 $x,y$가 짝수일 경우, 공식은 $2^{y+z+a+b-a_1} \times \text{M}(N^{(4)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1+1}{2},a_2,\text{...};\textbf{b})) \times \text{M}(N^{(1)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1-1}{2},a_2,\text{...};\textbf{b}))$ 로 변형된다.
• $S^{(2)}_{x,y,z}( extbf{a}; extbf{b})$의 타일링 수는 유사한 구조를 따르며, 기수성과 영역 분해에 대한 동일한 의존성을 가진다.
• 결과는 프로커의 전치-보완 평면 분할 수를 세는 결과와 츄쿠의 가중치 타일링 결과, 그리고 최근 로하티와 저자의 작업을 통합하여, 풀잎이 있는 침입한 반육각형의 단일 프레임워크 아래에서 일반화된다.