[논문 리뷰] The area generating function for simplex-duplex polyominoes

Svjetlan Feretić|ArXiv.org|2009. 10. 26.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 3

한 줄 요약

이 논문은 두 개의 연결된 성분을 가진 인접한 열이 둘 다 존재하지 않는 열-더블렉스 펜로미노(열-더블렉스 펜로미노의 하위 유형)인 싱글렉스-더블렉스 펜로미노를 소개하고, 온전한 템퍼리 방법의 개선된 버전을 사용하여 면적 생성함수를 유도한다. 이 방법은 한 번에 한 개 또는 두 개의 열을 추가하고, 생성함수의 일阶 및 이阶 도함수를 포함하는 함수 방정식을 해결함으로써 작동하며, n-셀 싱글렉스-더블렉스 펜로미노의 점근적 성장률은 약 0.119443 × 3.522020^n으로 도출된다.

ABSTRACT

Back in the early days of polyomino enumeration, a model called column-convex polyominoes was introduced and its area generating function was found. That generating function is rational: the numerator has degree four and the denominator has degree three. Let a column-duplex polyomino be a polyomino whose columns can have either one or two connected components. A simplex-duplex polyomino is a column-duplex polyomino in which there is no occurrence of two adjacent columns each having two connected components. Simplex-duplex polyominoes are not easy to deal with, but their area generating function can still be found. To find this generating function, we use an upgraded version of the Temperley method. Though that technique is widely used in these times, our application presents two interesting features. Firstly, we add one or two columns at a time, thus bypassing those simplex-duplex polyominoes which end with a two-component column. (It is somewhat more usual to add just one column at a time.) Secondly, we obtain a functional equation that involves both the first and the second derivatives of the sought-for generating function. (Such equations usually involve the first derivative only. In some cases, no derivative is involved at all.) Right because of this latter interesting feature, the Temperley method produces a very complicated formula for the generating function. Anyway, from that formula it is easy to compute Taylor polynomials. Thus we get plenty of evidence that the number of n-celled simplex-duplex polyominoes behaves asymptotically as 0.119443*3.522020^n. For comparison, the number of n-celled column-convex polyominoes behaves asymptotically as 0.180916*3.205569^n.

연구 동기 및 목표

• 기본적으로 정확한 수세기로 불가능한 열-볼록형과 열-더블렉스 펜로미노 사이를 연결하는 해석 가능한 모델을 개발하기 위해.
• 두 개의 연결된 성분을 가진 열이 서로 인접하지 않는 열-더블렉스 펜로미노의 하위 유형인 싱글렉스-더블렉스 펜로미노를 정의하고 분석하기 위해.
• 면적(q)과 두 성분을 가진 열의 수(w)에 따라 싱글렉스-더블렉스 펜로미노를 세는 이변수 생성함수 G(q,w)를 유도하기 위해.
• 전체 n-셀 싱글렉스-더블렉스 펜로미노의 수를 위한 면적 생성함수 G(q,1)를 계산하고, 그 점근적 행동을 규명하기 위해.

제안 방법

• 두 성분을 가진 열로 인한 복잡성을 피하기 위해, 한 번에 한 개 또는 두 개의 열을 추가하는 템퍼리 방법의 개선된 버전을 사용하였다.
• 생성함수의 일阶 및 이阶 도함수를 포함하는 함수 방정식을 수립하였으며, 이는 비표준적 특성으로 복잡성을 증가시킨다.
• 함수 방정식을 해결하여, 한 성분을 가진 열로 끝나는 싱글렉스-더블렉스 펜로미노의 생성함수를 도출하였다.
• 해결된 해를 바탕으로 전체 생성함수 G(q,1)를 재구성하였으며, 이는 테일러 급수 계수의 계산을 가능하게 하였다.
• 점근적 행동 분석을 위해 고차수의 테일러 다항식(최대 차수 320)을 수치적으로 계산하였다.
• 점근적 분석은 연속된 계수의 비율을 분석하고 성장 상수로 정규화하여 수행되었다.

실험 결과

연구 질문

• RQ1 n-셀 싱글렉스-더블렉스 펜로미노의 수의 점근적 성장률은 무엇이며, 열-볼록형 펜로미노의 성장률과 비교해 볼 때 어떻게 다를까?
• RQ2 이 모델의 복잡성과 단순한 재귀적 구조의 부재에도 불구하고, 싱글렉스-더블렉스 펜로미노의 면적 생성함수를 도출할 수 있는가?
• RQ3 두 성분을 가진 열의 존재가, 이웃 관계 제약 조건 하에서 생성함수의 구조와 특이점 성질에 어떤 영향을 미치는가?
• RQ4 함수 방정식에 이阶 도함수를 사용하는 것이 생성함수의 해법 가능성과 복잡성에 어떤 영향을 미치는가?
• RQ5 싱글렉스-더블렉스 펜로미노의 생성함수는 열-볼록형 펜로미노의 생성함수보다 더 복잡한가? 이는 향후 일반화에 대해 어떤 시사점을 갖는가?

주요 결과

• 면적 생성함수 G(q,1)의 320차 테일러 다항식 분석에 기반하여, n-셀 싱글렉스-더블렉스 펜로미노의 수는 약 0.119442870405 × 3.522019812882^n로 점근적으로 행동한다.
• 면적 생성함수 G(q,1)의 주요 특이점은 약 0.283927988236에 위치한 단순 극이다.
• 이변수 생성함수에서 w=0의 특수한 경우로 열-볼록형 펜로미노의 면적 생성함수가 복원되며, 이는 기존 결과와의 일관성을 확인한다.
• 유도 과정에서 사용된 함수 방정식은 생성함수의 일阶 및 이阶 도함수를 포함하고 있어, 이는 드문 비표준적 특성으로 공식의 복잡성을 증가시킨다.
• 성장 상수 3.522020은 열-볼凸형 펜로미노의 성장 상수(3.205569)보다 뚜렷이 높아, 더 높은 밀도의 펜로미노 집합을 나타낸다.
• 생성함수의 복잡성에도 불구하고, 고정밀 수치 계산을 통한 테일러 계수 분석은 점근적 행동을 매우 높은 신뢰도로 확인한다.