[논문 리뷰] Enumeration of $(k,2)$-noncrossing partitions

Toufik Mansour, Simone Severini|ArXiv.org|2008. 08. 08.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 6

한 줄 요약

이 논문은 $(k,2)$-noncrossing 파artition—패턴 $12\cdots k12\cdots 2$ 를 피하는 집합 분할—의 일반 생성함수에 대한 명시적 공식을 커널 방법을 사용하여 제시한다. 이는 $x$와 $\sqrt{(1-kx)^2 - 4x^2}$에 대한 유리식을 유도하며, $k \geq 2$일 때 카탈란 수 유형의 수세기 결과를 더 넓은 범주로 일반화한다. 주요 기여는 블록 구조 매개변수를 기반으로 한 재귀 및 생성함수 분해를 통한 체계적 해결 방법이다.

ABSTRACT

A set partition is said to be $(k,d)$-noncrossing if it avoids the pattern $12... k12... d$. We find an explicit formula for the ordinary generating function of the number of $(k,d)$-noncrossing partitions of $\{1,2,...,n\}$ when $d=1,2$.

연구 동기 및 목표

• 모든 $k \geq 2$에 대해 $(k,2)$-noncrossing 파artition—서브시퀀스 패턴 $12\cdots k12\cdots 2$ 를 피하는 집합 분할—을 수세기하기 위해.
• [$n$] 위의 이러한 파artition의 수에 대한 일반 생성함수에 대한 폐쇄형 표현을 유도하여, 비크로싱 및 비내장 파artition에 대한 기존 결과를 일반화하기 위해.
• 파artition 블록 구조 제약 조건에서 기인하는 두 인덱스를 가진 선형 재귀 시스템을 해결하기 위해 커널 방법을 확장하기 위해.
• 생성함수와 $\sqrt{(1-kx)^2 - 4x^2}$를 포함하는 대수적 함수 사이의 연결 고리 수립을 통해 더 깊은 조합적 구조를 드러내기 위해.

제안 방법

• 저자들은 파artition의 수를 블록의 수 $\ell$에 따라 분할하여, $\pi_i = i$ for $i \leq \ell$ 이고 $\pi_{\ell+1} \neq \ell+1$ 인 $\ell$-증가 파artition에 대응하는 매개변수 $\ell$ 를 기반으로, $(k,2)$-noncrossing 파artition의 집합을 상호배타적인 부분집합 $\mathcal{P}_{k,\ell}(n)$ 으로 분해한다.
• 각 부분집합에 대해 생성함수 $F_{k,\ell}(x)$ 를 정의하고, 금지된 패턴에서 기인하는 구조적 제약 조건을 이용해 $n$과 $\ell$ 에 대한 선형 재귀 관계 시스템을 유도한다.
• 생성함수 $F_k(x,y) = \sum_{\ell \geq 0} F_{k,\ell}(x) y^\ell$ 의 함수 방정식을 해결하기 위해 커널 방법을 적용하며, 커널 방정식의 근 $y_k$ 를 찾는다.
• 블록 전이의 재귀 가중치를 코딩하기 위해, $\ell x \prod_{s=i+1}^{j-1} (sx - 1)$ 의 곱으로 정의된 보조 계수 $\beta_{i,j}$ 를 도입한다.
• 전체 클래스의 생성함수는 $x$, $y_k$, 그리고 $\beta_{i,j}$ 계수에 대한 유리식으로 표현되며, $k$ 에 대한 명시적 의존성을 가진다.
• 기본 생성함수 공식을 도출하기 위해 함수 방정식과 대수적 변환을 활용하여 $F_k(x,1)$ 을 분리한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 2$ 에 대해 $[n]$ 의 $(k,2)$-noncrossing 파artition 수의 일반 생성함수는 무엇인가?
• RQ2 파artition 블록 구조 제약 조건에서 기인하는 두 인덱스 재귀 시스템을 해결하기 위해 커널 방법을 어떻게 적응시킬 수 있는가?
• RQ3 $(k,2)$-noncrossing 파artition의 생성함수를 뒷받침하는 대수적 구조는 무엇이며, 기존의 조합적 수열과의 관계는 어떠한가?
• RQ4 생성함수는 $\sqrt{(1-kx)^2 - 4x^2}$ 를 포함하는 유리식 형태로 표현될 수 있는가? 이는 조합적 클래스에 대해 어떤 의미를 갖는가?
• RQ5 계수 $\beta_{i,j}$ 는 다양한 블록 구성에 따른 파artition 수의 재귀 행동을 어떻게 코딩하는가?

주요 결과

• $(k,2)$-noncrossing 파artition의 일반 생성함수는 커널 방법을 통해 명시적으로 유도된 $x$와 $\sqrt{(1-kx)^2 - 4x^2}$ 에 대한 유리식으로 주어진다.
• 특히 $k=2$ 일 때, 생성함수는 $y_2 = \frac{1 - \sqrt{1 - 4x}}{2x}$ 로 줄어들며, 이는 카탈란 수의 생성함수와 일치하여 기존의 비크로싱 파artition 결과와의 일致성을 확인한다.
• $k=3$ 일 때, 생성함수는 수열 $1, 1, 2, 5, 15, 51, 188, 731, \dots$ 를 유도하며, 이는 알려진 $(3,2)$-noncrossing 파artition 수와 일치한다.
• 최대 $\ell$ 개의 초기 고정점($\ell$-fixed points)을 가진 파artition 집합 $\mathcal{Q}_\ell(n)$ 의 생성함수는 동일한 $\beta_{i,j}$ 계수와 $y_k$ 를 포함하는 유리식으로 주어진다.
• 해결 과정은 $\ell \geq k$ 에 대해 $J_{k,\ell}(x) = x^{\ell+1-k} J_{k,k-1}(x)$ 를 보여주며, 생성함수의 수준 간 자가유사적 구조를 드러낸다.
• 이 방법은 다변수 재귀 시스템에 대해 커널 기법을 성공적으로 일반화하여, 새로운 종류의 제약 조건이 가해진 집합 파artition의 정확한 수세기 가능성을 보여준다.