[논문 리뷰] Counting Line-Colored D-ary Trees

Valentin Bonzom, Razvan Gurău|arXiv (Cornell University)|2012. 06. 19.

Stochastic processes and statistical mechanics참고 문헌 10인용 수 5

한 줄 요약

이 논문은 각 정점의 자식 수가 최대 D개이고, 정점에서 그 자식으로 향하는 선들 중에서 같은 색을 가진 선이 두 개 이상 존재하지 않는 루트가 있는 선 색이 칠해진 D-ary 트리의 수를 세는 명시적 조합 공식을 유도한다. 생성함수 접근법을 사용하고 기하수열의 구조를 가진 선형 재귀관계를 증명함으로써, 색 i를 가진 선이 $ p_i $개인 이러한 트리의 수는 $ \frac{1}{\sum p_i + 1} \prod_{j=1}^D \binom{\sum p_i + 1}{p_j} $ 임을 밝혀내며, 이는 Narayana 수와 Catalan 수를 고차원으로 일반화한다.

ABSTRACT

Random tensor models are generalizations of matrix models which also support a 1/N expansion. The dominant observables are in correspondence with some trees, namely rooted trees with vertices of degree at most $D$ and lines colored by a number $i$ from 1 to $D$ such that no two lines connecting a vertex to its descendants have the same color. In this Letter we study by independent methods a generating function for these observables. We prove that the number of such trees with exactly $p_i$ lines of color $i$ is $\frac{1}{\sum_{i=1}^D p_i +1} \binom{\sum_{i=1}^D p_i+1}{p_1} ... \binom{\sum_{i=1}^D p_i+1}{p_D}$.

연구 동기 및 목표

• 루트가 있는 D-ary 트리에서 각 색 i에 대해 정확히 $ p_i $개의 선을 가지며, 부모-자식 간선에 대해 색상 유일성 제약 조건을 만족하는 트리의 수에 대한 닫힌 형식의 표현을 유도하는 것.
• 총 정점 수를 넘어서 이러한 트리의 조합적 구조를 포괄하는 생성함수 프레임워크를 개발하는 것.
• 생성함수와 선형 재귀 수열 간의 연결 고리를 확립하여, 그 해가 정확한 수를 제공함을 보이는 것.
• 랜덤 텐서 모델에서 D-색상 트리의 경우에 대해 알려진 Catalan 수와 Narayana 수 결과를 일반화하는 것.

제안 방법

• 각 색 i에 대해 정확히 $ p_i $개의 선을 가지며, 정점마다 색상 유일성 제약 조건을 만족하는 루트가 있는 D-ary 트리의 수를 $ C_{p_1\dots p_D} $ 로 정의한다.
• 트리 수를 인코딩하기 위해 생성함수 $ F(g_1,\dots,g_D) = \sum_{p_1,\dots,p_D} C_{p_1\dots p_D} \prod_{i=1}^D g_i^{p_i} $ 를 도입한다.
• 계수 $ C^1_{p_1\dots p_D} $ 를 가진 수열 $ F_n(g_1,\dots,g_D) $ 를 정의하고, 이가 생성함수 $ F $ 와 관련된 특성 방정식을 가진 선형 재귀관계를 만족함을 증명한다.
• 이를 통해 $ F_n = F^n $ 임을 보이고, 이는 $ F = F_1 $ 임을 의미하며, 이는 해석적 계속성과 근 분석을 통해 $ C_{p_1\dots p_D} $ 의 닫힌 형식 공식을 도출한다.
• 거듭제곱 급수 계수의 상한과 복소평면에서의 근 지배 원리를 활용하여 $ F_n $ 이 기하수열임을 증명하며, Stirling의 근사법과 수렴 추정치에 기반한다.
• 재귀관계의 구조와 작은 이웃 영역 내 해석성에 기반하여 $ F_n = F^n $ 임을 결론 내리며, 생성함수 항등식의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 부모에서 자식으로 향하는 선들 중에서 같은 색을 가진 선이 두 개 이상 존재하지 않는 조건을 만족하는, 색 i를 가진 선이 $ p_i $개인 루트가 있는 D-ary 트리의 정확한 수는 얼마인가요?
• RQ2 총 정점 수를 넘어서 이러한 색이 칠해진 트리의 전체 조합적 구조를 인코딩할 수 있는 생성함수는 어떻게 구성할 수 있나요?
• RQ3 생성함수의 배경에 선형적 또는 대수적 구조가 존재하여 닫힌 형식의 해를 도출할 수 있을까요?
• RQ4 D=2 인 경우에 이 수식이 알려진 Catalan 수와 Narayana 수 결과를 어떻게 일반화합니까?
• RQ5 생성함수 $ F_n = F^n $ 이 성립함을 보일 수 있을까요? 이는 계수의 곱셈적 구조를 의미합니다.

주요 결과

• 루트가 있고, 색 i를 가진 선이 $ p_i $개인 선 색이 칠해진 D-ary 트리의 수는 $ C_{p_1\dots p_D} = \frac{1}{\sum_{i=1}^D p_i + 1} \prod_{j=1}^D \binom{\sum_{i=1}^D p_i + 1}{p_j} $ 로 주어진다.
• D=2 인 경우 이 공식은 알려진 Narayana 수 $ N(p_1 + p_2 + 1, p_1 + 1) $ 로 줄어들며, 기존 조합론과의 일致성을 확인한다.
• 고정된 $ \sum p_i = P-1 $ 인 모든 $ p_i $ 에 대해 합하면 D-Catalan 수 $ \frac{1}{DP+1} \binom{DP+1}{P} $ 가 되며, 이는 P개 정점으로 구성된 D-ary 트리의 총 수를 회복한다.
• 생성함수 $ F $ 는 $ F_n = F^n $ 를 만족하며, 여기서 $ F_n $ 은 수열 $ C^1_{p_1\dots p_D} $ 의 생성함수이다. 이는 계수에 곱셈적 구조가 있음을 의미한다.
• 이 증명은 수열 $ F_n $ 이 비율 $ F $ 를 가진 기하수열임을 보여주는 분석적 계수 상한과 복소평면에서의 근 지배 원리를 기반으로 한다.
• 이 결과는 새로운 조합적 항등식을 이끌어내며: $ \sum_{k_i} C^n_{k_1\dots k_D} C^m_{p_1-k_1\dots p_D-k_D} = C^{n+m}_{p_1\dots p_D} $ 로, 생성함수의 곱셈적 닫힘성을 반영한다.