An algorithm for calculating top-dimensional bounding chains

We describe theCoefficient-Flow algorithm for calculating the bounding chain of an (n−1)-boundary on an n-manifold-like simplicial complex S. We prove its correctness and show that it has a computational time complexity of O(|S(n−1)|) (where S(n−1) is the set of (n− 1)-faces of S). We estimate the big-O coefficient which depends on the dimension of S and the implementation. We present an implementation, experimentally evaluate the complexity of our algorithm, and compare its performance with that of solving the underlying linear system. Subjects Algorithms and Analysis of Algorithms, Data Science, Scientific Computing and Simulation

[1]  Chao Chen,et al.  Hardness Results for Homology Localization , 2010, SODA.

[2]  Jean-Daniel Boissonnat,et al.  The Simplex Tree: An Efficient Data Structure for General Simplicial Complexes , 2012, Algorithmica.

[3]  Erin W. Chambers,et al.  Minimum cuts and shortest homologous cycles , 2009, SCG '09.

[4]  R. Ho Algebraic Topology , 2022 .

[5]  Tamal K. Dey,et al.  Optimal homologous cycles, total unimodularity, and linear programming , 2010, STOC '10.

[6]  Erin W. Chambers,et al.  Computing Minimum Area Homologies , 2015, Comput. Graph. Forum.

[7]  R. Forman Morse Theory for Cell Complexes , 1998 .

[8]  Erin W. Chambers,et al.  Measuring similarity between curves on 2-manifolds via homotopy area , 2013, SoCG '13.

[9]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[10]  Roberto Tamassia,et al.  Algorithms for Plane Representations of Acyclic Digraphs , 1988, Theor. Comput. Sci..

[11]  Florian T. Pokorny,et al.  Topological trajectory classification with filtrations of simplicial complexes and persistent homology , 2016, Int. J. Robotics Res..

[12]  A. Davie,et al.  Improved bound for complexity of matrix multiplication , 2013, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[13]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[14]  Robert H. Halstead,et al.  Matrix Computations , 2011, Encyclopedia of Parallel Computing.