[논문 리뷰] On percolation and the bunkbed conjecture

Svante Linusson|ArXiv.org|2008. 11. 06.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 6

한 줄 요약

이 논문은 제품 그래프 $G \times K_2$ 상에서의 엣지 퍼콜레이션에서 벤크베드 추측을 조사하며, 외평면 그래프에 대해 추측을 증명하고 무작위로 방향이 붙은 그래프의 일반화된 모델을 제안한다. 무방향 퍼콜레이션과 방향 경로 존재 확률 사이의 연결을 설정하여, 같은 층 내의 정점 간 연결성이 서로 다른 층 간 연결성보다 확률적으로 적어도 동일하게 확률이 높다는 것을 보여준다.

ABSTRACT

We study a problem on edge percolation on product graphs $G imes K_2$. Here $G$ is any finite graph and $K_2$ consists of two vertices $\{0,1\}$ connected by an edge. Every edge in $G imes K_2$ is present with probability $p$ independent of other edges. The Bunkbed conjecture states that for all $G$ and $p$ the probability that $(u,0)$ is in the same component as $(v,0)$ is greater than or equal to the probability that $(u,0)$ is in the same component as $(v,1)$ for every pair of vertices $u,v\in G$. We generalize this conjecture and formulate and prove similar statements for randomly directed graphs. The methods lead to a proof of the original conjecture for special classes of graphs $G$, in particular outerplanar graphs.

연구 동기 및 목표

• 제품 그래프 $G \times K_2$ 상에서 엣지 퍼콜레이션 하에서 외평면 그래프에 대해 벤크베드 추측을 증명한다.
• 비균일한 엣지 확률과 횡단 집합을 갖는 모델로 벤크베드 추측을 일반화한다.
• 무방향 퍼콜레이션과 무작위로 방향이 붙은 그래프에서의 방향 경로 존재 여부 사이의 대응 관계를 설정한다.
• 같은 층 내 연결성이 교차 층 연결성보다 덜 가능성에서 더 가능성으로 전환되는 임계 확률 $p^c$ 를 유한 그래프에서 정의한다.
• 벤크베드 그래프에서 정점 간 거리 감각의 직관적 개념이 무작위 엣지 유지 동안 유지되는지 탐색한다.

제안 방법

• 모델 $E_2^{\mathbb{p},T}$ 를 도입하여, 고정된 횡단 집합 $T \subseteq V(G)$ 에서 수직 엣지 존재 여부를 조건화하고, 각 엣지 $e \in E(G)$ 에 대해 독립적인 확률 $p_e$ 를 할당한다.
• 모델 $E_2^{\mathbb{p},T}$ 에서 $u_0$ 와 $v_0$ 사이에 경로 존재 확률이 $u_0$ 와 $v_1$ 사이의 확률보다 적어도 같음을 증명하여, 외평면 그래프에 대해 일반화된 벤크베드 추측을 확립한다.
• 모델 $D_3^T$ 를 도입하여 엣지를 랜덤하게 방향화하고, $T$ 에 있는 정점에서만 방향을 뒤집을 수 있도록 하며, 경로 확률의 등가성에 의해 퍼콜레이션 모델과 연결한다.
• 대칭성과 엣지 방향의 반전을 이용하여 $X(O) = X(O^r)$ 를 증명하고, 이로부터 $F(O) = F(O^r)$ 를 이끌어내어, 방향 모델에서 벤크베드 성질을 지지한다.
• 모든 부분집합 $T \subseteq V(G)$ 에 대해 평균을 취하여 임계 확률 $p^c$ 를 정의하며, 엣지 색칠(0층은 빨간색, 1층은 파란색)과 $T$ 에서만 색상 전환을 允허하는 걷기 규칙을 사용한다.
• 경로 그래프 $P_k$ 에 대해 $p^c$ 를 명시적으로 계산하여, $k=1$ 일 때 $p^c = 1/3$ 이고, $k=2$ 일 때 $p^c = \sqrt{11/12} - 1/2$ 를 얻으며, $k \to \infty$ 일 때 $p^c \to 1/2$ 로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 제품 그래프 $G \times K_2$ 상에서 엣지 퍼콜레이션 하에서 외평면 그래프에 대해 벤크베드 추측이 참인가?
• RQ2 비균일 엣지 확률과 임의의 횡단 집합 $T$, 확률 벡터 $\mathbb{p}$ 에 대해 일반화된 벤크베드 추측 $BBC_2^{\mathbb{p},T}(G)$ 가 모든 그래프 $G$ 에 대해 성립하는가?
• RQ3 모델 $D_3^T$ 에서 방향 경로 존재 확률을 모델 $E_3^T$ 의 무방향 퍼콜레이션 확률과 동일하게 간주할 수 있는가?
• RQ4 같은 층 내 연결성이 교차 층 연결성보다 확률적으로 우세해지는 임계 확률 $p^c$ 가 존재하는가?
• RQ5 길이가 증가하는 경로에 대해 $p^c$ 는 어떻게 행동하며, $1/2$ 로 수렴하는가?

주요 결과

• 외평면 그래프에 대해 엣지 퍼콜레이션 하에서 벤크베드 추측 $BBC_1^p(G)$ 가 참으로 증명되었다.
• 비균일 엣지 확률과 고정된 횡단 집합 $T$ 에 대해, 외평면 그래프에 대해 일반화된 벤크베드 추측 $BBC_2^{\mathbb{p},T}(G)$ 가 성립한다.
• 모델 $D_3^T$ 에서 $u_\rightarrow$ 에서 $v_\rightarrow$ 로의 방향 경로 존재 확률은 $u_\rightarrow$ 에서 $v_\leftarrow$ 로의 확률보다 적어도 같음을 보여, 방향 벤크베드 추측을 지지한다.
• 모델 $E_3^T$ 에서 $u_0$ 에서 $v_0$ 로의 경로 존재 확률은 모델 $D_3^T$ 에서 $u_\rightarrow$ 에서 $v_\rightarrow$ 로의 방향 경로 존재 확률과 동일하며, 이는 무방향 및 방향 모델 간의 직접적인 등가성을 확립한다.
• 경로 그래프 $P_k$ 에 대해 임계 확률 $p^c$ 는 $k=1$ 일 때 $1/3$ 이고, $k=2$ 일 때 $\sqrt{11/12} - 1/2 \approx 0.457$ 이며, $k \to \infty$ 일 때 $1/2$ 로 단조로이 증가함을 보였다.
• 같은 층 내 연결성이 교차 층 연결성보다 확률적으로 유리해지는 임계 확률 $p^c$ 가 존재하며, $p > p^c$ 일 때 $P_{G}^{p}(u_0 \longleftrightarrow v_0) > P_{G}^{p}(u_0 \longleftrightarrow v_1)$ 가 성립한다고 추측한다. 모든 연결 그래프 $G$ 에 대해 $p^c < 1/2$ 이다.