-
Self-Assembly of Active Bivalent Patchy Particles
Authors:
Caterina Landi,
John Russo,
Francesco Sciortino,
Chantal Valeriani
Abstract:
In the present work, with the intent of exploring the out-of-equilibrium polymerization of active patchy particles in linear chains, we study a suspension of active bivalent Brownian particles (ABBPs). At all studied temperatures and densities, ABBPs self-assemble in aggregating chains, as opposed to the uniformly space-distributed chains observed in the corresponding passive systems. The main eff…
▽ More
In the present work, with the intent of exploring the out-of-equilibrium polymerization of active patchy particles in linear chains, we study a suspension of active bivalent Brownian particles (ABBPs). At all studied temperatures and densities, ABBPs self-assemble in aggregating chains, as opposed to the uniformly space-distributed chains observed in the corresponding passive systems. The main effect of activity, other than inducing chain aggregation, is to reduce the chain length and favor alignment of the propulsion vectors in the bonding process. At low activities, attraction dominates over activity in the bonding process, leading self-assembly to occur randomly regardless of the particle orientations.Interestingly, we find that at the lowest temperature, as density increases, chains aggregate forming a novel state: MISP, i.e., Motility-Induced Spirals, where spirals are characterised by a finite angular velocity. On the contrary, at the highest temperature, density and activity, chains aggregate forming a different novel state (a spinning crystalline cluster) characterized by a compact and hexagonal ordered structure, both translating and rotating. The rotation arises from an effective torque generated by the presence of competing domains where particles self-propel in the same direction.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Tagged barcodes for the topological analysis of gradient-like vector fields
Authors:
Clemens Bannwart,
Claudia Landi
Abstract:
Intending to introduce a method for the topological analysis of fields, we present a pipeline that takes as an input a weighted and based chain complex, produces a factored chain complex, and encodes it as a barcode of tagged intervals (briefly, a tagged barcode). We show how to apply this pipeline to the weighted and based chain complex of a gradient-like Morse-Smale vector field on a compact Rie…
▽ More
Intending to introduce a method for the topological analysis of fields, we present a pipeline that takes as an input a weighted and based chain complex, produces a factored chain complex, and encodes it as a barcode of tagged intervals (briefly, a tagged barcode). We show how to apply this pipeline to the weighted and based chain complex of a gradient-like Morse-Smale vector field on a compact Riemannian manifold in both the smooth and discrete settings. Interestingly for computations, it turns out that there is an isometry between factored chain complexes endowed with the interleaving distance and their tagged barcodes endowed with the bottleneck distance. Concerning stability, we show that the map taking a generic enough gradient-like vector field to its barcode of tagged intervals is continuous. Finally, we prove that the tagged barcode of any such vector field can be approximated by the tagged barcode of a combinatorial version of it with arbitrary precision.
△ Less
Submitted 22 May, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Switch Points of Bi-Persistence Matching Distance
Authors:
Robyn Brooks,
Celia Hacker,
Claudia Landi,
Barbara I. Mahler,
Elizabeth R. Stephenson
Abstract:
In multi-parameter persistence, the matching distance is defined as the supremum of weighted bottleneck distances on the barcodes given by the restriction of persistence modules to lines with a positive slope. In the case of finitely presented bi-persistence modules, all the available methods to compute the matching distance are based on restricting the computation to lines through pairs from a fi…
▽ More
In multi-parameter persistence, the matching distance is defined as the supremum of weighted bottleneck distances on the barcodes given by the restriction of persistence modules to lines with a positive slope. In the case of finitely presented bi-persistence modules, all the available methods to compute the matching distance are based on restricting the computation to lines through pairs from a finite set of points in the plane. Some of these points are determined by the filtration data as they are entrance values of critical simplices. However, these critical values alone are not sufficient for the matching distance computation and it is necessary to add so-called switch points, i.e. points such that on a line through any of them, the bottleneck matching switches the matched pair.
This paper is devoted to the algorithmic computation of the set of switch points given a set of critical values. We find conditions under which a candidate switch point is erroneous or superfluous. The obtained conditions are turned into algorithms that have been implemented. With this, we analyze how the size of the set of switch points increases as the number of critical values increases, and how it varies depending on the distribution of critical values. Experiments are carried out on various types of bi-persistence modules.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Motion Artifacts Detection in Short-scan Dental CBCT Reconstructions
Authors:
Abdul Salam Rasmi Asraf Ali,
Andrea Fusiello,
Claudio Landi,
Cristina Sarti,
Anneke Annassia Putri Siswadi
Abstract:
Cone Beam Computed Tomography (CBCT) is widely used in dentistry for diagnostics and treatment planning. CBCT Imaging has a long acquisition time and consequently, the patient is likely to move. This motion causes significant artifacts in the reconstructed data which may lead to misdiagnosis. Existing motion correction algorithms only address this issue partially, struggling with inconsistencies d…
▽ More
Cone Beam Computed Tomography (CBCT) is widely used in dentistry for diagnostics and treatment planning. CBCT Imaging has a long acquisition time and consequently, the patient is likely to move. This motion causes significant artifacts in the reconstructed data which may lead to misdiagnosis. Existing motion correction algorithms only address this issue partially, struggling with inconsistencies due to truncation, accuracy, and execution speed. On the other hand, a short-scan reconstruction using a subset of motion-free projections with appropriate weighting methods can have a sufficient clinical image quality for most diagnostic purposes. Therefore, a framework is used in this study to extract the motion-free part of the scanned projections with which a clean short-scan volume can be reconstructed without using correction algorithms. Motion artifacts are detected using deep learning with a slice-based prediction scheme followed by volume averaging to get the final result. A realistic motion simulation strategy and data augmentation has been implemented to address data scarcity. The framework has been validated by testing it with real motion-affected data while the model was trained only with simulated motion data. This shows the feasibility to apply the proposed framework to a broad variety of motion cases for further research.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
On the support of Betti tables of multiparameter persistent homology modules
Authors:
Andrea Guidolin,
Claudia Landi
Abstract:
Persistent homology encodes the evolution of homological features of a multifiltered cell complex in the form of a multigraded module over a polynomial ring, called a multiparameter persistence module, and quantifies it through invariants suitable for topological data analysis.
In this paper, we establish a relation between Betti tables, a standard invariant for multigraded modules commonly used…
▽ More
Persistent homology encodes the evolution of homological features of a multifiltered cell complex in the form of a multigraded module over a polynomial ring, called a multiparameter persistence module, and quantifies it through invariants suitable for topological data analysis.
In this paper, we establish a relation between Betti tables, a standard invariant for multigraded modules commonly used in multiparameter persistence, and the critical cells determined by discrete Morse theory on the filtered cell complex originating the module. In particular, we show that for a discrete gradient vector field consistent with a given multiparameter sublevel set filtration, the grades at which its critical cells appear in the filtration reveal all positions in which the Betti tables are possibly nonzero. This result is refined in the case of bifiltrations by considering homological critical grades of a filtered chain complex instead of entrance grades of critical cells.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Abelian and model structures on tame functors
Authors:
Wojciech Chachólski,
Barbara Giunti,
Claudia Landi,
Francesca Tombari
Abstract:
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a structure theorem for cofibrant objects in the category of tame functors indexed by realizations of posets of dimension $1$ with values in the category of chain co…
▽ More
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a structure theorem for cofibrant objects in the category of tame functors indexed by realizations of posets of dimension $1$ with values in the category of chain complexes in an abelian category whose all objects are projectives. Moreover, we introduce a general technique to generate indecomposable objects in the abelian category of functors indexed by finite posets.
△ Less
Submitted 23 March, 2024; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Computing the Matching Distance of 2-Parameter Persistence Modules from Critical Values
Authors:
Asilata Bapat,
Robyn Brooks,
Celia Hacker,
Claudia Landi,
Barbara I. Mahler,
Elizabeth R. Stephenson
Abstract:
The exact computation of the matching distance for multi-parameter persistence modules is an active area of research in computational topology. Achieving an easily obtainable exact computation of this distance would allow multi-parameter persistent homology to be a viable option for data analysis. In this paper, we provide theoretical results for the computation of the matching distance in two dim…
▽ More
The exact computation of the matching distance for multi-parameter persistence modules is an active area of research in computational topology. Achieving an easily obtainable exact computation of this distance would allow multi-parameter persistent homology to be a viable option for data analysis. In this paper, we provide theoretical results for the computation of the matching distance in two dimensions along with a geometric interpretation of the lines through parameter space realizing this distance. The crucial point of the method we propose is that it can be easily implemented.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
Morse inequalities for the Koszul complex of multi-persistence
Authors:
Andrea Guidolin,
Claudia Landi
Abstract:
In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter persistence modules of the considered filtration. Using the Mayer-Vietoris spectral sequence we first obtain strong and weak Morse inequalities involving the above quant…
▽ More
In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter persistence modules of the considered filtration. Using the Mayer-Vietoris spectral sequence we first obtain strong and weak Morse inequalities involving the above quantities, and then we improve the weak inequalities achieving a sharp lower bound for homological Morse numbers. Furthermore, we prove a sharp upper bound for homological Morse numbers, expressed again in terms of the Betti tables.
△ Less
Submitted 31 January, 2023; v1 submitted 25 August, 2021;
originally announced August 2021.
-
A Dynamic Architecture for Task Assignment and Scheduling for Collaborative Robotic Cells
Authors:
Andrea Pupa,
Chiara Talignani Landi,
Mattia Bertolani,
Cristian Secchi
Abstract:
In collaborative robotic cells, a human operator and a robot share the workspace in order to execute a common job, consisting of a set of tasks. A proper allocation and scheduling of the tasks for the human and for the robot is crucial for achieving an efficient human-robot collaboration. In order to deal with the dynamic and unpredictable behavior of the human and for allowing the human and the r…
▽ More
In collaborative robotic cells, a human operator and a robot share the workspace in order to execute a common job, consisting of a set of tasks. A proper allocation and scheduling of the tasks for the human and for the robot is crucial for achieving an efficient human-robot collaboration. In order to deal with the dynamic and unpredictable behavior of the human and for allowing the human and the robot to negotiate about the tasks to be executed, a two layers architecture for solving the task allocation and scheduling problem is proposed. The first layer optimally solves the task allocation problem considering nominal execution times. The second layer, which is reactive, adapts online the sequence of tasks to be executed by the robot considering deviations from the nominal behaviors and requests coming from the human and from robot. The proposed architecture is experimentally validated on a collaborative assembly job.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Decomposing filtered chain complexes: geometry behind barcoding algorithms
Authors:
Wojciech Chachólski,
Barbara Giunti,
Alvin **,
Claudia Landi
Abstract:
In Topological Data Analysis, filtered chain complexes enter the persistence pipeline between the initial filtering of data and the final persistence invariants extraction. It is known that they admit a tame class of indecomposables, called interval spheres. In this paper, we provide an algorithm to decompose filtered chain complexes into such interval spheres. This algorithm provides geometric in…
▽ More
In Topological Data Analysis, filtered chain complexes enter the persistence pipeline between the initial filtering of data and the final persistence invariants extraction. It is known that they admit a tame class of indecomposables, called interval spheres. In this paper, we provide an algorithm to decompose filtered chain complexes into such interval spheres. This algorithm provides geometric insights into various aspects of the standard persistence algorithm and two of its run-time optimizations. Moreover, since it works for any filtered chain complexes, our algorithm can be applied in more general cases. As an application, we show how to decompose filtered kernels with it.
△ Less
Submitted 9 February, 2022; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Morse-based Fibering of the Persistence Rank Invariant
Authors:
Asilata Bapat,
Robyn Brooks,
Celia Hacker,
Claudia Landi,
Barbara I. Mahler
Abstract:
Although there is no doubt that multi-parameter persistent homology is a useful tool to analyse multi-variate data, efficient ways to compute these modules are still lacking in the available topological data analysis toolboxes. Other issues such as interpretation and visualization of the output remain difficult to solve. Software visualizing multi-parameter persistence diagrams is currently only a…
▽ More
Although there is no doubt that multi-parameter persistent homology is a useful tool to analyse multi-variate data, efficient ways to compute these modules are still lacking in the available topological data analysis toolboxes. Other issues such as interpretation and visualization of the output remain difficult to solve. Software visualizing multi-parameter persistence diagrams is currently only available for 2-dimensional persistence modules. One of the simplest invariants for a multi-parameter persistence module is its rank invariant, defined as the function that counts the number of linearly independent homology classes that live in the filtration through a given pair of values of the multi-parameter. We propose a step towards interpretation and visualization of the rank invariant for persistence modules for any given number of parameters. We show how discrete Morse theory may be used to compute the rank invariant, proving that it is completely determined by its values at points whose coordinates are critical with respect to a discrete Morse gradient vector field. These critical points partition the set of all lines of positive slope in the parameter space into equivalence classes, such that the rank invariant along lines in the same class are also equivalent. We show that we can deduce all persistence diagrams of the restrictions to the lines in a given class from the persistence diagram of the restriction to a representative in that class.
△ Less
Submitted 13 April, 2021; v1 submitted 30 November, 2020;
originally announced November 2020.
-
Invariants for tame parametrised chain complexes
Authors:
Wojciech Chachólski,
Barbara Giunti,
Claudia Landi
Abstract:
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this categor…
▽ More
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this category using a model structure and various minimal cofibrant approximations. Such approximations and their invariants retain some of the topological, and not just homological, aspects of the objects they approximate.
△ Less
Submitted 16 November, 2020; v1 submitted 9 March, 2020;
originally announced March 2020.
-
Critical Sets of PL and Discrete Morse Theory: a Correspondence
Authors:
Ulderico Fugacci,
Claudia Landi,
Hanife Varlı
Abstract:
Piecewise-linear (PL) Morse theory and discrete Morse theory are used in shape analysis tasks to investigate the topological features of discretized spaces. In spite of their common origin in smooth Morse theory, various notions of critical points have been given in the literature for the discrete setting, making a clear understanding of the relationships occurring between them not obvious. This p…
▽ More
Piecewise-linear (PL) Morse theory and discrete Morse theory are used in shape analysis tasks to investigate the topological features of discretized spaces. In spite of their common origin in smooth Morse theory, various notions of critical points have been given in the literature for the discrete setting, making a clear understanding of the relationships occurring between them not obvious. This paper aims at providing equivalence results about critical points of the two discretized Morse theories. First of all, we prove the equivalence of the existing notions of PL critical points. Next, under an optimality condition called relative perfectness, we show a dimension agnostic correspondence between the set of PL critical points and that of discrete critical simplices of the combinatorial approach. Finally, we show how a relatively perfect discrete gradient vector field can be algorithmically built up to dimension 3. This way, we guarantee a formal and operative connection between critical sets in the PL and discrete theories.
△ Less
Submitted 18 May, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Relative-perfectness of discrete gradient vector fields and multi-parameter persistent homology
Authors:
Claudia Landi,
Sara Scaramuccia
Abstract:
The combination of persistent homology and discrete Morse theory has proven very effective in visualizing and analyzing big and heterogeneous data. Indeed, topology provides computable and coarse summaries of data independently from specific coordinate systems and does so robustly to noise. Moreover, the geometric content of a discrete gradient vector field is very useful for visualization purpose…
▽ More
The combination of persistent homology and discrete Morse theory has proven very effective in visualizing and analyzing big and heterogeneous data. Indeed, topology provides computable and coarse summaries of data independently from specific coordinate systems and does so robustly to noise. Moreover, the geometric content of a discrete gradient vector field is very useful for visualization purposes. The specific case of multivariate data still demands for further investigations, on the one hand, for computational reasons, it is important to reduce the necessary amount of data to be processed. On the other hand, for analysis reasons, the multivariate case requires the detection and interpretation of the possible interdepedance among data components. To this end, in this paper we introduce and study a notion of perfectness for discrete gradient vector fields with respect to multi-parameter persistent homology, called relative-perfectness. As a natural generalization of usual perfectness in Morse theory for homology, relative-perfectness entails having the least number of critical cells relevant for multi-parameter persistence. As a first contribution, we support our definition of relative-perfectness by generalizing Morse inequalities to the filtration structure where homology groups involved are relative with respect to subsequent sublevel sets. In order to allow for an interpretation of critical cells in $2$-parameter persistence, our second contribution consists of two inequalities bounding Betti tables of persistence modules from above and below, via the number of critical cells. Our last result is the proof that existing algorithms based on local homotopy expansions allow for efficient computability over simplicial complexes up to dimension $2$.
△ Less
Submitted 11 February, 2021; v1 submitted 10 April, 2019;
originally announced April 2019.
-
Computing multiparameter persistent homology through a discrete Morse-based approach
Authors:
Sara Scaramuccia,
Federico Iuricich,
Leila De Floriani,
Claudia Landi
Abstract:
Persistent Homology (PH) allows tracking homology features like loops, holes and their higher-dimensional analogs, along with a single-parameter family of nested spaces. Currently, computing descriptors for complex data characterized by multiple functions is becoming an important task in several applications, including physics, chemistry, medicine, geography, etc. Multiparameter Persistent Homolog…
▽ More
Persistent Homology (PH) allows tracking homology features like loops, holes and their higher-dimensional analogs, along with a single-parameter family of nested spaces. Currently, computing descriptors for complex data characterized by multiple functions is becoming an important task in several applications, including physics, chemistry, medicine, geography, etc. Multiparameter Persistent Homology (MPH) generalizes persistent homology opening to the exploration and analysis of shapes endowed with multiple filtering functions. Still, computational constraints prevent MPH to be feasible over real-sized data. In this paper, we consider discrete Morse Theory as a tool to simplify the computation of MPH on a multiparameter dataset. We propose a new algorithm, well suited for parallel and distributed implementations and we provide the first evaluation of the impact on MPH computations of a preprocessing approach.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
A Kernel for Multi-Parameter Persistent Homology
Authors:
René Corbet,
Ulderico Fugacci,
Michael Kerber,
Claudia Landi,
Bei Wang
Abstract:
Topological data analysis and its main method, persistent homology, provide a toolkit for computing topological information of high-dimensional and noisy data sets. Kernels for one-parameter persistent homology have been established to connect persistent homology with machine learning techniques. We contribute a kernel construction for multi-parameter persistence by integrating a one-parameter ker…
▽ More
Topological data analysis and its main method, persistent homology, provide a toolkit for computing topological information of high-dimensional and noisy data sets. Kernels for one-parameter persistent homology have been established to connect persistent homology with machine learning techniques. We contribute a kernel construction for multi-parameter persistence by integrating a one-parameter kernel weighted along straight lines. We prove that our kernel is stable and efficiently computable, which establishes a theoretical connection between topological data analysis and machine learning for multivariate data analysis.
△ Less
Submitted 5 June, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
The Reeb Graph Edit Distance is Universal
Authors:
Ulrich Bauer,
Claudia Landi,
Facundo Memoli
Abstract:
We consider the setting of Reeb graphs of piecewise linear functions and study distances between them that are stable, meaning that functions which are similar in the supremum norm ought to have similar Reeb graphs. We define an edit distance for Reeb graphs and prove that it is stable and universal, meaning that it provides an upper bound to any other stable distance. In contrast, via a specific…
▽ More
We consider the setting of Reeb graphs of piecewise linear functions and study distances between them that are stable, meaning that functions which are similar in the supremum norm ought to have similar Reeb graphs. We define an edit distance for Reeb graphs and prove that it is stable and universal, meaning that it provides an upper bound to any other stable distance. In contrast, via a specific construction, we show that the interleaving distance and the functional distortion distance on Reeb graphs are not universal.
△ Less
Submitted 5 January, 2018;
originally announced January 2018.
-
Admittance Control Parameter Adaptation for Physical Human-Robot Interaction
Authors:
Chiara Talignani Landi,
Federica Ferraguti,
Lorenzo Sabattini,
Cristian Secchi,
Cesare Fantuzzi
Abstract:
In physical human-robot interaction, the coexistence of robots and humans in the same workspace requires the guarantee of a stable interaction, trying to minimize the effort for the operator. To this aim, the admittance control is widely used and the appropriate selection of the its parameters is crucial, since they affect both the stability and the ability of the robot to interact with the user.…
▽ More
In physical human-robot interaction, the coexistence of robots and humans in the same workspace requires the guarantee of a stable interaction, trying to minimize the effort for the operator. To this aim, the admittance control is widely used and the appropriate selection of the its parameters is crucial, since they affect both the stability and the ability of the robot to interact with the user. In this paper, we present a strategy for detecting deviations from the nominal behavior of an admittance-controlled robot and for adapting the parameters of the controller while guaranteeing the passivity. The proposed methodology is validated on a KUKA LWR 4+.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
The Persistent Homotopy Type Distance
Authors:
Patrizio Frosini,
Claudia Landi,
Facundo Memoli
Abstract:
We introduce the persistent homotopy type distance dHT to compare real valued functions defined on possibly different homotopy equivalent topological spaces. The underlying idea in the definition of dHT is to measure the minimal shift that is necessary to apply to one of the two functions in order that the sublevel sets of the two functions become homotopically equivalent. This distance is interes…
▽ More
We introduce the persistent homotopy type distance dHT to compare real valued functions defined on possibly different homotopy equivalent topological spaces. The underlying idea in the definition of dHT is to measure the minimal shift that is necessary to apply to one of the two functions in order that the sublevel sets of the two functions become homotopically equivalent. This distance is interesting in connection with persistent homology. Indeed, our main result states that dHT still provides an upper bound for the bottleneck distance between the persistence diagrams of the intervening functions. Moreover, because homotopy equivalences are weaker than homeomorphisms, this implies a lifting of the standard stability results provided by the L-infty distance and the natural pseudo-distance dNP. From a different standpoint, we prove that dHT extends the L-infty distance and dNP in two ways. First, we show that, appropriately restricting the category of objects to which dHT applies, it can be made to coincide with the other two distances. Finally, we show that dHT has an interpretation in terms of interleavings that naturally places it in the family of distances used in persistence theory.
△ Less
Submitted 4 March, 2018; v1 submitted 25 February, 2017;
originally announced February 2017.
-
A New Matching Algorithm for Multidimensional Persistence
Authors:
Madjid Allili,
Tomasz Kaczynski,
Claudia Landi,
Filippo Masoni
Abstract:
An algorithm is presented that constructs an acyclic partial matching on the cells of a given simplicial complex from a vector-valued function defined on the vertices and extended to each simplex by taking the least common upper bound of the values on its vertices. The resulting acyclic partial matching may be used to construct a reduced filtered complex with the same multidimensional persistent h…
▽ More
An algorithm is presented that constructs an acyclic partial matching on the cells of a given simplicial complex from a vector-valued function defined on the vertices and extended to each simplex by taking the least common upper bound of the values on its vertices. The resulting acyclic partial matching may be used to construct a reduced filtered complex with the same multidimensional persistent homology as the original simplicial complex filtered by the sublevel sets of the function. Numerical tests show that in practical cases the rate of reduction in the number of cells achieved by the algorithm is substantial. This promises to be useful for the computation of multidimensional persistent homology of simplicial complexes filtered by sublevel sets of vector-valued functions.
△ Less
Submitted 23 March, 2017; v1 submitted 17 November, 2015;
originally announced November 2015.
-
Estimating Multidimensional Persistent Homology through a Finite Sampling
Authors:
Niccolò Cavazza,
Massimo Ferri,
Claudia Landi
Abstract:
An exact computation of the persistent Betti numbers of a submanifold $X$ of a Euclidean space is possible only in a theoretical setting. In practical situations, only a finite sample of $X$ is available. We show that, under suitable density conditions, it is possible to estimate the multidimensional persistent Betti numbers of $X$ from the ones of a union of balls centered on the sample points; t…
▽ More
An exact computation of the persistent Betti numbers of a submanifold $X$ of a Euclidean space is possible only in a theoretical setting. In practical situations, only a finite sample of $X$ is available. We show that, under suitable density conditions, it is possible to estimate the multidimensional persistent Betti numbers of $X$ from the ones of a union of balls centered on the sample points; this even yields the exact value in restricted areas of the domain.
Using these inequalities we improve a previous lower bound for the natural pseudodistance to assess dissimilarity between the shapes of two objects from a sampling of them.
Similar inequalities are proved for the multidimensional persistent Betti numbers of the ball union and the one of a combinatorial description of it.
△ Less
Submitted 19 July, 2015;
originally announced July 2015.
-
The rank invariant stability via interleavings
Authors:
Claudia Landi
Abstract:
A lower bound for the interleaving distance on persistence vector spaces is given in terms of rank invariants. This offers an alternative proof of the stability of rank invariants.
A lower bound for the interleaving distance on persistence vector spaces is given in terms of rank invariants. This offers an alternative proof of the stability of rank invariants.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.
-
The edit distance for Reeb graphs of surfaces
Authors:
Barbara Di Fabio,
Claudia Landi
Abstract:
Reeb graphs are structural descriptors that capture shape properties of a topological space from the perspective of a chosen function. In this work we define a combinatorial metric for Reeb graphs of orientable surfaces in terms of the cost necessary to transform one graph into another by edit operations. The main contributions of this paper are the stability property and the optimality of this ed…
▽ More
Reeb graphs are structural descriptors that capture shape properties of a topological space from the perspective of a chosen function. In this work we define a combinatorial metric for Reeb graphs of orientable surfaces in terms of the cost necessary to transform one graph into another by edit operations. The main contributions of this paper are the stability property and the optimality of this edit distance. More precisely, the stability result states that changes in the functions, measured by the maximum norm, imply not greater changes in the corresponding Reeb graphs, measured by the edit distance. The optimality result states that our edit distance discriminates Reeb graphs better than any other metric for Reeb graphs of surfaces satisfying the stability property.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
Reducing complexes in multidimensional persistent homology theory
Authors:
Madjid Allili,
Tomasz Kaczynski,
Claudia Landi
Abstract:
The Discrete Morse Theory of Forman appeared to be useful for providing filtration-preserving reductions of complexes in the study of persistent homology. So far, the algorithms computing discrete Morse matchings have only been used for one-dimensional filtrations. This paper is perhaps the first attempt in the direction of extending such algorithms to multidimensional filtrations. Initial framewo…
▽ More
The Discrete Morse Theory of Forman appeared to be useful for providing filtration-preserving reductions of complexes in the study of persistent homology. So far, the algorithms computing discrete Morse matchings have only been used for one-dimensional filtrations. This paper is perhaps the first attempt in the direction of extending such algorithms to multidimensional filtrations. Initial framework related to Morse matchings for the multidimensional setting is proposed, and a matching algorithm given by King, Knudson, and Mramor is extended in this direction. The correctness of the algorithm is proved, and its complexity analyzed. The algorithm is used for establishing a reduction of a simplicial complex to a smaller but not necessarily optimal cellular complex. First experiments with filtrations of triangular meshes are presented.
△ Less
Submitted 12 March, 2015; v1 submitted 30 October, 2013;
originally announced October 2013.
-
Stability of persistence spaces of vector-valued continuous functions
Authors:
Andrea Cerri,
Claudia Landi
Abstract:
Multidimensional persistence modules do not admit a concise representation analogous to that provided by persistence diagrams for real-valued functions. However, there is no obstruction for multidimensional persistent Betti numbers to admit one. Therefore, it is reasonable to look for a generalization of persistence diagrams concerning those properties that are related only to persistent Betti num…
▽ More
Multidimensional persistence modules do not admit a concise representation analogous to that provided by persistence diagrams for real-valued functions. However, there is no obstruction for multidimensional persistent Betti numbers to admit one. Therefore, it is reasonable to look for a generalization of persistence diagrams concerning those properties that are related only to persistent Betti numbers. In this paper, the persistence space of a vector-valued continuous function is introduced to generalize the concept of persistence diagram in this sense. The main result is its stability under function perturbations: any change in vector-valued functions implies a not greater change in the Hausdorff distance between their persistence spaces.
△ Less
Submitted 28 May, 2013;
originally announced May 2013.
-
Comparison of Persistent Homologies for Vector Functions: from continuous to discrete and back
Authors:
Niccolò Cavazza,
Marc Ethier,
Patrizio Frosini,
Tomasz Kaczynski,
Claudia Landi
Abstract:
The theory of multidimensional persistent homology was initially developed in the discrete setting, and involved the study of simplicial complexes filtered through an ordering of the simplices. Later, stability properties of multidimensional persistence have been proved to hold when topological spaces are filtered by continuous functions, i.e. for continuous data. This paper aims to provide a brid…
▽ More
The theory of multidimensional persistent homology was initially developed in the discrete setting, and involved the study of simplicial complexes filtered through an ordering of the simplices. Later, stability properties of multidimensional persistence have been proved to hold when topological spaces are filtered by continuous functions, i.e. for continuous data. This paper aims to provide a bridge between the continuous setting, where stability properties hold, and the discrete setting, where actual computations are carried out. More precisely, a stability preserving method is developed to compare rank invariants of vector functions obtained from discrete data. These advances confirm that multidimensional persistent homology is an appropriate tool for shape comparison in computer vision and computer graphics applications. The results are supported by numerical tests.
△ Less
Submitted 27 March, 2013; v1 submitted 16 January, 2012;
originally announced January 2012.
-
Uniqueness of models in persistent homology: the case of curves
Authors:
Patrizio Frosini,
Claudia Landi
Abstract:
We consider generic curves in R^2, i.e. generic C^1 functions f from S^1 to R^2. We analyze these curves through the persistent homology groups of a filtration induced on S^1 by f. In particular, we consider the question whether these persistent homology groups uniquely characterize f, at least up to re-parameterizations of S^1. We give a partially positive answer to this question. More precisely,…
▽ More
We consider generic curves in R^2, i.e. generic C^1 functions f from S^1 to R^2. We analyze these curves through the persistent homology groups of a filtration induced on S^1 by f. In particular, we consider the question whether these persistent homology groups uniquely characterize f, at least up to re-parameterizations of S^1. We give a partially positive answer to this question. More precisely, we prove that f=goh, where h:S^1-> S^1 is a C^1-diffeomorphism, if and only if the persistent homology groups of sof and sog coincide, for every s belonging to the group Sigma_2 generated by reflections in the coordinate axes. Moreover, for a smaller set of generic functions, we show that f and g are close to each other in the max-norm (up to re-parameterizations) if and only if, for every s belonging to Sigma_2, the persistent Betti numbers functions of sof and sog are close to each other, with respect to a suitable distance.
△ Less
Submitted 28 December, 2010;
originally announced December 2010.
-
No embedding of the automorphisms of a topological space into a compact metric space endows them with a composition that passes to the limit
Authors:
Patrizio Frosini,
Claudia Landi
Abstract:
The Hausdorff distance, the Gromov-Hausdorff, the Fréchet and the natural pseudo-distances are instances of dissimilarity measures widely used in shape comparison. We show that they share the property of being defined as $\inf_ρF(ρ)$ where $F$ is a suitable functional and $ρ$ varies in a set of correspondences containing the set of homeomorphisms. Our main result states that the set of homeomor…
▽ More
The Hausdorff distance, the Gromov-Hausdorff, the Fréchet and the natural pseudo-distances are instances of dissimilarity measures widely used in shape comparison. We show that they share the property of being defined as $\inf_ρF(ρ)$ where $F$ is a suitable functional and $ρ$ varies in a set of correspondences containing the set of homeomorphisms. Our main result states that the set of homeomorphisms cannot be enlarged to a metric space $\mathcal{K}$, in such a way that the composition in $\mathcal{K}$ (extending the composition of homeomorphisms) passes to the limit and, at the same time, $\mathcal{K}$ is compact.
△ Less
Submitted 6 May, 2010;
originally announced May 2010.
-
Stability of Reeb graphs under function perturbations: the case of closed curves
Authors:
Barbara Di Fabio,
Claudia Landi
Abstract:
Reeb graphs provide a method for studying the shape of a manifold by encoding the evolution and arrangement of level sets of a simple Morse function defined on the manifold. Since their introduction in computer graphics they have been gaining popularity as an effective tool for shape analysis and matching. In this context one question deserving attention is whether Reeb graphs are robust against f…
▽ More
Reeb graphs provide a method for studying the shape of a manifold by encoding the evolution and arrangement of level sets of a simple Morse function defined on the manifold. Since their introduction in computer graphics they have been gaining popularity as an effective tool for shape analysis and matching. In this context one question deserving attention is whether Reeb graphs are robust against function perturbations. Focusing on 1-dimensional manifolds, we define an editing distance between Reeb graphs of curves, in terms of the cost necessary to transform one graph into another. Our main result is that changes in Morse functions induce smaller changes in the editing distance between Reeb graphs of curves, implying stability of Reeb graphs under function perturbations.
△ Less
Submitted 24 March, 2010;
originally announced March 2010.
-
Stability of multidimensional persistent homology with respect to domain perturbations
Authors:
Patrizio Frosini,
Claudia Landi
Abstract:
Motivated by the problem of dealing with incomplete or imprecise acquisition of data in computer vision and computer graphics, we extend results concerning the stability of persistent homology with respect to function perturbations to results concerning the stability with respect to domain perturbations. Domain perturbations can be measured in a number of different ways. An important method to…
▽ More
Motivated by the problem of dealing with incomplete or imprecise acquisition of data in computer vision and computer graphics, we extend results concerning the stability of persistent homology with respect to function perturbations to results concerning the stability with respect to domain perturbations. Domain perturbations can be measured in a number of different ways. An important method to compare domains is the Hausdorff distance. We show that by encoding sets using the distance function, the multidimensional matching distance between rank invariants of persistent homology groups is always upperly bounded by the Hausdorff distance between sets. Moreover we prove that our construction maintains information about the original set. Other well known methods to compare sets are considered, such as the symmetric difference distance between classical sets and the sup-distance between fuzzy sets. Also in these cases we present results stating that the multidimensional matching distance between rank invariants of persistent homology groups is upperly bounded by these distances. An experiment showing the potential of our approach concludes the paper.
△ Less
Submitted 10 May, 2010; v1 submitted 7 January, 2010;
originally announced January 2010.
-
Finiteness of rank invariants of multidimensional persistent homology groups
Authors:
Francesca Cagliari,
Claudia Landi
Abstract:
Rank invariants are a parametrized version of Betti numbers of a space multi-filtered by a continuous vector-valued function. In this note we give a sufficient condition for their finiteness. This condition is sharp for spaces embeddable in R^n.
Rank invariants are a parametrized version of Betti numbers of a space multi-filtered by a continuous vector-valued function. In this note we give a sufficient condition for their finiteness. This condition is sharp for spaces embeddable in R^n.
△ Less
Submitted 3 January, 2010;
originally announced January 2010.
-
Multidimensional persistent homology is stable
Authors:
Andrea Cerri,
Barbara Di Fabio,
Massimo Ferri,
Patrizio Frosini,
Claudia Landi
Abstract:
Multidimensional persistence studies topological features of shapes by analyzing the lower level sets of vector-valued functions. The rank invariant completely determines the multidimensional analogue of persistent homology groups. We prove that multidimensional rank invariants are stable with respect to function perturbations. More precisely, we construct a distance between rank invariants such…
▽ More
Multidimensional persistence studies topological features of shapes by analyzing the lower level sets of vector-valued functions. The rank invariant completely determines the multidimensional analogue of persistent homology groups. We prove that multidimensional rank invariants are stable with respect to function perturbations. More precisely, we construct a distance between rank invariants such that small changes of the function imply only small changes of the rank invariant. This result can be obtained by assuming the function to be just continuous. Multidimensional stability opens the way to a stable shape comparison methodology based on multidimensional persistence.
△ Less
Submitted 1 August, 2009;
originally announced August 2009.
-
Cech homology for shape recognition in the presence of occlusions
Authors:
Barbara Di Fabio,
Claudia Landi
Abstract:
In Computer Vision the ability to recognize objects in the presence of occlusions is a necessary requirement for any shape representation method. In this paper we investigate how the size function of a shape changes when a portion of the shape is occluded by another shape. More precisely, considering a set $X=A\cup B$ and a measuring function $φ$ on $X$, we establish a condition so that…
▽ More
In Computer Vision the ability to recognize objects in the presence of occlusions is a necessary requirement for any shape representation method. In this paper we investigate how the size function of a shape changes when a portion of the shape is occluded by another shape. More precisely, considering a set $X=A\cup B$ and a measuring function $φ$ on $X$, we establish a condition so that $\ell_{(X,φ)=\ell_{(A,φ|_A)}+\ell_{(B,φ|_B)}-\ell_{(A\cap B,φ|_{A\cap B})}$. The main tool we use is the Mayer-Vietoris sequence of Čech homology groups. This result allows us to prove that size functions are able to detect partial matching between shapes by showing a common subset of cornerpoints.
△ Less
Submitted 4 July, 2008;
originally announced July 2008.
-
Natural pseudo-distance and optimal matching between reduced size functions
Authors:
M. d'Amico,
P. Frosini,
C. Landi
Abstract:
This paper studies the properties of a new lower bound for the natural pseudo-distance. The natural pseudo-distance is a dissimilarity measure between shapes, where a shape is viewed as a topological space endowed with a real-valued continuous function. Measuring dissimilarity amounts to minimizing the change in the functions due to the application of homeomorphisms between topological spaces, w…
▽ More
This paper studies the properties of a new lower bound for the natural pseudo-distance. The natural pseudo-distance is a dissimilarity measure between shapes, where a shape is viewed as a topological space endowed with a real-valued continuous function. Measuring dissimilarity amounts to minimizing the change in the functions due to the application of homeomorphisms between topological spaces, with respect to the $L_\infty$-norm. In order to obtain the lower bound, a suitable metric between size functions, called matching distance, is introduced. It compares size functions by solving an optimal matching problem between countable point sets. The matching distance is shown to be resistant to perturbations, implying that it is always smaller than the natural pseudo-distance. We also prove that the lower bound so obtained is sharp and cannot be improved by any other distance between size functions.
△ Less
Submitted 22 April, 2008;
originally announced April 2008.
-
Reparametrization invariant norms
Authors:
Patrizio Frosini,
Claudia Landi
Abstract:
This paper explores the concept of reparametrization invariant norm (RPI-norm), that is any norm invariant under composition with diffeomorphisms. We prove the existence of an infinite family of RPI-norms, called standard RPI-norms, for which we exhibit both an integral and a discrete characterization. Our main result states that, for every one-time differentiable piecewise monotone function wit…
▽ More
This paper explores the concept of reparametrization invariant norm (RPI-norm), that is any norm invariant under composition with diffeomorphisms. We prove the existence of an infinite family of RPI-norms, called standard RPI-norms, for which we exhibit both an integral and a discrete characterization. Our main result states that, for every one-time differentiable piecewise monotone function with compact support, its standard RPI-norms allow us to compute the value of any other RPI-norm of the same function. This is proved by using the standard RPI-norms in order to reconstruct the function up to reparametrization and an arbitrarily small error with respect to the total variation norm.
△ Less
Submitted 5 February, 2007;
originally announced February 2007.
-
Stability in multidimensional Size Theory
Authors:
Andrea Cerri,
Patrizio Frosini,
Claudia Landi
Abstract:
This paper proves that in Size Theory the comparison of multidimensional size functions can be reduced to the 1-dimensional case by a suitable change of variables. Indeed, we show that a foliation in half-planes can be given, such that the restriction of a multidimensional size function to each of these half-planes turns out to be a classical size function in two scalar variables. This leads to…
▽ More
This paper proves that in Size Theory the comparison of multidimensional size functions can be reduced to the 1-dimensional case by a suitable change of variables. Indeed, we show that a foliation in half-planes can be given, such that the restriction of a multidimensional size function to each of these half-planes turns out to be a classical size function in two scalar variables. This leads to the definition of a new distance between multidimensional size functions, and to the proof of their stability with respect to that distance.
△ Less
Submitted 2 August, 2006;
originally announced August 2006.