[论文解读] Schröder's problems and scaling limits of random trees

Jim Pitman, Douglas Rizzolo|arXiv (Cornell University)|Jul 9, 2011

Stochastic processes and statistical mechanics参考文献 15被引用 4

一句话总结

该论文证明了Schröder的四个组合问题——二叉和一般词/集合括号化——的均匀随机括号化在输入规模增大时，经适当缩放后，其分布收敛于布朗运动连续随机树（BCRT）。通过生成函数与渐近分析，作者证明了这些随机树的高度和叶高统计量收敛于已知的BCRT极限，证实了不同组合树模型中普遍存在的标度行为。

ABSTRACT

In a classic paper Schröder posed four combinatorial problems about the number of certain types of bracketings of words and sets. Here we address what these bracketings look like on average. For each of the four problems we prove that a uniform pick from the appropriate set of bracketings, when considered as a tree, has the Brownian continuum random tree as its scaling limit as the size of the word or set goes to infinity.

研究动机与目标

• 研究Schröder四个组合问题中均匀随机括号化的典型结构。
• 确定从这些括号化导出的随机树在输入规模趋于无穷时的标度极限。
• 确立所有四种类型的随机树均收敛于布朗运动连续随机树（BCRT）。
• 分析这些模型中树高和叶高统计量的渐近行为。
• 通过生成函数技术，将不同组合树族统一于同一连续极限之下。

提出的方法

• 利用括号化与有根有序树之间的双射，将组合问题转化为树模型。
• 应用Aldous的连续随机树与标度极限理论来分析收敛性。
• 采用生成函数，特别是生成函数 $ C_\zeta(z) $，以编码树的数量并分析渐近性。
• 使用奇点分析与转移定理（例如来自Flajolet和Sedgewick的定理）来提取系数与渐近行为。
• 通过生成函数的导数，推导出高度 $ k $ 处节点期望数量以及叶高之和的渐近表达式。
• 应用Scheffé定理与矩收敛性，证明弱收敛至BCRT及渐近矩。

实验结果

研究问题

• RQ1 Schröder四个问题中的均匀随机括号化是否产生其标度极限为布朗运动连续随机树的树？
• RQ2 这些模型中均匀随机树的高度的渐近分布是什么？
• RQ3 给定高度处的节点期望数量以及叶高之和如何随树的规模缩放？
• RQ4 不同类型的括号化（二叉、一般、基于集合）是否均收敛于BCRT？
• RQ5 高度分布的一阶矩在极限下能否被精确刻画？

主要发现

• 任意Schröder模型中均匀随机树的高度 $ H_n $ 满足 $ \mathbb{E}[H_n] \sim \sqrt{\frac{\pi}{2r G_{\zeta}^{\prime\prime}(s)}} \, n^{1/2} $，证实了平方根标度。
• 当 $ n \to \infty $ 时，$ \frac{c}{\sqrt{n}} H_n $ 的分布弱收敛于非退化极限，其中 $ c = \sqrt{G_{\zeta}^{\prime\prime}(s) r} $。
• 高度 $ k $ 处节点的期望数量满足 $ \mathbb{E}_{\mathcal{T}_n^{(\ell)}}(\xi_k) \sim G_{\zeta}^{\prime\prime}(s) r k $（固定 $ k $ 时），表明与高度呈线性依赖。
• 叶高之和满足 $ \mathbb{E}_{\mathcal{T}_n^{(\ell)}}[\phi] \sim \sqrt{\frac{\pi}{2r G_{\zeta}^{\prime\prime}(s)}} \, n^{3/2} $，与BCRT预测一致。
• 渐近分布 $ \frac{c}{\sqrt{n}} H_n $ 收敛于密度与 $ x \exp\left(-\frac{G_{\zeta}^{\prime\prime}(s) r}{2c^2} x^2 \right) $ 成比例的分布，证实了BCRT极限。
• 所有四种类型的随机树——二叉词、一般词、二叉集合、一般集合括号化——共享相同的标度极限：布朗运动连续随机树。