[論文レビュー] Counting Line-Colored D-ary Trees

Valentin Bonzom, Razvan Gurău|arXiv (Cornell University)|Jun 19, 2012

Stochastic processes and statistical mechanics参考文献 10被引用数 5

ひとこと要約

この論文は、各頂点が高々 D 個の子をもち、親から子への各辺が同じ色を共有しないような根付き、線に色が塗られた D-ary 樹形の数を数える明示的な組合せ的公式を導出する。生成関数のアプローチを用い、幾何級数構造を持つ線形再帰を証明することで、色 i の線が $ p_i $ 本あるようなこのような樹形の数が $ \frac{1}{\sum p_i + 1} \prod_{j=1}^D \binom{\sum p_i + 1}{p_j} $ に等しいことを確立する。これは、Narayana 数と Catalan 数を高次元に一般化するものである。

ABSTRACT

Random tensor models are generalizations of matrix models which also support a 1/N expansion. The dominant observables are in correspondence with some trees, namely rooted trees with vertices of degree at most $D$ and lines colored by a number $i$ from 1 to $D$ such that no two lines connecting a vertex to its descendants have the same color. In this Letter we study by independent methods a generating function for these observables. We prove that the number of such trees with exactly $p_i$ lines of color $i$ is $\frac{1}{\sum_{i=1}^D p_i +1} \binom{\sum_{i=1}^D p_i+1}{p_1} ... \binom{\sum_{i=1}^D p_i+1}{p_D}$.

研究の動機と目的

• 根付き D-ary 樹形の数についての閉形式式を導出すること。ここで、各頂点の子の数は D 以下であり、親から子への辺は同じ色を共有しないものとする。
• 全頂点数を超えた組合せ的構造を捉えることのできる生成関数フレームワークを構築すること。
• 生成関数と線形再帰列との関係を確立し、その解が正確な数え上げをもたらすようにすること。
• D-色付きの樹形におけるランダムテンソルモデルの文脈で、既知の Catalan 数と Narayana 数の結果を D 次元に一般化すること。

提案手法

• 各色 i に対して $ p_i $ 本の線を持つ根付き D-ary 樹形の数を $ C_{p_1\dots p_D} $ と定義する。ここで、各頂点から子への辺は色の一意性の制約を満たすものとする。
• 生成関数 $ F(g_1,\dots,g_D) = \sum_{p_1,\dots,p_D} C_{p_1\dots p_D} \prod_{i=1}^D g_i^{p_i} $ を定義し、樹形の数を符号化する。
• 係数 $ C^1_{p_1\dots p_D} $ を持つ列 $ F_n(g_1,\dots,g_D) $ を定義し、それが生成関数 $ F $ に関連する特性方程式を持つ線形再帰を満たすことを証明する。
• $ F_n = F^n $ であることを示し、$ F = F_1 $ であることを示す。これにより、解析接続と根の解析を用いて $ C_{p_1\dots p_D} $ の閉形式式が得られる。
• べき級数係数の上限と根の優位性の議論を用い、$ F_n $ が幾何級数であることを証明する。ここでは Stirling の近似と収束推定を用いる。
• 再帰の構造と小さな近傍における正則性を活用し、$ F_n = F^n $ であることを結論づけ、生成関数の恒等式を正当化する。

実験結果

リサーチクエスチョン

• RQ1 親から子への辺が同じ色を共有しないように、色 i の線が $ p_i $ 本ある根付き D-ary 樹形の正確な数は何か？
• RQ2 全頂点数を超えた組合せ的構造を符号化する生成関数は、どのように構築できるか？
• RQ3 生成関数の背後にある再帰的または代数的構造は、閉形式解を可能にするか？
• RQ4 D=2 の場合に、この数え上げ公式は既知の Catalan 数と Narayana 数の結果をどのように一般化するか？
• RQ5 生成関数が $ F_n = F^n $ を満たすことを示せるか？これにより係数の列に乗法的構造が現れるか？

主な発見

• 根付き、線に色が塗られた D-ary 樹形の数で、色 i の線が $ p_i $ 本あるものは、$ C_{p_1\dots p_D} = \frac{1}{\sum_{i=1}^D p_i + 1} \prod_{j=1}^D \binom{\sum_{i=1}^D p_i + 1}{p_j} $ に等しい。
• D=2 の場合、この公式は既知の Narayana 数 $ N(p_1 + p_2 + 1, p_1 + 1) $ に簡略化され、既存の組合せ論と整合性を示す。
• 固定された $ \sum p_i = P-1 $ の下で $ p_i $ 全てにわたる和を取ると、D-Catalan 数 $ \frac{1}{DP+1} \binom{DP+1}{P} $ が得られ、P 個の頂点を持つ D-ary 樹形の総数が回復される。
• 生成関数 $ F $ は $ F_n = F^n $ を満たす。ここで $ F_n $ は係数 $ C^1_{p_1\dots p_D} $ の生成関数である。これは係数に乗法的構造があることを示唆する。
• 証明は、$ F_n $ が比 $ F $ の幾何級数であることを、係数の解析的上限と複素平面上での根の優位性に基づいて確立する。
• この結果により、新たな組合せ的恒等式が得られる：$ \sum_{k_i} C^n_{k_1\dots k_D} C^m_{p_1-k_1\dots p_D-k_D} = C^{n+m}_{p_1\dots p_D} $。これは生成関数の乗法的閉包性を反映している。