[논문 리뷰] Fast Multidimensional Asymptotic and Approximate Consensus

Matthias Függer, Thomas Nowak외 1명|arXiv (Cornell University)|2016. 11. 08.

Distributed Control Multi-Agent Systems참고 문헌 16인용 수 1

한 줄 요약

이 논문은 시간에 따라 변화하는 방향성 있는 네트워크에서 점점 수렴하는 다차원 공감 알고리즘 두 종류—ExtremePoint와 Centroid—을 소개한다. 값에 의존하는 가중치와 에이전트 수에 영향을 받지 않는 성분별 수축률을 사용함으로써 선형 수렴 시간을 달성하며, 이는 최적이다. Centroid 알고리즘은 좌표계에 의존하지 않는 운영 방식을 제공하며, 약한 상호 이중성 연결 조건 하에서도 수렴성을 확보한다.

ABSTRACT

We study the problem of asymptotic consensus as it occurs in a wide range of applications in both man-made and natural systems. In particular, we study systems with directed communication graphs that may change over time. We recently proposed a new family of convex combination algorithms in dimension one whose weights depend on the received values and not only on the communication topology. Here, we extend this approach to arbitrarily high dimensions by introducing two new algorithms: the ExtremePoint and the Centroid algorithm. Contrary to classical convex combination algorithms, both have component-wise contraction rates that are constant in the number of agents. Paired with a speed-up technique for convex combination algorithms, we get a convergence time linear in the number of agents, which is optimal. Besides their respective contraction rates, the two algorithms differ in the fact that the Centroid algorithm's update rule is independent of any coordinate system while the ExtremePoint algorithm implicitly assumes a common agreed-upon coordinate system among agents. The latter assumption may be realistic in some man-made multi-agent systems but is highly questionable in systems designed for the modelization of natural phenomena. Finally we prove that our new algorithms also achieve asymptotic consensus under very weak connectivity assumptions, provided that agent interactions are bidirectional.

연구 동기 및 목표

• 시간에 따라 변화하는 방향성 있는 통신 그래프를 가진 동적 네트워크에서 빠르고 점점 수렴하는 공감을 달성하는 데 도전하는 것.
• 이전에 최적의 수축률을 보였던 일차원 볼록 조합 알고리즘을 임의의 차원으로 확장하는 것.
• 에이전트 수에 영향을 받지 않는 성분별 수축률을 갖는 알고리즘을 설계하여 최적의 선형 수렴 시간을 달성하는 것.
• 이중성 통신이 무한히 자주 발생하고 에이전트들이 무한히 자주 연결되는 조건 하에서도 수렴성을 보장하기 위해 약한 연결성 조건 하에서도 강건성을 확보하는 것.
• 자연계 모델링에 적합한 좌표계에 의존하지 않는 알고리즘(Centroid)을 개발하면서도 강력한 수렴 보장을 유지하는 것.

제안 방법

• 값에 의존하는 가중치를 사용하고 공통된 좌표계를 가정하는 ExtremePoint 알고리즘을 제안하며, 성분별 수축률이 $1 - \frac{1}{2d}$임을 확보한다.
• Steiner 유형의 대칭화와 Brunn-Minkowski 부등식을 분석에 사용하는 좌표계에 의존하지 않는 변형인 Centroid 알고리즘을 도입하며, 성분별 수축률은 $1 - \frac{1}{d+1}$이다.
• 볼록 조합 알고리즘에 대해 할인(속도 향상) 기법을 적용하여 비최적 수렴을 에이전트 수에 비례하는 선형 시간으로 전환한다.
• α-안정성(α-safeness)을 정의하고 증명하여, 에이전트가 이웃의 볼록 hull의 안전 거리 내에 머무르도록 보장하며, 이는 수렴 보장에 핵심적이다.
• 이중성 통신 하에서 무한히 많은 수의 스토하스틱 행렬 곱의 Moreau 정리를 활용하여, 약한 연결성 조건 하에서도 수렴을 증명한다.
• 성분별 동역학을 블록 대각 행렬 형태의 스토하스틱 행렬로 모델링하고, 정리 12를 적용하여 공감을 확립한다.

실험 결과

연구 질문

• RQ1 최적의 일차원 공감 알고리즘은 임의의 차원으로 일반화될 수 있으며, 이로 인해 빠른 수렴이 유지되는가?
• RQ2 값에 의존하는 볼록 조합 알고리즘의 성분별 수축률은 고차원에서 어떻게 작용하며, 에이전트 수에 따라 어떻게 스케일링되는가?
• RQ3 공유된 좌표계에 의존하지 않고도 강력한 수렴 보장을 유지할 수 있는 좌표계에 의존하지 않는 공감 알고리즘을 설계할 수 있는가?
• RQ4 어떤 약한 연결성 조건 하에서도 방향성 있는 동적 네트워크에서 이중성 상호작용이 이루어지는 경우 공감이 유지되는가?
• RQ5 다차원 알고리즘에 대해 α-안정성 성질을 공식적으로 확립할 수 있으며, 이를 뒷받침하는 기하 도구는 무엇인가?

주요 결과

• ExtremePoint 알고리즘은 에이전트 수에 영향을 받지 않는 성분별 수축률 $1 - \frac{1}{2d}$을 달성한다.
• Centroid 알고리즘은 에이전트 수에 영향을 받지 않는 성분별 수축률 $1 - \frac{1}{d+1}$을 달성하며, 공유된 좌표계 없이도 작동한다.
• 속도 향상 기법을 적용한 결과, 두 알고리즘이나 모두 에이전트 수에 비례하는 선형 수렴 시간을 달성하며, 이는 최적이다.
• Centroid 알고리즘은 약한 연결성 조건 하에서도 수렴성을 유지한다: 이중성 통신이 무한히 자주 발생하고, 무한히 많은 교집합 그래프가 강하게 연결되어 있으면 수렴이 보장된다.
• Centroid 알고리즘의 α-안정성 증명은 Steiner 유형의 대칭화와 Brunn-Minkowski 부등식에 기반하며, 이는 독립적인 기하학적 관심사가 될 수 있다.
• ExtremePoint, Centroid, 그리고 일차원 MidPoint 알고리즘은 모두 동일한 약한 이중성 연결 조건 하에서 점점 수렴하며, 이는 성분별 스토하스틱 행렬에 Moreau 정리를 적용함으로써 보장된다.