[논문 리뷰] Counting polyominoes with minimum perimeter

Sascha Kurz|arXiv (Cornell University)|2005. 06. 21.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 13

한 줄 요약

이 논문은 생성함수와 군론적 대칭성 감소(카우치-프로베니우스 보조정리)를 사용하여 $ n $개의 칸을 가진 정사각형 폴리오미노 중 최소 둘레를 가지는 경우를 완전히 나열한다. 주요 결과는 생성함수 $ r(x) $ 와 $ q(x) $ 를 통해 표현된 $ e(n) $, 즉 이러한 극값 폴리오미노의 수에 대한 닫힌 형식의 공식이며, $ n \leq 144 $ 까지의 명시적 값이 계산되었다. 최대값은 $ n = s^2+1 $ 과 $ n = s^2+s+1 $ 에서 발생한다.

ABSTRACT

The number of essentially different square polyominoes of order n and minimum perimeter p(n) is enumerated.

연구 동기 및 목표

• 크기가 $ n $ 인 서로 다른 정사각형 폴리오미노 중 최소 둘레를 가지는 경우의 수 $ e(n) $ 를 결정하는 것.
• 이전 증명에서 둘레 그래프의 컷 정점에 대한 모호함을 해결하기 위해 잘못된 보조정리를 의존하지 않고 재정립된 나열 방법을 제공하는 것.
• 이동, 회전, 반사와 같은 대칭성을 고려한 엄밀한 최소 둘레 폴리오미노의 나열을 수행하는 것.
• 각 $ n $ 에 대해 이러한 폴리오미노의 수를 코딩하는 닫힌 형식의 생성함수 $ r(x) $ 와 $ q(x) $ 를 유도하는 것.

제안 방법

• 최소 둘레와 내부 변의 수가 최대일 때의 등가성: $ B(n) = 2n - \lceil 2\sqrt{n} \rceil $ 이므로 최소 둘레는 $ p(n) = 2\lceil 2\sqrt{n} \rceil $ 이다.
• 극값 폴리오미노를 직사각형 격자에서 모서리의 정사각형을 제거하여 유도된 것으로 특성화하며, 그 결과로 연결되어 있고 구멍이 없는 도형이 유지되도록 한다.
• 카우치-프로베니우스 보조정리를 적용하여 대칭성(회전과 반사)을 고려하고, 모서리 제거 집합에 대한 군 작용을 사용한다.
• 생성함수 정의: 제약 없음 분할을 위한 $ a(x) = \prod_{j=1}^\infty \frac{1}{1-x^j} $ 과 대칭적 모서리 제거를 위한 $ s(x) = 1 + \sum_{k=1}^\infty x^{k^2} \prod_{j=1}^k \frac{1}{1-x^{2j}} $.
• 직사각형 대칭을 위한 $ r(x) = \frac{1}{4}(a(x)^4 + 3a(x^2)^2) $ 과 정사각형 대칭을 위한 $ q(x) = \frac{1}{8}(a(x)^4 + 3a(x^2)^2 + 2s(x)^2a(x^2) + 2a(x^4)) $ 를 구성한다.
• 이 생성함수를 사용하여 $ n = s^2 + t $ 와 $ n = s^2 + s + t $ 를 기반으로 한 조건부 공식을 통해 $ e(n) $ 를 계산한다. 여기서 $ s = \lfloor \sqrt{n} \rfloor $ 이다.

실험 결과

연구 질문

• RQ1 크기가 $ n $ 인 서로 다른 정사각형 폴리오미노 중 최소 둘레를 가지는 경우는 몇 개인가?
• RQ2 최소 둘레를 가지는 폴리오미노의 구조는 어떻게 되며, 어떻게 직사각형에서 체계적으로 유도할 수 있는가?
• RQ3 최소 둘레 폴리오미노의 나열에서 회전과 반사와 같은 대칭성을 어떻게 정확히 고려할 수 있는가?
• RQ4 모든 $ n $ 에 대해 이러한 폴리오미노의 수를 코딩하는 생성함수는 무엇이며, 그들은 군 작용과 분할 이론에서 어떻게 도출되는가?
• RQ5 이전에 둘레 그래프의 컷 정점 문제로 인해 발생한 문제들에도 불구하고, 나열 과정을 엄밀하게 수행할 수 있는가?

주요 결과

• 크기가 $ n $ 인 최소 둘레 폴리오미노의 수 $ e(n) $ 는 $ s = \lfloor \sqrt{n} \rfloor $ 를 기반으로 한 조건부 공식으로 주어지며, $ n = s^2 $, $ n = s^2 + t $, $ n = s^2 + s $, $ n = s^2 + s + t $ 의 경우로 나뉜다.
• $ n = s^2 $ 인 경우 $ e(n) = 1 $ 이며, 이는 완벽한 정사각형 격자에 해당한다.
• $ n = s^2 + s $ 인 경우 $ e(n) = 1 $ 이며, 이는 한 면 전체를 제거한 거의 정사각형 직사각형에 해당한다.
• $ e(n) $ 의 최대값은 $ n = s^2 + 1 $ 과 $ n = s^2 + s + 1 $ 에서 발생하며, $ s = 49 $ 일 때 $ e(s^2 + 1) $ 는 14165630358 에 도달하고, $ e(s^2 + s + 1) $ 는 20206501603 에 도달한다.
• 카우치-프로베니우스 보조정리를 사용하여 유도된 생성함수 $ q(x) $ 는 정사각형의 이면 대칭성을 정확히 반영하며, $ r(x) $ 는 직사각형 대칭을 반영하여 정확한 나열을 가능하게 한다.