Algorithms and Complexity Results for K-Theoretic Persistent Homology
摘要
We present algorithms for computing invariants of K-theoretic persistent homology, extending beyond additive summaries in persistent homology in computational geometry. Building on fundamental theorems (i.e., interval calculus, Betti–exterior identity, and integral formula), we provide algorithms for compressed representations, output-sensitive enumerations, and fast statistics for concurrency layers. We establish complexity results and demonstrate practical advantages on graph filtrations.