[論文レビュー] The probability that a random multigraph is simple

Svante Janson|ArXiv.org|Sep 28, 2006

Limits and Structures in Graph Theory参考文献 10被引用数 11

ひとこと要約

この論文は、与えられた次数列から配置モデルを用いて生成されるランダムな多重グラフが、単純グラフである確率が正の漸近的確率をもつのは、次数の二乗和が辺の数に対して線形であるとき、かつそのときに限り成り立つことを確立している。本論文は、単純性の確率に対する正確な漸近的公式を提示し、最大次数に関する従来の仮定を排除することで、ランダムグラフ理論および配置モデル分野における先行研究を拡張している。

ABSTRACT

Consider a random multigraph G* with given vertex degrees d_1,...,d_n, contructed by the configuration model. We show that, asymptotically for a sequence of such multigraphs with the number of edges (d_1+...+d_n)/2 tending to infinity, the probability that the multigraph is simple stays away from 0 if and only if \sum d_i^2=O(\sum d_i). This was previously known only under extra assumtions on the maximum degree. We also give an asymptotic formula for this probability, extending previous results by several authors.

研究の動機と目的

• 辺の数が増加する際、ランダムな多重グラフが単純である確率が0から正の値で離れる条件を正確に特定すること。
• 配置モデルに関する先行研究で要請されていた最大次数に関する仮定を排除すること。
• 複数の著者の結果を拡張し、ランダムな多重グラフが単純である確率に対する漸近的公式を導出すること。
• 一般の次数列の下で、配置モデルにおけるループおよび多重辺の数の漸近的挙動を明確にすること。
• 最大次数がΘ(N^{1/2})であるときでさえ、悪性辺（ループおよび多重辺）の標準的ポアソン近似が失敗することを示すこと。

提案手法

• 与えられた次数列からランダムな多重グラフを生成するために配置モデルを用いる。
• 得られた多重グラフがループや多重辺を含まない（つまり単純である）確率を分析する。
• 因子モーメント法およびポアソン近似技術を用いて、悪性辺（ループおよび多重辺）の数を研究する。
• より洗練された漸近的解析を可能にするために、悪性辺の数を近似する修正された確率変数Ŷを導入する。
• モーメント法を用いて、特定の条件下で悪性辺の数がポアソン分布に収束することを示す。
• 指数モーメント推定を用いて、次数の二乗和と単純性の漸近的確率との間の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 辺の数が無限大に近づく際、次数列のどのような条件下で、ランダムな多重グラフが単純である確率が0から正の値で離れるのか。
• RQ2 最大次数に制限がないとしても、∑d_i² = O(N) という条件だけが、単純性確率の正の下限を保証するのか。
• RQ3 一般の次数列の下で、ランダムな多重グラフが単純である確率に対する正確な漸近的公式は何か。
• RQ4 最大次数がΘ(N^{1/2})であるときでさえ、∑d_i² = O(N) が成り立つとしても、悪性辺の数の標準的ポアソン近似がなぜ失敗するのか。
• RQ5 配置モデルにおけるループおよび多重辺の分布は、漸近的にどのように振る舞うのか。

主な発見

• ランダムな多重グラフが単純である確率が0から正の値で離れるのは、∑d_i² = O(N) のとき、かつそのときに限り成り立つ。ここでNは辺の数である。
• この条件は、最大次数に制限がない場合でも、単純性確率の正の下限が存在するための必要十分条件である。
• 単純性確率に対する漸近的公式が導出され、複数の著者の結果を拡張し、一般の次数列に対して有効である。
• 最大次数がΘ(N^{1/2})であるとき、悪性辺（ループおよび多重辺）の数は漸近的にポアソン分布に従わず、標準的ポアソン近似法が無効になる。
• 最大次数が大きい場合、悪性辺の数のモーメント法が失敗する。これはモーメントの急激な増加とカルレマンの基準の不成立に起因する。
• 本論文は、配置モデルの多重グラフが単純である確率が正であるのは、次数列が∑d_i² = O(N) を満たすときであることを示し、ランダムグラフ理論における長年の未解決問題を解決している。