[論文レビュー] (k,m)-Catalan Numbers and Hook Length Polynomials for Plane Trees

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

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

ひとこと要約

本稿では、m-分木および平面森に対する(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-分木および平面森へ一般化する。
• 新しい組合せ的構造として(k,m)-分木を定義・特徴づけ、(k,m)-Catalan数で数え上げられることを示す。
• m+1-分木のフック長多項式が、(k,m)-Catalan数の母関数と同一の再帰関係を満たすことを証明する。
• 平面森へのフック長公式の拡張を行い、フック長の積を含む新しい恒等式を導出する。

提案手法

• 偶数段目の頂点が次数k、奇数段目の頂点が次数mまたは0である根付き、非ラベル化、平面木として(k,m)-分木を定義し、次数mの内部頂点がちょうどn個あるものとする。
• m+1-分木に対して、$ h_v $ を頂点vにおけるフック長とするフック長多項式$ 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-分木および平面森へ一般化できるか？
• RQ2 一般化された二項係数$ \frac{1}{mn+1} \binom{(mn+1)k}{n} $ に対応する組合せ的構造は何か？ そして、どのように構成できるか？
• RQ3 m+1-分木および(k,m)-分木のフック長多項式は、同じ再帰関係を満たすか？
• RQ4 フック長多項式の整数kにおける評価に一様な組合せ的解釈は存在するか？
• RQ5 m-分木に対する恒等式から、構造的分解を用いて平面森の恒等式を導出できるか？

主な発見

• m+1-分木のフック長多項式は、$ \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)-分木は、偶数段目の頂点が次数k、奇数段目の頂点が次数mまたは0である根付き平面木であり、次数mの内部頂点がちょうどn個あるもので、$ C_{k,m}(n) $ で数え上げられる。
• n個の頂点を持つ平面森に対して、フック長多項式は、m=2のとき$ \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) $ を満たす。
• 平面森に対して恒等式$ \sum_{F} \prod_{v} \left(2 - \frac{1}{h_v}\right) = \frac{(2n+1)^{n-1}}{n!} $ が成立し、新たな組合せ的恒等式を提供する。
• 3-分木および平面森のフック長多項式は一致する：$ H_{n,3}(x) = F_n(x) $ であり、これら二つの族の間にはより深い構造的関係があることを示唆する。