[論文レビュー] On the profile of trees with a given degree sequence

Osvaldo Angtuncio, Gerónimo Uribe Bravo|arXiv (Cornell University)|Aug 27, 2020

Graph theory and applications参考文献 46被引用数 5

ひとこと要約

本稿では、与えられた次数列を持つ一様ランダムな根付き平面木のプロファイル（生成サイズ）が木のサイズが増加する際に分布収束するための条件を確立する。交換可能な増分過程とパス変換を用いて、アロウズの予想の一般化されたバージョンの確率的証明を提供し、ガルトン＝ワトソン木に関する先行結果を拡張するとともに、非一様連続的ランダム木の有界性基準を確立する。

ABSTRACT

A degree sequence is a sequence ${\bf s}=(N_i,i\geq 0)$ of non-negative integers satisfying $1+\sum_i iN_i=\sum_i N_i

研究の動機と目的

• 指定された次数列を持つランダム木のスケーリングされたプロファイルの収束に関するアロウズの予想を、より広いクラスのランダム木へ一般化すること。
• 解析的組合論的手法に代わる、確率過程の道具を用いたプロファイル収束の確率的証明を提供すること。
• 次数列に対して、プロファイルがブラウン運動の拡張の局所時間プロセスに関連する極限過程に収束するための十分条件を確立すること。
• アロウズ、マイエロン、ピットマンによって導入された非一様連続的ランダム木の有界性基準を導出すること。
• 初期世代に十分な数の頂点が存在することを保証する技術的課題を、新規のパス変換および交換可能な増分過程のフラクチュエーション理論を用いて処理すること。

提案手法

• 次数列 $\mathbf{s} = (N_i, i \geq 0)$ で指定された根付き平面木の集合からの一様サンプリングにより木をモデル化し、$N_i$ は $i$ 個の子を持つ頂点の数を表す。
• 木の構造を交換可能な増分過程に結びつけ、特に幅優先走査（BFW）とそのスケーリング極限を用いる。
• ヴェルヴァート変換およびランベルティ変換を用いて、木のBFWをレヴィ過程に関連づけ、フラクチュエーション解析を可能にする。
• パス変換技術を適用して、初期世代の頂点数を制御し、非退化なスケーリング極限を保証する。
• 次数列のモーメントおよび尾部条件が適切に満たされている場合、スケーリングされたプロファイルが正規化されたブラウン運動の拡張の局所時間プロセスの定数倍に収束することを確立する。
• 劣化収束および列 $b_n$ と $s_n$ の漸近的解析を用いて、収束のためのスケーリング条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 次数列に対してどのような条件下で、その次数列を持つ一様ランダム木のプロファイルがサイズが無限大に近づく際に分布収束するか？
• RQ2 アロウズの予想（スケーリングされたプロファイルが正規化されたブラウン運動の拡張の局所時間に収束する）は、ガルトン＝ワトソン木を超えて一般化可能か？
• RQ3 固定された次数列を持つ木の構造は、交換可能な増分過程とパス変換を用いてどのように分析可能か？
• RQ4 次数列のどのようなスケーリング条件が、初期世代に十分な数の頂点が存在することを保証し、収束を可能にするか？
• RQ5 次数列に基づいて、非一様連続的ランダム木に対してどのような有界性基準を導出可能か？

主な発見

• 次数列に対して適切なモーメントおよび尾部条件が満たされている場合、与えられた次数列を持つ一様ランダム木のプロファイルは、正規化されたブラウン運動の拡張の局所時間プロセスの定数倍に分布収束する。
• スケーリングされた幅優先走査の列がレヴィ過程に収束する場合に収束が成立し、これは次数列の2次のモーメントおよび尾部挙動に関する条件によって保証される。
• 無限大変動性を持つ交換可能な増分過程から導かれる次数列で $\sigma = 0$ の場合、収束は $\sum \beta_j^2 < \infty$ および $\sum \beta_j / b_n \to 0$ を満たす場合に成立する。ここで $b_n$ はスケーリング列である。
• $\sigma > 0$ でジャンプが加わる場合、極限プロファイルは分散 $\sigma^2 + \sum \beta_j^2$ のプロセスに収束するが、これは $\sum_{j \leq M_n} \beta_j / \sqrt{s_n} \to 0$ を満たす場合に成立する。
• ブラウン運動型の極限の場合、スケーリング列 $b_n$ は $\sqrt{s_n}$ と漸近的に同値であり、$b_n$ は $\sum (j-1)^2 / b_n^2 \cdot N_j^n \to \sigma^2 + \sum \beta_j^2$ を満たすように選ばれる。
• 収束条件から非一様連続的ランダム木の有界性基準が導出され、極限プロセスが緊密かつ適切に定義されることを保証する。