[논문 리뷰] Generalizations of Han's Hook Length Identities

Laura L. M. Yang|ArXiv.org|2008. 05. 01.

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

한 줄 요약

이 논문은 생성함수와 수학적 귀납법을 사용하여 이진 트리에 대한 한의 후크 길이 항등식을 더 넓은 루트 트리 가족, 특히 이항 가족 (s,m)-가족으로 일반화한다. 가중치가 부여된 후크 길이의 곱을 포함하는 두 가지 새로운 항등식을 증명하며, 핵심 결과는 한의 원래 항등식을 순서 트리와 완전하지 않은 k-원 트리로 확장하는 것이다. 또한 증명된 항등식 중 하나에 대해 증명적 증명(비열적 증명)을 통해 부호 반전의 치환을 이용한 이항 증명을 제시한다.

ABSTRACT

Han recently discovered new hook length identities for binary trees. In this paper, we extend Han's identities to binomial families of trees. Moreover, we present a bijective proof of one of the identities for the family of ordered trees.

연구 동기 및 목표

• 이진 트리에 대한 한의 후크 길이 항등식을 더 일반적인 이항 트리 가족의 루트 트리로 확장하기.
• (s,m)-가족 트리에 대한 가중치가 부여된 후크 길이 곱을 포함하는 새로운 항등식을 수립하기.
• 순서 트리의 경우 부호가 있는 후크 길이 곱 항등식에 대해 비열적 증명을 제공하기.
• 생성함수 기법을 통해 기존 결과(모한타이와 포스트니코프의 결과 포함)를 통합하고 일반화하기.

제안 방법

• 이항 계수와 자식 수에 기반한 정점 가중치를 사용하여 (s,m)-가족 트리의 이항 가족을 정의하기.
• y = x(1 + sy)^m 를 만족하는 생성함수를 사용하여 가중치가 부여된 트리 합에 대한 항등식 유도하기.
• Lagrange 역행과 생성함수 변환을 활용하여 n에 대한 귀납법을 통해 주요 항등식 증명하기.
• 증명된 항등식 (12)를 위해 증가하는 순서 트리 위에 부호 반전의 치환을 설정하기.
• 반대 부호의 항을 치환을 통해 상쇄시켜 루트 기여도인 -1만 남기기.
• 작은 경우(예: n=4)와 극한 경우(예: m→∞)에서의 직접 계산을 통해 항등식 검증하기.

실험 결과

연구 질문

• RQ1 한의 이진 트리 후크 길이 항등식은 어떻게 더 넓은 루트 트리 가족으로 일반화될 수 있는가?
• RQ2 (s,m)-가족 트리에 대한 가중치가 부여된 후크 길이 항등식은 무엇이며, s=1, m=2일 때 기존 항등식으로 어떻게 축소되는가?
• RQ3 순서 트리에서 부호가 있는 후크 길이 곱 항등식에 대해 비열적 증명을 구성할 수 있는가?
• RQ4 m→∞일 때 항등식의 점근적 행동은 무엇이며, 이를 통해 알려진 조합 항등식과 어떤 관련이 있는가?

주요 결과

• 모든 (s,m)-이항 트리 가족에 대해 ∑_{T∈F_n} w(T) ∏_{v∈T} 1/(h_v m^{h_v−1}) = s^{n−1}/n! 이 성립한다.
• 생성함수와 Lagrange 역행을 통해 ∑_{T∈F_n} w(T) ∏_{v∈T} (z+h_v)^{h_v−1}/(h_v (mz + h_v −1)^{h_v−2}) = s^{n−1} m^n z (z+n)^{n−1}/n! 이 증명된다.
• s=1이고 m=k일 때, 항등식은 완전하지 않은 k-원 트리에 대한 한의 원래 항등식으로 축소되며, k=2일 경우 이진 트리의 경우에도 성립한다.
• (-1,-1)-가족(순서 트리)의 경우, ∑_T ∏_{v∈T} 1/(h_v (−1)^{h_v−1}) = (−1)^{n−1}/n! 이 성립하며, 부호 반전의 치환을 통한 비열적 증명이 제공된다.
• 일반화된 항등식에서 m→∞로의 극한을 취하면 ∑_T ∏_{v∈T} 1/d_v! = n^{n−1}/n! 이 되며, 이는 모한타이의 결과와 동치이다.
• 비열적 증명은 증가하는 순서 트리 위에서 부호가 부여된 후크 길이 곱의 합이 -1이 되며, 불법 잎사귀 위의 치환을 통해 항이 상쇄됨을 보여준다.