[논문 리뷰] On the Hook Length Formula for Binary Trees

William Y. C. Chen, Laura L. M. Yang|ArXiv.org|2005. 04. 13.

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

한 줄 요약

이 논문은 이진 트리에 대한 포스트니코프의 후크 길이 공식에 대한 조합적 증명을 제시하며, $ (n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 를 증명한다. 여기서 합은 $ n $개의 정점을 가진 모든 이진 트리 $ T $ 에 대해 이루어지며, $ h(v) $ 는 정점 $ v $ 의 후크 길이를 뜻한다. 주요 기여는 재귀 기반의 조합적 추론을 통해 공식을 루트가 있는 트리의 수세기와 연결함으로써, 구조적 분해와 재귀 등가성을 통해 항등식을 확인하는 것이다.

ABSTRACT

We present a simple combinatorial proof of Postnikov's hook length formula for binary trees.

연구 동기 및 목표

• 이전에 그러한 유형의 유도가 없었기 때문에, 이진 트리에 대한 포스트니코프의 후크 길이 공식에 대한 조합적 증명을 제공하는 것.
• 후크 길이 곱 공식과 루트가 있는 레이블이 부여된 트리의 수 사이에 이분법적 또는 구조적 연결을 수립하는 것.
• 재귀 관계와 트리 분해를 통해 항등식 $ (n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 가 성립하는 것을 보여주는 것.
• 직접적인 조합적 해석을 통해 포스트니코프의 열린 질문을 해결함으로써, 후크 길이 곱을 트리 구조의 관점에서 직접적으로 해석하는 것.

제안 방법

• 이진 트리를 크기가 $ k $ 와 $ n-k-1 $ 인 왼쪽 및 오른쪽 서브트리로 분해함으로써 유도된 재귀 관계를 사용한다.
• 합 $ F_n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 를 도입하며, 이는 재귀 관계 $ F_n = \frac{n+1}{2n} \sum_{k=0}^{n-1} \binom{n+1}{k+1} F_k F_{n-k-1} $ 를 만족함을 보여준다.
• $ F_n $ 의 재귀 관계를 루트가 있는 트리의 수를 세는 데 사용되는 알려진 재귀 관계 $ R_n = n \cdot n^{n-2} = n^{n-1} $ 과 비교한다. 이는 $ R_{n+1} = \frac{n+1}{2n} \sum_{k=0}^{n-1} \binom{n+1}{k+1} R_{k+1} R_{n-k} $ 를 만족한다.
• 재귀 관계의 구조와 초기 조건을 일치시킴으로써, $ F_n = (n+1) \cdot n^{n-2} = (n+1)^{n-1} $ 를 도출하며, 이는 $ (n+1)^n = \sum_T \cdots $ 의 형태로 항등식을 함의한다.
• 증명은 루트가 있는 레이블이 부여된 트리의 수를 나타내는 $ R_n $ 의 알려진 조합적 해석에 의존한다.
• 후크 곱이 서브트리 간에 어떻게 연결되는지를 보여주기 위해 항등식 $ \frac{(n+1)!}{2^n} \left(1 + \frac{1}{n}\right) = \frac{n+1}{2n} \binom{n+1}{k+1} \frac{(k+1)!}{2^k} \frac{(n-k)!}{2^{n-k-1}} $ 를 사용한다.

실험 결과

연구 질문

• RQ1 포스트니코프의 이진 트리에 대한 후크 길이 공식은 대수적 방법이 아닌 조합적 방법으로 증명될 수 있는가?
• RQ2 모든 이진 트리 $ T $ 에 대해 $ \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 의 곱에 대해 구조적 또는 이분법적 해석이 존재하는가?
• RQ3 항등식 $ (n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 는 알려진 조합적 클래스의 객체와 대응하는가?
• RQ4 후크 길이 공식은 재귀를 통해 루트가 있는 레이블이 부여된 트리의 수를 세는 데 어떻게 연결되는가?

주요 결과

• 논문은 $ F_n = (n+1)^{n-1} $ 이라는 사실을 증명하며, 여기서 $ F_n $ 은 $ n $ 개의 정점을 가진 모든 이진 트리 $ T $ 에 대해 $ \frac{n!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 의 합이다. 이는 포스트니코프의 항등식을 확인한다.
• 재귀 관계 $ F_n = \frac{n+1}{2n} \sum_{k=0}^{n-1} \binom{n+1}{k+1} F_k F_{n-k-1} $ 가 도출되었으며, 이는 루트가 있는 레이블이 부여된 트리의 수를 세는 데 사용되는 $ R_n = n^{n-1} $ 의 재귀 관계와 일치함을 보였다.
• 항등식 $ (n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right) $ 는 $ F_n = (n+1) \cdot n^{n-2} = (n+1)^{n-1} $ 를 보여줌으로써 증명되었으며, 이는 $ n+1 $ 의 형태로 공식을 함의한다.
• 증명은 레이블이 부여된 트리를 특정한 간선을 통해 순서 있는 루트가 있는 트리의 쌍으로 분해함으로써 후크 곱에 대한 조합적 해석을 제공한다.
• 재귀 등가성에 기반하여 $ F_n $ 과 $ R_n $ 을 비교함으로써, 대수적 변환에만 의존하지 않고 항등식을 확인하였다.
• 결과적으로, 이진 트리의 후크 길이 공식이 재귀 기반의 이분법적 사고를 통해 루트가 있는 레이블이 부여된 트리의 수세기와 구조적으로 연결되어 있음을 확인하였다.