[论文解读] 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 为常数，将 Pó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)。
• 将 Pólya 和 Odlyzko 关于树生成函数的结果推广，以包含标准组合构造的组合。
• 通过解析组合学与奇点分析，为根树的渐近计数提供统一框架。
• 研究当集合算子（Set）被包含在递归构造中时，该通用律是否仍然成立。
• 探讨该渐近律是否可扩展至方程组及一阶二阶逻辑可定义的树类。

提出的方法

• 应用隐函数定理与 Weierstrass 预备定理，分析由递归方程定义的生成函数的主导奇点。
• 使用柯西积分公式，从主导奇点的位置与类型推导渐近行为。
• 将收敛半径 ρ 与常数 C 表征为函数方程 T(z) = E(z, T(z)) 的解。
• 运用奇点分析技术，表明在 ρ 处的奇点为平方根型，从而导致 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 由 E 在主导奇点 (ρ, T(ρ)) 处的一阶与二阶导数显式确定。
• 该结果可推广至平面树与二叉树，具体例子证实该定律对两者均成立。
• 本文表明，即使生成函数具有移位周期结构，只要约化系统满足所需的解析条件，该通用律依然成立。