Showing 1–7 of 7 results for author: Cerri, A

On the geometrical properties of the coherent matching distance in 2D persistent homology

Authors: Andrea Cerri, Marc Ethier, Patrizio Frosini

Abstract: In this paper we study a new metric for comparing Betti numbers functions in bidimensional persistent homology, based on coherent matchings, i.e. families of matchings that vary in a continuous way. We prove some new results about this metric, including its stability. In particular, we show that the computation of this distance is strongly related to suitable filtering functions associated with li… ▽ More In this paper we study a new metric for comparing Betti numbers functions in bidimensional persistent homology, based on coherent matchings, i.e. families of matchings that vary in a continuous way. We prove some new results about this metric, including its stability. In particular, we show that the computation of this distance is strongly related to suitable filtering functions associated with lines of slope 1, so underlining the key role of these lines in the study of bidimensional persistence. In order to prove these results, we introduce and study the concepts of extended Pareto grid for a normal filtering function as well as of transport of a matching. As a by-product, we obtain a theoretical framework for managing the phenomenon of monodromy in 2D persistent homology. △ Less

Submitted 25 May, 2018; v1 submitted 20 January, 2018; originally announced January 2018.

Comments: 39 pages, 15 figures. Corrected the definition of multiplicity of points in the extended Pareto grid and the definition of normal function. Removed Rem. 3.3. Added Ex. 3.9, Fig. 11, Fig. 12, Rem. 5.3 and Fig. 15. Changed Rem. 4.9 into regular text. Reformulated statements of Theorems 5.1, 5.2, 5.4. Some changes in their proofs. Added references. Some small changes in the text and in the figures

MSC Class: Primary 55N99; Secondary 68U05 65D18

The coherent matching distance in 2D persistent homology

Authors: Andrea Cerri, Marc Ethier, Patrizio Frosini

Abstract: Comparison between multidimensional persistent Betti numbers is often based on the multidimensional matching distance. While this metric is rather simple to define and compute by considering a suitable family of filtering functions associated with lines having a positive slope, it has two main drawbacks. First, it forgets the natural link between the homological properties of filtrations associate… ▽ More Comparison between multidimensional persistent Betti numbers is often based on the multidimensional matching distance. While this metric is rather simple to define and compute by considering a suitable family of filtering functions associated with lines having a positive slope, it has two main drawbacks. First, it forgets the natural link between the homological properties of filtrations associated with lines that are close to each other. As a consequence, part of the interesting homological information is lost. Second, its intrinsically discontinuous definition makes it difficult to study its properties. In this paper we introduce a new matching distance for 2D persistent Betti numbers, called coherent matching distance and based on matchings that change coherently with the filtrations we take into account. Its definition is not trivial, as it must face the presence of monodromy in multidimensional persistence, i.e. the fact that different paths in the space parameterizing the above filtrations can induce different matchings between the associated persistent diagrams. In our paper we prove that the coherent 2D matching distance is well-defined and stable. △ Less

Submitted 12 March, 2016; originally announced March 2016.

Comments: 11 pages, 1 figure

MSC Class: Primary 55N35 -- Secondary 68U05; 65D18 ACM Class: I.3.5; I.4.7

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.

MSC Class: Primary 68U05; Secondary 55N05

Invariance properties of the multidimensional matching distance in Persistent Topology and Homology

Authors: Andrea Cerri, Patrizio Frosini

Abstract: Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising information in a parameterized version of the Betti numbers, i.e. the ranks of persistent homology groups. Initially introduced by considering real-valued filtering functions, Persistent Topology has been subsequently generalized t… ▽ More Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising information in a parameterized version of the Betti numbers, i.e. the ranks of persistent homology groups. Initially introduced by considering real-valued filtering functions, Persistent Topology has been subsequently generalized to a multidimensional setting, i.e. to the case of $\R^n$-valued filtering functions, leading to studying the ranks of multidimensional homology groups. In particular, a multidimensional matching distance has been defined, in order to compare these ranks. The definition of the multidimensional matching distance is based on foliating the domain of the ranks of multidimensional homology groups by a collection of half-planes, and hence it formally depends on a subset of $\R^n\times\R^n$ inducing a parameterization of these half-planes. It happens that it is possible to choose this subset in an infinite number of different ways. In this paper we show that the multidimensional matching distance is actually invariant with respect to such a choice. △ Less

Submitted 4 May, 2010; v1 submitted 27 April, 2010; originally announced April 2010.

Comments: 14 pages, 2 figures

MSC Class: Primary 55N35; Secondary 68T10; 68U05; 55N05

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.

Comments: 14 pages, 3 figures

MSC Class: 55N05 (Primary) 55U99; 68T10 (Secondary)

Optimal homeomorphisms between closed curves

Authors: Andrea Cerri, Barbara Di Fabio

Abstract: The concept of natural pseudo-distance has proven to be a powerful tool for measuring the dissimilarity between topological spaces endowed with continuous real-valued functions. Roughly speaking, the natural pseudo-distance is defined as the infimum of the change of the functions' values, when moving from one space to the other through homeomorphisms, if possible. In this paper, we prove the fir… ▽ More The concept of natural pseudo-distance has proven to be a powerful tool for measuring the dissimilarity between topological spaces endowed with continuous real-valued functions. Roughly speaking, the natural pseudo-distance is defined as the infimum of the change of the functions' values, when moving from one space to the other through homeomorphisms, if possible. In this paper, we prove the first available result about the existence of optimal homeomorphisms between closed curves, i.e. inducing a change of the function that equals the natural pseudo-distance. △ Less

Submitted 25 June, 2009; originally announced June 2009.

Comments: 11 pages, 3 figures

MSC Class: 58C05; 58C07 (Primary); 54C30; 68T10 (Secondary)

Necessary Conditions for Discontinuities of Multidimensional Size Functions

Authors: Andrea Cerri, Patrizio Frosini

Abstract: Some new results about multidimensional Topological Persistence are presented, proving that the discontinuity points of a k-dimensional size function are necessarily related to the pseudocritical or special values of the associated measuring function. Some new results about multidimensional Topological Persistence are presented, proving that the discontinuity points of a k-dimensional size function are necessarily related to the pseudocritical or special values of the associated measuring function. △ Less

Submitted 4 August, 2009; v1 submitted 12 November, 2008; originally announced November 2008.

Comments: 23 pages, 4 figures