# Quotient Geometry and Persistence-Stable Metrics for Swarm Configurations

arXiv: https://arxiv.org/abs/2603.18041 · HTML: https://mlsanity.com/paper/2603.18041/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 6 of its 36 references that are in the map.
- First posted on arXiv 14 Mar 2026.

## Builds on (most cited first, 6 of 6)

- [From Geometry to Topology: Inverse Theorems for Distributed Persistence](https://mlsanity.com/paper/2101.12288/) (2021)
- [Polynomial-time algorithms for continuous metrics on atomic clouds of unordered points](https://mlsanity.com/paper/2207.08502/) (2022)
- [The Gromov-Hausdorff distance between ultrametric spaces: its structure and computation](https://mlsanity.com/paper/2110.03136/) (2021)
- [Computing the Gromov-Hausdorff Distance for Metric Trees](https://mlsanity.com/paper/1509.05751/) (2015)
- [The mergegram of a dendrogram and its stability](https://mlsanity.com/paper/2007.11278/) (2020)
- [Generic families of finite metric spaces with identical or trivial 1-dimensional persistence](https://mlsanity.com/paper/2202.00577/) (2022)

## Abstract (arXiv)

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 Sn(M,G)=Mn/(G× Sn) and a formation matching metric dM,G obtained by optimizing a worst-case assignment error over ambient symmetries g∈ G and relabelings σ∈ Sn. This metric is a structured, physically interpretable relaxation of Gromov--Hausdorff distance: the induced inter-agent metric spaces satisfy dGH(Xx,Xy)≤ dM,G([x],[y]). Composing this bound with stability of Vietoris--Rips persistence yields dB(Phik([x]),Phik([y]))≤ dM,G([x],[y]), providing persistence-stable signatures for reconfiguration monitoring. We analyze the metric geometry of (Sn(M,G),dM,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 H0 signature is locally bi-Lipschitz to dM,G up to an explicit factor, yielding two-sided control. Examples on mathbbS2 and mathbbTm illustrate satellite-constellation and formation settings.