[論文レビュー] The generalized 3-connectivity of random graphs

Ran Gu, Xueliang Li+1 more|arXiv (Cornell University)|Mar 21, 2013

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

ひとこと要約

この論文は、Erdős–Rényi 確率的グラフ $G(n,p)$ における一般化3連結性の鋭い閾値関数を確立し、固定された $k \geq 1$ に対して、$p = \frac{\log n + (k+1)\log\log n - \log\log\log n}{n}$ が $\kappa_3(G(n,p)) \geq k$ をほとんど確実に保証することを示している。この結果は、ボロボーシュとトーマソンの頂点連結性の閾値結果を、内部に素性のある木と頂点分割・辺素な木構築の確率的手法を用いて一般化3連結性へと拡張するものである。

ABSTRACT

The generalized connectivity of a graph $G$ was introduced by Chartrand et al. Let $S$ be a nonempty set of vertices of $G$, and $κ(S)$ be defined as the largest number of internally disjoint trees $T_1, T_2, \cdots, T_k$ connecting $S$ in $G$. Then for an integer $r$ with $2 \leq r \leq n$, the {\it generalized $r$-connectivity} $κ_r(G)$ of $G$ is the minimum $κ(S)$ where $S$ runs over all the $r$-subsets of the vertex set of $G$. Obviously, $κ_2(G)=κ(G)$, is the vertex connectivity of $G$, and hence the generalized connectivity is a natural generalization of the vertex connectivity. Similarly, let $λ(S)$ denote the largest number $k$ of pairwise edge-disjoint trees $T_1, T_2, \ldots, T_k$ connecting $S$ in $G$. Then the {\it generalized $r$-edge-connectivity} $λ_r(G)$ of $G$ is defined as the minimum $λ(S)$ where $S$ runs over all the $r$-subsets of the vertex set of $G$. Obviously, $λ_2(G) = λ(G)$. In this paper, we study the generalized 3-connectivity of random graphs and prove that for every fixed integer $k\geq 1$, $$p=\frac{\log n+(k+1)\log \log n -\log \log \log n}{n}$$ is a sharp threshold function for the property $κ_3(G(n, p)) \geq k$, which could be seen as a counterpart of Bollobás and Thomason's result for vertex connectivity. Moreover, we obtain that $δ(G(n,p)) - 1 = λ(G(n,p)) - 1 = κ(G(n,p)) - 1 \le {κ_3}(G(n,p)) \le {λ_3}(G(n,p)) \le κ(G(n,p)) = λ(G(n,p)) = δ(G(n,p))$ almost surely holds, which could be seen as a counterpart of Ivchenko's result.

研究の動機と目的

• 確率的グラフにおける一般化3連結性 $\kappa_3(G(n,p)) \geq k$ の鋭い閾値関数を特定すること。
• ボロボーシュとトーマソンの頂点連結性の閾値結果を、一般化3連結性の文脈へと拡張すること。
• 確率的グラフにおける $\kappa_3(G)$, $\lambda_3(G)$, $\kappa(G)$, $\lambda(G)$, および $\delta(G)$ 間の構造的関係を確立すること。
• 導出された閾値において、$\kappa_3(G(n,p))$ が $k$ のまわりにきわめて集中することを証明すること。

提案手法

• 連結性の挙動を分析するために、次数の閾値に基づいて頂点を大規模集合と小規模集合に分割する。
• 大次数の頂点が $k$ 個の内部素性のある木を支えるのに十分な連結性を持つことを、確率的手法を用いて示す。
• 辺素な経路と悪影響を避けるBFS木構築を活用して、任意の3頂点を結ぶ $k$ 個の内部素性のある木を構築する。
• すべての $\binom{n}{3}$ 個の頂点の三つ組に対して和集合の不等式を適用し、高確率でグローバルな $k$ 連結性を保証する。
• 二項確率の漸近的境界と集中不等式を用いて、失敗確率を制御する。
• $p$ が導出された閾値を超えると $\kappa_3(G(n,p)) \geq k$ がほとんど確実に成り立ち、逆に $p$ がそれ未満では $\kappa_3(G(n,p)) < k$ がほとんど確実に成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 確率的グラフにおける $\kappa_3(G(n,p)) \geq k$ の鋭い閾値関数は何か？
• RQ2 $G(n,p)$ における一般化3連結性 $\kappa_3(G)$ は、最小次数 $\delta(G)$、頂点連結性 $\kappa(G)$、および辺連結性 $\lambda(G)$ とどのように関係しているか？
• RQ3 古典的頂点連結性のためのものと同じ確率的フレームワークを用いて、一般化3連結性の閾値を導出できるか？
• RQ4 一般化3連結性のための閾値関数は、古典的連結性のケースで観察される漸近的挙動と一致するか？

主な発見

• 関数 $p = \frac{\log n + (k+1)\log\log n - \log\log\log n}{n}$ は、$\kappa_3(G(n,p)) \geq k$ の鋭い閾値であり、この関数の上では性質がほとんど確実に成り立ち、下ではほとんど確実に失敗する。
• 固定された $k \geq 1$ に対して、$p$ が導出された閾値に達すると $\kappa_3(G(n,p)) \geq k$ がほとんど確実に成り立ち、$p$ がそれ未満では $\kappa_3(G(n,p)) < k$ がほとんど確実に成り立つ。
• ほとんど確実に、不等式鎖 $\delta(G(n,p)) - 1 = \lambda(G(n,p)) - 1 = \kappa(G(n,p)) - 1 \leq \kappa_3(G(n,p)) \leq \lambda_3(G(n,p)) \leq \kappa(G(n,p)) = \lambda(G(n,p)) = \delta(G(n,p))$ が成り立つ。
• $p$ が閾値に達しているとき、大規模な次数の頂点と辺素な経路系を用いて、任意の三頂点の組に対して $k$ 個の内部素性のある木を構築することがほとんど確実に可能である。
• $\kappa_3(G(n,p)) \geq k$ の失敗確率は $o(1)$ で抑えられ、個々の三つ組の失敗確率は $o(n^{-3})$ の速度で減少し、和集合の不等式によってグローバル連結性が保証される。
• この結果は、イーフチェンコの古典的連結性に関する結果を一般化3連結性へと拡張し、$\kappa_3(G(n,p))$ が閾値において $k$ のまわりにきわめて集中することを示している。