[논문 리뷰] Randomized Gossip Algorithm with Unreliable Communication

Guodong Shi, Mikael Johansson외 1명|arXiv (Cornell University)|2012. 03. 27.

Distributed Control Multi-Agent Systems참고 문헌 43인용 수 4

한 줄 요약

이 논문은 시간에 따라 변하는 확률로 메시지 교환에 실패할 수 있는 비신뢰성 있는 통신 환경에서 무작위로 선택된 노드 쌍 간의 이중 방향 메시지 교환을 고려한 무작위 게이지 알고리즘을 분석한다. 수렴 성질은 통신 의존성에 크게 영향을 받는다: 완전한 의존성 하에서는 약한 연결성만으로도 거의 확실한 수렴이 보장되지만, 독립성 하에서는 이중 연결성이 필요하다. 평균 보존성은 완전한 의존성 하에서는 거의 확실히 성립하지만, 노드 수가 홀수일 경우 독립성 하에서는 거의 성립하지 않는다.

ABSTRACT

In this paper, we study an asynchronous randomized gossip algorithm under unreliable communication. At each instance, two nodes are selected to meet with a given probability. When nodes meet, two unreliable communication links are established with communication in each direction succeeding with a time-varying probability. It is shown that two particularly interesting cases arise when these communication processes are either perfectly dependent or independent. Necessary and sufficient conditions on the success probability sequence are proposed to ensure almost sure consensus or $ε$-consensus. Weak connectivity is required when the communication is perfectly dependent, while double connectivity is required when the communication is independent. Moreover, it is proven that with odd number of nodes, average preserving turns from almost forever (with probability one for all initial conditions) for perfectly dependent communication, to almost never (with probability zero for almost all initial conditions) for the independent case. This average preserving property does not hold true for general number of nodes. These results indicate the fundamental role the node interactions have in randomized gossip algorithms.

연구 동기 및 목표

• 메시지 교환의 각 방향에서 시간에 따라 변하는 성공 확률을 갖는 비신뢰성 있는 통신 환경 하에서 무작위 게이지 알고리즘의 수렴성을 분석하는 것.
• 전진 및 후진 통신 링크 간의 확률적 의존성이 수렴성과 평균 보존성에 미치는 영향을 조사하는 것.
• 완전한 의존성 및 독립성 통신 모델 하에서 거의 확실한 수렴 또는 ε-수렴을 달성하기 위한 성공 확률 수열에 대한 필요 및 충분 조건을 유도하는 것.
• 특히 약한 연결성 대 이중 연결성과 같은 네트워크 토폴로지의 역할이 다양한 통신 의존성 구조 하에서 수렴을 보장하는 데 어떻게 기여하는지 고려하는 것.
• 특히 홀수 노드 수일 경우, 수렴 극한에서 평균 보존 확률을 결정하는 것.

제안 방법

• 각 시간 단계에서 노드 쌍이 균일하게 무작위로 선택되어 통신하는 스토크라스틱 프로세스로 노드 상호작용을 모델링하는 것.
• 모든 만남에서 두 방향으로 통신 링크를 도입하며, 각 링크는 시간에 따라 변하는 베르누이 확률로 성공함.
• 완전한 의존성(양방향 링크가 함께 성공하거나 실패함)과 독립성(성공 여부가 통계적으로 독립임)의 두 가지 통신 모델을 구분하는 것.
• 상태 진동을 모델링하기 위해 확률적 행렬 분석과 랜덤 행렬의 곱을 사용하며, 다양한 확률 수열 하에서 시스템의 장기적 행동에 중점을 둔다.
• 측도 이론적 접근을 통해 독립성 통신 하에서 평균을 영구히 보존하는 초기 조건의 집합이 르베그 측도로 0임을 보여주는 것.
• 수렴 및 평균 보존 조건을 도출하기 위해 공준 행렬의 스펙트럼 분석과 영공간 특성 분석을 활용하는 것.

실험 결과

연구 질문

• RQ1 시간에 따라 변하는 성공 확률 수열이 어떤 조건이면 비신뢰성 있는 통신 환경 하에서 무작위 게이지 알고리즘의 거의 확실한 수렴을 보장하는가?
• RQ2 전진 및 후진 통신 링크 간의 의존성 구조가 게이지 알고리즘의 수렴 성질에 어떻게 영향을 미치는가?
• RQ3 약한 연결성 대 이중 연결성과 같은 네트워크 토폴로지 조건 하에서, 의존성 및 독립성 통신 모델에서 거의 확실한 수렴이 성립하는 조건은 무엇인가?
• RQ4 수렴 극한에서 평균이 초기 상태 평균과 일치할 확률은 얼마이며, 이는 노드 수와 통신 의존성에 어떻게 의존하는가?
• RQ5 노드 수가 홀수일 경우, 특히 독립성 대 완전한 의존성 통신 하에서 평균 보존 성질은 어떻게 변화하는가?

주요 결과

• 완전한 의존성 통신 하에서는 기저 네트워크의 약한 연결성이 거의 확실한 수렴을 보장하는 데 필수적이고 충분한 조건이다.
• 독립성 통신 하에서는 거의 확실한 수렴을 달성하기 위해 이중 연결성이 필요하며, 이 조건은 또한 충분하다.
• 완전한 의존성 통신 하에서는 노드 수에 관계없이 모든 초기 조건에서 초기 상태 평균이 거의 확실히 보존된다(확률 1).
• 독립성 통신 하에서는 노드 수가 홀수일 경우 거의 모든 초기 조건에서 평균이 보존되지 않으며, 확률은 0이다.
• 독립성 통신 하에서 노드 수가 홀수일 경우 평균 보존은 거의 발생하지 않으며, 이는 정보 흐름의 본질적 비대칭성으로 인해 수렴의 대칭성이 깨진다는 것을 시사한다.
• 독립성 통신 하에서는 수렴 극한에서 평균을 보존하는 초기 조건의 집합이 르베그 측도로 0이 되며, 이는 기대 수렴 값이 초기 평균과 일치하더라도 마찬가지로 성립한다.