[論文レビュー] Asymptotic enumeration and limit laws of planar graphs

Omer Giménez, Marc Noy|ArXiv.org|Jan 18, 2005

Stochastic processes and statistical mechanics参考文献 12被引用数 19

ひとこと要約

本稿は、解析的組合せ論を用いて、ラベル付き平面グラフの正確な漸近的列挙を提供し、その数が $ g_n \sim g \cdot n^{-7/2} \gamma^n n! $ と成長することを確立している。ここで $ \gamma \approx 27.2268777685 $ および $ g \approx 0.4260938569 \times 10^{-5} $ は明示的な定数である。さらに、ランダム平面グラフにおける辺数は、線形の平均と分散をもつ漸近的正規分布に従い、連結成分の数はシフトされたポアソン分布に従うことが証明されている。

ABSTRACT

We show an asymptotic estimate for the number of labelled planar graphs on $n$ vertices. We also find limit laws for the number of edges, the number of connected components, and other parameters in random planar graphs.

研究の動機と目的

• n 頂点のラベル付き平面グラフの数に対する正確な漸近式を導出すること。
• ランダム平面グラフにおける主要なグラフパラメータ（辺数と連結成分数）の極限定理を確立すること。
• 漸近的列挙式における成長定数 $ \gamma $ と $ g $ の明示的な解析的表現を計算すること。
• 特異点の摂動と特異点近傍の解析を用いて、辺数と成分数の分布を分析すること。

提案手法

• それぞれ平面グラフ、連結グラフ、2連結平面グラフに対応する指数型母関数 $ G(x) $, $ C(x) $, および $ B(x) $ の使用。
• 母関数の特異点解析により、主な特異点 $ \rho = \gamma^{-1} $ が $ x = \rho $ に存在することを導出。
• 2連結平面グラフの頂点数と辺数による2変数母関数 $ B(x,y) $ の導出により、2変数特異点展開が可能になる。
• 転送定理および特異点の摂動を応用し、辺数と成分数の極限定理を導出。
• パラメータ $ t $ について関数 $ B_0, B_2, B_4, B_5 $ および $ \rho $ の明示的計算を行い、$ Y(t) = 1 $ での評価により一変数定数を取得。
• 生成関数 $ U(x, D(x,y)) $ の特異点展開を用いて、主特異点近傍における生成関数の振る舞いをモデル化し、極限定理を導出。

実験結果

リサーチクエスチョン

• RQ1 n 頂点のラベル付き平面グラフの数の正確な漸近的成長率は何か？
• RQ2 n \to \infty のとき、一様にランダムな平面グラフにおける辺数の分布はどのように振る舞うか？
• RQ3 ランダム平面グラフにおける連結成分数の極限分布は何か？
• RQ4 漸近的式における成長定数 $ \gamma $ と $ g $ を明示的な解析関数として表現できるか？
• RQ5 n 頂点と $ \lfloor qn \rfloor $ 辺をもつ平面グラフの数の漸近的挙動は何か？

主な発見

• n 頂点のラベル付き平面グラフの数は、$ g_n \sim g \cdot n^{-7/2} \gamma^n n! $ を満たし、ここで $ \gamma \approx 27.2268777685 $ および $ g \approx 0.4260938569 \times 10^{-5} $ である。
• ランダム平面グラフにおける辺数は、平均 $ \mu_n \sim \kappa n $ および分散 $ \sigma_n^2 \sim \lambda n $ をもつ漸近的正規分布に従い、ここで $ \kappa \approx 2.2132652385 $ および $ \lambda \approx 0.4303471697 $ である。
• ランダム平面グラフにおける連結成分数は、$ 1 + P(\nu) $ に漸近的に分布する。ここで $ \nu \approx 0.385 $ は明示的な定数であり、シフトされたポアソン分布を示している。
• n 頂点と $ \lfloor qn \rfloor $ 辺をもつ平面グラフの数は、$ g(q) \cdot n^{-4} \gamma(q)^n n! $ に漸近的に等しい。ここで $ \gamma(q) $ は q の解析的関数である。
• 非ラベル付き平面グラフの指数的成長率は $ \tau \approx 6.03 $ によって決定され、$ \rho(\tau) = 1 $ を満たす。また $ \tau \approx 2^{2.59} $ である。
• 導出された母関数は、ランダム平面グラフの均一な生成のための効率的アルゴリズムの設計を可能にする。