[논문 리뷰] Another dual of MacMahon's theorem on plane partitions

Mihai Ciucu|arXiv (Cornell University)|2015. 09. 21.

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

한 줄 요약

이 논문은 삼각 격자 위의 격자선을 따라 번갈아 가며 배열된 등변 삼각형의 구조인 '잔디'(fern)를 도입하여 맥마혼의 평면 분할 정리와의 이중성 관계를 제시한다. 잔디를 삼각 격자 위의 육각형 영역의 중심에 삽입함으로써, 외부 영역의 루비드 타일링 수의 곱 공식을 유도하며, 맥마혼의 고전적 결과를 일반화하고 잔디와 샤모크 구조 간의 깊은 이중성 관계를 드러낸다.

ABSTRACT

In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures.

연구 동기 및 목표

• 평면 분할에 관한 맥마혼의 정리를 새로운 종류의 격자 구조로 확장하여 단순한 타일링 곱 공식을 가진다.
• 최근에 연구된 '샤모크' 구조와 새로 정의된 '잔디' 구조 간의 타일링 수 센서링에서의 이중성 관계를 수립한다.
• 잔디가 육각형 영역에 삽입될 경우, 정규화된 타일링 수가 곱 공식으로 주어지며, 이는 샤모크와 유사함을 보여준다.
• 왜 오직 잔디와 샤모크 구조만이 이 타일링 성질을 보이는지 조사하여, 기본적인 조합적 유일성의 가능성을 제기한다.

제안 방법

• 잔디 $ F(a_1, \dotsc, a_k) $ 를 격자선을 따라 번갈아 가며 배열된 등변 삼각형의 열로 정의하며, 각 삼각형의 변 길이가 $ a_1, \dotsc, a_k $ 임을 고려한다.
• 외부 영역 $ F^*(a_1, \dotsc, a_k) $ 를 정의하며, 이는 잔디를 제거한 육각형 영역이며, 그 루비드 타일링 수 $ \operatorname{M}(F^*(a_1, \dotsc, a_k)) $ 를 연구한다.
• 정규화된 타일링 비율을 정의하기 위해, $ H_N(a_1, \dotsc, a_k) $ 에서의 타일링 수의 극한 $ N \to \infty $ 을 사용하며, $ o = a_1 + a_3 + \cdots $, $ e = a_2 + a_4 + \cdots $ 일 때, $ F^*(a_1, \dotsc, a_k) $ 와 $ F^*(o,e) $ 의 타일링 수 비율을 정규화한다.
• 겔판트-츠에틀린 결과의 코한-라르센-프롭 해석을 사용하여, 반반형 영역 $ S(b_1, \dotsc, b_l) $ 의 타일링 수를 초함수와 $ b_i $ 의 교대합을 통해 표현한다.
• 육각형 영역의 재귀적 분해를 통해 타일링 함수에 대한 재귀 관계를 유도하고, 대수적 항등식을 통해 일관성을 검증한다.
• 정규화된 타일링 비율이 잔디를 포함하는 가장 작은 균형 잡힌 육각형의 타일링 수 $ \operatorname{M}(H_F) $ 와 같음을 보여주는 기하학적 해석을 수립한다.

실험 결과

연구 질문

• RQ1 샤모크 이외에 어떤 구조들이 육각형 영역에 삽입되었을 때 외부 영역의 루비드 타일링 수에 대해 단순한 곱 공식을 가질 수 있는가?
• RQ2 잔디 구조는 맥마혼의 고전적 평면 분할 공식을 어떻게 일반화하는가?
• RQ3 왜 오직 잔디와 샤모크 구조만이 외부 타일링 수에 대해 단순한 곱 공식을 갖는가?
• RQ4 잔디의 정규화된 타일링 비율을 반반형 영역에 대한 알려진 타일링 공식으로 표현할 수 있는가?
• RQ5 잔디의 외부 타일링 수에 대한 곱 공식을 설명하는 기하학적 해석이 존재하는가?

주요 결과

• 잔디의 외부 영역에 대한 정규화된 타일링 비율은 $ \frac{\operatorname{M}(F^*(a_1,\dotsc,a_k))}{\operatorname{M}(F^*(o,e))} = s(a_1,\dotsc,a_{k-1}) \cdot s(a_2,\dotsc,a_k) $ 로 주어지며, 여기서 $ s $ 는 번갈아 가며 제거되고 유지되는 세그먼트가 있는 반반형 영역의 타일링 수를 의미한다.
• 만일 $ k = 3 $ 이면 공식은 맥마혼의 원래 평면 분할 공식으로 축소되며, 잔디가 고전 결과를 일반화함을 보여준다.
• 정규화된 타일링 비율은 잔디를 포함하는 가장 작은 균형 잡힌 육각형의 타일링 수 $ \operatorname{M}(H_F) $ 와 같으며, 이는 기하학적 해석을 제공한다.
• 일부 매개변수 이동에 대해 타일링 비율이 불변하며, 정규화된 비율의 극한은 $ N \to \infty $ 의 극한 뿐 아니라 유한한 $ N $ 에서도 안정화됨을 보여준다.
• 타일링 함수에 대한 재귀 관계는 대수적으로 검증되었으며, 유도된 곱 공식과의 일관성을 확인한다.
• 잔디와 샤모크는 유일하게 이 타일링 이중성 성질을 가지는 구조로 추측되며, 이는 깊이 있는 조합적 유일성의 가능성을 시사한다.