Search

In this paper we design a new family of relations between (co)homology classes, working with coefficients in a field and starting from an AT-model (Algebraic Topological Model) AT(C) of a finite cell complex C These relations are induced by elementary relations of type “to be in the (co)boundary of” between cells. This high-order connectivity information is embedded into a graph-based representation model, called Second Order AT-Region-Incidence Graph (or AT-RIG) of C. This graph, having as nodes the different homology classes of C, is in turn, computed from two generalized abstract cell complexes, called primal and dual AT-segmentations of C. The respective cells of these two complexes are connected regions (set of cells) of the original cell complex C, which are specified by the integral operator of AT(C). In this work in progress, we successfully use this model (a) in experiments for discriminating topologically different 3D digital objects, having the same Euler characteristic and (b) in designing a parallel algorithm for computing potentially significant (co)homological information of 3D digital objects. Ministerio de Economía y Competitividad MTM2016-81030-P Ministerio de Economía y Competitividad TEC2012-37868-C04-02

International audience; This paper focuses on homology computation over ‘cellular’ structures that allow multi-incidence between cells. We deal here with combinatorial maps, more precisely chains of maps and subclasses such as maps and generalized maps. Homology computation on such structures is usually achieved by computing simplicial homology on a simplicial analog. But such an approach is computationally expensive because it requires computing this simplicial analog and performing the homology computation on a structure containing many more cells (simplices) than the initial one. Our work aims at providing a way to compute homologies directly on a cellular structure. This is done through the computation of incidence numbers. Roughly speaking, if two cells are incident, then their incidence number characterizes how they are attached. Having these numbers naturally leads to the definition of a boundary operator, which induces a homology. Hence, we propose a boundary operator for chains of maps and provide optimization for maps and generalized maps. It is proved that, under specific conditions, the homology of a combinatorial map as defined in the paper is equivalent to the homology of its simplicial analogue.

The problem of computing cohomology generators of a cell complex is gaining more and more interest in various branches of science ranging from computational physics to biology. Focusing on engineering applications, cohomology generators are currently used in computer aided design (CAD) and in potential definition for computational electromagnetics and fluid dynamics. The aim of this paper is to introduce a novel technique to effectively compute cohomology generators focusing on the application involving the potential definition for h-oriented eddy-current formulations. This technique, which has been called Thinned Current Technique (TCT), is completely automatic, computationally efficient and general. The TCT runs in most cases in linear time and exhibits a speed up of orders of magnitude with respect to the best alternative documented implementation.

In this paper, we combine two complementary techniques for computing homol- ogy: Incremental Algorithm for computing AT-models (which consist of an algebraic set of data that provide, in particular, homological information of the given object) is suitable for homology computation in cases in which new cells are added to the existing complex, whereas Decremental Algorithm for computing AT-models is more appropriated in the case that some cells are removed from the complex. Using these algorithms, we are able to de- scribe tunnels and pockets of a 3D digital image (given as a sequence of 2D digital images) in terms of sets of equivalent 1-cycles. Junta de Andalucía FQM-296 Junta de Andalucía TIC-02268 Ministerio de Educación y Ciencia MTM2006-03722