[논문 리뷰] Polyominoes with nearly convex columns: A semidirected model

Svjetlan Feretić|arXiv (Cornell University)|2009. 10. 23.

Point processes and geometric inequalities참고 문헌 12인용 수 6

한 줄 요약

이 논문은 열린 다각형의 일반화로, 열이 최대 두 개의 연결된 성분을 가지며, 최대 $m$ 개의 셀 간격으로 분리된 열을 允허하는 정육각형 격자 위의 레벨-$m$ 치즈 다각형을 도입한다. 반방향 제약 조건과 Temperley 방법을 사용하여 유리 함수 형태의 면적 생성함수를 유도하고, 성장 상수가 $m$ 증가함에 따라 증가함을 보이며, 레벨 3에서는 4.2886에 도달하여 열이 볼록인 다각형을 초월하지만 다방향 동물보다는 낮은 성장률을 보인다.

ABSTRACT

Column-convex polyominoes are by now a well-explored model. So far, however, no attention has been given to polyominoes whose columns can have either one or two connected components. This little known kind of polyominoes seems not to be manageable as a whole. To obtain solvable models, one needs to introduce some restrictions. This paper is focused on polyominoes with hexagonal cells. The restrictions just mentioned are semidirectedness and an upper bound on the size of the gap within a column. The solvable models so obtained have rational area generating functions, as column-convex polyominoes do. However, the growth constants of the new models are 4.114908 and more, whereas the growth constant of column-convex polyominoes is 3.863131.

연구 동기 및 목표

• 열이 최대 두 개의 연결된 성분을 가지며, 간격이 최대 $m$ 셀로 제한되는 열을 允허함으로써 열이 볼凸인 다각형의 일반화를 시도한다.
• 비제약된 거의 볼凸 열 다각형의 비가공성 문제를 피하기 위해, 유리 면적 생성함수를 갖는 해법 가능한 모델을 개발한다.
• 기존의 해법 가능한 모델(예: 열이 볼凸 또는 방향 다각형)보다 더 높은 성장 상수를 달성할 수 있는지 탐색한다.
• 치즈 블록을 가진 다각형 및 열-하나볼凸 다각형 등의 향후 모델을 위한 기초를 마련한다.
• 이러한 모델의 渐近 성장률을 다방향 동물 및 모든 다각형과 같은 알려진 클래스와 비교한다.

제안 방법

• 레벨-$m$ 치즈 다각형을 오른쪽으로 반방향으로 정렬된 다각형으로 정의하며, 각 열이 최대 두 개의 연결된 성분을 가지며, 성분 간 간격이 최대 $m$ 셀 이내임을 조건으로 한다.
• Bousquet-Mélou와 Svrtan가 개발한 Temperley 방법의 '터보' 버전을 적용하여 면적 생성함수를 유도한다.
• 열의 구조와 반방향 제약 조건에 기반한 재귀적 분해를 통해 다각형의 성장 과정을 단계적으로 모델링한다.
• 작은 경우의 정확한 수를 세는 방식을 통해 기호 계산을 구현하여, 레벨 $m = 1, 2, 3$에 대해 유리 생성함수를 유도한다.
• 작은 $n$에 대해 계산된 수를 기존 값과 비교하여 일관성을 검증함으로써, 열이 볼凸 및 기타 다각형 클래스와의 일致를 확인한다.
• 유리 생성함수의 주요 특이점에서 성장 상수를 추출하여 渐近 행동을 분석한다.

실험 결과

연구 질문

• RQ1 열이 최대 두 개의 연결된 성분과 제한된 간격을 가진 열을 允허하는 열이 볼凸인 다각형의 일반화가, 유리 면적 생성함수를 갖는 정확한 해법이 가능한가?
• RQ2 이러한 일반화된 다각형의 성장률은 어떻게 되며, 열이 볼凸인 다각형이나 다방향 동물과 같은 기존 모델과 비교해 볼 때 어떠한가?
• RQ3 간격 크기의 상한 $m$ 을 증가시킬수록 성장 상수가 단조적으로 증가하는가? 그리고 $m \to \infty$ 일 때의 점근적 행동은 어떠한가?
• RQ4 반방향 제약 조건이 유리 생성함수를 얻기 위해 필수적인가? 아니면 더 일반화할 수 있겠지만 해법 가능성은 유지할 수 있는가?
• RQ5 레벨-1 치즈 다각형의 둘레 생성함수를 계산할 수 있는가? 그리고 그 수렴 반경은 양수인가?

주요 결과

• 레벨-1 치즈 다각형의 면적 생성함수는 유리 함수이며, 성장 상수는 약 4.1149이다.
• 레벨-2 치즈 다각형의 경우 성장 상수는 약 4.2318으로 증가하고, 레벨-3에서는 4.2886에 도달한다.
• 크기 $n$ 의 레벨-$m$ 치즈 다각형의 수는 $c_m \times \lambda_m^n$ 형태로 渐近적으로 증가하며, $\lambda_m$ 는 $m$ 증가함에 따라 증가한다. 여기서 $c_1 \approx 0.1441$, $c_2 \approx 0.1210$, $c_3 \approx 0.1082$ 이다.
• 열이 볼凸인 다각형의 성장 상수(3.8631)는 모든 레벨의 치즈 다각형에 의해 초월되며, 더 빠른 성장률을 나타낸다.
• 관측된 첫 번째 차이를 바탕으로, 치즈 다각형의 성장 상수는 $m \to \infty$ 일 때 약 4.346으로 수렴하는 것으로 보인다.
• 둘레 기반 수량 계산이 불가능할 것으로 예상되며, 둘레 생성함수의 수렴 반경이 0으로 추측되기 때문이다.