[論文レビュー] Additive functionals of $d$-ary increasing trees

Dimbinaina Ralaivaosaona, Stephan Wagner|arXiv (Cornell University)|May 12, 2016

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

ひとこと要約

本稿では、 toll 関数にやや弱い条件下で、$d$-ary 増加木における加法的関数への一般化された中心極限定理を確立し、一般化平面順序再帰的木（GPORTs）へと拡張する。主な貢献は、$d$-ary 増加木の自己同型群のサイズに対する対数正規分布の極限定理であり、経路長、部分木数、軌道数といった多数の木関数への応用可能性を有する。

ABSTRACT

A tree functional is called additive if it satisfies a recursion of the form $F(T) = \sum_{j=1}^k F(B_j) + f(T)$, where $B_1,\ldots,B_k$ are the branches of the tree $T$ and $f(T)$ is a toll function. We prove a general central limit theorem for additive functionals of $d$-ary increasing trees under suitable assumptions on the toll function. The same method also applies to generalised plane-oriented increasing trees (GPORTs). One of our main applications is a log-normal law that we prove for the size of the automorphism group of $d$-ary increasing trees, but many other examples (old and new) are covered as well.

研究の動機と目的

• 加法的関数の $d$-ary 増加木および GPORTs における分析のための一般枠組みを構築すること。
• 加法的関数が中心極限定理を満たすための条件を確立すること。
• 加法的関数の自己同型群サイズに対する対数正規分布の極限定理を導出すること。
• 既知の二分木に関する結果を一般 $d$-ary 樹木およびより一般の木族へと拡張すること。
• 共通の解析的枠組みを用いて、経路長、部分木数、自己同型群に関する先行研究を統一・一般化すること。

提案手法

• 関数の再帰的分解により加法的関数をモデル化：$F(T) = \sum_{j=1}^k F(B_j) + f(T)$、ここで $B_j$ は部分木であり、$f(T)$ は toll 関数である。
• 母関数とモーメント解析に基づく、木関数に対する一般化された中心極限定理フレームワークを適用する。
• 指数型母関数 $Y(x)$ が $Y'(x) = \Phi(Y(x))$, $Y(0) = 0$ を満たし、GPORTs に対して $\Phi(t) = (1-t)^{-\alpha}$ となるように設定する。
• 中心極限定理の技術的条件を満たすために、toll 関数 $f(T)$ の漸近的挙動、特にその減衰率を分析する。
• 自己同型群サイズのような関数を $\log R(T)$ により変換し、有界または減衰する toll を持つ加法的関数に還元する。
• fringe 部分木分解 $F(T) = \sum_{S \in \mathcal{F}(T)} f(S)$ を用いて、関数を誘導部分木上の和として表現する。

実験結果

リサーチクエスチョン

• RQ1 加法的関数が $d$-ary 増加木上で中心極限定理を満たすための条件は何か？
• RQ2 $d$-ary 増加木における自己同型群サイズの対数の極限分布は何か？
• RQ3 toll 関数の減衰率は、正規分布または対数正規分布への収束にどのように影響するか？
• RQ4 本フレームワークは、パrameter $\alpha$ を持つ一般化平面順序再帰的木（GPORTs）へと拡張可能か？
• RQ5 このモデルにおいて、内部経路長、部分木数、軌道数といった関数は漸近的にどのように振る舞うか？

主な発見

• toll 関数にやや弱い条件下で、$d$-ary 増加木における加法的関数の一般化された中心極限定理が確立された。
• 加法的関数の自己同型群サイズの対数は、正規分布に分布収束するため、群サイズ自体は対数正規分布に従う。
• 二分木の場合、toll 関数の期待絶対値は指数的に減少するが、$d$-ary 樹木では $\mathcal{O}(|T|^{-2/(d-1)})$ の速度で減少し、依然として収束に十分である。
• 根を含む部分木の数 $s(T)$ は、対数変換により $\mathcal{O}(|T|^{-1})$ の toll を持つ関数に還元され、中心極限定理を満たす。
• 根を含む部分木でない全部分木数についても、中心極限定理が成り立つ。これは $\log(1+s(T))$ からの差が $\mathcal{O}(\log |T|)$ であるためである。
• 自己同型作用の下での軌道数は、toll 関数の条件を直接検証する技術的課題があるものの、近似および有界性の議論により、中心極限定理を満たすことが示された。