[论文解读] 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$-叉递增树中的可加泛函建立了一个通用的中心极限定理，扩展至广义平面定向递归树（GPORTs）。关键贡献是 $d$-叉递增树的自同构群大小的对数正态极限分布，该结果在众多树泛函中具有更广泛的应用，包括路径长度、子树计数和轨道计数。

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$-叉递增树和 GPORTs 中的可加泛函分析建立一个通用框架。
• 确定可加泛函满足中心极限定理的条件。
• 推导 $d$-叉递增树中自同构群大小的对数正态极限分布。
• 将二叉树上的已知结果推广至一般 $d$-叉树及更一般的树族。
• 通过统一的分析框架，整合并推广关于路径长度、子树计数和自同构群的先前结果。

提出的方法

• 通过递归分解建模可加泛函：$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)$ 的渐近行为，特别是其衰减速率，以验证 CLT 的技术条件。
• 通过 $\log R(T)$ 变换将如自同构群大小等泛函转化为具有有界或衰减 toll 函数的可加泛函。
• 使用轮廓子树分解：$F(T) = \sum_{S \in \mathcal{F}(T)} f(S)$，将泛函表示为诱导子树上的和。

实验结果

研究问题

• RQ1 在何种条件下，$d$-叉递增树上的可加泛函满足中心极限定理？
• RQ2 $d$-叉递增树中自同构群大小的对数的极限分布是什么？
• RQ3 toll 函数的衰减速率如何影响向正态或对数正态极限的收敛？
• RQ4 该框架能否扩展至参数为 $\alpha$ 的广义平面定向递归树（GPORTs）？
• RQ5 在此模型中，如内部路径长度、子树计数和轨道计数等泛函的渐近行为如何？

主要发现

• 在 toll 函数满足温和条件的前提下，为 $d$-叉递增树上的可加泛函建立了通用的中心极限定理。
• $d$-叉递增树中自同构群大小的对数依分布收敛于正态分布，意味着该群大小本身服从对数正态分布。
• 对于二叉树，toll 函数的期望绝对值呈指数衰减；对于 $d$-叉树，其衰减速率为 $\mathcal{O}(|T|^{-2/(d-1)})$，仍足以保证收敛。
• 包含根的子树数量 $s(T)$ 满足中心极限定理，因为对数变换后得到的泛函具有 $\mathcal{O}(|T|^{-1})$ 的 toll 函数。
• 不一定是含根的子树总数也满足中心极限定理，因为其与 $\log(1+s(T))$ 的差值为 $\mathcal{O}(\log |T|)$。
• 尽管在验证 toll 函数条件方面存在技术挑战，但通过近似和有界性论证，证明了自同构作用下的轨道数也满足中心极限定理。