[논문 리뷰] Quotient Geometry and Persistence-Stable Metrics for Swarm Configurations

Mark M. Bailey|arXiv (Cornell University)|2026. 03. 14.

Topological and Geometric Data Analysis인용 수 0

한 줄 요약

논문은 무순서 스웜 구성을 위한 몫 기하학 프레임워크를 개발하고, 대칭 인식 형성 거리 d_{M,G}를 도입하며, 유도된 에이전트 간 간격의 퍼시스턴스 다이어그램이 이 메트릭에 대해 안정성 한정 및 리프시츠를 가진다는 것을 증명한다.

ABSTRACT

Swarm and constellation reconfiguration can be viewed as motion of an unordered point configuration in an ambient space. Here, we provide persistence-stable, symmetry-invariant geometric representations for comparing and monitoring multi-agent configuration data. We introduce a quotient formation space $\mathcal{S}_n(M,G)=M^n/(G imes S_n)$ and a formation matching metric $d_{M,G}$ obtained by optimizing a worst-case assignment error over ambient symmetries $g\in G$ and relabelings $σ\in S_n$. This metric is a structured, physically interpretable relaxation of Gromov--Hausdorff distance: the induced inter-agent metric spaces satisfy $d_{\mathrm{GH}}(X_x,X_y)\le d_{M,G}([x],[y])$. Composing this bound with stability of Vietoris--Rips persistence yields $d_B(Φ_k([x]),Φ_k([y]))\le d_{M,G}([x],[y])$, providing persistence-stable signatures for reconfiguration monitoring. We analyze the metric geometry of $(\mathcal{S}_n(M,G),d_{M,G})$: under compactness/completeness assumptions on $M$ and compact $G$ it is compact/complete and the metric induces the quotient topology; if $M$ is geodesic then the quotient is geodesic and exhibits stratified singularities along collision and symmetry strata, relating it to classical configuration spaces. We study expressivity of the signatures, identifying symmetry-mismatch and persistence-compression mechanisms for non-injectivity. Finally, in a phase-circle model we prove a conditional inverse theorem: under semicircle support and a gap-labeling margin, the $H_0$ signature is locally bi-Lipschitz to $d_{M,G}$ up to an explicit factor, yielding two-sided control. Examples on $\mathbb{S}^2$ and $\mathbb{T}^m$ illustrate satellite-constellation and formation settings.

연구 동기 및 목표

• ambient isometries 및 relabelings 하에서 비표기인 무리 구성에 대한 대칭 불변 표현을 동기 부여하고 형식화한다.
• Gromov–Hausdorff 거리의 상한을 구조적으로 제공하는 몫 형성 공간 및 형성 매칭 거리를 정의한다.
• 형성의 기하를 다중 규모 토폴로지 요약(퍼시스턴스 다이어그램)과 연결하고 안정성 보장을 확보한다.
• 압축성/완전성 가정 하에 몫 공간의 기하를 분석하고, M이 지오데식일 때 몫은 지오데식하며 계층적 특이점이 존재하는지 연구한다.
• 대표 모델에서 퍼시스턴스 기반 서명이 가지는 표현력 한계를 분석하고 조건부 역 정리를 제시한다.
• S^2 및 T^m의 구체적 예를 통해 위성-컨스텔레이션 및 형성 설정을 설명한다.

제안 방법

• 몫 형성 공간 S_n(M,G) = M^n /(G x S_n) 및 형성 매칭 거리 d_{M,G}를 대칭성과 재레이블링에 대한 최적의 최악의 정렬로 정의한다.
• d_{M,G}가 유도된 에이전트 간 거리 공간의 Gromov–Hausdorff 거리를 상한한다(d_GH ≤ d_{M,G}).
• GH 안정성을 Vietoris–Rips 퍼시스턴스와 결합하여 형성 궤적에 대해 1-리프시츠이고 대칭성 및 재레이블링에 불변하는 퍼시스턴스 서명을 얻는다 Phi_k.
• 자원성/완전성 가정하에 몫 공간이 컴팩트/완전하고, M이 지오데식이면 몫도 지오데식하며 계층적 특이점을 가진다고 증명한다.
• 서명들의 표현력을 분석하고 위상-원형 모델(반원 구간 지원과 간격 라벨링 여유)을 사용한 조건부 역 정리를 확립한다.
• S^2와 T^m에서 Satellite-Constellation 및 형성 설정을 설명하는 구체적 예를 제시한다.

실험 결과

연구 질문

• RQ1 무라벨링된 스웜 구성을 환경 동형변환 및 재레이블링에 대해 차폐된 좌표 없는 표현을 어떻게 구성할 수 있는가?
• RQ2 구조화된 형성 거리 d_{M,G}가 Gromov–Hausdorff 거리와 관련된 안정성을 가지는 실용적 대리거리로 작용하는가?
• RQ3 유도된 에이전트 간 거리 공간의 Vietoris–Rips 퍼시스턴스 다이어그램은 형성 거리와 관련해 안정적이고 리프시츠한가?
• RQ4 몫 공간 S_n(M,G)의 기하-측 기하 구조는 컴팩트성, 완전성, 지오데시성 및 특이점과 같은가?
• RQ5 퍼시스턴스 기반 서명의 표현력에는 어떤 한계가 존재하며 구조화된 층에서도 역 같은 경계를 얻을 수 있는가?
• RQ6 구체적 환경 모델(SO(3)와 구면, phase torus의 T^m)이 서명에 의미 있는 역 결과를 허용하는가?

주요 결과

• d_{M,G}는 유도된 에이전트 간 거리 공간 간의 d_GH의 구조적 상한을 제공한다.
• 유도된 거리 공간의 Vietoris–Rips 퍼시스턴스 다이어그램은 d_{M,G}에 대해 1-리프시츠이다.
• 형성 서명은 환경 대칭성과 에이전트 재레이블링에 불변하고 재구성 경로에서 연속적이다.
• 컴팩트한 G와 지오데식인 M하에서 몫 공간 (S_n(M,G), d_{M,G})는 컴팩트/완전하고 지오데식하며, 충돌과 대칭을 반영하는 계층화 특이점을 가진다.
• Phi_k의 주입성을 방해하는 대칭 불일치 및 퍼시스턴스 압축 메커니즘이 존재하며, phase-circle 모델은 H_0 서명에 대한 조건부 역 정리를 제공한다.
• S^2 및 T^m의 예는 위성-컨스텔레이션 및 형성 설정을 보여준다.