Download (2.7 MB)
We present recently discovered connections between integer optimization, or integer programming (IP), and homology. Under reasonable assumptions, these results lead to efficient solutions of several otherwise hard-to-solve problems from computational topology and geometric analysis. The main result equates the total unimodularity of the boundary matrix of a simplicial complex to an algebraic topological condition on the complex (absence of relative torsion), which is often satisfied in real-life applications . When the boundary matrix is totally unimodular, the problem of finding the shortest chain homologous under Z (ring of integers) to a given chain, which is inherently an integer program, can be solved in polynomial time as a linear program. This result is surprising in the backdrop of a previous result, which showed the problem to be NP-hard when the homology is defined over the popularly used field of Z2, consisting of integers 0 and 1. This problem finds applications in several domains including coverage verification in sensor networks and characterizing tunnels in biomolecules. We also present new results on computing the flat norm of currents in the setting of simplicial complexes. Flat norm decomposition is a classical technique from geometric measure theory, and has been applied for several image analysis tasks. Our approach allows one to use flat norm computations in arbitrarily large dimensions - for instance, to denoise high dimensional datasets.
Bala Krishnamoorthy is an assistant professor in the Department of Mathematics at Washington State University. After earning his Bachelors degree from Indian Institute of Technology, Madras, he obtained a PhD in Operations Research from University of North Carolina at Chapel Hill. His areas of research interest are diverse. Bala tackles theoretical and computational problems from the areas of algebraic topology and discrete optimization (integer programming and combinatorial optimization). He also works on several application areas, including computational approaches to protein structure and function, and models for human neck anatomy and physiology. He collaborates with mathematicians, computer scientists, biochemists, and bioengineers.
Integer programming, Homology theory, Algebraic topology, System theory, Computational complexity
Algebraic Geometry | Geometry and Topology
© Copyright the author(s)
This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).
The purpose of this statement is to help the public understand how this Item may be used. When there is a (non-standard) License or contract that governs re-use of the associated Item, this statement only summarizes the effects of some of its terms. It is not a License, and should not be used to license your Work. To license your own Work, use a License offered at https://creativecommons.org/
Krishnamoorthy, Bala, "Integer Optimization and Computational Algebraic Topology" (2011). Systems Science Friday Noon Seminar Series. 55.