-
Towards a topological fingerprint of music
Authors:
Mattia G. Bergomi,
Adriano Baraté,
Barbara Di Fabio
Abstract:
Can music be represented as a meaningful geometric and topological object? In this paper, we propose a strategy to describe some music features as a polyhedral surface obtained by a simplicial interpretation of the \textit{Tonnetz}. The \textit{Tonnetz} is a graph largely used in computational musicology to describe the harmonic relationships of notes in equal tuning. In particular, we use persist…
▽ More
Can music be represented as a meaningful geometric and topological object? In this paper, we propose a strategy to describe some music features as a polyhedral surface obtained by a simplicial interpretation of the \textit{Tonnetz}. The \textit{Tonnetz} is a graph largely used in computational musicology to describe the harmonic relationships of notes in equal tuning. In particular, we use persistent homology in order to describe the \textit{persistent} properties of music encoded in the aforementioned model. Both the relevance and the characteristics of this approach are discussed by analyzing some paradigmatic compositional styles. Eventually, the task of automatic music style classification is addressed by computing the hierarchical clustering of the topological fingerprints associated with some collections of compositions.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
Comparing persistence diagrams through complex vectors
Authors:
Barbara Di Fabio,
Massimo Ferri
Abstract:
The natural pseudo-distance of spaces endowed with filtering functions is precious for shape classification and retrieval; its optimal estimate coming from persistence diagrams is the bottleneck distance, which unfortunately suffers from combinatorial explosion. A possible algebraic representation of persistence diagrams is offered by complex polynomials; since far polynomials represent far persis…
▽ More
The natural pseudo-distance of spaces endowed with filtering functions is precious for shape classification and retrieval; its optimal estimate coming from persistence diagrams is the bottleneck distance, which unfortunately suffers from combinatorial explosion. A possible algebraic representation of persistence diagrams is offered by complex polynomials; since far polynomials represent far persistence diagrams, a fast comparison of the coefficient vectors can reduce the size of the database to be classified by the bottleneck distance. This article explores experimentally three transformations from diagrams to polynomials and three distances between the complex vectors of coefficients.
△ Less
Submitted 7 July, 2015; v1 submitted 6 May, 2015;
originally announced May 2015.
-
Filtrations induced by continuous functions
Authors:
Barbara Di Fabio,
Patrizio Frosini
Abstract:
In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $\R^n$. A natural question arises, whether these approaches are equivalent or not. In this paper we study this problem and prove that, while the answer to the previous question is negative in the general case, the approach by continuou…
▽ More
In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $\R^n$. A natural question arises, whether these approaches are equivalent or not. In this paper we study this problem and prove that, while the answer to the previous question is negative in the general case, the approach by continuous functions is not restrictive with respect to the other, provided that some natural stability and completeness assumptions are made. In particular, we show that every compact and stable 1-dimensional filtration of a compact metric space is induced by a continuous function. Moreover, we extend the previous result to the case of multi-dimensional filtrations, requiring that our filtration is also complete. Three examples show that we cannot drop the assumptions about stability and completeness. Consequences of our results on the definition of a distance between filtrations are finally discussed.
△ Less
Submitted 4 April, 2013;
originally announced April 2013.
-
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.
-
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.
-
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.
-
One-Dimensional Reduction of Multidimensional Persistent Homology
Authors:
F. Cagliari,
B. Di Fabio,
M. Ferri
Abstract:
A recent result on size functions is extended to higher homology modules: the persistent homology based on a multidimensional measuring function is reduced to a 1-dimensional one. This leads to a stable distance for multidimensional persistent homology. Some reflections on i-essentiality of homological critical values conclude the paper.
A recent result on size functions is extended to higher homology modules: the persistent homology based on a multidimensional measuring function is reduced to a 1-dimensional one. This leads to a stable distance for multidimensional persistent homology. Some reflections on i-essentiality of homological critical values conclude the paper.
△ Less
Submitted 28 July, 2008; v1 submitted 23 February, 2007;
originally announced February 2007.