[論文レビュー] Counting Rooted Trees: The Universal Law t(n) ~ C ρ^{-n} n^{-3/2}

Jason P. Bell, Stanley Burris+1 more|arXiv (Cornell University)|Dec 19, 2005

Advanced Combinatorial Mathematics参考文献 15被引用数 4

ひとこと要約

本稿は、系列、多重集合、サイクルといった標準的構成を用いて再帰的に定義される組合せクラスにおける根付き木の数について、普遍的な漸近的法則を確立する。複素解析と特異性理論を用いて、このような木の数 t(n) が、t(n) ~ Cρ^(-n)n^(-3/2) として漸近的に従うことを証明する。ここで ρ は母関数の収束半径、C は定数であり、これはポlyaの古典的結果を広範な再帰的定義された木の族へと拡張するものである。

ABSTRACT

Combinatorial classes T that are recursively defined using combinations of the standard multiset, sequence, directed cycle and cycle constructions, and their restrictions, have generating series T(z) with a positive radius of convergence; for most of these a simple test can be used to quickly show that the form of the asymptotics is the same as that for the class of rooted trees: C ρ^{-n} n^{-3/2} where ρis the radius of convergence of T.

研究の動機と目的

• 広範な再帰的定義された根付き木族に対して、普遍的な漸近形 t(n) ~ Cρ^(-n)n^(-3/2) を確立すること。
• 標準的組合せ構成の組み合わせを含む、ポlyaおよびオドリゾコの木の母関数に関する結果を一般化すること。
• 解析的組合せ論と特異性解析を用いて、根付き木の漸近的数え上げの統一的枠組みを提供すること。
• 集合演算子（Set）が再帰的構成に含まれる場合、普遍的法則が成り立つかどうかを調査すること。
• 漸近的法則が方程式系やモノディック第二階論理で定義可能な木のクラスへと拡張可能かどうかを探索すること。

提案手法

• 再帰的方程式で定義される母関数の主要特異点を解析するために、陰関数定理とワイエルシュトラスの準備定理を適用する。
• コーシーの積分公式を用いて、主要特異点の位置と型から漸近的性質を導出する。
• 関数方程式 T(z) = E(z, T(z)) の解を用いて、収束半径 ρ と定数 C を特徴付ける。
• 特異性解析の技術を用いて、ρ における特異点が平方根型であることを示し、n^(-3/2) の減衰因子が得られることを確認する。
• 多変数正則関数のクラス DOM[z,w] を導入し、スペクトル計算を用いて周期的および多重特異点のケースを分析する。
• 構成可能木クラスを定義する方程式系に対して、主要特異点解析の手法を適用する。

実験結果

リサーチクエスチョン

• RQ1 標準的構成に加えて集合演算子（Set）を用いて再帰的に定義された木クラスに対し、普遍的漸近法則 t(n) ~ Cρ^(-n)n^(-3/2) が成立するか。
• RQ2 母関数 T(z) が z^d V(z^q) の形のシフト周期的構造を持つ場合、縮約された系 V(z) = H(z, V(z)) は同じ特異性性質と漸近法則を満たすか。
• RQ3 漸近法則が構成可能木クラスを定義する方程式系 T_i(z) = Θ_i(T_1, ..., T_k) へと拡張可能か。
• RQ4 モノディック第二階論理で定義可能な木クラスに対して、その有限分解の各成分において普遍的法則が成り立つか。
• RQ5 再帰的に定義された根付き木クラスから根を除いた自由木クラスの漸近的挙動はいかなるものか。

主な発見

• 漸近的形 t(n) ~ Cρ^(-n)n^(-3/2) は、系列、多重集合、サイクル、有向サイクル構成の再帰的組み合わせによって定義されるすべての根付き木の組合せクラスに普遍的に適用可能である。
• 収束半径 ρ は方程式 E_w(ρ, T(ρ)) = 1 の唯一の正の解として与えられる。ここで E(z,w) は母関数作用素である。
• ρ における特異点は平方根型であり、E_z および E_ww の非消滅性によって確認され、n^(-3/2) 要因が得られる。
• 定数 C は、主要特異点 (ρ, T(ρ)) における E の一次および二次微分係数によって明示的に決定される。
• 結果は平面木や二分木に対しても拡張可能であり、具体的な例により両者において法則が成り立つことが確認されている。
• 本稿では、母関数がシフト周期的構造を持つ場合でも、縮約された系が必要な解析的条件を満たしていれば、普遍的法則が維持されることを示している。