[論文レビュー] Vertex Degree of Random Intersection Graph

Bhupendra Gupta|ArXiv.org|Sep 6, 2008

Advanced Graph Theory Research参考文献 2被引用数 3

ひとこと要約

本稿は、頂点が集合 W からの共通の対象を共有する場合に辺が形成されるランダムインターセクショングラフにおける頂点次数と接続性の閾値を分析する。大偏差と Borel-Cantelli の補題を用いて、$ p = (mn^\alpha)^{-1/2} $ の場合、$ \alpha = 2 $ のときグラフはほとんど確実に接続されることが示され、頂点次数のスケーリングに関するほとんど確実な境界が $ n^{1-\alpha} $ として導出され、明示的な漸近定数は対数方程式によって定義される。

ABSTRACT

A random intersection graph is constructed by independently assigning a subset of a given set of objects $W,$ to each vertex of the vertex set $V$ of a simple graph $G.$ There is an edge between two vertices of $V,$ iff their respective subsets(in $W$,) have at least one common element. The strong threshold for the connectivity between any two arbitrary vertices of vertex set $V,$ is derived. Also we determine the almost sure probability bounds for the vertex degree of a typical vertex of graph $G.$

研究の動機と目的

• ランダムインターセクショングラフにおける接続性の強い閾値確率を特定すること。
• このようなグラフにおける典型頂点の次数のほとんど確実な上界および下界を導出すること。
• パrameter $ m $, $ n $, および $ p $ を変化させたときの頂点次数の漸近的挙動を特徴付けること。
• $ n \to \infty $ のとき、接続性がほとんど確実に発生するか、確率が消える条件を確立すること。

提案手法

• 頂点 $ v \in V $ と対象 $ w \in W $ 間の辺が確率 $ p $ で独立同分布に生成される二部グラフ $ G^*(n,m,p) $ を用いてランダムインターセクショングラフをモデル化する。
• ランダムインターセクショングラフ $ G(n,m,p) $ を定義し、$ \{v_i,v_j\} $ が辺であるのは $ W_{v_i} \cap W_{v_j} \neq \emptyset $ のときに限る。
• 補題 2.1 におけるチェルノフ型の不等式を用いて、二項分布に従う頂点次数 $ X \sim \text{Bi}(n-1, q_n) $ の尾確率を制御する。
• 指数的境界 $ P[X \leq K] $ および $ P[X \geq K] $ を表すために関数 $ H(t) = \frac{1}{t}\log t + \frac{1}{t} - 1 $ を用いる。
• Borel-Cantelli の補題を適用し、尾確率の可summability を分析することで、$ X/n^{1-\alpha} $ のほとんど確実な極限を導出する。
• 閾値の挙動を導くために $ p = (mn^\alpha)^{-1/2} $ を設定し、$ q_n \sim n^{-\alpha/2} $ が得られ、$ n $ における辺確率の和を解析する。

実験結果

リサーチクエスチョン

• RQ1 ほとんど確実な接続性を保証するための閾値確率 $ p $ は何か？
• RQ2 頂点次数は $ n $ に対してどのようにスケーリングされ、そのほとんど確実な上界および下界は何か？
• RQ3 パラメータ $ \alpha $ がどのような条件下で、二頂点間の辺確率が $ n $ に対してsummable または non-summable になるか？
• RQ4 頂点次数の漸近的境界はパラメータ $ \alpha $ にどのように依存するか？また、関数 $ a(c) $ は果たす役割は何か？

主な発見

• 接続性の強い閾値は $ p(2) = (m n)^{-1/2} $ であり、$ \alpha = 2 - \epsilon $ のとき $ G(n,m,p) $ はほとんど確実に接続され、$ \alpha = 2 + \epsilon $ のとき高確率で非接続となる。
• $ 0 < \alpha < 1 $ のとき、頂点次数 $ X $ はほとんど確実に $ \limsup_{n \to \infty} X / n^{1-\alpha} \geq a(c) $ を満たす。ここで $ a(c) $ は $[1,\infty)$ 内の解として $ a \log a - a + 1 = c $ を満たす。
• $ 0 < \alpha < 1 $ のとき、頂点次数はほとんど確実に $ \liminf_{n \to \infty} X / n^{1-\alpha} \leq a(c) $ を満たす。ここで $ a(c) $ は $ (0,1) $ 内の解として $ a \log a - a + 1 = c $ を満たす。
• 任意の二頂点間の辺確率は $ \sim n^{-\alpha/2} $ であり、$ \alpha \leq 2 $ のときこの和は発散し、ほとんど確実に無限個の辺が存在する。一方、$ \alpha > 2 $ のときは収束する。
• 閾値の挙動は辺確率のsummability に依存する：発散すればほとんど確実に接続され、収束すればほとんど確実に有限個の辺を持つ。
• 漸近的次数境界は鋭く、$ c $ を含む対数方程式の解に依存し、これは尾の減衰率を制御する。