분산 형성 제어의 기하학: 그래프와 강체성의 새로운 시각

본 논문은 분산 형성 제어 문제를 기하학적·위상학적 관점에서 체계적으로 탐구한다. 먼저, 에이전트들의 상호작용을 방향성 그래프 G = (V,E) 로 모델링하고, 각 간선 (i→j) 가 “에이전트 i가 j를 관측한다”는 정보를 의미한다는 점을 명확히 한다. 형성 제어는 이러한 그래프에 길이 dₑ 를 할당함으로써 거리 제약을 부과한다. **1. 그래프와 강체성** 강체성 이론을 도입해, 평면에서 n 개의 에이전트가 2n‑3 개의 간선을 가질 때(그리고 모든 부분 그래프가 m₀ ≤ 2n₀‑3 을 만족할 때) 최소 강체(minimally rigid)임을 Laman 정리를 통해 설명한다. 정적 강체, 무한소 강체, 최소 강체, 전역 강체의 네 가지 개념을 구분하고, 각각이 형성의 움직임 제한에 어떻게 기여하는지를 사례와 그림을 통해 보여준다. **2. 형성 공간의 위상 구조** 형성은 회전·이동에 대해 불변하도록 정의된다. 이를 위해 Euclidean 그룹 SE(2) (회전 θ와 평행이동 (a,b) 으로 구성)를 도입하고, 형성 전체를 SE(2) 의 궤도(orbit)로 나눈다. 논문은 비동시점(모든 에이전트가 동일 위치에 있지 않은) 구성들의 집합 Eₙ 을 정의하고, 이를 복소 사영공간 CP(n‑2) 와 양의 실수 축 (0,∞) 의 직접곱으로 동형임을 증명한다. 즉, \