[論文レビュー] 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

ひとこと要約

この論文は、シュレーディンガーの4つの組合せ的問題—二項および一般の語/集合の括弧付け—からの一様なランダムな括弧付けが、入力サイズが増大するに従い適切なスケーリングの下でブラウン運動連続的ランダム木（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.

研究の動機と目的

• シュレーディンガーの4つの組合せ的問題からの一様ランダム括弧付けの典型的な構造を調査すること。
• 入力サイズが無限大に近づく際、これらの括弧付けから導かれるランダム木のスケーリング極限を特定すること。
• 4つの木のタイプすべてがブラウン運動連続的ランダム木（BCRT）に収束することを確立すること。
• これらのモデルにおける木の高さおよび葉の高さ統計量の漸近的挙動を分析すること。
• 生成関数技法を用いて、多様な組合せ的木族を共通の連続的極限の下で統一すること。

提案手法

• 括弧付けと根付き順序木の間の双対性を用いて、組合せ的問題を木モデルに翻訳すること。
• アロウズの連続的ランダム木およびスケーリング極限の理論を適用して収束を分析すること。
• 特に生成関数 $ C_\zeta(z) $ を用いて木の個数を符号化し、漸近的挙動を分析すること。
• 特異点解析と転送定理（例えば、フラジョレとセッドウィックによるもの）を用いて係数と漸近的挙動を抽出すること。
• 生成関数の微分を用いて、高さ $ k $ におけるノードの期待数および葉の高さの和の漸近的表現を導出すること。
• シェッフェの定理とモーメント収束を用いて、BCRTへの弱収束および漸近的モーメントの証明を行うこと。

実験結果

リサーチクエスチョン

• RQ1 シュレーディンガーの4つの問題からの一様ランダム括弧付けは、そのスケーリング極限がブラウン運動連続的ランダム木となる木を生成するか？
• RQ2 これらのモデルからの一様ランダム木の高さの漸近的分布は何か？
• RQ3 特定の高さにおけるノードの期待数および葉の高さの和は、木のサイズに従ってどのようにスケーリングされるか？
• RQ4 二項、一般、集合ベースの括弧付けの異なるタイプにわたって、BCRTへの収束は普遍的か？
• RQ5 高さ分布の第一モーメントは、極限において正確に特徴付けられるか？

主な発見

• 任意の4つのシュレーディンガー・モデルからの一様ランダム木の高さ $ H_n $ は、$ \mathbb{E}[H_n] \sim \sqrt{\frac{\pi}{2r G_{\zeta}^{\prime\prime}(s)}} \, n^{1/2} $ を満たし、平方根スケーリングを確認する。
• $ \frac{c}{\sqrt{n}} H_n $ の分布は $ n \to \infty $ の下で非退化極限に弱収束する。ここで $ c = \sqrt{G_{\zeta}^{\prime\prime}(s) r} $ である。
• 固定された $ k $ に対して、高さ $ k $ におけるノード数の期待値は $ \mathbb{E}_{\mathcal{T}_n^{(\ell)}}(\xi_k) \sim G_{\zeta}^{\prime\prime}(s) r 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極限を確認する。
• 4つのタイプのランダム木—二項語、一般語、二項集合、一般集合括弧付け—は、すべて同じスケーリング極限、すなわちブラウン運動連続的ランダム木を持つ。