[논문 리뷰] On $k$-connectivity and minimum vertex degree in random $s$-intersection graphs

Jun Zhao, Osman Yağan외 1명|arXiv (Cornell University)|2014. 09. 21.

Security in Wireless Sensor Networks참고 문헌 39인용 수 12

한 줄 요약

이 논문은 이항 및 균일한 랜덤 $s$-교차 그래프에서 $k$-연결성과 최소 정점 차수에 대한 점점 정확한 0-1 법칙과 확률을 수립한다. 일반적인 스케일링 체제에서 $s$ 가 고정되어 있을 때, $n \to \infty$ 일 때 그래프가 $k$-정점 연결성, $k$-간선 연결성 또는 최소 차수 $\geq k$ 를 가지는지를 결정하는 정확한 임계 조건, 즉 항목 풀 크기 $P_n$, 정점 선택 매개변수($K_n$ 또는 $t_n$), 그리고 $s$ 를 유도한다.

ABSTRACT

Random $s$-intersection graphs have recently received much interest in a wide range of application areas. Broadly speaking, a random $s$-intersection graph is constructed by first assigning each vertex a set of items in some random manner, and then putting an undirected edge between all pairs of vertices that share at least $s$ items (the graph is called a random intersection graph when $s=1$). A special case of particular interest is a uniform random $s$-intersection graph, where each vertex independently selects the same number of items uniformly at random from a common item pool. Another important case is a binomial random $s$-intersection graph, where each item from a pool is independently assigned to each vertex with the same probability. Both models have found numerous applications thus far including cryptanalysis, and the modeling of recommender systems, secure sensor networks, online social networks, trust networks and small-world networks (uniform random $s$-intersection graphs), as well as clustering analysis, classification, and the design of integrated circuits (binomial random $s$-intersection graphs). In this paper, for binomial/uniform random $s$-intersection graphs, we present results related to $k$-connectivity and minimum vertex degree. Specifically, we derive the asymptotically exact probabilities and zero-one laws for the following three properties: (i) $k$-vertex-connectivity, (ii) $k$-edge-connectivity and (iii) the property of minimum vertex degree being at least $k$.

연구 동기 및 목표

• 랜덤 $s$-교차 그래프가 $k$-연결성과 최소 정점 차수 $k$ 를 가지는 점점 조건을 규명하는 것.
• 일반적인 $P_n$, $K_n$, $t_n$ 스케일링 하에서 이항 및 균일한 랜덤 $s$-교차 그래프 모델을 모두 분석하는 것.
• 정점 연결성 $k$, 간선 연결성 $k$, 최소 차수 $\geq k$ 에 대한 0-1 법칙과 정확한 확률을 도출하는 것.
• 구조적 그래프 성질과 기초가 되는 랜덤 항목 할당 메커니즘 사이의 엄밀한 연결 고리를 확립하는 것.
• $s$-교차 그래프 모델을 사용하여 보다 견고한 네트워크, 예를 들어 보안 센서 네트워크 및 신뢰 시스템을 설계하기 위한 이론적 기초를 제공하는 것.

제안 방법

• 두 단계 확률 분석을 사용: 먼저 조건부 독립성과 유니온 바운드를 통해 랜덤 $s$-교차 그래프가 $k$-연결성이 되는 조건을 도출한다.
• 희귀 사건에 대한 연결성 및 차수 임계 조건을 분석하기 위해 켄-스타인 방법과 포아송 근사 기법을 적용한다.
• 비-$k$-연결성의 확률을 제한하기 위해 정점 부분집합 $S_1, \dots, S_r$ 에 대한 조건부 확률 분해를 활용한다.
• 연결성 실패와 차수 부족을 특징짓기 위해 보조 사건 $\mathcal{B}_{\ell,r}$, $\mathcal{D}_{\ell,r}$, 및 $\mathcal{C}_r$ 을 도입한다.
• 랜덤 그래프 이론에서 알려진 결과(예: $r^{r-2} q_n^{r-1}$)를 통해 $\mathbb{P}[\mathcal{C}_r]$ 의 바ounds 를 도출하여 작은 컴포넌트의 구조 수를 제어한다.
• 지수 꼬리 바ounds(예: $e^{-q_n n (1+\varepsilon_3)}$) 를 적용하여 고립된 정점 집합의 확률을 제어하며, 큰 편차를 위해 레마 6.3 을 활용한다.

실험 결과

연구 질문

• RQ1 균일한 모델 $G_s(n,K_n,P_n)$ 에서 균일한 랜덤 $s$-교차 그래프의 점점 임계 조건은 무엇인가? 이때 $k$-정점 연결성이 성립하는가?
• RQ2 이항 랜덤 $s$-교차 그래프 $H_s(n,t_n,P_n)$ 에서 $t_n$ 과 $P_n$ 가 어떤 조건을 만족하면 $k$-간선 연결성이 성립하는가?
• RQ3 $K_n$ 과 $P_n$ 가 어떤 스케일링 조건을 만족할 경우 $G_s(n,K_n,P_n)$ 의 최소 정점 차수가 거의 확실히 $k$ 를 초과하는가?
• RQ4 균일 모델과 이항 모델에서 $k$-연결성과 최소 차수 $k$ 의 점점 확률은 어떻게 관련되어 있는가?
• RQ5 이러한 랜덤 $s$-교차 그래프 모델에서 $k$-연결성의 출현을 규명하는 정확한 0-1 법칙은 무엇인가?

주요 결과

• 균일 모델 $G_s(n,K_n,P_n)$ 에서 $P_n = \Omega(n)$ 이고 $K_n \to \infty$ 이면, $\alpha_n \to \infty$ 이면 $k$-정점 연결성이 확률이 1로 수렴한다. 여기서 $\alpha_n$ 은 $K_n$, $P_n$, 및 $s$ 의 함수이다.
• 이항 모델 $H_s(n,t_n,P_n)$ 에서 $t_n P_n \to \infty$ 이고 $t_n P_n = \omega(\log n)$ 이면, 적절한 스케일링 하에서 $k$-간선 연결성이 점점 거의 확실히 성립한다.
• $G_s(n,K_n,P_n)$ 의 최소 정점 차수는 $K_n \to \infty$ 이고 $K_n^s / P_n^{s-1} \to \infty$ 이면 거의 확실히 $k$ 이상이다.
• $H_s(n,t_n,P_n)$ 에서 최소 차수는 $t_n P_n \to \infty$ 이고 $t_n P_n = \omega(\log n)$ 이며 $s$ 가 고정되어 있을 경우 거의 확실히 $k$ 이상이다.
• 논문은 0-1 법칙을 수립한다: 두 모델 모두에서 $k$-연결성의 확률은 $P_n$, $K_n$, $t_n$ 의 스케일링 조건에 따라 0 또는 1 으로 수렴한다.
• 결과들은 $k$-정점 연결성이 $k$-간선 연결성을 함의하고, 이는 최소 차수 $\geq k$ 를 함의하며, 세 성질 모두가 동일한 스케일링 조건 하에서 날카로운 임계 조건을 보임을 보여준다.