직사각형 도미노 테이블러의 순환 소거 현상과 새로운 피보나치·카탈란 항등식

초록

본 논문은 2×n 형태의 도미노 테이블러를 정확히 셈하고, 이를 이용해 해당 객체에 대한 새로운 순환 소거 현상(CSP)을 제시한다. 또한 임의의 m×n 직사각형에 대한 도미노 테이블러의 개수를 구하고, 피보나치 수와 카탈란 수 사이의 새로운 관계식을 도출한다. 마지막으로 일반 직사각형에 대한 CSP 가능성을 conjecture한다.

상세 분석

논문은 먼저 도미노 테이블러(DT)의 정의와 기존의 2‑quotient 이론을 정리한다. 2×n 직사각형의 경우, 각 도미노는 수직 혹은 수평(스택) 형태로 배치될 수 있으며, 스택이 k≥2인 경우 동일한 타일링에 대해 라벨링이 Catalan 수 C_k 만큼 중복된다는 중요한 관찰을 제시한다. 이를 바탕으로 저자들은 “하단 수평 도미노 라벨만으로 전체 테이블러가 결정된다”는 Lemma 3.4를 증명하고, 하단 라벨 집합을 ⌊n/2⌋개의 원소를 갖는 부분집합 S⊂