[논문 리뷰] Exactly solved models of polyominoes and polygons

Mireille Bousquet‐Mélou, R Brak|ArXiv.org|2008. 11. 26.

semigroups and automata theory참고 문헌 41인용 수 36

한 줄 요약

이 논문은 정사각형 격자 위의 자가피避 다각형과 폴리오미노의 정확한 수를 세기 위한 세 가지 일반적인 조합적 접근법—유리적, 대수적, 템퍼리의 방법—을 제시한다. 재귀적인 구조적 성질을 생성함수에 대한 함수방정식으로 변환함으로써, 유도된, 열로 볼록한, 대각선으로 볼록한 폴리오미노와 같은 클래스에 대해 정확한 해를 도출한다. 주요 결과로는 유리 및 대수적 생성함수와 새로운 분석된 클래스에 대해 약 3.72까지의 성장상수를 포함한다.

ABSTRACT

This chapter deals with the exact enumeration of certain classes of self-avoiding polygons and polyominoes on the square lattice. We present three general approaches that apply to many classes of polyominoes. The common principle to all of them is a recursive description of the polyominoes which then translates into a functional equation satisfied by the generating function. The first approach applies to classes of polyominoes having a linear recursive structure and results in a rational generating function. The second approach applies to classes of polyominoes having an algebraic recursive structure and results in an algebraic generating function. The third approach, commonly called the Temperley method, is based on the action of adding a new column to the polyominoes. We conclude by discussing some open questions.

연구 동기 및 목표

• 정사각형 격자 위의 자가피避 다각형과 폴리오미노의 정확한 수를 세기 위한 세 가지 일반적 방법을 개발하고 체계화하기.
• 재귀적 분해에 의해 정확한 해를 가능하게 하는 구조적 조건—예를 들어 볼록성과 유도성—을 규명하기.
• 면적, 수평 및 수직 둘레를 코딩하는 생성함수를 유도하고, 그 대수적 및 점근적 성질을 분석하기.
• 다양한 정확히 해를 구한 클래스들 사이에서 공통된 점근적 분포, 예를 들어 다각형의 면적 척도화의 보편성을 탐구하기.
• 미해결 문제들과 미래의 정확한 수를 세기 위한 잠재력 있는 새로운 클래스, 예를 들어 클라너의 미스터리한 폴리오미노 클래스를 규명하기.

제안 방법

• 열로 볼록성, 유도성 등의 구조적 성질에 기반한 폴리오미노의 재귀적 분해를 통해 생성함수에 대한 함수방정식을 유도하기.
• 일반적인 유도 또는 볼록 폴리오미노와 같은 선형 재귀적 구조를 가진 클래스에 대해 유리 생성함수 접근법을 적용하기.
• 유도 동물이나 부분적으로 유도된 폴리오미노와 같은 더 복잡한 재귀적 의존성을 가진 클래스에 대해 대수적 생성함수 접근법을 적용하기.
• 열 단위로 폴리오미노를 구성함으로써 템퍼리의 방법을 구현하여, 종종 해결하기 어려운 비선형 함수방정식을 도출하고 정확한 해를 얻기.
• 해결이 어려운 경우, 특히 점위치 둘레 통계에 대해 히프의 조합적 도구와 기체 모델 대응을 사용하여 해결하기.
• 복소해석 기법을 활용하여 정확한 생성함수에서 점근적 행동, 성장상수 및 최종 면적 분포를 추출하기.

실험 결과

연구 질문

• RQ1 폴리오미노의 어떤 구조적 성질이 유리 또는 대수적 생성함수를 통한 정확한 수를 세는 데 기여하는가?
• RQ2 템퍼리의 방법은 열로 볼록성 또는 유도 폴리오미노를 초월한 클래스로 일반화될 수 있는가?
• RQ3 다양한 정확히 해를 구한 폴리오미노 클래스들이 동일한 점근적 면적 분포를 보이는 이유는 무엇인가, 이는 보편성의 신호인가?
• RQ4 유도 동물의 오른쪽 점위치 둘레에 대한 적절한 생성함수는 기체 모델 대응이 아닌 순수 조합적 방법으로 유도될 수 있는가?
• RQ5 클라너의 미스터리한 폴리오미노 클래스의 정확한 성장상수는 얼마이며, 제시된 방법들로 해결될 수 있는가?

주요 결과

• 유리 및 대수적 생성함수 접근법은 각각 선형 및 대수적 재귀적 구조를 가진 클래스에 대해 정확한 해를 도출한다.
• 템퍼리의 방법은 넓은 범위의 볼록 및 유도 폴리오미노를 성공적으로 해결하지만, 유도된 함수방정식은 명시적으로 해결하기 어려운 경우가 많다.
• 최근 분석된 폴리오미노 클래스의 성장상수는 약 3.72로 추정되며, 이는 이전의 정확한 결과(열 높이가 유한한 유리 클래스 제외)를 초월한다.
• 면적과 오른쪽 점위치 둘레에 대한 유도 동물의 생성함수는 기존의 유리 형태의 단순한 확장으로 도출되었으며, 비트레비알한 조합적 항등식을 확인한다.
• 일차원 기체 모델과의 대응은 오른쪽 점위치 둘레 문제를 해결할 수 있게 했지만, 순수 조합적 증명은 아직 확보되지 않았다.
• 부분적으로 유도된 폴리오미노와 대각선으로 볼록한 폴리오미노는 유망한 구조적 성질을 보이며, 레이어 기반 접근법 적용에 어려움이 있음에도 불구하고 향후 정확한 수를 세는 데 잠재력이 있다.