Quotient Geometry and Persistence-Stable Metrics for Swarm Configurations

Abstract:Can temporal information recover geometry lost by a persistence diagram? For $n\ge3$ 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 $\Theta(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.

Machine Learning (cs.LG); Social and Information Networks (cs.SI); Systems and Control (eess.SY); Algebraic Topology (math.AT)

arXiv:2603.18041 [cs.LG]

(or arXiv:2603.18041v2 [cs.LG] for this version)

https://doi.org/10.48550/arXiv.2603.18041 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.