Quotient Geometry and Persistence-Stable Metrics for Swarm Configurations

arXiv:2603.18041 · cs.LG, cs.SI, cs.SY, eess.SY, math.AT · Submitted 2026-03-14 · Read on arXiv

cs.LG, cs.SI, cs.SY, eess.SY, math.AT

Submitted: 2026-03-14

Updated: 2026-10-19

Comments: 15 pages

License: http://creativecommons.org/licenses/by-sa/4.0/

The gist: Can temporal information recover geometry lost by a persistence diagram? For n 3 points on the unit sphere evolving under known homogeneous complete consensus, we prove generic local recovery modulo

Terminology

Abstract

Can temporal information recover geometry lost by a persistence diagram? For n 3 points on the unit sphere evolving under known homogeneous complete consensus, we prove generic local recovery modulo rotations and permutations from two ordinary zero-dimensional Vietoris--Rips persistence snapshots. The structural result applies to every labeled tree: its edge inner products and their first temporal derivatives have differential rank 2n-3, exactly the dimension of the regular formation quotient. An explicit pole--equator witness proves this simultaneously for all tree types after taking a finite intersection of open dense sets. Although one snapshot has generic local fibers of dimension n-2, two sufficiently close snapshots are injective on a common neighborhood. The optimal inverse Lipschitz constant grows as Θ(1/h) when the sampling interval tends to zero. A verified left inverse, interval derivative bounds, and explicit persistence-matching margins certify neighborhoods and time intervals at rational reference formations. The results are local and model-specific; reflection ambiguity and centered rank obstructions remain.

Related papers