[논문 리뷰] The generalized 3-connectivity of random graphs

Ran Gu, Xueliang Li외 1명|arXiv (Cornell University)|2013. 03. 21.

Advanced Graph Theory Research참고 문헌 15인용 수 15

한 줄 요약

이 논문은 에르되시-레니 랜덤 그래프 $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 트리 구성 기법을 통해 임의의 세 정점 간에 $k$개의 내부적으로 분리된 트리를 구성하는 것.
• 모든 $\binom{n}{3}$개의 정점 조합에 대해 유니온 바운드를 적용하여 전반적인 $k$-연결성을 고려 확률로 보장하는 것.
• 실패 확률를 제어하기 위해 이항 확률에 대한 농도 부등식과 점근적 경계를 사용하는 것.
• 유도된 임계값을 초과할 경우 $\kappa_3(G(n,p)) \geq k$ 가 거의 확실히 성립하며, 그 이하일 경우 $\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 $\kappa_3(G(n,p)) \geq k$ 를 위한 임계값 함수는 고전적 연결성의 경우와 관찰된 점근적 행동을 어떻게 일치하는가?

주요 결과

• 함수 $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$ 가 거의 확실히 성립하며, 그 이하일 경우 $\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))$ 가 거의 확실히 성립한다.
• 임계값을 충족할 경우, 큰 차수를 가진 정점들과 간선 분리 경로 시스템을 활용하여 임의의 정점 조합에 대해 $k$개의 내부적으로 분리된 트리를 구성하는 것이 거의 확실히 가능하다.
• $\kappa_3(G(n,p)) \geq k$ 의 실패 확률는 $o(1)$ 으로 유계이며, 개별 조합의 실패 확률는 $o(n^{-3})$ 으로 감소하여 유니온 바운드를 통해 전반적인 연결성을 보장한다.
• 결과는 이프체노의 고전적 연결성 결과를 일반화된 3-연결성으로 확장하며, 임계값에서 $\kappa_3(G(n,p))$ 가 $k$ 근처로 날카롭게 집중됨을 보여준다.