[논문 리뷰] A Geometric Obstruction to Almost Global Synchronization on Riemannian Manifolds

Johan Markdahl|arXiv (Cornell University)|2018. 08. 02.

Nonlinear Dynamics and Pattern Formation참고 문헌 25인용 수 6

한 줄 요약

이 논문은 리만 다양체 위의 다중 에이전트 시스템에서 거의 전역 동기화의 기하학적 장애를 규명한다: 국소적으로 최소 길이를 갖는 닫힌 곡선의 존재이다. 만약 다양체가 다중 연결되어 있다면(예: S¹, SO(3)), 내재적 및 외재적 공감 프로토콜이 연결 그래프일지라도 조밀한 초기 조건의 집합에서 동기화에 실패함을 증명한다—그래프의 구조나 초기 조건의 분포를 초월하여 위상수학이 거의 전역 동기화의 근본적인 장벽임을 시사한다.

ABSTRACT

Multi-agent systems on nonlinear spaces sometimes fail to synchronize. This is usually attributed to the initial configuration of the agents being too spread out, the graph topology having certain undesired symmetries, or both. Besides nonlinearity, the role played by the geometry and topology of the nonlinear space is often overlooked. This paper concerns two gradient descent flows of quadratic disagreement functions on general Riemannian manifolds. One system is intrinsic while the other is extrinsic. We derive necessary conditions for the agents to synchronize from almost all initial conditions when the graph used to model the network is connected. If a Riemannian manifold contains a closed curve of locally minimum length, then there is a connected graph and a dense set of initial conditions from which the intrinsic system fails to synchronize. The extrinsic system fails to synchronize if the manifold is multiply connected. The extrinsic system appears in the Kuramoto model on $\smash{\mathcal{S}^1}$, rigid-body attitude synchronization on $\mathsf{SO}(3)$, the Lohe model of quantum synchronization on the $n$-sphere, and the Lohe model on $\mathsf{U}(n)$. Except for the Lohe model on the $n$-sphere where $n\in\mathbb{N}\backslash\{1\}$, there are dense sets of initial conditions on which these systems fail to synchronize. The reason for this difference is that the $n$-sphere is simply connected for all $n\in\mathbb{N}\backslash\{1\}$ whereas the other manifolds are multiply connected.

연구 동기 및 목표

• 비선형 리만 다양체 위의 다중 에이전트 시스템에서 거의 전역 동기화의 기하학적 및 위상수학적 장애를 규명하는 것.
• S¹ 및 SO(3)와 같은 다중 연결 다양체에서 일부 공감 프로토콜이 거의 전역 동기화를 달성하지 못하는 이유를 설명하는 것.
• 기존의 다양한 다양체(예: S¹ 상의 Kuramoto 모델, SO(3) 상의 자세 제어, U(n) 상의 Lohe 모델)에서의 동기화 실패 결과를 하나의 기하학적 원리로 통합하는 것.
• 다양체에 국소적으로 최소 길이를 갖는 닫힌 곡선이 존재하면 내재적 및 외재적 경사 하강 흐름에서 거의 전역 동기화가 불가능하다는 것을 입증하는 것.
• Lohe 모델이 n-구면(단순 연결)에서 거의 전역 동기화를 달성하는 이유를 명확히 하는 것, 반면 다중 연결 다양체에서는 그렇지 않음.

제안 방법

• 일반 리만 다양체 위에서 이차 불일치 함수의 경사 하강 흐름으로 내재적 및 외재적 공감 프로토콜을 수식화한다.
• 닫힌 지오데식선이 국소적으로 최소 길이를 갖는지 여부에 초점을 맞춘 리만 기하학을 활용하여 동기화 상태의 안정성을 분석한다.
• 다중 에이전트 시스템을 사이클 그래프 위에서 다각형의 진화로 모델링하기 위해 곡선 수축 흐름의 직관을 적용한다.
• 다중 연결 다양체가 비자명한 닫힌 곡선을 포함하고 있어 공감을 방해하며 다중 안정성을 초래함을 보여주는 위상수학적 추론을 사용한다.
• 스티펠 맨포ลด(S(p,n))에서 균일한 샘플링을 사용한 몬테카를로 적분을 통해 공감의 영향 영역 측도를 추정하여 이론적 예측을 검증한다.
• S¹ 상의 Kuramoto 모델과 구면 및 유니타리 군 상의 Lohe 모델을 비교하여 단순 연결성 대비 다중 연결성이 동기화 행동에 미치는 영향을 입증한다.

실험 결과

연구 질문

• RQ1 리만 다양체의 어떤 기하학적 또는 위상수학적 성질이 다중 에이전트 시스템에서 거의 전역 동기화를 방해하는가?
• RQ2 왜 다중 연결 다양체에서 내재적 공감 프로토콜은 조밀한 초기 조건 집합에서 동기화에 실패하는가?
• RQ3 기본군이 비자명한 다양체(예: SO(3) 또는 U(n))에서 외재적 공감 프로토콜은 어떻게 행동하는가?
• RQ4 왜 n-구면(n ≥ 2) 상의 Lohe 모델은 거의 전역 동기화를 달성하지만, U(n) 또는 SO(n) 상의 유사한 모델은 그렇지 않은가?
• RQ5 일부 다양체에서 공감의 실패가 국소적으로 최소 길이를 갖는 닫힌 곡선의 존재 때문인가?

주요 결과

• 리만 다양체에 국소적으로 최소 길이를 갖는 닫힌 곡선이 존재하면, 내재적 공감 프로토콜은 연결 그래프일지라도 조밀한 초기 조건 집합에서 동기화에 실패한다.
• 외재적 공감 프로토콜은 다양체가 다중 연결되어 있으면 거의 전역 동기화를 달성하지 못하며, SO(3), U(n), S¹ 상의 Kuramoto 모델에서 이를 입증하였다.
• n ∈ ℕ  {1}인 n-구면 상의 Lohe 모델은 n-구면이 단순 연결이므로 거의 전역 동기화를 달성한다. 반면 SO(3)나 U(n)에서는 그렇지 않다.
• St(p,n) 상의 몬테카를로 시뮬레이션 결과, 영향 영역 측도 μ(ℛ) = 1일 때 p ≤ (2/3)n − 1임을 확인하여 이론적 예측을 검증하였다.
• p = n−1 또는 p = n(예: SO(n) 또는 O(n))일 경우, 위상수학적 장애로 인해 공감 확률이 크게 감소한다—예를 들어 O(n)의 경우 약 0.06이다.
• 이 논문은 일반 리만 다양체에서 내재적 동기화의 경우 공감 외의 리아프노프 안정 평형 집합을 처음으로 특성화하였으며, 이는 비수축 가능한 닫힌 지오데식선의 존재와 관련이 있다.