[论文解读] Plane recursive trees, Stirling permutations and an urn model

Svante Janson|ArXiv.org|Mar 7, 2008

Advanced Combinatorial Mathematics参考文献 6被引用 15

一句话总结

本文通过广义波利亞瓮模型，建立了平面递归树与斯特林排列之间的双射关系，统一并拓展了其组合性质的研究。利用该模型，推导出随机斯特林排列中上升、下降和平台的精确联合分布，证明了渐近正态性及精确的协方差公式，关键结果表明依赖关系对称，方差按 $ olimits n/9$ 的方式缩放。该对应关系揭示了平面递归树中的叶节点数等于斯特林排列中的平台数，从而将两个先前研究的随机过程联系起来。

ABSTRACT

We exploit a bijection between plane recursive trees and Stirling permutations; this yields the equivalence of some results previously proven separately by different methods for the two types of objects as well as some new results. We also prove results on the joint distribution of the numbers of ascents, descents and plateaux in a random Stirling permutation. The proof uses an interesting generalized Polya urn

研究动机与目标

• 通过建立直接的组合对应关系，统一并拓展随机平面递归树与随机斯特林排列的研究结果。
• 利用广义波利亞瓮模型分析随机斯特林排列中上升、下降与平台的联合分布。
• 推导这些统计量的精确矩与协方差表达式，特别关注平台数（等价于平面递归树中的叶节点数）。
• 证明斯特林排列中平台数的渐近正态性，并提供精确的方差与协方差公式。

提出的方法

• 通过深度优先遍历编码，构造平面递归树与斯特林排列之间的双射，其中边标签对应顶点添加顺序。
• 利用具有替换向量 $(2,0,0)$、$(0,2,0)$ 和 $(0,0,2)$ 的三色广义波利亞瓮模型，模拟斯特林排列的演化，分别对应上升、下降与平台。
• 使用瓮的替换矩阵 $A = \begin{pmatrix} 2 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 2 \end{pmatrix}$ 推导计数的渐近联合正态性。
• 应用对称性与矩恒等式，从已知的叶节点数 $L_n = Z_n$ 的方差出发，推导精确协方差。
• 借助已知的概率生成函数与实根性的结果支持渐近正态性，如 Bona 的工作所述。
• 利用瓮的替换不依赖于所抽取颜色的事实，强调尽管看似简单，但由于出生过程中的内在依赖性，分析并未因此简化。

实验结果

研究问题

• RQ1 随机斯特林排列中上升、下降与平台数量的联合分布是什么？
• RQ2 上升、下降与平台计数在矩与协方差方面有何关系？
• RQ3 能否通过广义波利亞瓮模型严格推导出斯特林排列中平台数的渐近正态性？
• RQ4 随机斯特林排列中上升、下降与平台计数之间的精确协方差是多少？
• RQ5 平面递归树与斯特林排列之间的双射如何统一关于叶节点数与平台数的研究结果？

主要发现

• 随机斯特林排列 $Q_n$ 中的平台数 $Z_n$ 等于对应随机平面递归树 $T_n$ 中的叶节点数 $L_n$，建立了直接的组合等价性。
• 平台数的期望为 $\mathbb{E}[Z_n] = \frac{2n+1}{3}$，方差为 $\operatorname{Var}(Z_n) = \frac{2(n^2 - 1)}{9(2n - 1)} \sim \frac{n}{9}$，与已知的叶节点数结果一致。
• $(X_n, Y_n, Z_n)$ 的联合分布渐近服从多元正态分布，其均值向量为 $\left(\frac{2n}{3}, \frac{2n}{3}, \frac{2n}{3}\right)$，协方差矩阵 $\Sigma$ 的对角线元素为 $1/9$，非对角线元素为 $-1/18$。
• 任意两变量之间的精确协方差为 $\operatorname{Cov}(X_n, Y_n) = \operatorname{Cov}(X_n, Z_n) = \operatorname{Cov}(Y_n, Z_n) = -\frac{n^2 - 1}{9(2n - 1)}$，该结果由对称性与方差恒等式推导得出。
• 通过瓮模型确认了渐近正态性 $\frac{L_n - 2n/3}{\sqrt{n}} \xrightarrow{d} N(0, 1/9)$，方差按 $n/9$ 的方式缩放。
• 尽管瓮的替换不依赖于所抽取的颜色，看似简单，但由于出生过程中存在内在依赖性，分析并未简化；连续时间分支过程的类比表明，其方差与朴素超几何模型存在差异。