[논문 리뷰] Permutations defining convex permutominoes

Antonio Bernini, Filippo Disanto외 2명|ArXiv.org|2007. 11. 05.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 11

한 줄 요약

이 논문은 맨서와 세버리니가 도입한 '정사각형 순열'을 활용한 새로운 표현을 통해, 특정 기하학적 제약 조건을 만족하는 순열 쌍으로 구성되는 볼록 permutominoes를 정의하는 순열을 특성화한다. 주요 기여는 볼록 permutominoes의 조합적 성질과 대칭성에서 유도된 크기 $ n $ 의 이러한 순열의 수에 대한 닫힌 형태의 공식을 도출한 것으로, 이러한 구조의 수를 세는 데 있어 열려 있는 문제를 해결한다.

ABSTRACT

A permutomino of size n is a polyomino determined by particular pairs (P1, P2) of permutations of size n, such that P1(i) is different from P2(i), for all i. Here we determine the combinatorial properties and, in particular, the characterization for the permutations defining convex permutominoes. Using such a characterization, these permutations can be uniquely represented in terms of the so called square permutations, introduced by Mansour and Severini. Then, we provide a closed formula for the number of these permutations with size n.

연구 동기 및 목표

• 볼록 permutominoes를 정의하는 순열의 집합을 기하학적 및 조합적 제약 조건을 통해 특성화하는 것.
• 정사각형 순열 개념을 통해 볼록 permutominoes와 특정 순열 클래스 사이의 전단사 관계를 수립하는 것.
• 크기 $ n $ 의 이러한 순열의 수에 대한 닫힌 형태의 공식을 유도하여 열려 있는 수 세기 문제를 해결하는 것.
• 특히 역전 및 행렬 변환을 통해 순열의 대칭성과 permutomino의 구조 간의 상호작용을 탐색하는 것.
• 볼록이 아닌 클래스, 예를 들어 열-볼록 permutominoes로의 특성화 확장을 위한 열려 있는 문제를 규명하는 것.

제안 방법

• 저자들은 볼록 permutominoes를 구멍이 없는 다면체로 정의하며, 경계의 정점들이 두 개의 순열 $ \pi_1 $ 과 $ \pi_2 $ 를 생성한다. 각 순열은 $ \{1, \dots, n+1\} $ 의 순열이며, 모든 $ i $ 에 대해 $ \pi_1(i) \neq \pi_2(i) $ 를 만족한다.
• 그들은 맨서와 세버리니가 정의한 '정사각형 순열'의 개념을 도입하고, 특정 대칭 제약 조건 하에서 볼록 permutominoes가 이러한 순열과 유일하게 대응됨을 보여준다.
• 특성화 과정은 permutomino 경계의 돌출점과 볼록점의 구조 분석에 기반하며, 순열 쌍의 행렬 표현을 활용한다.
• 논문은 생성함수와 조합 항등식을 사용하며, 특히 카탈란 수 $ c_n $ 과 중심 이항계수 $ \binom{2n}{n} $ 를 포함한다. 이를 통해 닫힌 공식을 도출한다.
• 역전($ \pi^R $)과 행렬 전치($ \pi^M $)와 같은 대칭 연산을 사용하여 $ \widetilde{\mathcal{C}}_n $ 과 $ \widetilde{\mathcal{C}}'_n $ 의 순열 간의 관계를 규명한다. 여기서 $ \widetilde{\mathcal{C}}_n $ 과 $ \widetilde{\mathcal{C}}'_n $ 은 볼록 permutominoes를 정의하는 순열의 집합이다.
• 포함-배제 원리를 활용하고, 방향성 및 평행사다리꼴 permutominoes에 대한 기존 결과를 통합하여 수식을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 순열이 볼록 permutominoes를 유일하게 정의하며, 그들을 특성화하는 조합적 성질은 무엇인가?
• RQ2 정사각형 순열 개념을 활용하여 볼록 permutominoes를 정의하는 순열 집합을 어떻게 표현할 수 있는가?
• RQ3 크기 $ n $ 의 순열 중 볼록 permutominoes를 정의하는 순열의 정확한 수는 얼마이며, 기존의 조합 수열과의 관계는 어떻게 되는가?
• RQ4 볼록 permutominoes와 관련된 순열 간의 관계를 해석적으로가 아니라 조합적으로 설명할 수 있는가?
• RQ5 열-볼록 permutominoes와 같은 비볼록 구조에 대응하는 순열의 구조는 무엇이며, 볼록 케이스와 어떻게 다를까?

주요 결과

• 크기 $ n $ 의 볼록 permutominoes를 정의하는 순열의 수는 $ Q_n = 2 \widetilde{C}_n - \left| \widetilde{\mathcal{C}}_n \cap \widetilde{\mathcal{C}}'_n \right| $ 의 닫힌 공식으로 주어진다. 여기서 $ \widetilde{C}_n $ 은 크기 $ n $ 의 정사각형 순열의 수이다.
• 교차 집합의 크기 $ \left| \widetilde{\mathcal{C}}_n \cap \widetilde{\mathcal{C}}'_n \right| $ 는 $ n \geq 3 $ 에 대해 $ 2(n-1)4^{n-3} - \binom{2n-3}{n-2} $ 로 주어지며, 이는 정사각형 순열과 대칭적 겹침의 차이에서 유도된다.
• 반둘레가 $ n+2 $ 인 볼록 permutominoes의 수는 $ C_{n+2} = \widetilde{C}_{n+2} + \frac{1}{2}(4^n - \binom{2n}{n}) $ 로 주어지며, 이는 알려진 조합 수열과 연결된다.
• 크기 $ n = 4 $ 에서 $ \widetilde{\mathcal{C}}_4 \cap \widetilde{\mathcal{C}}'_4 $ 는 정확히 두 개의 순열 $ (2,4,1,3) $ 과 $ (3,1,4,2) $ 를 포함하며, 이는 대칭 조건을 잘 보여준다.
• 집합 $ \widetilde{\mathcal{C}}_n \cap \widetilde{\mathcal{C}}'_n $ 의 순열에 대한 생성함수는 $ 2\left( \frac{x^2 c(x)}{1-4x} \right)^2 $ 이며, 여기서 $ c(x) $ 는 카탈란 수의 생성함수이다.
• 논문은 $ Q_n $ 의 공식이 현재의 조합적 해석으로는 완전히 설명될 수 없다고 지적하며, 더 깊은 구조적 통찰이 필요함을 시사한다.