[论文解读] Quotient Geometry and Persistence-Stable Metrics for Swarm Configurations

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

Topological and Geometric Data Analysis被引用 0

一句话总结

论文为无序群集配置建立了商几何框架，引入对称性感知的形成距离 d_{M,G}，并证明所诱导的互-agent空间的持久性图在此度量下具有稳定性界和 Lipschitz 性。

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.

研究动机与目标

• 为在环境同构与重新标记下，未标记群集配置提供对称不变量的表示进行动机说明与形式化。
• 定义商形成空间和形成匹配距离，能够以结构化的方式上界 Gromov–Hausdorff 距离。
• 通过持久性图将几何与多尺度拓扑摘要联系起来，并提供稳定性保证。
• 分析商空间的度量几何性质，包括紧致性、完备性和测地性，并研究基于持久性签名的表达能力极限。
• 在代表性模型中给出部分逆向结果成立的条件。
• 结合球面和相位圆环环境模型，展示该框架的实例。

提出的方法

• 引入商形成空间 S_n(M,G) = M^n /(G x S_n) 及形成匹配距离 d_{M,G}，作为在环境对称性和重新标记下的优化最坏情形对齐。
• 证明 d_{M,G} 上界诱导的互-Agent度量空间之间的 Gromov–Hausdorff 距离（d_GH ≤ d_{M,G}）。
• 将 GH 稳定性与 Vietoris–Rips 持久性结合，得到形成轨迹的 1- Lipschitz、对称性与重新标记不变量的持久性签名 Phi_k。
• 在紧致性/完备性假设下，证明商空间是紧致/完备的；若 M 是测地的，商空间是带分层奇点的测地空间。
• 分析签名的表达能力并在相位圆环模型上建立条件逆定理（具有半圆支持和间隙标记余地）。
• 给出在 S^2 和 T^m 上的具体实例，以说明卫星-星座与形成设置。

实验结果

研究问题

• RQ1 如何构建一个对称不变量、坐标独立的表示，以对环境等距变换和重新标记进行模化处理？
• RQ2 结构化的形成距离 d_{M,G 是否提供相对于 Gromov–Hausdorff 距离的可处理代理与稳定性属性？
• RQ3 诱导的互-agent度量空间的 Vietoris–Rips 持久性图是否相对于形成距离稳定且 Lipschitz？
• RQ4 商空间 S_n(M,G) 的度量几何结构如何（紧致性、完备性、测地性与奇点）？
• RQ5 持久性签名的表达能力有何限制，是否能在结构化分层上获得逆向类型的界限？
• RQ6 具体的环境模型（球面带 SO(3) 和相位圆环带 T^m）是否存在有意义的签名逆向结果？

主要发现

• d_{M,G} 为诱导互-Agent度量空间之间的 d_GH 的结构化上界。
• 诱导度量空间的 Vietoris–Rips 持久性图相对于 d_{M,G} 是 1-Lipschitz 的。
• 形成签名对环境对称性和代理重新标记不变，且在重配置路径上连续。
• 在紧致的 G 与测地的 M 下，商空间 (S_n(M,G), d_{M,G}) 是紧致/完备且测地的，具有分层奇点反映碰撞与对称性。
• 存在对称性错配和持久性压缩机制，可能阻碍 Phi_k 的单射性；相位圆模型给出 H_0 签名的条件逆定理。
• 在 S^2 和 T^m 上的示例说明卫星-星座与形成设置。