-
An In-Depth Analysis of Data Reduction Methods for Sustainable Deep Learning
Authors:
Víctor Toscano-Durán,
Javier Perera-Lago,
Eduardo Paluzo-Hidalgo,
Rocío Gonzalez-Diaz,
Miguel Ángel Gutierrez-Naranjo,
Matteo Rucco
Abstract:
In recent years, Deep Learning has gained popularity for its ability to solve complex classification tasks, increasingly delivering better results thanks to the development of more accurate models, the availability of huge volumes of data and the improved computational capabilities of modern computers. However, these improvements in performance also bring efficiency problems, related to the storag…
▽ More
In recent years, Deep Learning has gained popularity for its ability to solve complex classification tasks, increasingly delivering better results thanks to the development of more accurate models, the availability of huge volumes of data and the improved computational capabilities of modern computers. However, these improvements in performance also bring efficiency problems, related to the storage of datasets and models, and to the waste of energy and time involved in both the training and inference processes. In this context, data reduction can help reduce energy consumption when training a deep learning model. In this paper, we present up to eight different methods to reduce the size of a tabular training dataset, and we develop a Python package to apply them. We also introduce a representativeness metric based on topology to measure how similar are the reduced datasets and the full training dataset. Additionally, we develop a methodology to apply these data reduction methods to image datasets for object detection tasks. Finally, we experimentally compare how these data reduction methods affect the representativeness of the reduced dataset, the energy consumption and the predictive performance of the model.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
SIMAP: A simplicial-map layer for neural networks
Authors:
Rocio Gonzalez-Diaz,
Miguel A. Gutiérrez-Naranjo,
Eduardo Paluzo-Hidalgo
Abstract:
In this paper, we present SIMAP, a novel layer integrated into deep learning models, aimed at enhancing the interpretability of the output. The SIMAP layer is an enhanced version of Simplicial-Map Neural Networks (SMNNs), an explainable neural network based on support sets and simplicial maps (functions used in topology to transform shapes while preserving their structural connectivity). The novel…
▽ More
In this paper, we present SIMAP, a novel layer integrated into deep learning models, aimed at enhancing the interpretability of the output. The SIMAP layer is an enhanced version of Simplicial-Map Neural Networks (SMNNs), an explainable neural network based on support sets and simplicial maps (functions used in topology to transform shapes while preserving their structural connectivity). The novelty of the methodology proposed in this paper is two-fold: Firstly, SIMAP layers work in combination with other deep learning architectures as an interpretable layer substituting classic dense final layers. Secondly, unlike SMNNs, the support set is based on a fixed maximal simplex, the barycentric subdivision being efficiently computed with a matrix-based multiplication algorithm.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Topological data quality via 0-dimensional persistence matching
Authors:
Álvaro Torras-Casas,
Eduardo Paluzo-Hidalgo,
Rocio Gonzalez-Diaz
Abstract:
Data quality is crucial for the successful training, generalization and performance of artificial intelligence models. We propose to measure data quality for supervised learning using topological data analysis techniques. Specifically, we provide a novel topological invariant based on persistence matchings induced by inclusions and using $0$-dimensional persistent homology. We show that such an in…
▽ More
Data quality is crucial for the successful training, generalization and performance of artificial intelligence models. We propose to measure data quality for supervised learning using topological data analysis techniques. Specifically, we provide a novel topological invariant based on persistence matchings induced by inclusions and using $0$-dimensional persistent homology. We show that such an invariant is stable. We provide an algorithm and relate it to images, kernels, and cokernels of the induced morphisms. Also, we show that the invariant allows us to understand whether the subset "represents well" the clusters from the larger dataset or not, and we also use it to estimate bounds for the Hausdorff distance between the subset and the complete dataset. This approach enables us to explain why the chosen dataset will lead to poor performance.
△ Less
Submitted 26 June, 2024; v1 submitted 4 June, 2023;
originally announced June 2023.
-
Trainable and Explainable Simplicial Map Neural Networks
Authors:
Eduardo Paluzo-Hidalgo,
Miguel A. Gutiérrez-Naranjo,
Rocio Gonzalez-Diaz
Abstract:
Simplicial map neural networks (SMNNs) are topology-based neural networks with interesting properties such as universal approximation ability and robustness to adversarial examples under appropriate conditions. However, SMNNs present some bottlenecks for their possible application in high-dimensional datasets. First, SMNNs have precomputed fixed weight and no SMNN training process has been defined…
▽ More
Simplicial map neural networks (SMNNs) are topology-based neural networks with interesting properties such as universal approximation ability and robustness to adversarial examples under appropriate conditions. However, SMNNs present some bottlenecks for their possible application in high-dimensional datasets. First, SMNNs have precomputed fixed weight and no SMNN training process has been defined so far, so they lack generalization ability. Second, SMNNs require the construction of a convex polytope surrounding the input dataset. In this paper, we overcome these issues by proposing an SMNN training procedure based on a support subset of the given dataset and replacing the construction of the convex polytope by a method based on projections to a hypersphere. In addition, the explainability capacity of SMNNs and an effective implementation are also newly introduced in this paper.
△ Less
Submitted 12 March, 2024; v1 submitted 29 May, 2023;
originally announced June 2023.
-
Emotion recognition in talking-face videos using persistent entropy and neural networks
Authors:
Eduardo Paluzo-Hidalgo,
Guillermo Aguirre-Carrazana,
Rocio Gonzalez-Diaz
Abstract:
The automatic recognition of a person's emotional state has become a very active research field that involves scientists specialized in different areas such as artificial intelligence, computer vision or psychology, among others. Our main objective in this work is to develop a novel approach, using persistent entropy and neural networks as main tools, to recognise and classify emotions from talkin…
▽ More
The automatic recognition of a person's emotional state has become a very active research field that involves scientists specialized in different areas such as artificial intelligence, computer vision or psychology, among others. Our main objective in this work is to develop a novel approach, using persistent entropy and neural networks as main tools, to recognise and classify emotions from talking-face videos. Specifically, we combine audio-signal and image-sequence information to compute a topology signature(a 9-dimensional vector) for each video. We prove that small changes in the video produce small changes in the signature. These topological signatures are used to feed a neural network to distinguish between the following emotions: neutral, calm, happy, sad, angry, fearful, disgust, and surprised. The results reached are promising and competitive, beating the performance reached in other state-of-the-art works found in the literature.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Partial Matchings Induced by Morphisms between Persistence Modules
Authors:
R. Gonzalez-Diaz,
M. Soriano-Trigueros,
A. Torras-Casas
Abstract:
We study how to obtain partial matchings using the block function $\mathcal{M}_f$, induced by a morphism $f$ between persistence modules. $\mathcal{M}_f$ is defined algebraically and is linear with respect to direct sums of morphisms. We study some interesting properties of $\mathcal{M}_f$, and provide a way to obtain $\mathcal{M}_f$ using matrix operations.
We study how to obtain partial matchings using the block function $\mathcal{M}_f$, induced by a morphism $f$ between persistence modules. $\mathcal{M}_f$ is defined algebraically and is linear with respect to direct sums of morphisms. We study some interesting properties of $\mathcal{M}_f$, and provide a way to obtain $\mathcal{M}_f$ using matrix operations.
△ Less
Submitted 3 February, 2023; v1 submitted 9 July, 2021;
originally announced July 2021.
-
Summary and Distance between Sets of Texts based on Topological Data Analysis
Authors:
Eduardo Paluzo-Hidalgo,
Rocio Gonzalez-Diaz,
Miguel A. Gutiérrez-Naranjo
Abstract:
In this paper, we use topological data analysis (TDA) tools such as persistent homology, persistent entropy and bottleneck distance, to provide a {\it TDA-based summary} of any given set of texts and a general method for computing a distance between any two literary styles, authors or periods. To this aim, deep-learning word-embedding techniques are combined with these tools in order to study the…
▽ More
In this paper, we use topological data analysis (TDA) tools such as persistent homology, persistent entropy and bottleneck distance, to provide a {\it TDA-based summary} of any given set of texts and a general method for computing a distance between any two literary styles, authors or periods. To this aim, deep-learning word-embedding techniques are combined with these tools in order to study the topological properties of texts embedded in a metric space. As a case of study, we use the written texts of three poets of the Spanish Golden Age: Francisco de Quevedo, Luis de Góngora and Lope de Vega. As far as we know, this is the first time that word embedding, bottleneck distance, persistent homology and persistent entropy are used together to characterize texts and to compare different literary styles.
△ Less
Submitted 14 March, 2022; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Two-hidden-layer Feedforward Neural Networks are Universal Approximators: A Constructive Approach
Authors:
Rocio Gonzalez-Diaz,
Miguel A. Gutiérrez-Naranjo,
Eduardo Paluzo-Hidalgo
Abstract:
It is well known that Artificial Neural Networks are universal approximators. The classical result proves that, given a continuous function on a compact set on an n-dimensional space, then there exists a one-hidden-layer feedforward network which approximates the function. Such result proves the existence, but it does not provide a method for finding it. In this paper, a constructive approach to t…
▽ More
It is well known that Artificial Neural Networks are universal approximators. The classical result proves that, given a continuous function on a compact set on an n-dimensional space, then there exists a one-hidden-layer feedforward network which approximates the function. Such result proves the existence, but it does not provide a method for finding it. In this paper, a constructive approach to the proof of this property is given for the case of two-hidden-layer feedforward networks. This approach is based on an approximation of continuous functions by simplicial maps. Once a triangulation of the space is given, a concrete architecture and set of weights can be obtained. The quality of the approximation depends on the refinement of the covering of the space by simplicial complexes.
△ Less
Submitted 16 July, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Topological signature for periodic motion recognition
Authors:
Javier Lamar-Leon,
Rocio Gonzalez-Diaz,
Edel Garcia-Reyes
Abstract:
In this paper, we present an algorithm that computes the topological signature for a given periodic motion sequence. Such signature consists of a vector obtained by persistent homology which captures the topological and geometric changes of the object that models the motion. Two topological signatures are compared simply by the angle between the corresponding vectors. With respect to gait recognit…
▽ More
In this paper, we present an algorithm that computes the topological signature for a given periodic motion sequence. Such signature consists of a vector obtained by persistent homology which captures the topological and geometric changes of the object that models the motion. Two topological signatures are compared simply by the angle between the corresponding vectors. With respect to gait recognition, we have tested our method using only the lowest fourth part of the body's silhouette. In this way, the impact of variations in the upper part of the body, which are very frequent in real scenarios, decreases considerably. We have also tested our method using other periodic motions such as running or jum**. Finally, we formally prove that our method is robust to small perturbations in the input data and does not depend on the number of periods contained in the periodic motion sequence.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Topology-based Representative Datasets to Reduce Neural Network Training Resources
Authors:
Rocio Gonzalez-Diaz,
Miguel A. Gutiérrez-Naranjo,
Eduardo Paluzo-Hidalgo
Abstract:
One of the main drawbacks of the practical use of neural networks is the long time required in the training process. Such a training process consists of an iterative change of parameters trying to minimize a loss function. These changes are driven by a dataset, which can be seen as a set of labelled points in an n-dimensional space. In this paper, we explore the concept of are representative datas…
▽ More
One of the main drawbacks of the practical use of neural networks is the long time required in the training process. Such a training process consists of an iterative change of parameters trying to minimize a loss function. These changes are driven by a dataset, which can be seen as a set of labelled points in an n-dimensional space. In this paper, we explore the concept of are representative dataset which is a dataset smaller than the original one, satisfying a nearness condition independent of isometric transformations. Representativeness is measured using persistence diagrams (a computational topology tool) due to its computational efficiency. We prove that the accuracy of the learning process of a neural network on a representative dataset is "similar" to the accuracy on the original dataset when the neural network architecture is a perceptron and the loss function is the mean squared error. These theoretical results accompanied by experimentation open a door to reducing the size of the dataset to gain time in the training process of any neural network.
△ Less
Submitted 4 October, 2021; v1 submitted 20 March, 2019;
originally announced March 2019.
-
Towards Emotion Recognition: A Persistent Entropy Application
Authors:
R. Gonzalez-Diaz,
E. Paluzo-Hidalgo,
J. F. Quesada
Abstract:
Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to emotion classification using persistent entropy and support vector machines. A topology-based model is applied to obtain a single real number from each raw signal. These data are used as input of a support vector machine to classify signals into 8 different emotions (calm, happy,…
▽ More
Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to emotion classification using persistent entropy and support vector machines. A topology-based model is applied to obtain a single real number from each raw signal. These data are used as input of a support vector machine to classify signals into 8 different emotions (calm, happy, sad, angry, fearful, disgust and surprised).
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
On the stability of persistent entropy and new summary functions for TDA
Authors:
N. Atienza,
R. Gonzalez-Diaz,
M. Soriano-Trigueros
Abstract:
Persistent homology and persistent entropy have recently become useful tools for patter recognition. In this paper, we find requirements under which persistent entropy is stable to small perturbations in the input data and scale invariant. In addition, we describe two new stable summary functions combining persistent entropy and the Betti curve. Finally, we use the previously defined summary funct…
▽ More
Persistent homology and persistent entropy have recently become useful tools for patter recognition. In this paper, we find requirements under which persistent entropy is stable to small perturbations in the input data and scale invariant. In addition, we describe two new stable summary functions combining persistent entropy and the Betti curve. Finally, we use the previously defined summary functions in a material classification task to show their usefulness in machine learning and pattern recognition.
△ Less
Submitted 10 June, 2020; v1 submitted 22 March, 2018;
originally announced March 2018.
-
Topological Tracking of Connected Components in Image Sequences
Authors:
Rocio Gonzalez-Diaz,
Maria-Jose Jimenez,
Belen Medrano
Abstract:
Persistent homology provides information about the lifetime of homology classes along a filtration of cell complexes. Persistence barcode is a graphical representation of such information. A filtration might be determined by time in a set of spatiotemporal data, but classical methods for computing persistent homology do not respect the fact that we can not move backwards in time. In this paper, ta…
▽ More
Persistent homology provides information about the lifetime of homology classes along a filtration of cell complexes. Persistence barcode is a graphical representation of such information. A filtration might be determined by time in a set of spatiotemporal data, but classical methods for computing persistent homology do not respect the fact that we can not move backwards in time. In this paper, taking as input a time-varying sequence of two-dimensional (2D) binary digital images, we develop an algorithm for encoding, in the so-called {\it spatiotemporal barcode}, lifetime of connected components (of either the foreground or background) that are moving in the image sequence over time (this information may not coincide with the one provided by the persistence barcode). This way, given a connected component at a specific time in the sequence, we can track the component backwards in time until the moment it was born, by what we call a {\it spatiotemporal path}. The main contribution of this paper with respect to our previous works lies in a new algorithm that computes spatiotemporal paths directly, valid for both foreground and background and developed in a general context, setting the ground for a future extension for tracking higher dimensional topological features in $nD$ binary digital image sequences.
△ Less
Submitted 3 January, 2018;
originally announced January 2018.
-
Persistent-homology-based gait recognition
Authors:
J. Lamar-Leon,
Raul Alonso-Baryolo,
Edel Garcia-Reyes,
R. Gonzalez-Diaz
Abstract:
Gait recognition is an important biometric technique for video surveillance tasks, due to the advantage of using it at distance. In this paper, we present a persistent homology-based method to extract topological features (the so-called {\it topological gait signature}) from the the body silhouettes of a gait sequence. % It has been used before in several conference papers of the same authors for…
▽ More
Gait recognition is an important biometric technique for video surveillance tasks, due to the advantage of using it at distance. In this paper, we present a persistent homology-based method to extract topological features (the so-called {\it topological gait signature}) from the the body silhouettes of a gait sequence. % It has been used before in several conference papers of the same authors for human identification, gender classification, carried object detection and monitoring human activities at distance. % The novelty of this paper is the study of the stability of the topological gait signature under small perturbations and the number of gait cycles contained in a gait sequence. In other words, we show that the topological gait signature is robust to the presence of noise in the body silhouettes and to the number of gait cycles contained in a given gait sequence. % We also show that computing our topological gait signature of only the lowest fourth part of the body silhouette, we avoid the upper body movements that are unrelated to the natural dynamic of the gait, caused for example by carrying a bag or wearing a coat.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
Persistent Entropy for Separating Topological Features from Noise in Vietoris-Rips Complexes
Authors:
Nieves Atienza,
Rocio Gonzalez-Diaz,
Matteo Rucco
Abstract:
Persistent homology studies the evolution of k-dimensional holes along a nested sequence of simplicial complexes (called a filtration). The set of bars (i.e. intervals) representing birth and death times of k-dimensional holes along such sequence is called the persistence barcode. k-Dimensional holes with short lifetimes are informally considered to be "topological noise", and those with long life…
▽ More
Persistent homology studies the evolution of k-dimensional holes along a nested sequence of simplicial complexes (called a filtration). The set of bars (i.e. intervals) representing birth and death times of k-dimensional holes along such sequence is called the persistence barcode. k-Dimensional holes with short lifetimes are informally considered to be "topological noise", and those with long lifetimes are considered to be "topological features" associated to the filtration. Persistent entropy is defined as the Shannon entropy of the persistence barcode of a given filtration. In this paper we present new important properties of persistent entropy of Cech and Vietoris-Rips filtrations. Among the properties, we put a focus on the stability theorem that allows to use persistent entropy for comparing persistence barcodes. Later, we derive a simple method for separating topological noise from features in Vietoris-Rips filtrations.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
Separating Topological Noise from Features using Persistent Entropy
Authors:
Nieves Atienza,
Rocio Gonzalez-Diaz,
Matteo Rucco
Abstract:
In this paper, we derive a simple method for separating topological noise from topological features using a novel measure for comparing persistence barcodes called persistent entropy.
In this paper, we derive a simple method for separating topological noise from topological features using a novel measure for comparing persistence barcodes called persistent entropy.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
A new topological entropy-based approach for measuring similarities among piecewise linear functions
Authors:
Matteo Rucco,
Rocio Gonzalez-Diaz,
Maria-Jose Jimenez,
Nieves Atienza,
Cristina Cristalli,
Enrico Concettoni,
Andrea Ferrante,
Emanuela Merelli
Abstract:
In this paper we present a novel methodology based on a topological entropy, the so-called persistent entropy, for addressing the comparison between discrete piecewise linear functions. The comparison is certified by the stability theorem for persistent entropy. The theorem is used in the implementation of a new algorithm. The algorithm transforms a discrete piecewise linear function into a filter…
▽ More
In this paper we present a novel methodology based on a topological entropy, the so-called persistent entropy, for addressing the comparison between discrete piecewise linear functions. The comparison is certified by the stability theorem for persistent entropy. The theorem is used in the implementation of a new algorithm. The algorithm transforms a discrete piecewise linear function into a filtered simplicial complex that is analyzed with persistent homology and persistent entropy. Persistent entropy is used as discriminant feature for solving the supervised classification problem of real long length noisy signals of DC electrical motors. The quality of classification is stated in terms of the area under receiver operating characteristic curve (AUC=94.52%).
△ Less
Submitted 26 December, 2015; v1 submitted 23 December, 2015;
originally announced December 2015.
-
Removal and Contraction Operations in $n$D Generalized Maps for Efficient Homology Computation
Authors:
Guillaume Damiand,
Rocio Gonzalez-Diaz,
Samuel Peltier
Abstract:
In this paper, we show that contraction operations preserve the homology of $n$D generalized maps, under some conditions. Removal and contraction operations are used to propose an efficient algorithm that compute homology generators of $n$D generalized maps. Its principle consists in simplifying a generalized map as much as possible by using removal and contraction operations. We obtain a generali…
▽ More
In this paper, we show that contraction operations preserve the homology of $n$D generalized maps, under some conditions. Removal and contraction operations are used to propose an efficient algorithm that compute homology generators of $n$D generalized maps. Its principle consists in simplifying a generalized map as much as possible by using removal and contraction operations. We obtain a generalized map having the same homology than the initial one, while the number of cells decreased significantly.
Keywords: $n$D Generalized Maps; Cellular Homology; Homology Generators; Contraction and Removal Operations.
△ Less
Submitted 14 March, 2014;
originally announced March 2014.
-
3D Well-composed Polyhedral Complexes
Authors:
Rocio Gonzalez-Diaz,
Maria-Jose Jimenez,
Belen Medrano
Abstract:
A binary three-dimensional (3D) image $I$ is well-composed if the boundary surface of its continuous analog is a 2D manifold. Since 3D images are not often well-composed, there are several voxel-based methods ("repairing" algorithms) for turning them into well-composed ones but these methods either do not guarantee the topological equivalence between the original image and its corresponding well-c…
▽ More
A binary three-dimensional (3D) image $I$ is well-composed if the boundary surface of its continuous analog is a 2D manifold. Since 3D images are not often well-composed, there are several voxel-based methods ("repairing" algorithms) for turning them into well-composed ones but these methods either do not guarantee the topological equivalence between the original image and its corresponding well-composed one or involve sub-sampling the whole image.
In this paper, we present a method to locally "repair" the cubical complex $Q(I)$ (embedded in $\mathbb{R}^3$) associated to $I$ to obtain a polyhedral complex $P(I)$ homotopy equivalent to $Q(I)$ such that the boundary of every connected component of $P(I)$ is a 2D manifold. The reparation is performed via a new codification system for $P(I)$ under the form of a 3D grayscale image that allows an efficient access to cells and their faces.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
A Tool for Integer Homology Computation: Lambda-At Model
Authors:
Rocio Gonzalez-Diaz,
Maria Jose Jimenez,
Belen Medrano,
Pedro Real
Abstract:
In this paper, we formalize the notion of lambda-AT-model (where $λ$ is a non-null integer) for a given chain complex, which allows the computation of homological information in the integer domain avoiding using the Smith Normal Form of the boundary matrices. We present an algorithm for computing such a model, obtaining Betti numbers, the prime numbers p involved in the invariant factors of the to…
▽ More
In this paper, we formalize the notion of lambda-AT-model (where $λ$ is a non-null integer) for a given chain complex, which allows the computation of homological information in the integer domain avoiding using the Smith Normal Form of the boundary matrices. We present an algorithm for computing such a model, obtaining Betti numbers, the prime numbers p involved in the invariant factors of the torsion subgroup of homology, the amount of invariant factors that are a power of p and a set of representative cycles of generators of homology mod p, for each p. Moreover, we establish the minimum valid lambda for such a construction, what cuts down the computational costs related to the torsion subgroup. The tools described here are useful to determine topological information of nD structured objects such as simplicial, cubical or simploidal complexes and are applicable to extract such an information from digital pictures.
△ Less
Submitted 23 May, 2011;
originally announced May 2011.
-
On the Cohomology of 3D Digital Images
Authors:
Rocio Gonzalez-Diaz,
Pedro Real
Abstract:
We propose a method for computing the cohomology ring of three--dimensional (3D) digital binary-valued pictures. We obtain the cohomology ring of a 3D digital binary--valued picture $I$, via a simplicial complex K(I)topologically representing (up to isomorphisms of pictures) the picture I. The usefulness of a simplicial description of the "digital" cohomology ring of 3D digital binary-valued pictu…
▽ More
We propose a method for computing the cohomology ring of three--dimensional (3D) digital binary-valued pictures. We obtain the cohomology ring of a 3D digital binary--valued picture $I$, via a simplicial complex K(I)topologically representing (up to isomorphisms of pictures) the picture I. The usefulness of a simplicial description of the "digital" cohomology ring of 3D digital binary-valued pictures is tested by means of a small program visualizing the different steps of the method. Some examples concerning topological thinning, the visualization of representative (co)cycles of (co)homology generators and the computation of the cup product on the cohomology of simple pictures are showed.
△ Less
Submitted 23 May, 2011;
originally announced May 2011.
-
Cubical Cohomology Ring of 3D Photographs
Authors:
Rocio Gonzalez-Diaz,
Maria Jose Jimenez,
Belen Medrano
Abstract:
Cohomology and cohomology ring of three-dimensional (3D) objects are topological invariants that characterize holes and their relations. Cohomology ring has been traditionally computed on simplicial complexes. Nevertheless, cubical complexes deal directly with the voxels in 3D images, no additional triangulation is necessary, facilitating efficient algorithms for the computation of topological inv…
▽ More
Cohomology and cohomology ring of three-dimensional (3D) objects are topological invariants that characterize holes and their relations. Cohomology ring has been traditionally computed on simplicial complexes. Nevertheless, cubical complexes deal directly with the voxels in 3D images, no additional triangulation is necessary, facilitating efficient algorithms for the computation of topological invariants in the image context. In this paper, we present formulas to directly compute the cohomology ring of 3D cubical complexes without making use of any additional triangulation. Starting from a cubical complex $Q$ that represents a 3D binary-valued digital picture whose foreground has one connected component, we compute first the cohomological information on the boundary of the object, $\partial Q$ by an incremental technique; then, using a face reduction algorithm, we compute it on the whole object; finally, applying the mentioned formulas, the cohomology ring is computed from such information.
△ Less
Submitted 20 May, 2011;
originally announced May 2011.
-
Chain Homotopies for Object Topological Representations
Authors:
Rocio Gonzalez-Diaz,
Maria Jose Jimenez,
Belen Medrano,
Pedro Real
Abstract:
This paper presents a set of tools to compute topological information of simplicial complexes, tools that are applicable to extract topological information from digital pictures. A simplicial complex is encoded in a (non-unique) algebraic-topological format called AM-model. An AM-model for a given object K is determined by a concrete chain homotopy and it provides, in particular, integer (co)homol…
▽ More
This paper presents a set of tools to compute topological information of simplicial complexes, tools that are applicable to extract topological information from digital pictures. A simplicial complex is encoded in a (non-unique) algebraic-topological format called AM-model. An AM-model for a given object K is determined by a concrete chain homotopy and it provides, in particular, integer (co)homology generators of K and representative (co)cycles of these generators. An algorithm for computing an AM-model and the cohomological invariant HB1 (derived from the rank of the cohomology ring) with integer coefficients for a finite simplicial complex in any dimension is designed here. A concept of generators which are "nicely" representative cycles is also presented. Moreover, we extend the definition of AM-models to 3D binary digital images and we design algorithms to update the AM-model information after voxel set operations (union, intersection, difference and inverse).
△ Less
Submitted 20 May, 2011; v1 submitted 18 May, 2011;
originally announced May 2011.
-
Invariant Representative Cocycles of Cohomology Generators using Irregular Graph Pyramids
Authors:
Rocio Gonzalez-Diaz,
Adrian Ion,
Mabel Iglesias-Ham,
Walter G. Kropatsch
Abstract:
Structural pattern recognition describes and classifies data based on the relationships of features and parts. Topological invariants, like the Euler number, characterize the structure of objects of any dimension. Cohomology can provide more refined algebraic invariants to a topological space than does homology. It assigns `quantities' to the chains used in homology to characterize holes of any di…
▽ More
Structural pattern recognition describes and classifies data based on the relationships of features and parts. Topological invariants, like the Euler number, characterize the structure of objects of any dimension. Cohomology can provide more refined algebraic invariants to a topological space than does homology. It assigns `quantities' to the chains used in homology to characterize holes of any dimension. Graph pyramids can be used to describe subdivisions of the same object at multiple levels of detail. This paper presents cohomology in the context of structural pattern recognition and introduces an algorithm to efficiently compute representative cocycles (the basic elements of cohomology) in 2D using a graph pyramid. An extension to obtain scanning and rotation invariant cocycles is given.
△ Less
Submitted 13 July, 2011; v1 submitted 18 May, 2011;
originally announced May 2011.