Exact Homology Maintenance for Evolving Simplicial Complexes (MMHM)
A framework for exact homology maintenance on evolving simplicial complexes. It maintains homology without global rebuilds by combining an initial discrete-Morse reduction with modular, locality-bounded updates. By compressing the input to a critical cell complex chain-homotopy equivalent to the original; subsequent edits trigger updates restricted to the affected critical columns of the reduced boundary operators over a chosen coefficient ring. A column-oriented sparse representation with a pivot-ownership map confines elimination and enables fast, localized reductions, while topology-aware gating can short-circuit linear algebra entirely when invariants are decidable combinatorially. Periodic recompression controls drift and preserves compactness of the reduced complex. The result is an exact, amortized-efficient alternative to global recomputation that slots into existing topology pipelines, turning costly boundary-matrix reconstructions into fast, local homology maintenance through continuous edits.
Related publications
Anqiao Ouyang, Morse-based Modular Homology for Evolving Simplicial Complexes. arXiv:2508.14429 [cs.CG], 2025-08-20. DOI: 10.48550/arXiv.2508.14429. https://arxiv.org/abs/2508.14429.
Ouyang, A. (2026, January 4). Modular chain-homotopy updates for dynamic homology maintenance [Poster Presentation]. AMS Special Session on Topological Data Analysis for Non-linear Dynamics, I (SS126A), Joint Mathematics Meetings (JMM 2026), Washington, D.C., United States.
Ouyang, A. (2026, March 4). Modular chain-homotopy updates for homology on evolving simplicial complexes [Conference Poster]. SIAM Conference on Parallel Processing for Scientific Computing (PP26), PP1 Poster Session, Zuse Institute Berlin & Freie Universität Berlin, Berlin, Germany.