[論文レビュー] Degree distribution in random planar graphs

Michael Drmota, Omer Giménez+1 more|ArXiv.org|Nov 23, 2009

Stochastic processes and statistical mechanics参考文献 20被引用数 10

ひとこと要約

本稿は、マークされた根の次数を用いた母関数の分析を通じて、ランダム平面グラフにおける漸近的次数分布を確立し、頂点の次数が $k$ である確率が計算可能な定数 $d_k$ に収束することを証明している。ここで $\sum_k d_k = 1$ である。主な結果は、確率母関数 $p(w) = \sum_k d_k w^k$ の明示的表現であり、$q \approx 0.67$ に対して $d_k \sim c \cdot k^{-1/2} q^k$ となることが、複素母関数の特異性解析によって導かれる。

ABSTRACT

We prove that for each $k\ge0$, the probability that a root vertex in a random planar graph has degree $k$ tends to a computable constant $d_k$, so that the expected number of vertices of degree $k$ is asymptotically $d_k n$, and moreover that $\sum_k d_k =1$. The proof uses the tools developed by Gimenez and Noy in their solution to the problem of the asymptotic enumeration of planar graphs, and is based on a detailed analysis of the generating functions involved in counting planar graphs. However, in order to keep track of the degree of the root, new technical difficulties arise. We obtain explicit, although quite involved expressions, for the coefficients in the singular expansions of the generating functions of interest, which allow us to use transfer theorems in order to get an explicit expression for the probability generating function $p(w)=\sum_k d_k w^k$. From this we can compute the $d_k$ to any degree of accuracy, and derive the asymptotic estimate $d_k \sim c\cdot k^{-1/2} q^k$ for large values of $k$, where $q \approx 0.67$ is a constant defined analytically.

研究の動機と目的

• ランダム平面グラフにおける固定頂点の次数が $k$ である確率の極限を、頂点数 $n \to \infty$ のとき求める。
• 次数 $k$ の頂点の期待数が $d_k n$ に漸近することを示し、$\sum_k d_k = 1$ であることから、定義された次数分布が成立することを確認する。
• 解析的組合せ論に基づく母関数の解析を通じて、定数 $d_k$ を任意の精度で計算する手法を開発する。
• 2連結および3連結平面グラフへの分析を拡張し、構造的制約下での類似する次数分布を導出する。

提案手法

• ギメネスとノイが開発した平面グラフの漸近的数え上げのための母関数フレームワークを活用し、根頂点の次数を追跡するように拡張する。
• 2連結平面グラフの根付き母関数 $B^\bullet(x,y,w)$ を導入し、$x$ が頂点数、$y$ が辺数、$w$ が根の次数を表す。この関数は、暗黙の代数関数を含む微分方程式を解くことで得られる。
• 母関数の主要特異点の近傍における詳細な特異展開解析を行い、高い複雑性にもかかわらず係数を明示的に計算する。
• 転送定理と特異展開の合成に関する技術的補題を適用し、連結平面グラフの母関数の漸近的挙動を導出する。
• 漸近的展開から確率母関数 $p(w) = \sum_k d_k w^k$ を導出し、$d_k$ の正確な計算を可能にする。
• エッジ密度 $\mu$ を固定したエッジ重み付きモデルへの拡張を図り、$\mu n$ のエッジ数を満たす条件下での次数分布を、鞍点近似を用いて分析する。

実験結果

リサーチクエスチョン

• RQ1 ランダム平面グラフにおける固定頂点の次数が $k$ である確率の極限値は何か？ ただし $n \to \infty$ のとき。
• RQ2 ランダム平面グラフにおける次数分布は、計算可能な確率母関数 $p(w) = \sum_k d_k w^k$ として表現可能か？
• RQ3 $k$ が大きいときの $d_k$ の漸近的挙動は何か？ また、閉形式で表現可能か？
• RQ4 2連結または3連結平面グラフに制限を加えた場合、次数分布はどのように変化するか？
• RQ5 エッジ密度 $\mu n$ を固定した場合、次数分布はどのように分析可能か？ また、均一モデルと比較してどう異なるか？

主な発見

• ランダム平面グラフにおける固定頂点の次数が $k$ である確率は、$n \to \infty$ のとき計算可能な定数 $d_k$ に収束し、$\sum_k d_k = 1$ である。
• 確率母関数 $p(w) = \sum_k d_k w^k$ は明示的に導出され、有効な確率母関数であることが示された。
• $k$ が大きいときの $d_k$ の漸近的挙動は $d_k \sim c \cdot k^{-1/2} q^k$ であり、$q \approx 0.67$ は解析的に定義された定数である。
• 母関数の特異展開の導出式を用いることで、定数 $d_k$ を任意の精度で計算可能である。
• エッジ密度 $\mu n$ の平面グラフでは、次数分布が $\sum_k d_{\mu,k} w^k = -e^{B_0(y,w)-B_0(y,1)}B_2(y,w) + e^{B_0(y,w)-B_0(y,1)} \frac{1+B_2(y,1)}{B_3(y,1)} B_3(y,w)$ で与えられ、$y$ は鞍点方程式を満たす。
• 数値的結果およびフスィの均一生成アルゴリズムからの実験的データは、表1の理論的値と強く一致している。