[論文レビュー] Quotient Geometry and Persistence-Stable Metrics for Swarm Configurations

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

Topological and Geometric Data Analysis被引用数 0

ひとこと要約

論文は unordered swarm configurations の商幾何フレームワークを開発し、対称性を考慮した formation distance d_{M,G} を導入し、誘導されたエージェント間空間の persistence diagrams がこの測度に関して安定性がありリプシッツであることを証明します。

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.

研究の動機と目的

• 環境同形写像やラベリングの不変性を持つ unlabeled swarm configurations の対称性不変表現を動機づけ formalize する。
• quotient formation space を定義し、formation matching distance を定義して structured に Gromov–Hausdorff 距離の上界を与える。
• geometry of formations を multiscale 的な topological summaries（持続性図）と結びつけ、安定性の保証を提供する。
• quotient 空間の計量幾何（コンパクト性、完備性、測地性）を分析し、持続性ベースの署名の表現力限界を研究する。
• 代表モデルにおける署名の部分的な逆結果が成り立つ条件を提供する。
• 球面および位相トーラスの環境モデルでフレームワークを具体例として示す。

提案手法

• quotient formation space S_n(M,G) = M^n /(G x S_n) と formation matching distance 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 および formation settings を具体例として示す。

実験結果

リサーチクエスチョン

• RQ1 無ラベルの swarm configurations を環境の等距変換とラベリングを法としてモジュラー化した、対称性不変で座標自由な表現をどう構築するか？
• RQ2 構造化された formation distance d_{M,G は Gromov–Hausdorff 距離に対して扱いやすい代理量として安定性を持つのか？
• RQ3 誘導されたエージェント間距離空間の Vietoris–Rips 持続性図は formation distance に対して安定かつリプシッツか？
• RQ4 商空間 S_n(M,G) の計量幾何構造（コンパクト性、完備性、測地性、特異性）はどうなっているか？
• RQ5 持続性ベース署名の表現力にはどんな限界があり、構造的ストラタに対して逆型の界を得られるか？
• RQ6 具体的な環境モデル（球面 with SO(3) および位相トーラス with T^m）は署名について意味のある逆結果を持つのか？

主な発見

• d_{M,G} は誘導されたエージェント間距離空間間の d_GH の構造的上界を提供する。
• 誘導された距離空間の Vietoris–Rips 持続性図は d_{M,G} に対して 1-リプシッツである。
• 形成署名は環境対称性とエージェントラベリング不変であり、再構成経路に沿って連続である。
• コンパクトな G および測地的な M のとき、商空間 (S_n(M,G), d_{M,G}) はコンパクト/完備かつ測地的で、衝突や対称性を reflecting する階層的特異性を有する。
• Phi_k の単射性を妨げる対称性の不一致や持続性の圧縮機構が存在し、位相円モデルは H_0 署名に対する条件付き逆定理を生み出す。
• S^2 および T^m の例は satellite-constellation および formation settings を示す。