[논문 리뷰] Using Markov chains to determine expected propagation time for probabilistic zero forcing

Yu Chan, Emelie Curl외 5명|arXiv (Cornell University)|2019. 06. 25.

Game Theory and Applications참고 문헌 12인용 수 5

한 줄 요약

이 논문은 그래프에서 확률적 제로 포지셔닝의 예상 전파 시간(ept)에 대한 정확한 공식을 도출하기 위해 마르코프 체인을 사용한다. 임의의 순서 n인 연결 그래프 G에 대해 ept(G) = O(n)임을 입증하며, 완전 그래프, 완전 이분 그래프 및 기타 가족에 대해 닫힌 형태의 표현식과 경계를 제공하여, 간선 추가 효과와 무작위 그래프에서 로그 성장에 관한 열린 질문을 해결한다.

ABSTRACT

Zero forcing is a coloring game played on a graph where each vertex is initially colored blue or white and the goal is to color all the vertices blue by repeated use of a (deterministic) color change rule starting with as few blue vertices as possible. Probabilistic zero forcing yields a discrete dynamical system governed by a Markov chain. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this studied. Given a Markov transition matrix for a probabilistic zero forcing process, we establish an exact formula for expected propagation time. We apply Markov chains to determine bounds on expected propagation time for various families of graphs.

연구 동기 및 목표

• 마르코프 체인을 사용하여 확률적 제로 포지셔닝에서 예상 전파 시간(ept)을 정확하게 계산하는 방법을 개발한다.
• 완전 그래프와 완전 이분 그래프를 포함한 특정 그래프 가족의 마르코프 전이 행렬을 특성화한다.
• 순서 n인 연결 그래프 G에 대해 ept(G)의 날카운 경계 상한을 설정하며, ept(G) = O(n)임을 보인다.
• 간선을 추가하면 예상 전파 시간이 항상 감소하거나 그대로 유지되는지, 아니면 증가할 수 있는지에 대한 열린 질문을 해결한다. 또한 무작위 그래프 모델에서 로그 성장률을 분석한다.

제안 방법

• 마르코프 전이 행렬 M를 사용하여 ept(G,B)에 대한 정확한 공식을 유도한다: ept(G,B) = Σr=1∞ r(M^r - M^{r-1})_{1s}, 여기서 s는 흠수 상태(모든 정점이 파란색)이다.
• 완전 그래프 K_n, 완전 이분 그래프 K_{m,n}, n-태양 그래프, n-콤 그래프의 마르코프 행렬을 구성하여 ept 값을 계산한다.
• 체비셰프 부등식과 베르누이 부등식을 적용하여 각 라운드당 새로운 파란 정점의 예상 수를 경계하고 수렴 속도를 분석한다.
• |S|, 즉 처음에 파란 정점의 수를 기반으로 역강한 귀납법을 사용하여 ept(G,S) ≤ (e/(e-1))(n - |S|)임을 증명한다.
• 적어도 하나의 파란 정점이 흰 색 정점와 이웃할 경우, 한 라운드에 적어도 한 번의 강제 전파가 발생할 확률이 최소 (e-1)/e임을 이용하여 첫 번째 강제 전파에 대한 예상 시간이 일정함을 도출한다.
• 라운드별로 파란 정점의 증가 비율을 분석하여, √n에서 n/2개의 파란 정점으로의 전이가 고확률적으로 Ω(log n)라운드가 소요됨을 보이며, 이는 ept(K_{c,n})에 대해 Ω(log n)의 하한을 확립한다.

실험 결과

연구 질문

• RQ1 마르코프 체인을 사용하여 확률적 제로 포지셔닝에서 예상 전파 시간에 대한 정확한 공식을 도출할 수 있는가?
• RQ2 그래프에 간선을 추가하면 항상 예상 전파 시간이 감소하거나 그대로 유지되는가, 아니면 증가시킬 수 있는가?
• RQ3 완전 그래프, 완전 이분 그래프 및 기타 구조적 가족에 대해 예상 전파 시간의 점근적 경계는 무엇인가?
• RQ4 연결 그래프의 예상 전파 시간이 O(n)인지 여부를 밝히고, 이를 확률적 및 행렬 기반 방법으로 증명할 수 있는가?

주요 결과

• 순서 n인 임의의 연결 그래프 G에 대해 예상 전파 시간은 O(n)이며, 한 정점에서 시작할 경우 ept(G) ≤ (e/(e-1))(n - 1)임을 입증한다.
• 간선 추가로 인해 예상 전파 시간이 증가하는 임의로 큰 그래프가 존재함을 보여, 이는 이전 연구에서 제기된 열린 질문에 대한 답을 제시한다.
• 완전 그래프 K_n에 대해 예상 전파 시간은 n에 대해 로그적으로 증가하며, 정확한 값을 계산할 수 있는 닫힌 형태의 마르코프 행렬을 구성한다.
• 완전 이분 그래프 K_{c,n}에 대해 예상 전파 시간은 Ω(log n)이며, 알려진 상한 경계와 상수 인자까지 일치하는 로그 하한을 보여준다.
• 서브그래프 R에 대해 한 정점에서 시작할 경우 모든 정점을 칠하는 데 소요되는 라운드 수의 예상 수는 O(1)이다. 첫 번째 강제 전파에 대한 예상 시간이 일정하고 이후 성장률이 유계이기 때문이다.
• |S|에 대해 역강한 귀납법을 적용한 방법은 깔끔한 상한 경계를 제공한다: ept(G,S) ≤ (e/(e-1))(n - |S|), 이는 임의의 연결 그래프 G에 대해 ept(G) = O(n)임을 암시한다.