Computing homology (Q1397805): Difference between revisions
From MaRDI portal
Removed claims |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / author | |||
Property / author: Tomasz Kaczynski / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jonathan P. E. Hodgson / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 03:12, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing homology |
scientific article |
Statements
Computing homology (English)
0 references
13 January 2004
0 references
This paper describes a computational homology based on the use of cubical complexes. The resulting algorithm is of order \(N^{3}\) in the maximum number of cubes in any dimension, but the authors claim that in many cases it will be faster than this. The basis of the algorithm lies in a collapsing technique that is used to reduce the number of cubes in each dimension while leaving the homology unchanged. More interesting is the computation of the homology of a map. Since the authors reject the use of simplices as leading to high dimensional chain groups they need to find an alternative to simplicial approximation. They do this by defining a cubical multi-valued map which maps points of the domain to subsets of the range (essentially the smallest cube with integer coordinates containing the image of the point; scaling makes this work) such that the image of each point in the domain is a cubical set. These maps permit the use of acyclic carriers and thus allow one to compute the homology of a map. Some of the algorithms, implemented in C++, are available at \url{http://www.math.gatech.edu/~chom}.
0 references
homology computation
0 references
acyclic carrier
0 references
cubical complex
0 references
multivalued map
0 references
representable set
0 references