[論文レビュー] Generalizations of Han's Hook Length Identities

Laura L. M. Yang|ArXiv.org|May 1, 2008

Advanced Combinatorial Mathematics参考文献 8被引用数 7

ひとこと要約

本稿は、生成関数と帰納法を用いて、二分木に対するHanのフック長の恒等式を、より広い根付き木の族、特に二項係数族(s,m)-族に一般化する。重み付きフック長の積を含む2つの新しい恒等式を証明し、主な結果としてHanの元々の恒等式を順序木および不完全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.

研究の動機と目的

• 二分木に対するHanのフック長の恒等式を、より一般の二項係数族の根付き木へ拡張すること。
• (s,m)-族の木に対して、重み付きフック長の積を含む新しい恒等式を確立すること。
• 符号反転置換を用いて、順序木の場合の1つの恒等式に対して双対的証明を提供すること。
• 生成関数の技法を用いて、既知の結果（MohantyおよびPostnikovの結果を含む）を統一的かつ一般化すること。

提案手法

• 二項係数と子の数に基づく頂点重みを用いて、(s,m)-族の二項係数族の木を定義する。
• y = x(1 + sy)^m を満たす母関数を用いて、重み付き木の和の恒等式を導出する。
• nに関する帰納法を用い、Lagrangeの逆公式および母関数の変形を活用して主恒等式を証明する。
• 増加順序木における符号反転置換を構築し、恒等式(12)の双対的証明を確立する。
• 置換を用いて符号が反対の項を相殺させ、残るのは根の寄与項−1のみとなる。
• 小規模な例（例：n=4）および極限例（例：m→∞）における明示的計算により恒等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 Hanの二分木に対するフック長の恒等式は、より広い根付き木の族へどのように一般化できるか？
• 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-有向木に対するHanの元々の恒等式に還元され、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! が得られ、Mohantyの結果と一致する。
• 双対的証明により、増加順序木における符号付きフック長積の和が−1に等しく、不正な葉に対する置換によって項が相殺されることが示された。