[논문 리뷰] (k,m)-Catalan Numbers and Hook Length Polynomials for Plane Trees

Rosena R. X. Du, Fu Liu|ArXiv.org|2005. 01. 11.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 8

한 줄 요약

이 논문은 m-ary 트리와 평면 삼중림에 대해 (k,m)-Catalan 수와 후크 길이 다항식을 도입하며, 고전적 Catalan 구조를 일반화한다. 이 다항식에 대한 닫힌 형식의 이항 표현을 확립하고, 정수 k에서의 평가가 (k,m)-Catalan 수 $ C_{k,m}(n) = \frac{1}{mn+1} \binom{(mn+1)k}{n} $ 를 유도함으로써, 재귀 관계와 생성함수를 통해 Postnikov의 항등식을 고차원 트리로 확장한다.

ABSTRACT

Motivated by a formula of A. Postnikov relating binary trees, we define the hook length polynomials for m-ary trees and plane forests, and show that these polynomials have a simple binomial expression. An integer value of this expression is C_{k,m}(n)=\frac{1}{mn+1}{(mn+1)k \choose n}, which we call the (k,m)-Catalan number. For proving the hook length formulas, we also introduce a combinatorial family, (k,m)-ary trees, which are counted by the (k,m)-Catalan numbers.

연구 동기 및 목표

• 이진 트리에 대한 Postnikov의 후크 길이 항등식을 m-ary 트리와 평면 삼중림으로 일반화한다.
• 새로운 조합 구조로 (k,m)-ary 트리를 정의하고 특성화하며, (k,m)-Catalan 수로 세어지는가를 밝힌다.
• 후크 길이 다항식이 (m+1)-ary 트리에서 (k,m)-Catalan 수의 생성함수와 일치하는 재귀 관계를 만족함을 증명한다.
• 평면 삼중림으로 후크 길이 공식을 확장하고, 후크 길이 곱에 대한 새로운 항등식을 유도한다.

제안 방법

• 짝수 레벨에 있는 정점의 차수는 k이고, 홀수 레벨에 있는 정점의 차수는 m 또는 0인 루트가 있는, 레이블이 없는 평면 트리로 (k,m)-ary 트리를 정의하며, 정확히 n개의 차수 m인 내부 정점이 있다.
• 후크 길이가 정점 v에서 $ h_v $ 인 (m+1)-ary 트리에 대해 후크 길이 다항식 $ H_{n,m}(x) = \sum_{T} \prod_{v \in T} \frac{(m h_v + 1)x + 1 - h_v}{(m+1) h_v} $ 를 도입한다.
• 후크 길이 다항식이 (k,m)-Catalan 수의 생성함수와 동일한 재귀 관계를 만족함을 증명한다.
• 생성함수와 미분방정식을 사용하여 (k,m)-Catalan 수에 대한 닫힌 형식 표현 $ \frac{1}{mn+1} \binom{(mn+1)k}{n} $ 을 유도한다.
• n개의 정점이 있는 모든 삼중림에 대해 후크 길이 다항식을 정의하고, 유사한 재귀 관계를 증명함으로써 프레임워크를 평면 삼중림으로 확장한다.
• 정수 x 값에서의 일致성과 다항식 항등식 정리에 기반해 항등식을 검증한다.

실험 결과

연구 질문

• RQ1 Postnikov의 이진 트리 후크 길이 항등식을 다항식 형태로 사용하여 m-ary 트리와 평면 삼중림으로 일반화할 수 있는가?
• RQ2 일반화된 이항 계수 $ \frac{1}{mn+1} \binom{(mn+1)k}{n} $ 과 대응하는 조합 구조는 무엇이며, 어떻게 구성할 수 있는가?
• RQ3 (m+1)-ary 트리와 (k,m)-ary 트리의 후크 길이 다항식은 동일한 재귀 관계를 만족하는가?
• RQ4 정수 k에서 후크 길이 다항식의 평가에 대해 통일된 조합적 해석이 존재하는가?
• RQ5 구조적 분해를 통해 m-ary 트리에 대한 항등식으로부터 평면 삼중림에 대한 항등식을 도출할 수 있는가?

주요 결과

• 후크 길이 다항식은 $ \sum_{T} \prod_{v} \frac{(m h_v + 1)x + 1 - h_v}{(m+1) h_v} = \frac{1}{mn+1} \binom{(mn+1)x}{n} $ 로 주어지며, 다항식 항등식으로서 성립한다.
• 후크 길이 다항식을 $ x = k $ 에서 평가하면 (k,m)-Catalan 수 $ C_{k,m}(n) = \frac{1}{mn+1} \binom{(mn+1)k}{n} $ 가 된다.
• (k,m)-ary 트리는 루트가 있는 평면 트리로, 짝수 레벨의 정점은 차수 k, 홀수 레벨의 정점은 차수 m 또는 0이며, 정확히 n개의 차수 m인 내부 정점이 있다. 이러한 트리는 $ C_{k,m}(n) $ 로 세어진다.
• n개의 정점이 있는 평면 삼중림에 대해 후크 길이 다항식은 $ \sum_{F} \prod_{v} \left(x + \frac{1}{h_v}\right) = \frac{1}{(2n+1)n!} \prod_{i=0}^{n-1} \left((2n+1-i)x + (2n+1-2i)\right) $ 를 만족하며, 이때 m=2이다.
• 평면 삼중림에 대해 항등식 $ \sum_{F} \prod_{v} \left(2 - \frac{1}{h_v}\right) = \frac{(2n+1)^{n-1}}{n!} $ 가 성립하며, 새로운 조합적 항등식을 제공한다.
• (3-ary 트리와 평면 삼중림의 후크 길이 다항식은 일치한다: $ H_{n,3}(x) = F_n(x) $, 이는 이 두 가족 간의 깊은 구조적 연결성을 시사한다.