[논문 리뷰] Tilings of Rectangular Regions by Rectangular Tiles: Counts Derived from Transfer Matrices

Richard J. Mathar|arXiv (Cornell University)|2014. 06. 30.

Cellular Automata and Applications참고 문헌 7인용 수 4

한 줄 요약

이 논문은 2차원 및 3차원 직육면체 타일을 사용하여 직육면체 영역과 3차원 직육면체 방을 타일링하는 데 필요한 방법 수를 세기 위해 전이 행렬 방법을 개발한다. 타일링 진행 상황은 덮인 영역의 프로파일을 추적하는 상태 벡터를 통해 모델링된다. 이는 $1\times3$, $1\times4$, $2\times3$, $1\times1\times2$, $1\times1\times3$, $1\times1\times4$, $1\times2\times3$ 타일에 대해 적당한 너비의 바닥과 방에서 명시적인 생성 함수를 유도하며, 상태 방향 그래프에서의 폐쇄 경로 수를 세는 방식으로 정확한 타일링 수를 계산할 수 있게 한다.

ABSTRACT

Step by step completion of a left-to-right tiling of a rectangular floor with tiles of a single shape starts from one edge of the floor, considers the possible ways of inserting a tile at the leftmost uncovered square, passes through a sequence of rugged shapes of the front line between covered and uncovered regions of the floor, and finishes with a straight front line at the opposite edge. We count the tilings by mapping the front shapes to nodes in a digraph, then counting closed walks on that digraph with the transfer matrix method. Generating functions are detailed for tiles of shape 1 x 3, 1 x 4 and 2 x 3 and modestly wide floors. Equivalent results are shown for the 3-dimensional analog of filling bricks of shape 1x 1 x 2, 1 x 1 x 3, 1 x 1 x 4, 1 x 2 x 2 or 1 x 2 x 3 into rectangular containers of small cross sections.

연구 동기 및 목표

• 고정된 직육면체 타일을 사용하여 직육면체 영역과 3차원 직육면체 용기를 타일링할 수 있는 방법 수를 체계적으로 세는 방법을 개발하는 것.
• 덮인 영역과 덮이지 않은 영역 사이의 경계 프로파일에 기반한 상태 전이 시퀀스로 타일링 과정을 모델링하는 것.
• 전이 행렬 방법을 적용하여 타일링 수를 상태 벡터의 방향 그래프에서의 폐쇄 경로 수로 전환하는 것.
• 특정 타일 형상과 용기 치수에 대해 명시적인 생성 함수를 도출하여 정확한 타일링 수 계산을 가능하게 하는 것.

제안 방법

• 각 중간 타일링 상태를 높이 벡터 $ (h_1 h_2 \ldots h_m) $ 로 표현하며, 여기서 $ h_i $ 는 열 $ i $ 에서 타일이 덮이지 않은 영역으로 침투하는 정도를 나타내며, $ 0 \leq h_i \leq t_n $ 이다.
• 노드가 상태 벡터이고, 간선이 한 상태에서 다른 상태로 타일을 유효하게 놓음으로써 전이를 나타내는 방향 그래프(디그래프)를 구성한다.
• 전이 행렬 방법을 사용하여 모든 요소가 0인 상태 벡터 $ (00\ldots0) $ 에서 시작하고 끝나는 길이 $ N $ 의 폐쇄 경로 수를 세며, 이는 완전한 타일링에 해당한다.
• 그래프 이론적 규칙을 적용하여 일반 생성 함수 $ T_{t_m \times t_n}(m,z) = \sum_N T(m,N) z^N $ 를 유도한다: 간선 가중치 $ z $, 병렬 및 직렬 경로 조합, 순환에 대한 기하급수 급수.
• 불연결된 부분 그래프를 제거하고 생성 함수 표현식을 단순화하기 위해 잘라내기 규칙을 적용한다.
• 생성 함수의 구조를 이용하여 계수 추출을 통해 정확한 타일링 수를 추출하며, 결과는 알려진 정수 수열(예: OEIS A000079, A103143, A237357, A237358, A233291)과 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 고정된 $ t_m \times t_n $ 직육면체 타일을 사용하여 $ m \times n $ 직육면체 바닥을 타일링할 수 있는 방법 수를 효율적으로 계산하는 방법은 무엇인가? (두 방향 모두 포함).
• RQ2 부분 타일링의 상태 공간의 구조는 어떠한가? 그리고 이를 수렴 가능한 디그래프로 표현하여 수를 세는 데 어떻게 활용할 수 있는가?
• RQ3 $1\times3$, $1\times4$, $2\times3$, 그리고 $1\times1\times4$, $1\times2\times3$ 와 같은 3차원 블록이 있는 타일링 문제에 대해 생성 함수를 도출할 수 있으며, 이는 타일링 수에 대한 통찰을 어떻게 제공하는가?
• RQ4 2차원 및 3차원 타일링 문제의 생성 함수는 알려진 정수 수열과 어떻게 관련되어 있으며, 조합론적 구조와의 관계는 어떠한가?
• RQ5 상태 디그래프에서 대칭성과 연결성의 역할은 무엇이며, 불필요한 구성 요소를 어떻게 제거하여 생성 함수를 단순화할 수 있는가?

주요 결과

• $1\times3$ 타일이 $1\times n$ 바닥에 놓일 경우, 생성 함수가 도출되었으며, 이는 알려진 조합론적 수와 일치하는 정수 수열을 생성함을 보여준다.
• $1\times4$ 타일이 $2\times n$ 바닥에 놓일 경우, 생성 함수는 $ T_{1\times4}(2,4,z) = \frac{1 - z^4 - z^8 + z^{12} - z^6}{(1 - z^2 - 2z^4 + z^8)(-z^{12} + z^4 + 1 - z^8 + z^6)} $ 로 주어지며, 계수는 $1\times4$ 타일링 수의 제곱과 일치한다.
• $1\times1\times4$ 블록이 $2\times4\times n$ 방에 놓일 경우, 생성 함수의 계수 $ T(2,4,N) = T_{1\times4}^2(4,N) $ 를 제공하며, 2차원과 3차원 타일링 수 사이의 구조적 관계를 확인한다.
• $1\times2\times3$ 블록이 $2\times2\times n$ 방에 놓일 경우, 생성 함수는 $ \frac{1}{1 - 2z^2} $ 로 주어지며, 이는 각 배치 후에 직선 프로파일로 강제로 복귀하는 것을 반영하여 2의 거듭제곱을 생성한다.
• $3\times3\times n$ 방에 $1\times2\times3$ 블록이 놓일 경우, 생성 함수는 $ \frac{1 - z^3}{1 - 22z^6 - 7z^3 - 36z^9} $ 로 주어지며, 계수 $ 1, 6, 64, 616, 5936, 57408, \ldots $ 는 OEIS A237357 와 일치한다.
• $3\times4\times n$ 방에 $1\times2\times3$ 블록이 놓일 경우, 생성 함수는 복잡한 유리형으로 표현되며 분자와 분모 다항식을 포함하며, 계수 $ 1, 1, 11, 64, 296, 1716, 9123, \ldots $ 는 OEIS A237358 와 일치한다.