Optimal homologous cycles, total unimodularity, and linear programming

Tamal K. Dey, Anil N. Hirani, Bala Krishnamoorthy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Given a simplicial complex with weights on its simplices, and a nontrivial cycle on it, we are interested in finding the cycle with minimal weight which is homologous to the given one. Assuming that the homology is defined with integer (ℤ) coefficients, we show the following: For a finite simplicial complex K of dimension greater than p, the boundary matrix [∂p+1] is totally unimodular if and only if Hp(L, L0) is torsion-free, for all pure subcomplexes L0, L in K of dimensions p and p+1 respectively, where L0 ⊂ L. Because of the total unimodularity of the boundary matrix, we can solve the optimization problem, which is inherently an integer programming problem, as a linear program and obtain an integer solution. Thus the problem of finding optimal cycles in a given homology class can be solved in polynomial time. This result is surprising in the backdrop of a recent result which says that the problem is NP-hard under ℤ2 coefficients which, being a field, is in general easier to deal with. Our result implies, among other things, that one can compute in polynomial time an optimal (d-1)-cycle in a given homology class for any triangulation of an orientable compact d-manifold or for any finite simplicial complex embedded in ℝd. Our optimization approach can also be used for various related problems, such as finding an optimal chain homologous to a given one when these are not cycles.

Original languageEnglish (US)
Title of host publicationSTOC'10 - Proceedings of the 2010 ACM International Symposium on Theory of Computing
Pages221-230
Number of pages10
DOIs
StatePublished - 2010
Event42nd ACM Symposium on Theory of Computing, STOC 2010 - Cambridge, MA, United States
Duration: Jun 5 2010Jun 8 2010

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)0737-8017

Other

Other42nd ACM Symposium on Theory of Computing, STOC 2010
CountryUnited States
CityCambridge, MA
Period6/5/106/8/10

Keywords

  • computational topology
  • homology localization
  • optimal chain
  • simplicial complex

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Optimal homologous cycles, total unimodularity, and linear programming'. Together they form a unique fingerprint.

Cite this