[論文レビュー] Fringe Trees for Random Trees with Given Vertex Degrees

Gabriel Berzunza Ojeda, Cecilia Holmgren+1 more|arXiv (Cornell University)|Dec 7, 2023

Stochastic processes and statistical mechanics被引用数 2

ひとこと要約

本稿は、指定された頂点次数を持つ一様ランダムな根付き平面木において、与えられた木に同型なフリンジ部分木の数の漸近的正規性を確立する。GaoとWormaldの多変量階乗モーメント法の拡張を用いて、複数の木の型にわたるフリンジ木の数の中心極限定理を証明し、制限次数分布から導かれる明示的な分散・共分散構造を伴う、複数の木型にわたる同時正規性を示す。結果は、条件付きガロン＝ウォームストゥルム過程との構造的・確率的関係を用いた条件付けの議論により、ランダムラベル付き木や単純生成木へと拡張可能である。

ABSTRACT

We prove asymptotic normality for the number of fringe subtrees isomorphic to any given tree in uniformly random trees with given vertex degrees. As applications, we also prove corresponding results for random labelled trees with given vertex degrees, for random simply generated trees (or conditioned Galton--Watson trees), and for additive functionals. The key tool for our work is an extension to the multivariate setting of a theorem by Gao and Wormald (2004), which provides a way to show asymptotic normality by analysing the behaviour of sufficiently high factorial moments.

研究の動機と目的

• 与えられた頂点次数統計を持つ一様ランダムな平面木において、固定された木に同型なフリンジ部分木の数の中心極限定理を確立すること。
• 構造的・確率的関係を用いて、漸近的正規性の結果をランダムラベル付き木や単純生成木（例：条件付きガロン＝ウォームストゥルム木）へと拡張すること。
• 制限次数分布を用いて、フリンジ木の数の極限分散および共分散構造を明確に特定すること。
• GaoとWormald（2004）の単変量階乗モーメント法を、固定次数統計を持つランダム木モデルにおける漸近的正規性の証明のための多変量設定に一般化すること。

提案手法

• GaoとWormald（2004）の多変量階乗モーメント法を拡張し、複数のフリンジ木型の同時数の漸近的正規性を証明する。
• 各型のフリンジ部分木の数の高階階乗モーメントの挙動を分析し、それが多変量正規分布に収束することを示す。
• 制限次数分布 p と木固有のパラメータ（|T| や nT(i) など）を含む共分散構造 γp(T,T′) を定義し、これが漸近的分散および共分散を支配することを示す。
• Vervaat変換と木とエクcursion間の双対性を用いて、条件付きガロン＝ウォームストゥルム木を固定面積を持つランダムウォークと関連づけ、階乗モーメントの計算を可能にする。
• 同分布の独立な増分の和に関する局所極限定理（有限または無限分散を許容）を適用し、条件付きランダムウォーク経路の確率を推定する。
• 条件付きガロン＝ウォームストゥルム木における次数の数の階乗モーメントの正確な表現を導出し、適切なスケーリングの下で多変量正規極限への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 木のサイズが大きくなるにつれて、与えられた頂点次数を持つ一様ランダムな平面木において、固定された木 T に同型なフリンジ部分木の数は正規分布に収束するか？
• RQ2 このようなランダム木における、複数の異なるフリンジ木型の数の極限分散および共分散構造は何か？
• RQ3 フリンジ部分木の数の漸近的分布は、木集合の制限次数分布 p にどのように依存するか？
• RQ4 GaoとWormald（2004）の多変量階乗モーメント法は、固定次数統計を持つランダム木モデルにおけるフリンジ木数の同時漸近的正規性を証明するために拡張可能か？
• RQ5 結果はどの程度ランダムラベル付き木や単純生成木に拡張可能であり、それらのフリンジ部分木分布は条件付きガロン＝ウォームストゥルムモデルとどのように関係するか？

主な発見

• κ→∞ のとき、固定された木 T に同型なフリンジ部分木の数は、平均 |nκ|πp(T) および分散 γp(T,T)|nκ| を持つ正規分布に分布収束する。
• 任意の有限個の固定木 T1,…,Tm に対して、それらの正規化された数の同時分布は、共分散行列 (γp(Ti,Tj))i,j=1m を持つ多変量正規分布に収束する。
• πp(T)>0 かつ |T|>1 のとき、極限分散 γp(T,T) は正であり、このような場合における非退化漸近的正規性が保証される。
• πp(T)=0 の場合でも、平均および分散はそれぞれ |n|πp(n)(T) および |n|γp(n)(T,T) でよく近似され、誤差項は O(1) である。
• 与えられた次数制約の下で、ランダムラベル付き木や単純生成木の次数統計が条件付きガロン＝ウォームストゥルム過程と等価であることから、結果はそれらへと拡張可能である。
• 証明は、有限および無限分散の両方の仮定のもとで有効な、i.i.d. 増分の部分和に関する精緻化された局所極限定理に依存している。