Computing Connection Matrices of Conley Complexes via Algebraic Morse Theory

Abstract

Given a poset-graded chain complex of vector spaces, a Conley complex is the minimal chain-homotopic reduction of the initial complex that respects the poset grading. A connection matrix is a matrix representing the differential of the Conley complex. In this work, we give an algebraic derivation of the Conley complex and its connection matrix using homological perturbation theory and algebraic Morse theory. Under this framework, we use a graded splitting of relative chain groups to determine the connection matrix, rather than Forman's acyclic partial matching in the usual discrete Morse theory setting. This splitting is obtained by means of the clearing optimisation, a commonly used technique in persistent homology. Finally, we show how this algebraic perspective yields an algorithm for computing the connection matrix via column reductions on the differential of the initial complex.