[논문 리뷰] Grid polygons from permutations and their enumeration by the kernel method

Toufik Mansour, Simone Severini|ArXiv.org|2006. 03. 09.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 12

한 줄 요약

이 논문은 순열에서 유도된 격자 다각형인 연속 최소 다각형을 소개하고, 커널 방법을 사용하여 기하적 조건 하에서의 수를 세는 데에 활용한다. 2-, 3-, 4면 다각형에 대해 명시적인 생성함수를 제공하며, 주요 결과로는 정사각형 순열에 대한 닫힌 형태의 생성함수와 카탈란 수 및 중심 이항계수와의 연결 고리를 포함한다.

ABSTRACT

A grid polygon is a polygon whose vertices are points of a grid. We define an injective map between permutations of length n and a subset of grid polygons on n vertices, which we call consecutive-minima polygons. By the kernel method, we enumerate sets of permutations whose consecutive-minima polygons satisfy specific geometric conditions. We deal with 2-variate and 3-variate generating functions involving derivatives, cases which are not routinely solved by the kernel method.

연구 동기 및 목표

• 순열과 특수한 격자 다각형인 연속 최소 다각형 사이의 일대일 대응을 수립하기 위해.
• 특정 기하 조건을 만족하는 순열을 수세기, 예를 들어 고정된 면 수를 가진 연속 최소 다각형을 포함하여.
• 일반적으로 해결되지 않는 다변수 생성함수에 파생항을 포함하는 경우에도 커널 방법의 적용 범위를 확장하기 위해.
• 이러한 다각형의 조합적 해석과 구조적 성질을 탐색하며, 기존의 조합 수열과의 연결 고리를 밝혀내기 위해.

제안 방법

• 각 순열이 유일한 연속 최소 다각형에 대응되도록 격자 점으로의 단사 사상으로 격자 다각형을 정의한다.
• 다각형의 꼭짓점과 연결성을 정의하는 주요 조합 구조로 왼쪽-오른쪽 최소값, 오른쪽-왼쪽 최소값, 소스를 도입한다.
• 면 수와 꼭짓점 유형에 따라 다각형 구성 상태를 추적하는 생성함수 $ C_n(v,u) $, $ B_n(v,u) $, $ A_n(v,u) $ 의 재귀 관계를 설정한다.
• 다양한 변수에 대한 생성함수 기법을 사용하여 재귀 관계를 다변수 기능 방정식(예: $ C(v,u;x) $)으로 변환한다.
• 커널 방법을 적용하여 복잡한 다변수 기능 방정식을 해결하며, 특히 $ u = v^{-1} $ 를 대입하여 의존성을 제거하고 $ C(1,1;x) $ 를 고립시킨다.
• 예를 들어 $ C(1,1;x) = \frac{2(3x-1)x^2}{(1-4x)^{3/2}} + \frac{2x^2(1-7x+15x^2-8x^3)}{(1-2x)/(1-4x)^2} $ 와 같은 명시적 닫힌 형태의 표현식을 도출하여 다각형 수의 세기 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 2, 3, 4면을 정확히 가진 연속 최소 다각형의 수는 얼마이며, 이는 생성함수로 표현될 수 있는가?
• RQ2 이러한 다각형 수의 세기 요구에 따라, 파생항을 포함하는 다변수 기능 방정식을 해결하기 위해 커널 방법을 성공적으로 확장할 수 있는가?
• RQ3 길이 $ n $ 인 정사각형 순열을 세는 공식 $ 2(n+2)4^{n-3} - 2(n+1)\binom{2n-4}{n-3} $ 에 대한 조합적 해석은 존재하는가?
• RQ4 일반적인 $ m $ 에 대해 $ m $-병렬 또는 $ m $-삼각형 순열의 생성함수는 무엇이며, 기존의 $ m \leq 5 $ 경우를 초월하여 어떻게 일반화할 수 있는가?
• RQ5 최대 면적, 둘레, 대칭류 등과 같은 기하적 성질은 연속 최소 다각형을 특징짓는가?

주요 결과

• 4면을 가진 연속 최소 다각형의 일반 생성함수는 명시적으로 유도되었으며, $ C(1,1;x) = \frac{2(3x-1)x^2}{(1-4x)^{3/2}} + \frac{2x^2(1-7x+15x^2-8x^3)}{(1-2x)/(1-4x)^2} $ 로 표현된다.
• n개 꼭짓점을 가진 2면 다각형의 수는 $ \frac{2}{n-1}\binom{2n-4}{n-2} - 2 $ 이며, 이는 $ (n-2) $-번째 카탈란 수의 두 배이다.
• 최대 2면을 가진 다각형의 수는 $ \frac{2}{n-1}\binom{2n-4}{n-2} $ 와 같으며, 카탈란 수와의 연결 고리를 확인한다.
• 길이 $ n+2 $ 인 삼각형 순열의 수는 $ \binom{2n}{n} $ 이며, 중심 이항계수 수열 A000984와 일치한다.
• 길이 $ n $ 인 정사각형 순열의 수는 $ 2(n+2)4^{n-3} - 2(n+1)\binom{2n-4}{n-3} $ 로 주어지며, 정리 16과 추론 10에서 유도된다.
• 생성함수 $ Q'(1,1;x) = \frac{(1-3x)x^2}{(1-4x)^2} - \frac{2x^3}{(1-4x)^{3/2}} $ 는 $ Q(1,1;x) = 2Q'(1,1;x) $ 를 유도하는 데 사용되며, 정사각형 순열의 전체 생성함수를 제공한다.