[論文レビュー] Regular trees in random regular graphs

Eran Makover, Jeffrey McGowan|arXiv (Cornell University)|Oct 27, 2006

Advanced Graph Theory Research参考文献 6被引用数 4

ひとこと要約

本稿では、与えられた頂点を根とするランダムなd正則グラフに埋め込まれる最大のd正則木のサイズを調査する。構成モデルと確率的解析を用いて、この木の半径がほとんど確実に (1/2 + o(1)) log_{d-1} n であることを示し、ガウスの超幾何関数に対する漸近的推定式を導出する： ₂F₁(1, 1−n; (1−dn)/2; d/2) ∝ √n として n → ∞ のとき成立する。

ABSTRACT

We investigate the size of the embedded regular tree rooted at a vertex in a $d$ regular random graph. We show that almost always, the radius of this tree will be ${1/2}\log n$, where $n$ is the number of vertices in the graph. And we give an asymptotic estimate for Gauss' Hypergeometric Function.

研究の動機と目的

• ランダムなd正則グラフにおける頂点を根とする最大のd正則木の典型的なサイズを特定すること。
• 根付き正則木の成長を分析することで、ランダム正則グラフの局所的構造を理解すること。
• 木のサイズ分布から生じる特定のガウスの超幾何関数の漸近的推定式を導出すること。
• ランダム正則グラフにおける確率的手法を通じて、グラフ論的性質と特殊関数との間の関係を確立すること。

提案手法

• 解析上の便宜を図るため、ループや多重辺を許容する構成モデルを用いてランダムなd正則グラフを生成する。
• 根頂点から始めて、層ごとにd正則木を段階的に構築し、半辺をシェルごとに露呈させることで、径方向の成長を模擬する。
• 再帰的確率モデルを用いる：P(X ≥ k) = ∏_{i=1}^{k-1} (dn − id)/(dn − (2i − 1)) で、木が少なくともサイズkに達する確率を追跡する。
• スターリングの近似を適用し、k = n^ρ のときのP(X ≥ k)の積形式の漸近的解析を行う。
• ρ < 1/2、ρ = 1/2、ρ > 1/2 の各場合について、n → ∞ における漸近的表現の極限を評価し、場合分けを行う。
• 期待値E(X)を超幾何関数 ₂F₁(1, 1−n; (1−dn)/2; d/2) と関連づけ、E(X) = ∑_{k=1}^n P(X ≥ k) の恒等式を用いる。

実験結果

リサーチクエスチョン

• RQ1 ランダムなd正則グラフにおける頂点を根とする最大のd正則木の典型的な半径は何か？
• RQ2 木のサイズはnとともにどのように増加し、どの程度の速度で飽和するか？
• RQ3 n → ∞ のとき、超幾何関数 ₂F₁(1, 1−n; (1−dn)/2; d/2) の漸近的挙動はいかなるものか？
• RQ4 構成モデルは、ランダム正則グラフにおける局所的木構造の解析をどのように支援するか？
• RQ5 ランダム正則グラフの局所的構造はどの程度d正則木に類似しており、どこで逸脱するのか？

主な発見

• ランダムなd正則グラフにおける頂点を根とする最大のd正則木の半径は、ほとんど確実に (1/2 + o(1)) log_{d−1} n である。
• ρ < 1/2 のとき、n → ∞ において P(X ≥ n^ρ) → 1 となり、木のサイズがn^ρを超える確率が高くなる。
• ρ > 1/2 のとき、n → ∞ において P(X ≥ n^ρ) → 0 となり、木のサイズがn^ρを超えることはほとんどありえない。
• 木のサイズXを√nでスケーリングした分布は、非退化な極限分布に収束し、尾確率は 1 − F(x) = exp(−x²(d−2)/(2d)) となる。
• 期待値E(X)は超幾何関数 ₂F₁(1, 1−n; (1−dn)/2; d/2) に等しく、n → ∞ のときすべての固定されたdに対して √n と漸近的に一致する。
• 本結果は、標準的でないガウスの超幾何関数の新たな漸近的推定式を提供し、既知の漸近的結果における空白を埋める。