Additive partial matchings induced by persistence maps Gonzalez-Diaz, Rocio Soriano Trigueros, Manuel ; https://orcid.org/0000-0003-2449-1433 Torras-Casas, Alvaro Persistence module Persistence map Persistent homology ddc:500 Persistent homology is a fundamental tool in Topological Data Analysis. The associated algebraic structure is the persistence module, a sequence of vector spaces connected by linear maps. Persistence modules admit a complete and fast-to-compute invariant known as the persistence diagram. However, this is no longer the case for maps between persistence modules (i.e. persistence maps). We propose a new invariant for persistence maps, consisting of a partial matching between the persistence diagrams of the domain and codomain modules. We show that this invariant is additive with respect to the direct sum decomposition of persistence maps, is more discriminative than the image module, and is computable in cubic time. Furthermore, we provide an implementation and demonstrate its efficiency by integrating it with edge collapse techniques for flag complexes (e.g., Vietoris–Rips complexes). As a key technical contribution, we describe how to induce a persistence map between two flag complexes that have been independently simplified via edge collapses, even when a direct simplicial map between them is no longer available. Elsevier 2026 info:eu-repo/semantics/article doc-type:article text http://purl.org/coar/resource_type/c_2df8fbb1 https://research-explorer.ista.ac.at/record/22291 Gonzalez-Diaz R, Soriano Trigueros M, Torras-Casas A. Additive partial matchings induced by persistence maps. <i>Journal of Symbolic Computation</i>. 2026;138. doi:<a href="https://doi.org/10.1016/j.jsc.2026.102598">10.1016/j.jsc.2026.102598</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jsc.2026.102598 info:eu-repo/semantics/altIdentifier/issn/0747-7171 info:eu-repo/semantics/altIdentifier/e-issn/1095-855X info:eu-repo/semantics/altIdentifier/arxiv/2006.11100 info:eu-repo/semantics/openAccess